• The Transactions of the Korea Information Processing Society
• /
• v.5 no.6
• /
• pp.1552-1562
• /
• 1998

형태소 분석(Morphological Analysis)과 같은 언어학적 처리에 의존하는 기존의 한국어 문헌에 대한 자동색인 기법들은 품사의 애매모호함이나 복합명사의 처리 등으로 부담(overhead)이 크다. 또한 불용어 처리에 사용되는 불용어 리스트가 대상 문헌의 주제 분야별로 따로 구축되어야 하며 그 크기가 방대하다는 문제점이 있다. 이러한 문제점들을 해결하기 위해, 본 논문에서는 각 문헌의 텍스트에 대해 복합명사 처리나 애매모호함에 대한 엄격한 분석을 수행하지 않는 간단한 형태의 형태소 분석을 수행하여 단순명사들을 추출한다. 그런 후 이들 단순명사들을 이용하여 유한 오토마타(Finite Automata)를 구성하고, 구성된 유한 오토마타와 각 명사의 단어빈도(Term Frequency)에 의해 각 색인어 후보들의 중요도를 계산하는 자동색인 기법을 제안한다. 그 결과 품사의 애매모호함에 대한 처리나 복합명사의 처리에따른 부담을 줄일 수 있었으며, 선정된 색인어들과 수작업으로 선정한 색인어들의 비교 실험에 의해 제안한 자동색인 기법의 성능을 검증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.496-498
• /
• 1998

현재 우편 처리용 바코드는 광학문자판독기에 의해 판독된 우편번호를 3 of 5 형광 바코드로 인쇄하고, 판독하여 우편물을 자동구분 처리하는 LSM(Letter Sorting Machine)을 사용하고 있다. 광학문자판독에 의한 인쇄체 문자 인식율은 94~96%정도로 처리되므로 오류 우편물의 최소화를 위하여 LSM에 형광 바코드와 동일한 체계로 구성된 흑색 바코드를 적용하고, 광학문자판독을 하지 않고도 우편물을 자동처리할 수 있는 체계를 구축하고 있다. 우편고객이 흑색 바코드를 우편물에 사전에 인쇄하여 접수하도록 하여 공학문자판독에 의한 처리 과정 축소함으로써, 보다 효과적인 우편 배달 서비스를 제공하기 위한 노력을 시도하고 있다. 본 논문에서는 우편 고객이 인쇄한 3 of 5 고객 바코드를 사전에 검사하여 우편물 자동처리를 보다 효과적으로 수행될 수 있도록 하기 위한 방법을 제고하는 고객 바코드 검증 시스템의 설계 및 구현에 대한 것이다.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.30 no.4
• /
• pp.317-323
• /
• 2010

The manual ultrasonic examination for the nuclear power plant piping welds has been demonstrated by using KPD(Korean Performance Demonstration) generic procedure. For automated ultrasonic examination, there is no generic procedure and it should be qualified by using applicable automated equipment. Until now, most of qualified procedures used pulse-echo technique and there is no qualified procedure using phased array technique. In this study, data acquisition and analysis software were developed and phased-array transducer and wedge were designed to implement phased array technique for nuclear power plant in-service inspection. The developed procedure are qualified for performance demonstration for the flaw detection, length sizing and depth sizing. The qualified procedure will be applied for the field examination in the nuclear power plant piping weld inspection.

• Aerospace Engineering and Technology
• /
• v.8 no.1
• /
• pp.172-178
• /
• 2009

Recently, autopilot is essential to reduce pilot's workload and increase flight safety. Avionics system of the small aircraft also has progressively adopted centralized multi-processor and multi-process computing architectures similar to the integrated modular avionics of B-777. It is increased more and more that importance of the flight control system. In this paper, the performance of the autopilot for the small aircraft has been verified with Hardware-In-the-Loop Simulation(HILS). Also, the autopilot algorithm that is operated in the Flight Control Computer(FCC) for the Fly by Wire(FBW) was verified with PILS and compared with the HILS results for the several commercial autopilots.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.15 no.3
• /
• pp.389-396
• /
• 2020

In order to obtain a good quality product, a proper verification of production/test facilities must be preceded before the quality conformity inspection of the product. Among the various production/test facilities, ATE is widely used in the civilian industry such as the automotive industry, aerospace industry, semiconductor industry today. In addition, ATE is actively used in the defense industry production and performance tests. This paper is the result of systematically verifying the Design Conformance of ATS which is ATE of military FM radio set using various methods. And It is expected to be a good reference at the present time when the design conformity verification procedure for ATE for military supplies is not documented.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.1
• /
• pp.55-62
• /
• 2020

It is necessary to develop digital flight control system by digital control technology to ensure stability and maneuverability of rotary helicopter. It is important to meet functional requirements of helicopter flight control system OFP and verify system reliability directly linked to flight safety as a core technology that avoids the transfer of technology by overseas advanced helicopter manufacturer. In this paper, we studied how to perform FMET for operational flight program of rotary automatic flight control system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.76-78
• /
• 2002

내장형 시스템의 개발에 있어서 자원의 효율적인 활용과 정확한 설계를 위해 SystemC를 이용한 통합설계 방식이 많이 사용되고 있다. 하지만 시스템이 점점 복잡해 지면서 단순한 언어차원에서의 개발 뿐 아니라 개발 이전에 시스템의 정확성을 검증해야 할 필요성이 대두되었다. 이를 위해 정형기법 및 테스팅과 같은 방법을 사용하게 되었다. 본 논문에서는 SystemC로부터 정형기법 도구인 VIS의 입력 언어인 BLIF-MV로 자동 변환하는 알고리즘을 제시하고, SystemC 코드로부터의 자동 검증 방법을 제안하고자 한다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.5
• /
• pp.17-37
• /
• 2003

This paper presents the ASVO (Automation-considered SVO) Logic that can be used for verifying authentication and key distribution protocols. The ASVO logic was designed for automatic verification, in a way to modify the SVO logic, one of the most famous authentication logics. The ASVO logic is syntactically and semantically sound, and requires relatively simple verification steps. Also we implemented the Isabelle/ASVO system which supports semi-automated verification, by using the Isabelle/Isar system.

• ICROS
• /
• v.18 no.4
• /
• pp.46-54
• /
• 2012

차량 간 통신 또는 차량과 인프라 간의 통신을 기반으로 자동차를 스마트화 또는 무인화 하려는 기술들이 지속적으로 개발되고 있다. 이러한 시스템의 안전성을 보장할 수 있는 신뢰도를 검증할 수 있는 방법들이 활발하게 개발되고 있다. 특히 제어기의 강인성과 고장감지의 신뢰도와 같은 관점에서 개발되는 알고리즘의 성능을 검증하는 방법에 대해서 살펴보고자 한다.

• Journal of the Korea Society of Computer and Information
• /
• v.25 no.10
• /
• pp.23-34
• /
• 2020

In this paper, we proposes a method to automatically construct SHACL schemas for RDF knowledge graphs(KGs) generated by Direct Mapping(DM). DM and SHACL are all W3C recommendations. DM consists of rules to transform the data in an RDB into an RDF graph. SHACL is a language to describe and validate the structure of RDF graphs. The proposed method automatically translates the integrity constraints as well as the structure information in an RDB schema into SHACL. Thus, our SHACL schemas are able to check integrity instead of RDBMSs. This is a consideration to assure database consistency even when RDBs are served as virtual RDF KGs. We tested our results on 24 DM test cases, published by W3C. It was shown that they are effective in describing and validating RDF KGs.