• 전자통신동향분석
• /
• 제14권5호통권59호
• /
• pp.151-152
• /
• 1999

화자검증기술은 화자의 입력음성으로부터 화자의 특성을 계산하고 해당 화자를 유일하게 구분할 수 있는 통계적 모수를 추출하여 이를 화자의 개인 데이터베이스로 구축하며, 검증시에는 개인데이터베이스와 입력되는 미지 화자의 특성에 대한 유사도를 비교.검증하는 것이다. 또한 이때 주어진 임계치(Threshold)의 만족 정도에 따라 동일 화자여부를 결정하는 결정논리(decision logic)로 검증엔진을 구성하는 기술이며, 응용영역에 따라 환경잡음, 채널잡음 등 사용환경과 전체시스템과의 적절한 시나리오 구성 등이 실용화를 위한 중요한 척도가 된다.

• 항공우주시스템공학회지
• /
• 제17권6호
• /
• pp.133-143
• /
• 2023

본 논문에서는 유무인 협업을 위한 유인회전익기에 의한 다수 무인기 운용통제기술의 요구도 검증을 위한 통합검증환경의 요구도 분석, 구현 및 검증에 대해 기술하였다. 통합검증환경은 유인회전익기 비행 모의, 무인항공기 비행 및 임무장비 모의, 무인항공기 제어 및 유인회전익기와의 통제권 변경을 위한 지상통제장비 모의, 유인회전익기 및 무인항공기 임무계획 작성 및 전송을 위한 운용통제장비 모의로 구성된다. 각각 구현된 구성품들은 소프트웨어/하드웨어 통합시험을 통해 요구도를 검증하였다.

• 환경기술인
• /
• 제24권통권247호
• /
• pp.56-60
• /
• 2007

본 연구에서는 은폼 개발 배경 및 제조 방법 설명과 이를 응용한 은폼 제품류에 대하여 시험 하였으며 그 결과 은폼은 천연 항생제로서 시험 성적서로 타당성을 검증하고 향후 다방면 적용에 대하여는 각각의 적용 시험을 통하여 검증하고자 함.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2019년도 춘계학술대회
• /
• pp.72-73
• /
• 2019

항로표지 분야의 시장은 소규모시장으로 산업체가 영세하여 기술개발 및 투자를 기피하고 있다. 또한 장비용품을 개발하더라도 실제 환경과 유사한 환경에서 성능을 검증하는 시설도 부족한 실정이다. 해양수산부와 한국항로표지기술원에서는 산업체에서 개발한 등부표, 등명기, 충방전조절기 등의 항로표지 장비용품의 성능시험을 위한 육 해상 항로표지 성능검증 테스트베드를 구축하였다. 테스트베드에서는 성능시험 및 제품개발 단계에서부터 컨설팅, 기술지원 등을 통한 문제점을 사전에 도출하여 개선을 유도하는 등 기술지원체계를 마련하였다. 본 논문에서는 항로표지기술지원센터의 구축 및 운영에 관한 사항을 기술하였다.

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

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

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2020년도 학술발표회
• /
• pp.399-399
• /
• 2020

본 연구에서는 시스템다이내믹스(System Dynamics, SD) 방법론에 입각하여 국내의 신기술인증제도(New Technology Certification System, NTCS)의 운영에 내재된 요소들 간의 상호관계를 신기술 개발투자, 신기술의 사업화 및 신기술에 의한 매출과 연관하여 피드백루프 메카니즘을 내포하고 있는 인과지도로 규명하였다. 이렇게 개념화된 인과지도는 국내의 여러 신기술인증제도 중 환경부에서 운영중인 '환경신기술인증 및 기술검증제도(New Excellent Technology and Environmental Technology Verification, NET & ETV)'에 적용되었으며 NET & ETV의 운영 성과를 신기술에 의한 매출액(수주금액)의 관점에서 분석 및 예측할 수 있는 SD 컴퓨터 시뮬레이션 모델이 개발되었다. 개발된 SD 모형은 NET & ETV 운영의 주요 지표에 관한 기존 통계자료를 적절히 모사하였으며 모형의 검증과정에서 시행착오를 통하여 산정된 값들은 NET & ETV의 일반적인 과거 상태를 합리적인 범위 내에서 적절하게 나타내고 있는 것으로 나타났다. 본 연구에서는 개발된 SD모형을 이용하여 기본시나리오에 대한 NET & ETV의 미래 운영 상태를 예측하였으며, 환경신기술의 적용 현장 당 수주금액에 대한 시간 추세선식의 민감도를 발견하였다.

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

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

• 한국항행학회논문지
• /
• 제27권6호
• /
• pp.788-797
• /
• 2023

본 논문은 수직 이착륙 무인 항공시스템의 GPS (global positioning system) 불가 시 대체 항법 시스템으로의 영상보정항법 시스템을 시험하기 위한 검증환경 개발 내용을 소개한다. 개발 중인 영상보정항법 시스템의 시험 및 평가를 위해서는 가상 환경을 활용하는 것이 효율적이지만, 현재 국내에는 적합한 장비가 개발되어 있지 않다. 따라서 제안된 검증환경은 시험 대상 장비의 운용 환경을 모델링 및 시뮬레이션 하여 입력 신호를 생성하고, 출력 신호를 관측함으로써 대상 장비의 성능을 평가할 수 있도록 개발되었다. 연구 과정은 검증환경 요구도 생성, 검증환경 설계에서부터 구성품별 하드웨어 및 소프트웨어 설계, 제작까지 포괄적으로 기술되었다. 이를 바탕으로 제작된 검증환경을 개발 중인 영상기반 보정항법 알고리즘의 성능평가와 시뮬레이션 기반의 사전 비행시험 수행에 활용하였다.

• 정보보호학회논문지
• /
• 제31권6호
• /
• pp.1181-1191
• /
• 2021

팬데믹 현상은 원격으로 문제를 해결할 수 있는 비대면 환경을 빠르게 발전시켰다. 하지만 급작스러운 비대면 환경으로 전환은 다양한 부분에서 새로운 보안 이슈들을 발생시켰다. 새로운 보안 이슈들 중 하나가 내부자에 의한 보안 위협이었고 이를 방어하기 위한 기술로 제로 트러스트 보안 모델이 다시 주목받게 되었다. SDP(Software Defined Perimeter) 기술은 다양한 보안 요소로 이루어져 있는데 이 중 디바이스 유효성 검증이라는 기술이 내부자의 사용 행위를 모니터링 하여 제로 트러스트 보안 모델을 실현할 수 있는 기술이다. 하지만 현재 SDP 명세서에는 디바이스 유효성 검증을 수행할 수 있는 기술이 제시되어 있지 않다. 따라서 본 논문에서는 SDP 환경에서 사용자 행위 모니터링을 통한 SVDD 기반 이상행위 탐지 기술을 이용해 디바이스 유효성 검증 기술을 제안하고 성능 평가를 진행하여 SDP 환경의 디바이스 유효성 검증 기술을 수행할 수 있는 방안을 제시한다.

• 환경정보
• /
• 통권382호
• /
• pp.22-25
• /
• 2009