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

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

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 춘계학술발표회논문집(1)
• /
• pp.499-504
• /
• 1996

본 논문은 저온정지에서 2%까지 원전 자동기동시스템에 필요한 발전소 데이터를 시험검증설비로부터 얻기 위해 공유메모리와 TCP/IP를 사용하여 통신프로그램을 개발하였다. 자동기동시스템은 foxboro에서 제공하는 API(Application Program Interface)를 이용하여 데이터베이스에서 제어기에 필요한 데이터를 공유메모리에 올려놓고, 통신프로그램이 읽고 쓸 수 있도록 했으며, 시험검증설비에서는 HP Workstation에서 사용되는 내부 프로세스 통신방법을 이용하여 시험검증설비에서 나온 데이터를 공유메모리에 넣을 수 있도록 설계하였다.

• 정보보호학회논문지
• /
• 제13권1호
• /
• pp.115-129
• /
• 2003

본 논문에서는 암호프로토콜의 논리성 검증을 위한 방법 중 하나인 SVO 로직을 바탕으로 한 자동 검증 방법과 실험에 대해서 다룬다. 먼저 기존 SVO 로직 자동 검증의 문제점을 도출한 후 자동 검증을 고려한 ASVO 로직을 설계하고 검증하였으며, Isabelle/Isar 시스템을 이용하여 구현하였다 본 논문에서는 잘 알려진 NSSK 프로토콜 중심으로 추론 구성 사례를 소개하도록 한다. 결과적으로 이미 Denning-Sacco 공격에 취약한 것으로 알려진 NSSK 프로토콜의 문제점들을 ASVO 로직의 자동화 검증을 통해서 정확히 확인할 수 있었다. 그리고 최종적으로 ASVO 로직의 자동화 검증을 통해서 발견된 취약점들을 개선한 NSSK7 프로토콜을 설계하고 검증하였다.

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

생물학 분야의 방대한 지식을 효율적으로 다루기 위하여 생물정보학이 주요한 연구 분야가 되었다. 이중 특히 생물학 문헌에서 정보를 자동으로 추출하는 연구가 활발히 진행되고 있는데, 이러한 정보추출 결과를 이용하여 유전자 온톨로지와 같은 유용한 지식베이스를 자동으로 확장함으로써 폭발적으로 증가하는 생물학 분야의 연구 결과들을 지식베이스에 통합할 수 있다. 자동으로 확장된 온톨로지는 신뢰성을 보장하기 위한 검증 과정을 거쳐, 정보추출 시스템의 성능을 향상시키기 위한 지식베이스로 사용되게 된다. 본 연구에서는 단백질 간의 상호작용에서 나타나는 조건을 추출하는 시스템과 유전자 온톨로지를 이용하여 추출된 생물학 용어를 분석하는 시스템을 제안하고 유전자 온톨로지의 자동 확장 및 검증 시스템에 대하여 논의한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2021년도 제33회 한글 및 한국어 정보처리 학술대회
• /
• pp.118-123
• /
• 2021

현대 사회에서 소셜 네트워킹 서비스의 증가와 확산은 많은 정보를 쉽고 빠르게 얻을 수 있도록 하였지만 허위·과장 정보의 확산이 큰 문제로 자리잡고 있다. 최근 해외에서는 이들을 자동으로 분류 및 판별하고자하는 Fact 검증 모델에 관한 연구 및 모델 학습을 위한 데이터의 제작 및 배포가 활발히 이루어지고 있다. 그러나 아직 국내에서는 한국어 Fact 검증을 위한 데이터가 많이 부족한 상황이기 때문에 본 논문에서는 최근 좋은 성능을 보이는 openai 의 GPT-3를 한국어 태스크에 적용시킨 HyperCLOVA 를 이용하여 한국어 Fact 검증 데이터 셋을 자동으로 구축하고 이를 최신 Fact 검증 모델들에 적용하였을 때의 성능을 측정 및 분석 하고자 하였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2009년도 학술발표회 초록집
• /
• pp.1850-1854
• /
• 2009

금강하구언 상류에 위치한 규암 지점은 배수영향을 받는 지점으로 2007년도에 ADVM (Acoustic Doppler Velocity Meter)방식 자동유량측정시설을 설치하여 운영 중에 있다. 본 연구에서는 규암 지점 자동유량측정 시설에서 측정된 유량측정성과를 분석하고 다양한 방법을 통해 이를 검증하였다. 그 결과 기존 수위-유량관 계곡선식으로 방류영향 지역의 유량변화를 잘 나타낸 결과를 보였으며, 유량의 경우 총 67회 측정한 검증자료와 평균오차 7.2%로 대체로 비슷하게 산정되었으며, 금강하구언의 방류량과 갑문개방기간 동안 규암 지점의 총 유출량을 비교한 결과 3.2%의 오차를 보여 규암 지점 자동유량측정시설의 측정결과에 큰 신뢰도를 보였다.

• 한국항공우주학회지
• /
• 제37권4호
• /
• pp.359-366
• /
• 2009

자동 코드생성이란 MATLAB의 Simulink 환경에서 설계한 블록 다이어그램을 c 코드로 변환시켜 주는 기능으로 MATLAB과의 연동을 통해 소프트웨어 설계부터 검증까지의 통합된 개발환경을 제공함으로서 개발 시간을 크게 줄일 수 있다. 하지만 생성된 c 프로그램을 무인기에 탑재하기 위해서는 소프트웨어의 신뢰성 확보가 필요하며 특히 원본이 되는 Simulink 블록의 검증이 중요하다. 본 연구에서는 자동 코드생성 기능을 고려하여 Simulink 환경에서 구성한 무인기용 자동비행 프로그램을 DO-178B에 명시된 소프트웨어 시험 과정에 따라 검증하였다. 이 과정을 통해 최종 프로그램은 기능 요구사항에 대한 만족함을 확인했을 뿐 아니라 Decision Coverage 93%, Condition Coverage 95% 그리고 MC/DC 90%로 구조적 측면에서 검증을 수행했다.

• 한국측량학회지
• /
• 제18권4호
• /
• pp.387-394
• /
• 2000

항공사진영상을 데이터베이스화하는데 있어서 가장 큰 오차의 원인은 자동독취기의 독취 과정에서 발생한다. 현재 수행하고 있는 항공사진영상 데이터베이스 구축사업의 품질 확보를 위해서는 자동독취 과정에서 발생하는 정확도를 검증하는 과정이 필요하게 된다. 따라서. 본 연구에서는 항공사진영상 데이터베이스 구축에 이용되는 항공사진 전용 자동독취기의 정확도 검증방법을 정립함으로써 항공사진영상 DB의 정형적인 품질확보 방안을 제시하는데 목적이 있다. 본 연구의 수행을 통해 항공사진영상 DB의 품질확보를 위한 자동독취기 정확도 검증방안을 제시하였으며, 본 연구를 통해 정립된 방법을 실제 항공사진영상 DB구축과정에 적용한 결과 자료의 품질확보에 기여할 수 있음을 알 수 있었다.

• 한국가스학회지
• /
• 제2권1호
• /
• pp.53-58
• /
• 1998

화학공정 변수간의 관계를 표현하는 방법으로, 지식기반 접근법을 이용하여 부호유향그래프(signed directed graph, SDG)를 자동합성하였다. SDG의 자동합성은 지식베이스를 이용한 추론과정 및 Loop 검증의 두 단계를 거쳐 수행된다. 먼저, 공정내 장치를 중심으로 장치간의 결합관계를 Topology로 표현하고, Topology 정보를 이용한 공정 변수관계 표현 및 지식베이스의 공정경향 데이타를 문자 패턴 매칭하여 Primary-SDG를 자동으로 합성한다. 생성된 Primary-SDG를 Loop 검증기의 추론을 통하여 검증, 수정하여 SDG를 자동합성하였다.

• 제어로봇시스템학회지
• /
• 제3권1호
• /
• pp.75-82
• /
• 1997

본 글에서는 자동물류취급시스템을 설치하여 극단적인 다품종소량생산시스템을 모델링하고 분석하여 설계변수들을 결정하는 틀을 설명하였으며, 이에 의해 설치되어진 자동물류취급시스템의 실례를 들어서 자동물류취급시스템이 납기단축과 간접공수절감에 얼마나 효율적인가를 보였다. 본 연구에서 얻어진 결론을 요약하면 다음과 같다. 1) 다양한 정보처리와 실시간 이산현상시스템의 해석 및 검증을 위하여 Colored and Stochastic 페트리네트를 정의하고 이를 이용하여 자동물류취급시스템이 설치되어진 생산시스템에 대한 모델링을 수행하였다. 2) Colored and Stochastic페트리네트 모델에 대한 시뮬레이션을 수행하는 소프트웨어를 개발하여 주어진 모델의 성능평가를 수행하였다. 3) 자동물류취급시스템의 설계변수를 결정하는 알고리즘을 제시하였으며 이에 의거한 시뮬레이션을 통하여 적절한 설계변수를 결정하였다. 4) 자동물류취급시스템이 설치되어진 생산시스템을 대상으로 모델과 설계변수의 타당성을 검증하였다.