• Journal of Korean Society of Archives and Records Management
• /
• v.12 no.1
• /
• pp.7-32
• /
• 2012

When migrate electronic records, the validation of the required metadata in electronic records and verified with the metadata in the document are also important. This paper presents a method and implements a tool to extract data from files in various formats and use them to validate metadata associated with the files in electronic records. Compared to other metadata extraction tools, especially developed in foreign countries, the standard form of documents used in Korean government is taken into account and metadata is extracted from the content of files. The tool compares the extracted data to encapsulated metadata for validation.

• KSCI Review
• /
• v.1 no.2
• /
• pp.109-118
• /
• 1995

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

• Proceedings of the Korean Society of Medical Physics Conference
• /
• 2003.09a
• /
• 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에 모두 이용 가능한 팬톰을 제작하여 쉽고 정확하게 위치를 확인할 수 있었다. 더 나아가, 본 연구에서 제작된 자궁경부암 팬톰은 근접치료를 포함하여 관련 팬톰 개발에 도움을 줄 수 있을 것으로 예상된다.

• Proceeding of EDISON Challenge
• /
• 2017.03a
• /
• pp.236-240
• /
• 2017

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

• Annual Conference of KIPS
• /
• 2004.05a
• /
• pp.1103-1106
• /
• 2004

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

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.7
• /
• pp.701-708
• /
• 2009

The flight control law of developed flight control computer(DFLCC) is developed based on operation flight program of advanced trainer aircraft full scale development final configuration. The flight control law design is used common use development tool in GUI(Graphic User Interface) environment. The flight control law transformed to C-Code is reflected in OFP. The OFP is verified by the standardized verification process. But, before standardized verification process, we need preliminary verification process such as similarity of flight control law and reliability of developed HILS. Similarity of flight control law is verified by comparing the aircraft response of advanced trainer aircraft and those of the developed control law. Also, reliability of developed HILS is verified by comparing the aircraft response of HILS and Non-real time simulation result. This paper verifies similarity of developed control law and reliability of HILS environment as comparing aircraft response.

• Proceeding of EDISON Challenge
• /
• 2017.03a
• /
• pp.477-479
• /
• 2017

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

• Journal of The Korean Association For Science Education
• /
• v.23 no.2
• /
• pp.200-213
• /
• 2003

This study is one of the successive studies for investigating students' processes of generating and evaluating scientific hypothesis. In this study, I analyzed the characteristics of students' experimental design to test whether the given hypotheses were correct or not. As results, it was found that (1) 3 components (experimental method, prediction of the result of experiment, evaluation of hypothesis) were needed to complete description of the experimental design, (2) students tried to test hypothesis considered as being correct as well as hypothesis considered as being false by students, (3) student tried to confirm hypothesis, which was considered as being correct, based on theoretical approach rather than experimental approach, (4) students' experimental design could be classified as two types, that is, direct experimental testing and comparative experimental design, and the latter could be classified as two subtypes; positive comparative one and negative comparative one, (5) students showed tendency to design positive comparative experiment when they considered hypothesis as being correct, and vise versa, (6) students preferred the prediction which could confirm the hypothesis when they considered the hypothesis as being correct, and vise versa, (7) many students rejected contradicting prediction even though they did not actually conduct experiment yet.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2022.05a
• /
• 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.03a
• /
• pp.54-60
• /
• 2002

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