• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2012년도 추계학술대회 논문집
• /
• pp.913-914
• /
• 2012

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2008년도 춘계학술대회 논문집
• /
• pp.921-922
• /
• 2008

• 한국응용약물학회:학술대회논문집
• /
• 한국응용약물학회 2002년도 창립10주년기념 및 국립독성연구원 의약품동등성평가부서 신설기념 국재학술대회:생물학적 동등성과 의약품 개발 전략을 위한 국제심포지움
• /
• pp.158-169
• /
• 2002

본 발표에서는 약물 분석 중 특히 생체 매질을 이용하여 임상약리학적 연구나 생체 내 이용률(bioavailability) 연구, 생물학적 동등성(bioequivalence) 연구를 하는 경우의 분석법 검증(bioanalytical method validation)에 대하여 상세히 설명하고자 한다.

• 한국항공우주학회지
• /
• 제41권8호
• /
• pp.605-612
• /
• 2013

중형 또는 대형 인공위성은 발사를 앞두고 발사체 회사와 함께 연성하중해석을 실시하여 위성설계를 최종 검증한다. 연성하중해석을 통해 얻어진 최대가속도, 최소간극, 최대하중은 인공위성의 설계하중과 비교하여 인공위성의 설계를 최종적으로 검증하게 된다. 이러한 연성하중해석의 신뢰도를 높이기 위해서는 인공위성 유한요소모델은 충분히 검증되어야 하는데, 발사 직전에 수행하는 정현파 진동시험결과에 맞춰 보정한다. 본 논문에서는 연성하중해석을 위한 유한요소모델의 보정 및 검증결과에 대해 기술한다.

• 한국기록관리학회지
• /
• 제12권3호
• /
• pp.29-46
• /
• 2012

전자기록물에 포함된 첨부 파일의 포맷을 이해하지 않은 상태의 전자 기록은 이해할 수 없는 일련의 비트에 지나지 않으므로 기록물을 장기 보존하기 위해서는 포맷의 다양성과 소멸 가능성에 대응할 수 있도록 포맷 정보를 관리하여야 한다. 본 연구에서는 다양한 형식의 전자파일(MS 오피스 계열(PPT, DOC, XLS, PPTX, DOCX, XLSX), HWP, PDF, GIF, JPEG, PNG, TIFF 등)을 육안으로 확인하지 않고, 전자파일 헤더에서 포맷 정보를 추출하여 파일 확장자와 비교하는 포맷검증 도구와 디지털컴포넌트의 유효성을 검사하는 도구를 개발하였다.

• Nuclear Engineering and Technology
• /
• 제26권3호
• /
• pp.367-373
• /
• 1994

원전 계측제어계통의 설계구현에서는 알고리즘및 독립적 검토의 복잡성을 피하기 위해 되도록 간단한 신호검증방법이 일차적으로 요청된다. 본 논문은 다중채널측정 시스템의 채널간의 일치성검사를 기본으로 하여 개발된 신호검증 알고리즘을 제안한다. 이 방법은 간략화한 고정편차 추정법을 포함하며, 추정된 고정편차의 크기를 고려한 가중인자를 사용하여 가중평균을 구한다. 제시된 방법의 성능을 확인하기 위하여 가상의 다중입력 조건으로 실험하였다.

• 한국컴퓨터정보학회논문지
• /
• 제27권9호
• /
• pp.77-89
• /
• 2022

본 논문에서는 RML 매핑 방식으로 구축한 RDF 지식 그래프의 구조를 묘사하고 검증할 용도의 SHACL 스키마를 자동으로 생성하는 시스템을 제안한다. 제안하는 시스템은 기존 연구와는 달리 RML 매핑 규칙 뿐만 아니라 RML 매핑의 입력인 CSV, JSON, XML, 데이터베이스와 같은 다양한 포맷의 데이터에서 추출한 메타데이터도 함께 사용하여 스키마를 생성한다. 따라서 기존 연구 기반의 스키마에서는 부재했던 데이터 타입, 문자열 길이, 값의 범위, 차수 관련 제약 조건이 스키마에 포함된다. 그리고 기존 연구에서 간과한 소위 반복된 속성 문제를 제안하는 시스템은 해결한다. 297개의 케이스로 구성된 적합성 테스트를 통해 제안된 시스템이 그래프에 대한 올바른 제약 조건을 생성함을 보여준다. 제안된 시스템은 오류가 발생하기 쉬운 기존 수동 검증 프로세스를 자동화하는 데 기여할 수 있다.

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

• 한국기록관리학회지
• /
• 제12권1호
• /
• pp.7-32
• /
• 2012

전자기록물의 이관할 때, 전자기록물의 필수 메타데이터의 검증과 실제 문서에 있는 메타데이터를 이용한 검증도 중요하다. 본 연구에서는 전자기록물에 포함된 다양한 형식의 전자파일 중에서 본문파일에서 메타데이터를 추출하고 항목별로 분류한 후 이관되는 메타데이터 항목과 비교 검증을 위한 기술 개발을 연구하였다. 해외에서 개발된 추출 도구와 달리 국내 전자결재 형식을 감안하여 첨부된 본문파일에서 메타데이터를 추출하는 기술을 개발하였으며, 기록물 문서 메타항목에 저장된 원 메타데이터와 추출 메타데이터간 비교 검증을 수행하는 도구를 개발하였다.

• 대한원격탐사학회지
• /
• 제38권5_1호
• /
• pp.609-625
• /
• 2022

위성산출물의 검증은 위성자료를 이용하게 되는 후속 분석작업에 결정적인 영향을 미친다. 특히, 탁하고 얕은 수심의 육상 인근 해역에서의 해색산출물은 해수구성입자 분포의 복잡성으로 인하여 오랫동안 그 성능 개선이 이루어지지 않고 있어왔다. 또한, 선박이나 고정관측소를 이용한 검증은 위성산출물과 현저히 차이나는 공간범위로 인하여 명확한 한계점을 노출해왔었다. 본 연구는 우선 선박을 이용한 현장조사를 통해서 천리안해양위성2호(GOCI-II)의 주요 산출물인 원격탐사반사도, 엽록소농도, 총부유물농도, 용존유기물 등에 대한 검증을 수행하였다. 둘째로, 본 연구에서는 드론영상을 이용한 산출물 검증을 위한 초기분석결과를 제시하였다. 선박과 위성사이의 공간범위 차이를 메우기 위하여 각 선박 정점에서 드론에 탑재된 MicaSense RedEdge 카메라를 이용해 해수에 대한 다분광 영상을 획득하였다. 향후 드론을 이용한 위성산출물 검증에 활용되도록 드론 고도에 따른 해수복사휘도의 변화를 분석하였다. 제한된 숫자의 현장조사 자료 개수이지만, 검증결과, 555 nm 에서의 GOCI-II 원격탐사반사도는 약 30% 가량 과대추정 되는 것으로 나타났고, 엽록소농도 및 용존 유기물은 현장 측정값과의 상관도가 낮았다. 총부유물농도는 결정계수 약 0.6의 상관도를 나타내었고 약 20%의 불확도를 가지는 것으로 나타났다.