• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2013년도 추계학술대회
• /
• pp.178-180
• /
• 2013

국제해사기구(IHO)의 S-58 전자해도 유효성 검사 표준은 전자해도 데이터 셋의 내용과 무결성 검증을 목적으로 개발 되었다. 현재의 유효성 검사 표준은 검사 내용이 서술식으로 구성되어 있어 유효성 검사 소프트웨어 제작 회사 마다 해석이 상이하고 검사 결과를 다르게 표출하는 결과를 초래 하였다. 이러한 문제를 해결하기 위해 국제수로기구에서 유효성 카탈로그 개념이 논의되었고, 수로데이터 분야 소프트웨어 개발 회사 중 하나인 CARIS에서는 자체적인 유효성 카탈로그를 적용한 바 있다. 유효성 카탈로그는 유효성 검사 도구에 사용할 수 있도록 S-58 유효성 검사 표준을 XML로 정의한 카탈로그로서, 향후 S-100 표준에도 동일한 개념이 도입될 것으로 전망되고 있다. 본 연구에서는 유효성 카탈로그의 핵심개념과 고려사항에 대해 검토하고, 유효성 검사 기술 연구의 시작으로 유효성 카탈로그 도구를 개발 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.43-45
• /
• 2004

XML은 인터넷 상에서의 표준 데이터 형식으로 XML 데이터에 대한 구조적 제약 조건들은 DTD나 XML Schema에 정의한다. XML Schema에 유효한 XML 문서는 XML Schema에 정의된 모든 구조적 제약 조건들을 만족해야 하며, 갱신이 발생한 후에도 대응되는 XML Schema에 대해 유효함이 보장되어야 한다. 본 연구는 DBMS에 저장되어 있는 XML Schema에 대해 유효한 XML 데이터를 갱신 할 때 필요한 효율적인 유효 검증 기법을 제안한다. 이 유효 검증 기법에서는 유효 검증 범위를 갱신과 관련된 영역에 한정시키고 갱신 이전에 유효 검증을 수행하여 유효 여부를 판단한다. 또한 본 연구에서는 유효 검증을 위한 유효 검증 제약 조건들과 XML Schema문서의 특성을 분석하여 유효 검증 시 필요한 스키마 정보만을 효율적으로 추출할 수 있는 XML Schema 저장 방법 및 그에 따른 스키마 정보 추출 방법을 제안하고 실험을 통해 그 성능을 보인다.

• 한국벤처창업학회:학술대회논문집
• /
• 한국벤처창업학회 2009년도 추계학술대회
• /
• pp.155-182
• /
• 2009

본 연구는 조직공정성과 조직문화유형이 조직유효성에 미치는 영향을 관찰하고자 하였다. 또한 개인의 집단주의 성향이 조직공정성, 조직문화유형과 조직유효성간의 관계를 어떻게 조절하는지의 여부에 대한 실증적 분석을 통하여 전문건설업체 현장 관리자의 조직유효성을 증진시키기 위한 실천적 방안을 도출 제시하기 위하여 설계되었다. 구체적인 연구결과를 요약하면 다음과 같다. 첫째, 조직공정성이 조직유효성에 미치는 영향에 관한 가설검정의 결과는 유의한 영향을 미치는 것으로 나타났다. 또한, 조직문화가 조직유효성에 미치는 영향에 관한 가설검정의 결과는 유의한 영향을 미치는 것으로 나타났고, 직급과 직종에 따라 조직공정성, 조직문화유형, 조직유효성에 대한 인식 차이에 관한 가설검정의 결과도 모두 유의적인 것으로 검정되었다. 둘째, 개인의 집단주의 성향이 조직공정성과 조직유효성간의 관계, 조직문화유형과 조직유효성간의 관계를 어떻게 조절하는지에 관한 가설검정도 모두 유의하지 못하여 기각되었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.61-63
• /
• 2004

DTD에 의해서 문서의 형식이 정의된 valid XML을 XML 데이터베이스 시스템을 사용하여 관리하는 경우 XML의 변경은 그 변경 결과가 DTD에 대한 유효성(validity)을 만족시킬 때에만 수행되어야 한다. 이것은 다수의 사용자에 의해서 데이터가 공유되는 데이터베이스 시스템의 데이터 무결성과 관련되는 문제이기 때문에 XML 문서 변경에 대한 DTD 유효성은 XML 데이터베이스 시스템에서 중요한 속성이라고 할 수 있다. 변경 연산의 결과에 대한 XML의 유효성을 보장하기 위해서 변경의 유효성을 검증하는 방법을 사용할 수 있다 XML에서의 엘리먼트들은 순서 관계를 가질 수 있으며 DTD는 이러한 엘리먼트 순서 관계들을 정의하고 있기 때문에 이러한 유효성 검증 기법은 변경되는 데이터 아이템 외에도 주변의 데이터 아이템-엘리먼트-들에 대한 순서 정보를 필요로 한다. 그리고 데이터베이스와 같은 다중 사용자 환경에서 유효성 검증 기법이 정확하게 수행되기 위해서는 유효성 검증이 필요한 정보들이 다른 트랜잭션에 더해 변경되지 않도록 하는 병행수행 제어 기법을 필요로 한다 이렇게 유효성 검증 기법과 병행수행 제어 기법이 관련을 가지고 있음에도 불구하고 기존의 유효성 검증 기법은 오직 검증의 효율성에만 초점을 맞추고 있다. 본 연구는 유효성 검증의 검증 범위를 최소화 시켜 pan-out 값이 큰 XML 문서에 대해서도 유효성 검증이 효율적으로 수행될 수 있고, 또한 유효성 검증을 위해 락킹되는 데이터 아이템의 수란 최소화 할 수 있는 시퀀스 그룹 검증 기법을 제안한다. 또한 이 검증 기법의 정확을 보장하면서도 높은 트랜잭션 병행수행 성능을 보장한 수 있는 경계 락킹 기법을 제안한다. 제안된 유효성 검증 기법과 경계 락킹 기법은 유효성 검증의 정확성을 일해 병행수행 성능이 저하될 수바에 없는 기존의 기법들의 문제점들을 해결하여 XML 데이터 베이스 시스템이 안정적인 성능을 제공할 수 있다는 것을 실험을 통해 확인할 수 있었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (C)
• /
• pp.15-20
• /
• 2008

데이터베이스가 DTD를 가지는 valid XML을 관리하기 위해서는 XML 문서를 변경하는 트랜잭션들에 대한변경 유효성을 검사할 수 있는 메커니즘이 필요하게 된다. 그리고 이러한 유효성의 검증 범위는 유효성을 검증하기 위해 필요한 정보를 담고 있는 노드들을 나타낸다고 할 수 있는데 이것은 유효성 검증이 올바르게 수행되기 위해서는 검증 범위에 속하는 데이터 아이템들이 다른 트랜잭션들에 의해서 변경되지 않도록 보장하는 병행수행 제어 기법이 필요하다는 것을 의미하며 이를 위해 유효성과 병행수행에 대한 낙관적 처리 기법이 필요하게 된다. 본 논문에서는 효율적인 충돌 탐지와 같은 검증 범위에서의 유효성 검사를 통해 변경 연산의 트랜잭션들의 병행수행 성능을 향상시키는 기법을 제안하고 기존연구의 유효성 검증과 충돌 탐지 기법을 비교, 분석한다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2004년도 학술발표회
• /
• pp.844-848
• /
• 2004

농업용 저수지의 유효저수량은 물수지 분석을 근거로 한 저수지 모의 운영을 통하여 결정하고 있다. 유역은 유출량에 관하여 고유한 특성을 갖고 있으므로 저수지에서 유효저수량의 결정은 유역으로부터의 유출량을 근거로 하는 것이 타당하다. 본 연구에서는 유역의 유출량을 근거로 한 추계학적 선형계획모형을 정립하고 저수지의 유효저수량을 분석하였다. 선형계획모형을 이용한 저수지 분석에 있어서 선형결정법칙은 Chance-constrained model과 함께 분석년수와 관계없이 제약조건식을 줄이는데 기여한다. 경기도 안성시에 소재하고 있는 금광저수지를 대상지수지로 선정하여 유효지수량을 분석한 결과, 추계학적 선형계획모형에 의한 유효저수량은 물수지 분석에 의한 것 보다 크게 분석되었다. 본 인구에서 제시된 선형계획모형에 의하여 적정한 유효저수량을 결정하고, 저수지 모의운영을 통하여 결정된 유효저수량의 성능을 평가하는 것이 타당한 것으로 판단된다.

• 한국정보과학회논문지:데이타베이스
• /
• 제34권2호
• /
• pp.153-165
• /
• 2007

XML은 웹 데이타 표현 및 교환을 위한 표준으로 많은 응용 분야에서 널리 이용되고 있다. XML Schema는 표준 XML 스키마로, 정의된 XML Schema에 의거하여 작성된 XML 문서를 ‘유효한 XML 문서’라고 하며 이러한 XML 문서는 갱신이 된 후에도 XML Schema에 대해 유효함이 보장되어야 한다. 본 논문은 갱신 이전에 갱신과 관련된 부분에 대한 유효 검증을 수행하여 불필요한 유효 검증을 제거한 XML Schema 유효 검증 메커니즘인 ‘예상 갱신 부분 유효 검증 기법’과 갱신 별 유효 검증 알고리즘을 제안한다. 또한 XML 데이타와 XML Schema 간의 매핑 방법과 XML Schema 유효 검증을 지원하기 위해 효율적인 스키마 정보 추출을 제공하는 XML Schema 저장 방법을 제안한다. 마지막으로 실험을 통해 스키마 저장 방법에 따른 갱신 별 유효 검증 성능을 비교한다.

• 대한토목학회논문집
• /
• 제34권2호
• /
• pp.493-503
• /
• 2014

국내 유역에서 유효우량을 산정하기 위한 방법으로 주로 유역 평균 CN을 적용하는 NRCS-CN 방법이 사용되고 있다. 본 연구에서는 국내 유역에 적절한 유역 대표 유효우량 산정법을 개발하기 위하여, 토지이용종류별 CN을 면적가중평균한 유역 대표 CN을 이용하여 산정한 유효우량(유효우량 I)과 토지이용종류별 CN을 이용하여 소구역 유효우량을 산정한 후 면적가중평균한 유효우량(유효우량 II)을 산정한 후, 관측된 강우-유출 자료를 이용하여 산정한 직접유출량과의 비교분석을 수행하였다. 본 연구 결과, 유효우량 II가 유효우량 I 보다 전반적으로 크게 산정되었으며, 이는 유효우량 I이 가지는 관측 직접유출량과의 오차를 크게 줄여주는 것이다. 또한, 본 연구에서 수행한 오차분석은 유효우량 II가 유효우량 I 보다 관측 직접유출량에 대한 높은 정확성을 가지는 것을 보여주었다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2011년도 학술발표회
• /
• pp.409-413
• /
• 2011

유효유량이란 수년에 걸쳐 연 유사량의 대부분을 이동시키는 유량으로 정의되며 유량-빈도분포곡선과 유사량 곡선을 이용하여 산정된다. 유효유량은 하도를 설계하거나 기존 하도의 안정성을 평가하는데 있어 기준유량이 될 수 있는 필수적인 요소이지만, 현재 국내의 경우 이에 대한 분석이 충분히 수행되지 않아 특정한 패턴을 도출하기 힘든 실정이다. 특히 우리나라의 하천은 연강수량의 약 70%가 여름철에 집중되는 기후적 특성의 영향으로 하상계수가 미국과 유럽에 비해 10에서 25배 크게 나타나 외국사례를 국내에 적용하는데 어려움이 있다. 따라서 본 연구에서는 구하도복원이 계획 또는 진행되어 유효유량 산정이 필수적이며 하상계수가 매우 큰 만경강, 청미천, 함평천을 대상하천으로 선정하여 유효 유량을 산정하고 수리적, 지형학적 특성과의 연관성을 분석하고자 한다. 유효유량을 계산하는 데 있어 가장 큰 영향을 미치는 요소는 유량빈도 간격 수와 유량빈도 간격의 설정이다. 따라서 본 연구에서는 유효유량 산정을 위한 유량 간격으로 산술등간격(Arithmeic Bin)과 로그간격(Logarithmic Bin)을 모두 사용하였으며 각각 간격수가 25개, 50개, 100개인 경우에 대해 유효유량을 계산하여 비교하였다. 산술등간격과 로그간격을 사용한 유효유량 산정결과 중 최대, 최소값을 제외한 나머지의 평균값을 각 대상하천의 유효유량으로 선정하였다. 수리적, 지형학적 특성에 따른 대상하천 분석 결과 하상계수가 클수록 유효유량이 크게 산정되는 것으로 나타났으며 하상 경사, 하상토의 중앙입경 크기와 비례하는 것으로 나타났다. 반면에 수심-하폭비와 사행도의 경우 유효유량과 반비례하는 것으로 나타났다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.15-17
• /
• 2000

본 논몬은 원본 DTD에서 사용자 요구에 따르는 파생 DTD를 생성, 관리하는 시스템을 설계함으로써 사용자 요구에 적합한 유효한 XML 문서의 생성 및 검증을 효율적으로 처리하는 시스템을 개발하고자 한다. 본 시스템은 원본 DTD에서 파생 DTD를 생성하여 클라이언트에서 생성된 XML 문서에 대한 유효성을 검증하고, 사용자 질의의 결과로 생성된 서버측의 XML 문서에 대한 유효성을 효율적으로 검증하는 기능을 지원하고 있다. 여기서 사용되는 파생 DTD는 사용자 요구를 받아서 하나의 원본 DTD에서 파생 DTD 생성 알고리즘에 의해 생성된다. 이렇게 생성된 파생 DTD로 XML 문서를 DOMAPI의 에러 체크 메소드를 통해 XML 문서가 유효한고 정확한지 검증한다. 이러한 절차를 통해서 유효성을 검증받은 XML 문서를 유효한 데이터로서 관리한다. 이러한 절차를 통해 클라이언트와 서버 사이에서 전송하는 XML 문서의 유효성 및 정확성을 보장할 수 있을 뿐만 아니라, 클라이언트에서 만든 XML 문서를 파생 DTD를 이용해 유효성을 보장하여 다른 클라이언트에 보낼수 있다.