• Journal of the Korean Society for Nondestructive Testing
• /
• v.30 no.4
• /
• pp.317-323
• /
• 2010

The manual ultrasonic examination for the nuclear power plant piping welds has been demonstrated by using KPD(Korean Performance Demonstration) generic procedure. For automated ultrasonic examination, there is no generic procedure and it should be qualified by using applicable automated equipment. Until now, most of qualified procedures used pulse-echo technique and there is no qualified procedure using phased array technique. In this study, data acquisition and analysis software were developed and phased-array transducer and wedge were designed to implement phased array technique for nuclear power plant in-service inspection. The developed procedure are qualified for performance demonstration for the flaw detection, length sizing and depth sizing. The qualified procedure will be applied for the field examination in the nuclear power plant piping weld inspection.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.337-339
• /
• 2003

코드검증은 소프트웨어공학에서 제안한 개발 프로세스 상의 여러 절차 중 비용 대 효과 측면에서 가장 효과적이라고 알려져 있다. 그러나 코드검증 절차 도입 초기에는 적용에 따른 기대 수준이 낮으며, 추가 작업에 대한 개발자와 관리자의 부담이 높기 때문에 투입시간, 자원할당 등의 계획은 설득력 있는 근거를 바탕으로 체계적으로 수립되어야 한다. 본 논문에서는 기존 제품 개발 시 발생되었던 결함의 원인 분석과 결함 제거에 투입된 공수 산출을 바탕으로 코드검증 절차를 개발 프로세스 상에 도입, 계획할 수 있는 방안을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.253-255
• /
• 2002

무선 자원 제어 프로토콜에서는 각 기지국 영역을 벗어나 다른 기지국으로 이동할 때 통화의 단절 없이 계속 유지하는 핸드오버 기능이 필수적이다. 핸드오버는 이동 통신 네트웍에서 필수적인 하나의 수단으로 현재 서비스 중인 연결의 협상된 서비스의 질을 유지하면서 단말기의 이동성 보장을 목표로 한다. 본 논문에서는 Telelogic 사의 통신 시스템 통한 개발 도구인 SDT와 ITEX를 이용하여 현재 3GPP 진영에서 개발중인 IMT-2000/비동기방식 무선 인터페이스 중 무선 자원 제어 프로토콜의 핸드오버 절차를 SDL로 명세하고, 정확성을 검증한다. 그리고 검증된 핸드오버 절차의 적합성 시험을 수행한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1633-1636
• /
• 2003

코드검증은 소프트웨어공학에서 제안한 개발 프로세스 상의 여러 절차 중 비용 대 효과 측면에서 가장 효과적이라고 알려져 있다. 그러나 코드검증 절차 도입 초기에는 적용에 따른 기대 수준이 낮으며, 추가 작업에 대한 개발자와 관리자의 부담이 높기 때문에 투입시간, 자원할당 등의 계획은 설득력 있는 근거를 바탕으로 체계적으로 수립되어야 한다. 본 논문에서는 기존 제품 개발 시 발생 되었던 결함의 원인 분석과 결함 제거에 투입된 공수 산출을 바탕으로 코드검증 절차를 개발 프로세스 상에 도입, 계획할 수 있는 방안을 제시한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2020.01a
• /
• pp.273-274
• /
• 2020

본 논문에서는 부가가치가 높은 군용 장비류의 해외정비품을 국내정비로 전환하기 위한 절차 중 최종 성능평가 절차를 제안하였다. 기존의 절차는 해외정비품의 성능시험을 위한 정비능력 개발시 개발된 국산화 시험장비의 유효성 검증을 위한 명확한 절차가 마련되지 않아 소요군 혹은 실무자에 따라 최종성능평가의 기준이 다른 점이 발생하였다. 따라서 본 연구에서는 통일화된 절차를 연구하여 제안하였다. 제안한 이 절차는 통일된 기준 마련을 통해 해외도입 시험장비와 국산화된 시험장비의 상호 같음을 검증하여 해외로 나가는 정비대상품을 국내정비로 전환하였을 때 품질면에서 동일함을 보증하기위한 중요한 수단이 될 것이라 기대한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.646-648
• /
• 1999

본 논문에서는 가입자망의 고속화를 실현하는 방안으로 개발되고 있는 B-WLL 시스템의 MAC 프로토콜을 설계하고 검증하였다. MAC 프로토콜의 설계는 DAVIC에서 제시하는 MAC 메시지를 사용하여 SDL로 설계했으며, 가변적인 경쟁/예약 타임 슬롯할당 알고리즘을 적용했다. 또한 설계한 MAC 프로토콜의 유효성을 검증하기 위하여 Object(GEODE의 SDL Design Tracer를 이용하여 문법적인 오류를 검사하고, MSC를 생성하여 프로토콜의 동작절차에 대해 검증하였다. 검증의 결과, 설계한 MAC 프로토콜이 절차에 따라 정확하게 동작했으며, B-WLL 시스템이 지원하는 모든 서비스에 대해 유효함을 확인했다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2021.10a
• /
• pp.305-306
• /
• 2021

It has been designed very complex that gathering system for various sending data. Therefore it is very important that verification process of these functions. In this paper we design of integrated verification process for sensing data gathering system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.116-119
• /
• 2010

안보, 재난, 국가핵심기반 분야에 위기발생시 즉각적인 조치를 위한 '위기대응 실무매뉴얼'이 정부기관별로 작성되어 있지만 조치사항에 대한 정량적 검증이 부족하다. 오류가 내포된 조치절차는 피해를 확대 시킬 수 있으므로 위기대응절차에 대한 검증이 요구되며 이를 위해 본 논문에서는 Statemate의 구조적, 기능적, 행위적 관점의 언어를 활용해서 정형기법(formal methods)을 수행함으로써 위기 대응 실무매뉴얼의 모델링 방법을 제안하고 매뉴얼에 기술되어 있는 조치절차의 검증결과를 제시하였다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2012.11a
• /
• pp.195-198
• /
• 2012

IPTV는 방통융합의 대표적인 매체로 자리 매김하며 2008년 상용서비스를 시작으로 계속 진화하고 있다. 그러나, 초기 서로 다른 방식으로 IPTV 서비스를 시작함으로 인해 상호운용성 문제가 대두 됨에 따라, TTA를 통해 IPTV 분야의 표준화가 시작되어 현재도 다양한 IPTV 분야의 기 제정된 표준의 개정 작업 및 신규 분야의 표준화를 계속 추진하고 있다. 이렇듯 표준화가 진행됨에 따라, IPTV 단말의 사업자 간의 이동성을 보장하기 위한 노력이 계속되고 있으며, 그 중 하나로 IPTV 단말 프로비저닝 절차 표준화가 추진되어 현재까지 2번의 개정 작업을 통해 표준안의 보완/수정 작업 등이 진행되어 2차 개정판이 완료되었다. 이에 TTA에서는 해당 표준을 구현한 STB 등 단말과 서버에 대한 표준적합성 시험을 위한 시험규격을 개발하였다. IPTV 단말 프로비저닝 절차 표준에서는 단말의 네트워크 접속부터 펌웨어/소프트웨어 업그레이드, IPTV 서비스를 탐색하기 위한 정보 전달을 위한 절차를 정의하고 있으며, 각 절차별 데이터 형식 및 프로토콜을 검증하기 위한 시험항목을 개발하였으며, 표준안 검증 및 시험 서비스 제공을 위한 시험환경을 구축하였다.

• Nuclear Engineering and Technology
• /
• v.29 no.6
• /
• pp.8-16
• /
• 1997

ONED94는 노심추적계산, 부하추종모사, 출력증감발 및 재기동 운전전략, 제논진동모사 및 제어봉 이동전략수립 등을 위한 전산 코드로, Westinghouse 형 노심에 대해서는 적용절차 및 방법이 이미 검증되어 노심관리용으로 사용되고 있으며, CE형 노심에 대해서는 CE형 노심핵설계체계를 이용한 단면적 자료생산에서 적응계산에 이르기까지 ONED94 모델 생산 방법과 절차는 확립된 상태에 있다. 이 보고서에서는 영광3호기 초기노심의 시운전 자료를 토대로 50, 80 및 100% 출력에서의 제논진동 및 출력증감발 모사계산을 수행하여 CE형 노심에 대하여 ONED94코드를 검증하였다.