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

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

• 한국컴퓨터정보학회지
• /
• 제1권2호
• /
• pp.109-118
• /
• 1995

자료 기지관리 체계(Database Management System; DBMS)에서 실시간 처리를 만족시킬 수 있는 동시성 제어 기법 중의 하나가 낙관적 기법이다. 낙관적 기법은 카네기 멜론 대학교의 Kung에 의해 제안된 이래 여러가지 변형이 시도되었다. 그러나 아직도 변형된 기법들에 대한 성능 차원의 비교가 이루어지지 않아서 실시간 체계 등에 적용시 기법의 선정에 어려움을 겪고 있다. 본 논문에서는 Kung이 제안한 원형 기법과 이의 대표적 변형 기법들의 근간이 되는 순간 검증을 이용한 기법을 비교하였다. 원형 기법은 거래의 직렬화 가능성을 파괴하지 않는 거래간의 충돌까지 철회되어야 하는 단점이 있기 때문에 충돌된 거래를 재시작하는 측면에서는 순간 검증 방법보다 불필요한 재실행을 해야 하는 만큼의 시간적 부담이 크다. 그러나 원형 검증 방법은 버퍼 보유 효과를 제공하므로 이를 제공하지 않는 순간 검증 기법보다 충돌된 거래의 재시작으로 인한 부담이 적다. 왜냐하면 충돌된 거래에 대한 실행시 필요한 모든 객체들이 이미 준비되어 있다면 거래의 재실행시 드는 시간적인 부담이 적기 때문이다. 처리 기간이 긴 장기거래 위주로 실행하는 환경에서는 순간 검증을 이용한 기법이 불리하였다. 왜냐하면 한 거래가 처리 단계에 있을 때 실행을 완료한 거래들의 수많은 순간 검증을 해야 하기 때문이다.

• 한국의학물리학회:학술대회논문집
• /
• 한국의학물리학회 2003년도 제27회 추계학술대회
• /
• pp.58-58
• /
• 2003

목적 : 본 연구에서는 C-arm과 CT에 사용 가능한 자궁경부암용 팬톰을 개발하고 이를 이용하여 기존의 필름 방법에 기반한 위치 확인 방법과 CT 재구성 방법의 정확성을 비교 연구하고자 한다. 정확성이 검증된 후에는 두 방법의 장점을 이용하기 위해 CT로 재구성된 좌표를 필름의 좌표로 변환시켜 현재 사용되고 있는 필름에 기반한 근접 치료 계획 시행에 도움을 주고자 한다. 방법 : 자체 제작한 자궁경부암용 팬톰은 인체 등가 물질인 물과 아크릴을 사용하였고, 크게 localizer 부분과 팬톰 부분으로 구성되어 있다. 또한, 실제 자궁경부암 환자의 임상적인 구조를 모사하여 제작하였다. 자궁경부암 치료시 중요 장기인 방광과 직장을 구와 원기둥으로 설계하였고, 고선량율 applicator는 아크릴 판의 흠으로 고정시켜 제작하였기 때문에 CT 촬영시 applicator를 제거한 영상에서도 applicator의 구조가 정확하게 묘사될 수 있도록 제작하였다. 두 시스템에서 재구성된 좌표를 비교하기 위해 각각의 시스템에서의 얻은 재구성 좌표와 팬톰 자체의 localizer와 재구성 알고리즘을 바탕으로 개발된 프로그램을 이용하여 얻은 좌표로 두 재구성 좌표의 비교 연구를 수행하였다. 정확성이 검증되고 장기의 정보가 담긴 CT의 좌표는 자체 개발된 프로그램으로 2 차원의 필름 좌표로 변환되었다. 본 연구에 사용된 모든 프로그램은 ILD 5.5를 사용하여 개발되었다. 결과 : 두 시스템의 좌표 비교 결과 x, y 축은 차이가 2mm 이내로 비교적 정확한 실험 결과를 얻을 수 있었고, z 축의 경우 CT 슬라이드의 굵기에 따라 2mm-3mm 이내의 차이가 있음을 관찰할 수 있었다. z 축을 제외한 좌표의 차이는 획득한 영상에서 컴퓨터로 좌표를 옮기는 localizer 좌표 선택 과정에 발생했을 것으로 예상된다. 또한, 이 검증된 좌표와 개발된 프로그램을 이용하여 우리는 CT의 좌표를 2차원의 필름 좌표로 정확하게 변환할 수 있었다. 결론 : 이 연구로부터 기존의 C-arm 재구성 방법과 CT 재구성 방법의 비교를 통해 각 치료 기기의 신뢰성을 직접 확인할 수 있었으며, 비교를 통해 검증된 CT의 좌표를 필름 좌표로 변환시킴으로서, 각 시스템의 장점만을 결합한 효과적인 치료 계획을 세울 수 있는 가능성을 제시하였다. 또한 물과 아크릴을 사용한 비교적 간단하고 경제적인 방법으로 C-arm, CT 그리고 MRI에 모두 이용 가능한 팬톰을 제작하여 쉽고 정확하게 위치를 확인할 수 있었다. 더 나아가, 본 연구에서 제작된 자궁경부암 팬톰은 근접치료를 포함하여 관련 팬톰 개발에 도움을 줄 수 있을 것으로 예상된다.

• EDISON SW 활용 경진대회 논문집
• /
• 제6회(2017년)
• /
• pp.236-240
• /
• 2017

다양한 분야에서 복합재료의 중요성이 강조되면서 각각의 재료 특성에 따른 물성을 미시역학적으로 구하는 것에 대한 다양한 방법이 제시되고 있다. 본 논문에서는 5개의 혼합 법칙을 선정하여 전산구조해석을 통한 유한요소해석을 비교 검증한다. 그 과정에서 산출된 결과를 통하여 복합재료의 탄성거동의 오차가 1% 미만인 것을 확인하였고, 프로그램의 해석이 적절하다는 것을 검증하였다. 또한 프로그램과 가장 유사한 혼합 법칙이 무엇인지 확인하고, 체적 비에 따른 오차를 비교하여 가장 적합한 체적 비를 선정하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.1103-1106
• /
• 2004

Window Frame 방향성 추출법을 보완한 Extended Window Frame을 제시하고, 높은 보완성을 필요로 하는 곳에 사용할 수 있도록 하기 위해서 지문의 중심점으로부터 매칭 된 각각의 특징점까지 이르는 선상에 있는 융선을 추적하는 방법을 이용한 검증 방법을 제안한다. 제안된 검증 방법의 성능을 비교하기 위해서 방향성을 추출하는 방법, 특징점을 추출하는 방법을 기존의 여러 가지 방법들로 구현하고 그 결과를 비교, 분석한다.

• 한국항공우주학회지
• /
• 제37권7호
• /
• pp.701-708
• /
• 2009

개발된 비행제어컴퓨터(DFLCC: Developed Flight Control Computer)의 비행제어법칙은 고등훈련기급 항공기의 시제 최종 형상의 비행제어소프트웨어(OFP: Operation Flight Program)를 기반으로 개발되었다. 비행제어법칙은 상용 개발 툴을 이용하여 GUI(Graphic User Interface) 환경에서 설계되며, C 코드로 변환되어 OFP 에 반영된다. 그리고 OFP는 정형화된 검증절차를 통하여 검증되는데, 검증과정을 거치기 전에 비실시간 환경에서 C코드로 변환된 비행제어법칙과 기반이 되는 비행제어법칙의 상사성(similarity)을 검증하고, 구성된 HILS(Hardware In-the-Loop Simulator) 환경의 신뢰성(reliability)을 사전에 검증하는 절차가 필요하다. 비행제어법칙의 상사성은 비실시간 환경에서 고등훈련기급 항공기의 시제 최종 버전의 비행제어법칙과 개발된 비행제어법칙의 응답특성을 상호 비교하여 검증된다. 또한, 구성된 HILS 환경의 신뢰성은 비실시간 시뮬레이션 툴을 기반으로 HILS 결과와 항공기 응답특성을 비교하여 검증된다. 본 논문에서는 항공기 응답을 직접 비교함으로써 개발된 비행제어법칙의 상사성과 HILS 환경의 신뢰성을 검증하였다.

• EDISON SW 활용 경진대회 논문집
• /
• 제6회(2017년)
• /
• pp.477-479
• /
• 2017

Drift-Diffusion 방법은 반도체 소자의 내에서의 전하 수송 방정식을 푸는 수치해석적인 방법 중에서 비교적 계산량이 적고, 이런 장점으로 인해 널리 쓰이는 방법이다. 이 방법을 이용하여 간단한 PN diode 구조에서의 전기장, 전압 분포, IV curve 등을 확인 하는 코드를 작성하고, 작성한 코드의 신뢰성 검증을 위하여 TCAD tool인 SDEVICE와 EDISON tool을 이용하여 비교해 본다.

• 한국과학교육학회지
• /
• 제23권2호
• /
• pp.200-213
• /
• 2003

가설의 생성과정과 검증과정에 대한 연구는 가설의 생성과정, 가설을 검증하기 위한 실험설계과정, 실제 실험수행과정, 실험결과에 따른 가설의 평가과정 등으로 세분화할 수 있다. 본 연구는 이러한 연구들 중에서 가설을 검증하기 위한 실험설계과정에 대한 연구이다. 이를 위해, 본 연구에서는 제안된 가설을 검증하기 위해 학생들이 제안한 실험설계 내용을 분석하였다. 분석 결과, (1) 실험설계를 위해서 실험방법, 실험결과의 예측, 예측된 결과에 의한 가설평가의 3요소가 필요함을 알 수 있었다. (2) 학생들은 옳다고 생각하는 가설과 틀리다고 생각하는 가설에 대해서 모두 검증하려는 경향을 보였다. (3) 간혹, 옳다고 생각되는 가설에 대해서는 실험적 검증이 아닌 이론적 검증을 하려는 경우도 관촬되었다. (4) 학생들이 제안한 실험설계의 유형은 직접실험과 비교실험으로 나눌 수 있었고, 비교실험은 긍정비교실험과 부정비교 실험으로 나눌 수 있었다. (5) 학생들은 옳다고 생각하는 가설에 대해서는 긍정비교실험설계를, 틀리다고 생각하는 가설에 대해서는 부정비교실험설계를 선호하는 것으로 나타났다. (6) 학생들은 옳다고 생각하는 가설에 대해서는 실험설계를 하면서 가설을 지지하는 결과만을 예측하였고, 틀리다고 생각하는 가설에 대해서는 실험설계를 하면서 가설을 반증하는 결과만을 예측하였다. (7) 이러한 편향된 예측과 반대되는 예측을 하도록 강요하여도 이를 거부하는 경우가 많았다. 따라서, 자신의 예측과 반대되는 결과에 대한 거부반응은 실험결과의 해석에서 뿐 아니라 실험설계 단계부터 있을 수 있음을 알 수 있었다.

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

최근 하천 횡단구조물로 형성된 호소 및 저수지에는 오랜 시간동안 다양한 유기 퇴적물이 유입되고 오염되어 호소환경 및 호소 생태계에 악영향을 미칠 수 있으며, 환경 여건에 따라 메탄과 온실가스를 유발할 수도 있다. 이러한 온실가스를 검출하고 그 원인을 파악하여 감축하는 일련의 기술이 국가적인 온실가스 감축 정책과 맞물려 새로운 이슈로 등장하였다. 일반적으로 메탄가스를 측정하는 실험은 BMP(Biochemical Methane Potential)-Test이며, 수치모의에 비해 BMP-Test는 수심이 깊은 지역이나 유속이 빠른 구역에는 적용이 어려운 한계가 존재한다. 이러한 BMP-Test의 한계점을 보완하는 차원에서 사전검증된 수치모형 COMSOL Multiphysics 소프트웨어를 이용하여 메탄가스 발생기작을 재현 및 도출하고 실내 실험결과와 비교 분석하였다. 첫째, COMSOL Multiphysics가 호소에서 발생하는 메탄가스 발생기작의 재현 타당성을 입증하기 위해 동일한 조건의 인공합성된 유기물을 이용한 실내 실험에서 수행된 BMP-Test와 비교·분석을 수행하였다. 둘째, COMSOL Multiphysics에 TOC(총유기탄소), TP(총 인)에 따른 유기물 조건과 메탄 발생 화학식을 설정하여 온도에 따른 메탄 생성량과 반응상수를 산출하였고, 이를 BMP-Test 결과와 비교하였다. BMP-Test의 비교·분석 결과를 바탕으로 하천 및 호소에서 발생하는 메탄가스 발생에 대한 COMSOL Multiphysics의 활용가능성을 검증하였다. 향후 하천 및 호소로부터의 발생가능한 온실가스 감축 목표를 달성하기 위한 하천 유기물 환경의 평가 또는 최적화 조성에 유사한 검증과정을 거친 COMSOL Multiphysics를 활용할 수 있을 거라 기대된다.

• 한국지형공간정보학회:학술대회논문집
• /
• 한국지형공간정보학회 2002년도 춘계학술대회 논문집
• /
• pp.54-60
• /
• 2002

1999년이래 순차적으로 수행되어지고 있는 항공사진 DB구축사업은 일반적으로 정확도가 검증되어진 항공사진전용독취기를 사용하여 항공사진영상 DB를 구축하고있으나, 일부기관에서는 시중에서 사용되는 일반자동독취기를 이용하여 항공사진영상 DB를 구축하기도 한다. 이에 본 연구에서는 항공사진전용독취기와 일반자동독취기를 정확도를 비교분석함으로서 항공영상 DB구축시 문제점과 타당성을 제시하고자 한다. 본 논문에서는 일반자동독취기의 활용 타당성을 분석하기 위하여 표정해석과 2차제품 제작을 통한 정확도를 항공사진전용독취기와 비교분석하였고, 자동독취기 검증 시스템을 개발하여 연구에 이용된 자동독취기를 검증함으로써 항공영상 DB구축에 있어서 필수적인 장비인 자동독취기의 정확도를 검증하였다.