• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2013.10a
• /
• pp.178-180
• /
• 2013

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.61-63
• /
• 2004

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.715-717
• /
• 2005

군집 유효성은 다양한 입력 변수에 따라 변하는 군집화 알고리즘의 결과들을 평가하는 것이다. 본 논문에서는 고차원의 데이터 집합에 대한 군집 유효성의 문제점에 대한 새로운 해결책을 제시한다. 고차원 군집화 결과들을 평가할 때 발생하는 기존의 군집 유효성 지수들의 적용성의 문제점을 살펴보고, 고차원으로 인해 발생하는 문제를 효과적으로 다룰 수 있는 다양한 새로운 군집 유효성 지수들을 제안한다. 제안된 군집 유효성 지수들은 본 논문에 제공된 실험에서 최적의 군집 유효성 결과를 제공한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06c
• /
• pp.15-20
• /
• 2008

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

• Journal of KIISE:Databases
• /
• v.32 no.6
• /
• pp.628-640
• /
• 2005

The XML is well accepted in several different Web application areas. As soon as many users and applications work concurrently on the same collection of XML documents, isolating accesses and modifications of different transactions becomes an important issue. When an XML document correctly corresponds to the rules laid out in a DTD or XML schema, it is also said to be valid. The valid XML document's validity should be guaranteed after the document is updated. The validation method mentioned above, however, results in lower degree of concurrency. For getting higher degree of concurrency and minimizing the range of the XML document validity, a new validation method based on a specific locking method is required. In this paper we propose the sequence group validation method for minimizing the range of the XML document validity. We also propose the boundary locking method for isolating accesses and modifications of different transactions while supporting the valid XML document's validity. Finally, the results of some experiments show the validation and locking methods increase the degree of transaction concurrency.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.237-239
• /
• 1999

이동 통신 기술의 급속한 발전으로, 이동컴퓨팅 환경에서의 데이터 서비스에 대한 수요가 급증하고 있다. 이동 호스트 내에 캐쉬가 존재할 경우, 대역폭의 절약 및 빠른 응답시간을 제공할 수 있지만, 캐쉬 일관성을 유지해야 하는 부담이 생긴다. 한 셀 내에 존재하는 수많은 이동호스트들의 캐쉬 일관성 유지를 위해서 서버가 캐쉬 무효화 보고를 일정시간마다 주기적으로 보내는 방법은 효과적일 수 있다. 그런데, 이동호스트가 오랜시간 동안의 접속 단절로 인해 무효화 보고만으로 자신의 캐쉬 유효성 여부를 판단하지 못할 경우에는, 서버에게 캐쉬 유효성 여부에 대한 확인을 요청함으로써 캐쉬를 유효화 할 수 있다. 만일 유효성 여부 확인을 요청하는 이동호스트의 수가 많을 경우, 서버는 효율적인 방법으로 응답을 해야 한다. 본 논문에서는 유효성 확인을 요청하는 이동호스트들의 수가 할당 가능한 채널 수에 비해 상대적으로 많은 경우, 이를 방송을 이용하여 응답하는 방법을 제안한다. 이동호스트는 방송되는 내용을 계속 듣게 됨으로써, 이미 유효성 여부 확인이 이루어진 데이터에 대한 반복된 요청을 피할 수 있다.

• Journal of the Society of Cosmetic Scientists of Korea
• /
• v.23 no.1
• /
• pp.159-184
• /
• 1997

인체에 안전하고 유효한 화장품을 개발하고 제품의 질을 평가하기 위하여 표준화된 안전성 및 유효성 시험방법이 필요하며, 기능성 화장품 등 제품의 개발 환경에 맞추어 신규 시험방법의 개발이 요구되고 있다. 또한 유럽에서부터 시작되고 있는 화장품 영역에서의 동물실험을 줄이려는 경향에 따라 동물대체 실험 법도 동시에 요구되고 있는 실정이다. 이에 일반 화장품 및 기능성 제품 개발에 필요한 피부에서의 안전성 및 유효성 시험 법에 대한 현황과 표준화의 필요성에 대한 제안과 새로운 시험법의 개발 전망에 대하여 알아보고, 동물 대체 실험 법에 대한 연구 동향과 전망에 관해 기술하였다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.21 no.9
• /
• pp.144-150
• /
• 2020

This study examined the current status of ATE in the development stage of the domestic guided weapons field, including the re-establishment of automatic test equipment (ATE), and attempted to develop methods to verify the validity of ATE in the defense sector. This study includes methods for confirming the repeatability and reproducibility of newly manufactured or replaced ATE. An error injection test is required for validation in the development phase. And pre-inspection steps are required for validation. When developing ATE, the use of an international standard testing script language ensures efficient validation and SW reliability. This ensures interoperability between the main and test equipment, and the tester can secure a test system platform that supports standardized testing methods, which is considered to be effective in validating specific ATE for each weapon system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.15-17
• /
• 2000

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

• Journal of the korean veterinary medical association
• /
• v.31 no.8
• /
• pp.832-838
• /
• 1995

일본에서 시판되고 있는 4종류의 생독백신은 본병방어에 있어 어느 것이나 유효하다. 그러나 각기 백신의 성상은 각자 특성이 있음으로 유효성의 정도에 차이가 있다고 본다. 이런 관점에서 백신 유효성을 공격주를 바꾸어서 또한 이행항체 보유돈에서 비교 검토한 결과, 백신 D가 종합적으로 볼 때 가장 높고 다음 C, B, 최후의 A의 순이었다.