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

해상에서 긴급상황 발생 시 선박운항자는 짧은 시간에 신속 정확한 의사 결정을 할 필요가 있다. 이를 위해서 해양사고(충돌, 좌초, 화재, 엔진고장, 조타고장) 심각성에 따른 대피항로(해경선, 비상투묘, 표류, 임의좌주, 주변선박) 선정 알고리즘을 설계하였고, 선박운항자를 위한 긴급대피지원안내 시스템을 개발 중에 있다. 본 연구에서는 대피항로 선정 지원 기술 중 비상투묘와 충돌위험도를 중심으로 시스템 적용 모델의 타당성의 평가하고 알고리즘의 신뢰성을 검증하였다. 비상투묘 지원 기술의 검증을 위해 국내외 해양사고 보고서 및 재결서를 분석하고 알고리즘에 적용해 결과를 비교하였다. 충돌위험도를 검증하기 위해 재결서의 선박 충돌 사고 사례를 시뮬레이션으로 재현하였고, 시뮬레이션 기록 데이터를 기반으로 PARK model, IWRAP MK2 프로그램을 이용해 충돌위험도를 평가하였다. 본 연구의 결과를 통해 해양사고 발생 시 선박과 인명 피해를 최소화할 수 있을 것으로 예상된다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2009년도 제33회 추계학술대회논문집
• /
• pp.608-612
• /
• 2009

30톤급 액체로켓엔진 연소기 개발 기술을 바탕으로 75톤급 기술검증용 연소기 시제품을 제작하였다. 시제품 제작에서 검증하고자 하였던 일부 기계가공 공정 및 접합 기술들은 75톤급 연소기에서도 동일하게 적용할 수 있음을 확인하였다. 새롭게 설계된 연소기 헤드부는 새로운 공정을 적용하여 제작하였다. 기술검증용 시제품을 통해 확립된 공정 및 기술들은 대형 액체로켓엔진 연소기 제작 기술의 신뢰성을 향상 시킬 것이다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1997년도 추계학술발표회논문집(1)
• /
• pp.317-322
• /
• 1997

앞으로 건설되는 원전의 계측제어계통은 디지털 기술로 설계될 전망이다. 그러나 디지털 기술을 원전 계측제어계통에 적용하는데 있어서 디지털 기술이 원전의 안전성이나 신뢰도에 영향을 미치지 않는다는 사실을 보증하여야 하며, 디지털계통의 기능과 성능에 대한 확인/검증은 원전에 설치되기 전에 수행되어야 한다. 계측제어 시험검증설비의 목적은 새롭게 개발되는 디지털 제어 및 보호 알고리즘, 경보축약 알고리즘 또는 운전지원계통등의 성능을 검증하기 위함이다. 시험검증설비의 소프트웨어는 웨스팅하우스형 993 MWe 가압경수로를 모델링한 수학적 모델링과 시험검증설비를 운용하기 위하여 필요한 종합운용프로그램으로 구성된다. 하드웨어는 공학용 워크스테이션, 시험용 패널, 개발되는 계통과의 인터페이스를 위한 VXI 인터페이스 모듈, 그리고 공유메모리의 값을 시험대상 시작품으로 전송하는 Ethernet 모듈 등으로 구성된다. 사용자 인터페이스로 할덴 원자로 프로젝트에서 개발된 Picasso 그래픽 도구를 이용한 화면과 60개의 주요변수의 값을 CRT에 표시하는 기능을 제공한다. 계측제어 시험검증설비를 응용한 계측제어계통 시작품은 정상운전 및 과도상태에서 적절한 시험결과를 제공하였다.

• 정보보호학회지
• /
• 제19권2호
• /
• pp.87-98
• /
• 2009

국내 외 IT 제품은 그 제품이 가지고 있는 안전성 및 신뢰성에 대한 검증을 통해 국가 및 공공기관에 제품 공급 및 이용 촉진을 도모하고 있다. 또한 각 국가마다 보안제품 특징과 성격에 맞는 평가라 인증을 수행하기 위한 보안성 평가 서비스를 제공하고 있으며, 시스템 평가 기준과 방법론이 개발 및 운영되고 이에 따라 캐나다에서는 정보기술보안 제품의 안전성을 사전에 검증하기 위한 제도를 시행하고 있다. 본 고에서는 캐나다의 정보기술보안 제품 사전 검증 제도에 대한 분석을 통해 국내 적용가능성에 대하여 분석한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (하)
• /
• pp.931-934
• /
• 2001

정보보호 분야의 핵심 기술인 PKI는 전자정부 및 전자상거래 전반의 응용 환경에서 정보보호의 기반구조로서 그 활용의 폭을 더욱 넓혀가고 있다. 이러한 PKI를 기반으로 하는 정보보호 서비스를 수행하기 위하여 반드시 구현되어야 하는 중요 기술 중의 하나인 인증서 검증 기술은 필수 요소임과 동시에 구현 및 수행의 복잡성으로 인해 많은 논의점들이 제기 되어 왔다. 본 논문은 현재 IETF에서 제정한 RFC2459[1] 표준 문서 및 IETF Internet-Draft[2]를 중심으로 인증서 검증 기술에 대하여 살펴보고, 최근 제시된 핫이슈들을 검토하여 인증서검증 기술에 대한 문제점 및 이에 대한 확장 방안 및 응용에 대하여 기술한다.

• 자판기공업
• /
• autumn호
• /
• pp.62-65
• /
• 2000

자판기분야도 이제는 기술 검증시대를 열어야 할 시점에 와 있다. 지금까지는 산업계에 축적된 기술에 대한 검증제도가 없다 보니 기술 인력들의 직업에 대한 만족도와 성취욕 측면에서 한계가 있었다. 또한 사후관리에 대한 소비자 만족도도 그다지 만족스러운 수준에 와 있지 못했다. 이러한 상황에서 기술자격증 제도의 도입은 기술의 향상과 활용 측면에서 크나 큰 기대효과를 기대케 한다. 이번 란에서는 협회가 도입을 적극 검토중인 자판기 분야의 기술자격증 제도에 대해 알아보도록 하자.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2011년도 제36회 춘계학술대회논문집
• /
• pp.31-34
• /
• 2011

75톤급 일체형 재생냉각 연소기 기술검증용 시제의 설계 및 제작에 대하여 기술하였다. 기술검증용 연소기의 설계 연소압력은 60 bar, 추진제 유량은 243.6 kg/s, 그리고 노즐 팽창비는 12이다. 헤드부와 추력실부가 용접되는 일체형 재생냉각형 연소기이다. 본 기술검증용 시제품을 통해 확립된 설계 및 제작 기술들은 비행용 모델 개발에 활용될 것이다.

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

광학우적계(PARSIVEL)는 강수 입자의 정확한 직경 및 분포 분석에 용이한 이유로 정밀 기상관측과 레이더 및 우량계 검보정을 위해 널리 사용되고 있다. 하지만 PARSIVEL S/W의 경우, 관측 순간의 각종 변수 및 분석 결과를 이해하기에 용이하나 강우 이벤트 전체를 분석하기 위해서는 별도의 후처리가 요구되는 번거로움이 있다. 본 연구에서는 소형레이더 및 전파강수계의 비교검증 효율성 향상을 위해 그림 1과 같이 PARSIVEL의 자료구조 및 포맷을 분석하여, 즉각적으로 원하는 강우 이벤트에 대해 다양한 분석도구를 적용할 수 있는 S/W를 개발하였다. 그림 2로부터 개발된 S/W로부터의 분석결과를 나타내었으며, 다양한 실험을 통해 제안한 S/W를 이용함으로써 각종 강우량계 비교검증 시 강수분석을 용이하게 함을 확인하였다.

• 한국정보처리학회논문지
• /
• 제5권3호
• /
• pp.741-750
• /
• 1998

본 논문에서는 형식 기법을 이용하여 차세대 지능망 응용 프로토콜(INAP:Intelligent Network Application Protocool)적합성 시험 스위트를 생성하는 방법 및 IUT(Implenentation Under Test)시뮬레이터를 구축하여 시험을 수행함으로써 시험 스위트를 검증하는 방법에 관해 기술한다. SDL(Specification and Description Language)과 같은 형식 언어를 사용하여 INAP FSM(Finite State Machine)을 모델링하고 MSC(Message Sequence Chart)로 시험 목적을 기술한다. 기술된 FSM모델과 시험 목적을 검증하기 위해 모의 시험을 거치며, 검증이 완료된 후 시험 스위트로 변환이 된다. 형식 기법을 이용하여 INAP규격을 정확하게 기술할 수 있을 뿐 아니라 시험 스위트를 자동으로 생성함으로써 시간과 비용을 절감할 수 있다. 또한 생성된 시험 스위트를 시험기에 탑재하여 IUT시뮬레이터를 대상으로 시험을 수행함으로써 시험 스위트를 검증할 수 있는 방안을 제시하였다.

• 항공우주기술
• /
• 제12권1호
• /
• pp.87-93
• /
• 2013

달 착륙선 개념설계형상 검증모델은 한국형 달착륙선의 진보된 우주 비행체 기술들의 개발 및 검증을 위한 시험베드로서 개념설계형상을 바탕으로 달과 지구의 중력 차이를 고려하여 실제 중량의 1/6 스케일로 설계된 수직이착륙이 가능한 달착륙선의 프로토타입이다. 검증모델은 지상에 고정된 상태에서 추력기 클러스터링 시험과 가상비행시험을 수행하였다. 검증모델 지상시험은 두 달 동안 고흥항공센터 고체모터연소 시험장에서 진행했다. 검증모델의 지상시험의 목적은 비행모델 탐사선의 개발 이전에 주요 전자장비, 200N급 추진시스템, 제어 알고리즘 및 소프트웨어, 구조체의 핵심기술 및 체계운용기술 등의 전체 시스템에 대한 시연 및 검증이다. 본 논문에서는 시험형상, 시험목적 그리고 시험제반시설에 대한 기술을 포함한 가상비행시험에 대한 내용을 기술한다.