• 제어로봇시스템학회지
• /
• 제22권2호
• /
• pp.22-28
• /
• 2016

최근 하드웨어의 발전으로 데이터 처리 속도가 기하급수적으로 빨라짐에 따라 영상처리 기술이 급속도로 발전하고 있다. 이와 동시에 카메라 영상을 활용한 로봇과 무인 시스템의 연구 개발 또한 빠르게 이루어지고 있으며 실제적 한계에 부딪혀 검증되지 못했던 기존의 많은 이론들이 검증되어가고 있다. 본 기술논문에서는 카메라 영상을 이용한 로봇 제어 기술, 즉 비주얼 서보잉(visual servoing) 기술에 대하여 소개하고 앞으로의 기술 발전 방향에 대하며 고찰한다.

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

M-IoT 기술 개발과정에서 최종 사용자 및 관련 전문가들의 지속적이고 협력적인 참여를 유도하기 위한 리빙랩 환경 조성을 목표로 한다. 이에 방법론으로써 '선내 IoT 센서 데이터 모니터링을 위한 인터넷 홈페이지 구축'을 제시하여 선내 통신 시스템(표면파 기술) 기술검증 환경 지원 및 M-IoT 기술 기반 홈페이지 구축 과정과 향후 운영방향을 제시하였다.

• 한국정보처리학회논문지
• /
• 제5권12호
• /
• pp.3176-3184
• /
• 1998

프로토콜 적합성 시험을 효과적으로 하기 위하여 시험항목을 올바로 기술하는 것은 매우 중요하다. 시험 항목 검증을 자동화한다면 수 작업으로 할 때의 번거로움과 오류를 피할 수 있다. 이 연구에서는 이러한 수 작업으로 생성된 시험 항목의 검증을 자동화함으로써 오류를 줄이고, 적합성 시험의 생산성을 향상시키기 위한 시험 항목 검증 도구를 설계하고 이를 구현하였다. 검증대상 시험 항목은 TTCN형태이고 검증의 핵심기반은 reachability tree analysis 방법이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 추계학술발표논문집(상)
• /
• pp.327-330
• /
• 2004

테스팅이 오류의 존재를 증명할 수 있는데 반해서, 정형 검증 기술은 시스템에 오류가 존재하지 않음을 증명할 수 있다. 모델 체킹은 이런 정형 검증 기술 중의 하나이다. 최근에 모델 체킹을 이용하여 코드를 자동으로 검증하려는 연구들이 많다. 하지만 이런 연구는 일반적인 환경에서의 검사만을 할 수 있다. 반면에 임베디드 소프트웨어는 실시간성, 외부 환경, 다중 스레드 등의 다양한 특성이 존재한다. 따라서 임베디드 소프트웨어와 같이 안전한 소프트웨어 시스템을 필요로 하는 환경을 위한 모델 체킹을 수행하기는 힘들다. 본 논문에서는 임베디드 소프트웨어에 대한 모델체킹 도구가 검증할 수 있어야 하는 실시간 시스템의 검증, 외부 환경에 대한 고려, 다중 스레드 시스템의 검증 등을 설명하고, 기존 도구들이 얼마나 만족하고 있는지 조사해본다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2015년도 추계학술대회 논문집
• /
• pp.107-108
• /
• 2015

본 논문에서는 에너지 저장장치(ESS)용 대용량 PCS 성능검증을 위한 2MW급 성능검증설비의 구축에 대해서 기술하였다. 2MW급 PCS의 성능검증을 위한 시험설비는 피시험용 PCS에 DC전원공급을 위한 배터리 모의장치, 계통 이상에 대한 보호기능 검증을 위한 계통모의장치, 피시험용 PCS의 동작특성, 효율, 전력품질 등을 측정/평가하기 위한 평가시스템, 기타 계통연계설비 및 부하설비로 구성된다. 본 논문에서 기술한 시험설비를 활용하여 당사에서 개발한 2MW급 PCS의 개발검증 외에도 '15년 한전 FR용 ESS 공급사업 관련 당사 2MW급 PCS 인정시험 및 FAT 검수시험에 활용하였다.

• 한국콘텐츠학회논문지
• /
• 제20권8호
• /
• pp.359-367
• /
• 2020

IoT(Internet of Things)의 주요기술인 WSNs(Wireless Sensor Networks)는 위치를 기반으로 정보를 전달하거나 인증을 하는 경우가 많기에 잘못된 위치 정보는 서비스에 큰 위험이 된다. 따라서 위치 정보를 검증하는 방법은 필수적이다. 목적에 적합한 기법을 설계하기 위해서는 기존 연구들에 대한 통합적인 분석과 분류 결과가 중요하다. 본 논문은 WSN 를 대상으로 개발된 위치 검증 기법들의 특징에 대해 통합적인 분석 및 분류 결과를 제시하는 것을 목표로 한다. 이를 위해 기발표된 주요 위치 검증 기법들의 특징 분석 결과를 바탕으로 분류 기준을 설정한다. 그리고 설정한 분류 기준에 따라 기존 연구 결과를 분류하고 각각의 특징과 발전 방향을 기술한다. 본 논문의 결과는 기존의 위치 검증 기법 분석 및 분류 연구와 비교해, 보다 다양한 기준을 제시하고 있다는 점에서 신규 기법의 설계시 유용한 참고자료가 될 것으로 기대된다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권4호
• /
• pp.448-456
• /
• 2000

설계되는 시스템의 규모가 커지고 복잡해지므로 이를 빠른 시간 내에 효율적으로 검증하기 위한 상위 단계에서의 검증 기술의 개발이 중요하게 되었다. 본 연구에서는 하드웨어와 소프트웨어가 혼합되어 있는 시스템을 위한 상위 단계에서의 검증기술을 개발하였다. 에뮬레이션 또는 시뮬레이션만을 수행하는 것보다 빠르고 우수하게 기능적으로 검증하기 위해, 하드웨어와 소프트웨어 부분으로 분할한 후 인터페이스 회로를 이용하여 구현 가능하도록 하였다. 그리고, 상위 단계의 회로를 쉽게 하드웨어를 이용하여 검증하기 위한 설계 지침들을 제시하였다. 본 방법을 이용하여 리드-솔로몬 디코더 회로에 대한 검증을 수행한 결과 시뮬레이션만을 수행한 경우에 비하여 modified Euclid 알고리즘 수행 블록은 12,000배 이상의 속도로 검증을 수행할 수 있었으며, 전체 검증 시간도 반 이하로 줄었다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2023년도 춘계학술대회
• /
• pp.239-240
• /
• 2023

자율운항선박 지원 서비스는 자율운항선박이 항만 내에서 안전하게 항해하고, 입/출항 및 화물 적/양하를 효율적으로 진행하는 것을 지원하기 위해 개발 중인 6종 서비스를 의미한다. 개발된 서비스의 성능을 검증하기 위해 육상 시범운영 인프라인 자율운항선박 기술연구센터를 구축하였으며, 성능검증 시나리오를 개발하였다. 성능검증 시나리오는 개발된 서비스가 실제 운용 환경에서 올바르게 동작하는지 확인하는 데 중점을 두고 있다. 성능검증은 실제 서비스 사용자를 중심으로 하는 사용자 기반 방식으로 진행된다. 실제 선박에서의 서비스 성능을 검증하기 위해 실습선을 이용한 실선박 테스트를 수행하였다.

• 전자통신동향분석
• /
• 제28권2호
• /
• pp.29-37
• /
• 2013

최근 임베디드 제어 시스템의 규모와 복잡도가 폭발적으로 증가함에 따라, 단일 시스템을 대상으로 하는 기존 M&S(Modeling & Simulation) 기반의 SW 개발 기술은 한계에 부딪히게 되었다. 이에 본고에서는 네트워크 기반 복합 임베디드 제어 시스템의 고신뢰 SW 개발을 위한 M&S 기술 동향을 소개한다. 먼저 모델링 단계에서 복합 시스템의 이종성을 다루기 위한 모델링 기술과 대표적인 도구를 소개하고, 다음으로 대규모 하이브리드 시스템 모델의 검증을 위한 시뮬레이션 및 정형 검증 기술과 관련 도구를 소개한다.

• 대한조선학회지
• /
• 제30권4호
• /
• pp.27-32
• /
• 1993

본 연구에서는 첫째로, 자체적으로 정립한 시스템 개발방법론인 객체지향 기술을 적용하여 선 체설계 전산시스템의 요구사양 및 기능분석을 수행하여, 유닛모델 개념(선체의 각 부분에서 보 여지는 특징적인 구조를 유닛으로 하고 선체구조정보를 설계변수화하여 파라메트릭 설계기법을 이용하여 모델링하는 방법임)의 초기 선체 모델링기법을 제시하고 이를 검증하므로써, 유조선 화물창부의 초기 모델링을 통한 구조설계 대안의 신속한 검토와 초기물량의 정확한 산출이 가 능하도록 하였다. 둘째로, 모델링 기술 분야에서는, 선박제품 모델링을 위한 기반 기술로써(여 기서, 제품모델링이란 최근 CAD/CAM 및 CIM 분야에서 거론되는 기술분야로서, 설계 및 생산의 대상이 되는 제품의 제반정보를 전산기 내에서 모델로써 표현하고자 하는 시도임) 선박 제품 모델의 표현방법론과 내부처리 기법을 정의하였고, 이 방법론에 다라 객체지향 구\ulcorner배치 프로 그램(OO_COMDEF)을 개발하여 본 연구에서 제시한 제품모델의 표현방법론을 검증하였다. 셋 째로 응용 프로그램 개발 분야에서는 선체 상세설계를 지원할 수 있는 시스템 설계를 수행하 였고, 이를 토대로 이중선체 유조선의 화물창부의 Hopper Tank부의 Stiffener 배치를 자동적으로 생성할 수 있는 시험용 프로그램을 개발하여 그 개념을 검증하였다.