• 한국정보처리학회논문지
• /
• 제5권6호
• /
• pp.1552-1562
• /
• 1998

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.496-498
• /
• 1998

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

• 비파괴검사학회지
• /
• 제30권4호
• /
• pp.317-323
• /
• 2010

원자력발전소 배관 용접부에 대한 수동 초음파검사는 KPD(Korean Performance Demonstration)의 일반 절차서를 사용하여 기량 검증을 인정받고 있으나, 자동 초음파검사의 경우에는 일반 절차서가 없으며 해당 자동 검사 장비를 이용하여 절차서 기량 검증을 받아야 한다. 현재까지 국내에서 수행되고 있는 자동 초음파검사에 대한 절차서 기량검증은 대부분 펄스-반사기법을 적용한 절차서이나, 최근에 각광받고 있는 위상배열 초음파검사 기법을 이용한 절차서 기량검증은 국내에서 시행된 사례가 전무하다. 본 연구에서는 원자력발전소 가동중검사에 위상배열 초음파검사 기법을 적용하기 위하여 위상배열 초음파 신호취득 및 평가 소프트웨어를 개발하고 위상배열 초음파 탐촉자 및 웨지를 설계 하였다. 개발된 절차서에 대하여 결함 검출, 길이 및 크기 측정에 대한 기량검증을 수행하였으며, 검증된 위상배열 초음파탐상검사 절차서는 향후 원자력발전소 배관 용접부 검사에 적용할 예정이다.

• 항공우주기술
• /
• 제8권1호
• /
• pp.172-178
• /
• 2009

최근에 개발된 소형제트기는 조종사의 피로경감과 더불어 비행안전성 제고를 위하여 자동비행시스템이 필수적인 요소로 인식되고 있다. 또한, 소형항공기의 항공전자시스템은 집중화된 다중프로세서(centralized multi-processor)와 다중연산 계산구조(multi-process computing architectures)로서 B-777의 Integrated Modular Avionics와 유사한 시스템을 장착하는 추세이다. 이러한 소형항공기 시스템 변화는 고전적 비행방식인 조종사 중심의 비행방식에서 자동비행제어시스템(AFCS) 중심의 비행방식으로의 변화를 야기하였으며 자동 비행제어시스템의 비중은 보다 더 증가하고 있다. 이에 본 논문에서는 상용 소형항공기용 자동비행장치(Autopilot)에 대한 HILS를 구성하여 성능을 검증하였다. 또한, 현재 개발하고 있는 FBW용 FCC(Flight Control Computer)에 탑재될 자동비행 알고리듬에 대한 성능을 PILS를 통하여 확인하였고, 상용 Autopilot에 대한 HILS 결과와 같은 조건에서 비교하여 그 성능을 검증하였다.

• 한국전자통신학회논문지
• /
• 제15권3호
• /
• pp.389-396
• /
• 2020

좋은 품질의 제품을 얻기 위해서는 제품 자체에 대한 품질 적합성 검사 이전에 생산 및 시험 관련 설비에 대한 적절한 검증이 반드시 선행되어야 한다. 다양한 생산 및 시험 관련 설비 중에서도 ATE는 오늘날 자동차산업, 항공·우주산업, 반도체산업과 같은 민간분야 뿐만 아니라, 방위산업의 군수품 생산 및 성능시험에도 활발히 사용되고 있다. 본 논문은 다양한 방법을 활용하여 군용 FM 무전기 세트의 자동시험장비 인 ATS에 대해 체계적으로 설계 적합성 검증을 실시 한 결과를 다루고 있으며, 군수품 ATE에 대한 설계 적합성 검증 절차가 명문화 되어있지 않은 현 시점에 좋은 참고자료가 될 것으로 기대된다.

• 한국항공우주학회지
• /
• 제48권1호
• /
• pp.55-62
• /
• 2020

회전익 헬리콥터의 안정성, 조종성 향상 및 증대를 보장하기 위해서는 디지털 제어기술에 의한 디지털 비행제어시스템의 개발이 필요하다. 헬리콥터 비행제어시스템 설계 및 개발 기술은 해외 선진 항공 개발사의 기술이전 기피 및 불가에 해당하는 핵심기술로써 헬리콥터 비행제어 시스템 운용소프트웨어인 OFP의 기능 요구조건 충족과 더불어 비행안전에 직결되는 시스템 신뢰도의 검증이 필요하며 비행제어 시스템 운용 소프트웨어의 검증 방안 연구는 무엇보다 중요하다. 본 논문에서는 회전익 자동비행제어시스템 소프트웨어의 FMET 수행 및 검증 방안에 관한 연구를 수행하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.76-78
• /
• 2002

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

• 정보보호학회논문지
• /
• 제13권5호
• /
• pp.17-37
• /
• 2003

본 논문에서는 인증 및 키 분배 프로토콜에 대한 논리성 검증을 위한 ASVO 로직을 제안한다. ASVO 로직은 기존의 인증 로직 중 하나인 SVO 로직에 대해서 자동 검증을 고려하여 변형 설계한 로직이다. ASVO 로직은 구문적/의미적 구조의 안전성을 갖는 로직으로서. 비교적 간소화된 증명 단계를 갖는다. 또한 Isabelle/Isar 시스템을 이용하여 구현된 Isabelle/ASVO 시스템은 ASVO 로직을 통한 반자동 검증을 지원한다.

• 제어로봇시스템학회지
• /
• 제18권4호
• /
• pp.46-54
• /
• 2012

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

• 한국컴퓨터정보학회논문지
• /
• 제25권10호
• /
• pp.23-34
• /
• 2020

본 논문에서는 Direct Mapping(DM) 방식으로 생성된 RDF 지식 그래프에 대한 SHACL 스키마를 RDB 스키마로부터 자동 생성하는 방법을 제안한다. DM과 SHACL은 모두 W3C 표준 사양이다. DM은 RDB 데이터를 RDF 그래프로 변환하기 위한 규칙들로 구성되어 있다. SHACL은 RDF 그래프의 구조 묘사와 구조 검증을 위한 언어이다. 제안하는 방법은 RDB 스키마의 구조 정보뿐 아니라 무결성 제약조건을 SHACL로 자동 번역한다. 즉, 자동 생성된 SHACL 스키마는 RDBMS를 대신하여 무결성 제약조건 위배 여부를 검증할 수 있다. 이것은 RDB가 RDF 표현의 가상 지식 그래프로서 서비스되는 상황에서도 데이터베이스의 일관성을 보장하기 위한 고려이다. 자동 생성된 SHACL 스키마를 W3C가 발표한 24가지 DM 테스트 케이스에 적용하여 RDF 그래프의 구조 설명과 검증에 있어서 유효함을 보였다.