• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2008년도 춘계학술발표논문집
• /
• pp.60-62
• /
• 2008

AHP 기법을 통해 도출된 결과에 대하여 개별 계산 방법과 그룹 계산 방법을 통해 정확성을 검증하였다. 일반적으로 AHP 기법을 사용하여 가중치를 도출하지만 일관성 확인은 되지만 결과 값의 검증은 하지 못하고 있다. 본 연구에서는 이러한 문제점을 엑셀을 통해 확인하는 과정을 제시하였다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2003년도 춘계학술발표논문집
• /
• pp.250-252
• /
• 2003

본 논문에서는 콘벌루션 부호를 사용한 대역확산 방식의 디지틀 통신모뎀을 FPGA를 이용하여 설계 및 검증을 하였다. 대역확산 방식에서의 콘벌루tus부호기(K=3, R=1/2), PN code(128chip) generator와 비터비 디코더를 Xilinx사의 FPGA 디자인 툴인 Xilinx Foundations3.1을 사용하여 VHDL simulation과 timing simulation을 수행하였고, FPGA 회로설계 검증 장비인 EDA-Lab 3000 장비를 사용하여 Xilinx사의 SPARTAN2 2S100PQ208칩에 configuration 한 후 Agilent사의 1681A logic analyzer를 사용하여 설계된 회로의 동작을 검증하였다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2021년도 추계학술대회
• /
• pp.216-218
• /
• 2021

자율운항선박은 다양한 첨단기능을 활용하여, 선원의 의사결정없이 운항할 수 있는 선박으로 국내에서는 2020년부터 2025년까지 기술개발 연구가 진행되고 있다. 자율운항선박 기술개발 연구에는 자율운항선박의 안전 운영지원을 위한 6종류의 서비스도 동시에 개발 중이다. 자율운항 안전 운영지원 6종 서비스의 개발 내용이 미래 선박 운항환경에 적합하도록 개발자 및 사용자 관점에서 서비스의 성능 및 기능을 검증할 수 있는 시나리오가 필요하다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2022년도 추계학술대회
• /
• pp.263-264
• /
• 2022

전 세계적으로 자율운항선박 관련 연구가 활발히 수행되고 있으며, 자율운항선박 관련 개발 기술에 대한 시험평가 기술의 개발도 그 필요성이 부각되고 있다. 이와 같은 자율운항선박 관련 개발 기술에 대한 시험평가와 관련하여 현재 다부처사업으로 진행 중인 자율운항선박 기술개발사업에서는 자율운항선박에 탑재되는 장비 또는 알고리즘의 성능을 검증하기 위한 플랫폼으로 시뮬레이션 기반 테스트베드(Simulation-based testbed for autonomous ship, S-TAS)를 개발하고 있다. 본 연구에서는 시뮬레이션 기반 테스트베드의 활용을 위하여 자율운항시스템 구성요소 중 안전운항시스템과 경제운항시스템을 검증하기 위한 시뮬레이션 기반 시나리오 운용기능을 설계하였으며, 향후 개발되는 자율운항시스템을 위한 시나리오 운용 기술의 개발 및 연구를 수행할 예정이다.

• 정보보호학회논문지
• /
• 제15권6호
• /
• pp.3-12
• /
• 2005

최근 웹사이트들은 HTML과 스크립트 언어의 한계를 뛰어넘어 사용자에게 다양한 서비스를 제공하기 위해 많은 ActiveX Control 들을 배포하고 있다. 하지만, ActiveX Control은 웹 페이지나 이메일을 통해 실행될 수 있기 때문에 안전하지 못한 ActiveX Control은 개인 PC 보안에 치명적인 약점이 될 수 있다. 그럼에도 불구하고 대부분의 ActiveX Control들은 안전성에 대한 검증 없이 사용자들에게 배포되고 있어 많은 개인 PC들이 외부의 침입에 노출되고 있다. ActiveX Control 취약점을 줄이기 위해서는 제 3자에 의한 취약점 검사와 검증이 필요하다. 본 고에서는 점검대상 식별부터 Reverse Engineering까지 ActiveX Control 의 취약점 검사를 수행하기 위한 절차와 관련 기술들에 대해 기술한다. 또한 ActiveX Control 경우 일반 응용프로그램과 다를 뿐만 아니라 국내 환경과 국외환경의 차이로 인해 기존의 취약점 검증 기법들을 그대로 적용할 수 없다. 본 고에서는 ActiveX Control 취약점 검증을 위해 필요한 요소기술들에 대해 기술한다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2012년도 제43회 하계 정기 학술대회 초록집
• /
• pp.102-102
• /
• 2012

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

• 전자공학회지
• /
• 제33권3호
• /
• pp.49-55
• /
• 2006

인간과 로봇의 자연스러운 상호작용을 위하여 영상과 음성을 기반으로 한 인간-로봇 상호작용 (HRI: Human Robot Interaction) 기술들을 소개한다. URC개념의 서버/클라이언트 구조를 갖는 소프트웨어 로봇에 수행 가능한 얼굴 인식 및 검증, 준 생체정보(semi biometrics)를 이용한 사용자 인식, 제스처인식, 화자인식 및 검증, 대화체 음성인식 기술들에 대하여 살펴본다. 이러한 인간-로봇 상호작용 기술들은 초고속 인터넷과 같은 IT 인프라를 이용하는 URC(Ubiquitous Robotic Companion) 기반의 지능형 서비스 로봇을 위한 핵심기술로서 사용되어진다.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2003년도 한국우주과학회보 제12권2호
• /
• pp.96-96
• /
• 2003

우주발사체라 함은 지구상의 물체를 우주, 즉 지구의 중력이 영향을 미치지 못하는 대기권 밖으로 운반하는 수단을 말한다. 이를 위해 다양한 추진방식이 제안되었고 연구되고 있으나 현재까지 실용화 된 것은 화학연료를 연소시킴으로 인해 발생하는 추진력으로 지구 중력을 이겨내는 방식이다. 또한 발사체 구성에서 추진기관분야는 전체 성능을 좌우할 정도로 큰 비중을 차지하고 있다. 따라서 이에 대한 최적화 및 성능 검증은 필수적이다. 추진기관에 대한 성능 검증기법은 우주발사체 기술이 발달해 옴에 따라 해석적 방법, 비 연소 모사시험 등 다양하게 제시되고 있으나, 우주발사체용 추진기관의 연소현상을 예측 및 모사하는 것이 쉽지 않고 구축된 데이터가 적기 때문에 발사체 개발 단계의 최종 검증 차원에서 연소시험을 실시하는 것이 일반적이다. 한국 최초의 우주발사체라 평가되고 있는 KSR-III 로켓의 경우에도 다양한 해석기법과 모사시험을 통해서 성능 예측을 하였으나, 역시 최종 성능 검증을 위해 10여회의 연소시험을 실시하였다. 본 논문을 통해 저자는 KSR-III 개발과정에서 수행된 10회의 연소시험의 수행 과정과 결과를 기술, 정리 및 평가하여 향후 진행될 우주발사체 개발 사업의 기초로 삼고자 한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 1999년도 춘계종합학술대회
• /
• pp.398-402
• /
• 1999

본 논문에서는 MCM기술을 사용한 ATM용 Switching칩을 구현하고, 그 기능을 검증하였다. Switching칩의 MCM구현을 위해 기능 검증 및 상용화가 이루어진 기존 칩들의 VHDL코드를 이용하여 패키지 모델을 생성하였고, 칩의 검증은 VHDL 테스트벡터를 생성하고, 입ㆍ출력 값을 얻었다. 얻은 입력 데이터를 칩 테스트장비에 입력하여 구현된 칩에 넣고 나오는 출력을 벡터 시뮬레이션을 통해 얻은 결과 값과 비교하였다. 다양한 기능의 검증을 위하여 3가지 패턴의 벡터를 생성, 그 성능을 검증하였다. 본 연구에서 생성된 테스트 벡터는 썬 웍스테이션 상에서 Synopsys사의 툴인 vhdl analyzer와 vhdl debugger를 이용하여 simulation하였고, 각 벡터들의 입출력을 텍스트로 얻었다. 그리고 칩의 기능 시험을 위하여 일반적으로 사용되는 Trillium 장비를 사용하였다. 본 연구를 통하여 MCM후에 생성된 벡터의 입ㆍ출력 값과 테스트장비로부터 얻은 출력이 여러 기능들에 대하여 일치됨을 알았다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.489-491
• /
• 2000

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