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

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 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 데이터 베이스 시스템이 안정적인 성능을 제공할 수 있다는 것을 실험을 통해 확인할 수 있었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.715-717
• /
• 2005

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

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

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

• 한국정보과학회논문지:데이타베이스
• /
• 제32권6호
• /
• pp.628-640
• /
• 2005

많은 웹 응용 영역에 XML이 적용되면서 트랜잭션의 변경과 접근에 대한 고립성을 만족시키는 XML 문서에 대한 병행수행은 중요한 이슈가 되고 있다. DTD(혹은 XML 스키마)의 규칙을 잘 지키는 문서를 유효한 XML 문서라 하는데, 유효한 XML 문서에 대한 갱신 연산은 연산 후의 XML 문서가 원래 DTD의 규칙을 그대로 유지해야하는 유효성 문제를 앉고 있다. 일반적인 유효성 검증 방법은 갱신 후의 XML 문서 전체에 대해 유효성을 검증하는 방법이다. 그러나, 위에서 언급한 유효성 검증 방법은 낮은 병행수행의 결과를 낳는다. 따라서, XML 문서의 유효성 검증 범위를 최소화하면서 높은 병행수행 정도를 보이는 새로운 유형성 검증 방법과 로킹 방법이 요구된다. 본 논문은 유효성 검증의 검증 범위를 최소화 시켜 유효성 검증이 효율적으로 수행될 수 있는 시퀀스 그룹 검증 기법을 제안한다. 또한 이 검증 기법의 정확성을 보장하면서 로킹되는 데이타 아이템의 수를 최소화 할 수 있는 경계 로킹 기법을 제안한다. 마지막으로 제안된 유효성 검증 기법과 경계 로킹 기법이 기존의 방법에 비해 트랜잭션의 병행수행 성능을 향상시키고 있음을 실험을 통해 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.237-239
• /
• 1999

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

• 대한화장품학회지
• /
• 제23권1호
• /
• pp.159-184
• /
• 1997

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

• 한국산학기술학회논문지
• /
• 제21권9호
• /
• pp.144-150
• /
• 2020

본 논문에서는 국외에서 정의하는 자동화시험시스템과 자동화시험장비(ATE)의 비교를 통해 국내 ATE 재정립을 비롯해 국내 유도무기 분야의 ATE 현황을 살펴보면서 국방 분야 ATE의 유효성 확인 방안을 모색해 보았다. 국내 무기체계 개발단계 ATE 장비 유효성 확인 방안 모색을 위한 활동으로 국내 유도무기 분야의 ATE 장비 현황을 분석하고 ATE 유효성 확인 방안을 살펴보았다. 신규 제작되는 ATE에 대해 반복성, 재현성 확인 방안 및 현재 사용되는 ATE의 유효성 확인을 위하여 특정 유도제어부 영상성능에 대해 오류 주입시험을 수행해 보았다. 개발단계부터 유효성 확인을 위한 방안으로 ATE의 설계 및 구현시 사전점검단계 기능을 요구사항으로 반영되야 할 필요성을 논하였으며, 국내 ATE 개발 시 표준화된 국제표준시험시스템 테스트 스크립트 언어를 활용하여 효율적인 유효성 확인과 SW 신뢰성 확보 가능성을 검토해 보았다. 이를 통하면 장기적으로 주장비와 시험장비 간 상호 연동성을 확보할 수 있으며 시험자는 표준화된 시험방식을 지원하는 시험시스템 플랫폼을 확보할 수 있어 무기체계별 특정 ATE 유효성 확인에 효과적일 것으로 판단된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 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를 이용해 유효성을 보장하여 다른 클라이언트에 보낼수 있다.

• 대한수의사회지
• /
• 제31권8호
• /
• pp.832-838
• /
• 1995

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