• Journal of the Korea Society of Computer and Information
• /
• v.14 no.7
• /
• pp.25-32
• /
• 2009

In this paper, we propose a new handwriting verification method using pattern analysis in off-line environments. The proposed method first segments character regions in a document and extracts effective features from the segmented regions. It then estimates the similarity between the extracted non-linear features and reference ones by using dynamic time warping and principal component analysis. Our handwriting verification method extracts handwriting features effectively and enables the verification of handwriting with various lengths of features as well as ones of short patterns. The experimental results show that our method outperforms others in terms as accuracy. We expect that the proposed method will automate the manual handwriting verification tasks and provide much objectivity on handwriting identification.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05d
• /
• pp.514-519
• /
• 1996

국내 원자력 산업이 활성화됨에 따라 우리 나라의 IAEA 보장조치 대상시설과 시설에서 취급하는 핵물질이 지속적으로 증가하여 왔다. 점차 증가하는 시설과 핵물질들을 효율적으로 통제, 관리하고 원자력의 평화적 이용에 대한 대외적 투명성 제공 및 핵물질 취급에 따른 대외적 의무사항들을 효율적으로 이행하기 위한 국가차원의 법적, 제도적 정비가 요구되어져 왔다. 이에 따라 '95년에 개정된 원자력법 및 관계 범령에 따라 과기처는 '96년도부터 국가사찰을 실시할 예정이며, 이러한 국가사찰 및 국가통제 시스템을 원자력연구소의 원자력통제기술센터가 지원하도록 명시하였다. 이러한 근거로 개발된 국가사찰 지원시스템(National Inspection Support System : NISS)은 여러 가지 사찰기술 중에서 시설이 계량관리 자료를 정확하게 기록하고 유지하였는지에 대한 장부검증, 표본선택을 위한 계층분류 및 사찰결과보고서 작성 등을 수행 할 수 있도록 개발되었다. 이 시스템을 이용하여 사찰관은 시설 핵물질의 재고목록, 재고변동기록 및 근거서류 등과 같은 많은 계량관리 자료의 검증을 신속하고 정확하게 수행하여 업무의 효율성 및 검증결과에 대한 신뢰도를 향상시킬 수 있다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.32 no.8
• /
• pp.138-144
• /
• 2004

Satellite generates a complex electromagnetic noise by conducted and radiated coupling effect of the various electrical instruments. This noise may cause serious problems on the satellite system. To minimize the electromagnetic coupling effects and maintain the system safety margin, system noise reduction technique should be applied from the beginning of the system design. The KOMPSAT-2 system is evaluated by measuring the conducted noise on system electrical power leads and verifying a 6dB system safety margin under the complex noise environment with current injection. This paper describes the KOMPSAT-2 system evaluation result performed on ETB(Electrical Test Bed) and the analysed noise element, the analysed result will be reflected on FM(Flight Model) EMC test.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• v.y2005m4
• /
• pp.134-138
• /
• 2005

The structural analysis and water pressure test of regenerative liquid rocket thrust chamber cooling channel specimens are performed at room temperature. material properties of copper alloy are obtained by uniaxial tension test at room temperature and used of elastic-plastic structural analysis. The plate type of cooling channel specimen are manufactured and performed water pressure test in order to confirm the analysis results. The differences between results of elastic-plastic analysis and that of water pressure test of cooling channel specimen are small and find that manufacturing process affect the structural stability of cooling channel very much because cooling channel thickness is small

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.11 no.2
• /
• pp.45-58
• /
• 2001

There are relatively many research results of the validation of the cryptography. But few researches on the validation of cryptography implementations were accomplished. However, developer\`s misunderstanding the crypto-algorithm or a mistake in implementation of the crypto-a1gorithm leads to lose reliability of security products. Therefore, as validation of the crypto-algorithm itself also validation of the implementation is important. The major objective of this paper is to propose Security Products Validation Tool. Our tool validates implementation of the public key algorithm (RSA. KCDSA) and hash algorithm (SHA-1, HAS-170). The validation process is composed of several items and our tool performs validation teats for conformance to related standard.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.489-491
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성된다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 과정에서 ATM은 계산 논리 뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM은 다양한 모드를 사용한다. ATM을 사용한 실시간 시스템의 검증은 도달성 그래프를 생성함으로써 수행한다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 기법들과 예제를 통하여 비교한다.

• Annual Conference of KIPS
• /
• 2024.10a
• /
• pp.139-142
• /
• 2024

과학기술정보통신부와 한국지능정보사회진흥원은 2022년부터 인공지능 학습용 데이터를 구하기 힘든 의료 분야의 AI 학습용 합성데이터를 구축하여 제공하고 있다. 하지만 구축한 합성데이터에 대해 안전성 측면의 검증을 수행하지 않아 다운로드가 불가능한 AI허브의 온라인 안심존을 통해서만 제공하였다. 데이터 활용성의 향상을 위해 합성데이터는 자유로운 활용이 가능한 형태로 개방 되어야 한다. 본 연구에서는 개인정보위원회에서 발간한 합성데이터 생성 참조모델(2024.5)에 따라 검증한 2개 데이터 사례를 제시하여 검증 내용에 대한 구체적인 정보를 제공하고 다른 합성데이터 생성과 검증에 대한 가이드를 제시하였다.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2010.08a
• /
• pp.15-15
• /
• 2010

고진공영역에 사용되는 터보분자펌프, 이온펌프, 크라이오펌프 등의 특성평가 장치의 신뢰성을 확보하기 위해서는 신뢰성이 검증된 이온게이지를 이용한 고진공 측정기술이 확보되어야한다. 본 발표에서는 고진공펌프 특성평가를 위한 유량계와 평가기술에 대한 국제적인 동등성을 확립하고 검증하기 위해 한국표준과학연구원에서 수행해오고 있는 고진공 및 초고진공분야의 국제비교 및 ISO/TC 112 위원회 활동에 대해 소개한다.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2011.08a
• /
• pp.95-95
• /
• 2011

고진공영역에 사용되는 터보분자펌프, 이온펌프, 크라이오펌프 등의 특성평가 장치의 신뢰성을 확보하기 위해서는 신뢰성이 검증된 미세 유량발생 장치를 포함한 이온게이지를 이용한 고진공 측정기술이 확보되어야한다. 본 발표에서는 고진공펌프 특성평가를 위한 미세 기체유량계와 펌프 평가기술에 대한 국제적인 동등성을 확립하고 검증하기 위해 수행해오고 있는 진공 분야의 국제비교 및 ISO/TC 112 위원회 활동에 대해 소개한다.

• Review of KIISC
• /
• v.24 no.2
• /
• pp.50-55
• /
• 2014

자동차 전장제품 활용의 급속한 증가에 대응하기 위하여 자동차 분야에서는 ISO 26262 안전설계절차를 도입하여 차량용 임베디드 시스템의 안전성을 확보하려고 노력하고 있다. ISO 26262는 자동차에서 발생 가능한 비정상상태(abnormal state)를 식별하고 그의 영향을 분석하며 전체 시스템의 안전을 검증하는 것을 목표로 하고 있다. 다양한 종류의 부품이 연동되는 복잡한 시스템의 안전 검증은 결함수목법과 고장모드영향분석법을 활용하는 위험분석법이 보편적으로 사용된다. 결함주입시험은 이러한 위험분석의 기반도구로서 안전성을 향상시키기 위하여 사용된 고장감내 기능의 동작여부 및 그에 따른 시스템의 안전성을 검증하는 목적으로 사용된다. 본 논문에서는 차량용 고신뢰성 임베디드 시스템에서 사용되는 고장감내 메카니즘들의 기능과 안전을 검증하는 방법과 사례를 소개한다. 최근의 복잡한 차량용 임베디드 시스템의 개발은 상위수준의 모델을 개발하여 지정된 위험 및 고장을 초래하는 결함을 시스템에 주입하고 그의 결과를 분석하여 안전을 검증하는 것이 일반적인 방법이다. 개발 목표 차량의 임베디드 시스템 모델을 개발하고, 식별된 결함의 결함모델을 준비한 뒤, 시스템 모델 기반 결함주입 도구를 이용하여 결함주입을 수행하는 시험방법과 그 결과에 대하여 논의한다. 하드웨어는 SystemC 하드웨어 설계언어를 이용하여 개발하고, 소프트웨어를 컴파일하여 실행화일을 확보하여 시험대상인 결함모델을 개발하고 이를 대상으로 결함주입시험에 대해 설명한다.