• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.303-308
• /
• 1998

SMART 계측제어계통 측정신호의 신뢰성을 높이기 위한 실시간 신호검증알고리듬을 개발하였다. 개발된 알고리듬은 선행고장검출행렬, 아날로그 신호용 다중성 기법, 접촉신호용 논리표 알고리듬, 주파수 신호용 다중성 기법 그리고 아날로그 센서 경증을 위한 통계적 모듈의 5개 모듈로 구성되어 있다. 선행고장검출행렬은 측정 신호 중에서 고장의 가능성이 있는 신호를 추출하여 선정된 신호만을 적절한 알고리듬으로 검증하도록 함으로써 전체적인 수행시간을 감소시킨다. 아날로그 신호검증 모듈은 아날로그 측정신호에 대한 물리적/해석적 다중성에 입각하여 고장신호의 크기, 위치를 검출하며, 접촉신호 검증 모듈은 접촉신호들간의 논리값을 비교하여 발생 불가능한 논리값을 가지는 신호를 고장신호로 검출한다. 주파수신호는 아날로그 신호와 유사한 기법을 구현하였으며, 통계적 모듈은 아날로그 센서 자체의 물리적 건전성을 검사하는 모듈이다. 현재 SMART의 설계가 확정되어 있지 않으므로 개발된 신호검증알고리듬을 시험하기 위해서 여러 주요 공정변수가 표현되는 상용 원자로의 냉각재계통을 대상으로 검증 알고리듬을 구현하였으며, 운전모사기로 모사된 신호를 이용하여 개발된 신호검증알고리듬을 시험하였다. 시험결과 각 모듈별로 적절히 고장을 검출함을 보였다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.1068-1071
• /
• 2005

최근 들어 기술을 담보로 하는 신용금융의 역할이 증대되면서 자금지원 대상기업의 기술평가 시스템 구축이 중요한 과제가 되고 있다. 국내에서는 기업 보유의 기술경영성과를 측정하여 한정된 자원의 효율적 배분을 위한 민간 투, 융자를 위한 기술신용평가모형'이 제시되었다 본 연구에서는 기술신용평가모델의 평가항목 타당성을 실증 분석한다. 모형의 항목 분류가 적절하게 되었는지를 검증하기 위하여 구조적 타당성을 평가하며 통계적 유의성을 검증하여 신뢰성을 평가한다. 구조적 타당성 검정을 위해 확인 요인분석을 수행하며 평가모형의 신뢰성을 검증하기 위해서는 다변량 통계방법 중의 하나인 판별분석을 수행한다. 본 연구는 기술개발 성공 및 부실발생의 예측력을 갖는 기술신용평가 시스템 구축을 위한 기초 자료로 활용될 수 있을 것이다.

• The KIPS Transactions:PartC
• /
• v.11C no.1
• /
• pp.21-30
• /
• 2004

Most applications using the PKI allows a user to execute the certificate validation processing. The efficiency of user system can be declined by the user-side processing resulting the overhead and low speed of the validation processing. Therefore, in this paper, we propose a new certificate validation processing method can decrease the overhead on user by allowing CAs of the hierarchical PKI to participate in the validation processing. Therefore, our proposed scheme can not only reduce the considerable overhead caused by the user-side whole processing without a new implementation of the delegated server but also improve the time spent for the processing by the reduction of the validation processing job on user.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.2011_2012
• /
• 2009

내환경검증은 원자력발전소 안전성 관련 계통의 기기가 정상운전 및 설계기준 사고 환경에서 안전기능을 수행할 수 있는지를 검증하는 것이다. 기기검증 평가에 관한 사항은 원자력법시행규칙 '제19조의2(주기적안전성평가의 세부내용)에 따르며 세부평가 대상범위는 안전기능을 확보하기 위한 안전관련 전기기기, 기능이 상실되면 안전관련 기능 수행을 저해하는 비 안전관련 기기, 규제지침 Reg Guide 1.97에서 요구하는 사고 후 감시기기 등이며 국내의 경우에는 경수로형 원전 안전심사지침 제3.11에 따른 내환경검증 기계류 기기의 비금속 부품 등이 추가로 해당된다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.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시뮬레이터를 대상으로 시험을 수행함으로써 시험 스위트를 검증할 수 있는 방안을 제시하였다.

• Annual Conference of KIPS
• /
• 2011.04a
• /
• pp.265-268
• /
• 2011

자바는 개발환경의 편리성과 재사용성, 이식성으로 다양한 시스템 환경에서 사용한다. 그러므로 자바는 오류 없이 안전하게 실행하는 것이 중요하다. 하지만 자바 바이트 코드를 통한 자바의 안전한 실행에 대한 검증은 스택코드, 코드의 정보부족 등의 이유로 검증을 어렵게 한다. 본 논문에서는 자바 바이트코드의 문제점을 해결하여 검증을 수행하는데 적합한 중간표현 언어를 소개한다. 중간표현 언어는 스택리스코드로 구현되며, 모든 명령어의 정보를 담고 있다. 이를 통해, 자바 바이트코드를 통한 검증을 수행할 것이다.

• Journal of the KSME
• /
• v.51 no.7
• /
• pp.35-39
• /
• 2011

이 글에서 중소형 원자로인 스마트 원자로의 표준설계인가를 받기 위하여 수행한 기계 기술검증시험, 원자로 계통의 안전성 평가에 필요한 자료를 생산하기 위하여 수행한 시험, 그리고 기술현안 사항을 해결한 시험에 대하여 소개하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.593-595
• /
• 1999

모형 검증을 통한 시스템 명세의 정형적인 검증은 상태 폭발 문제로 인해 많은 어려움을 겪고 있다. 여러 개의 병렬 프로세스로 구성된 시스템에서 지수적으로 증가하는 상태의 객수로 인해 현실적으로 모형 검증을 적용하는 것이 불가능한 경우가 많다. 이런 문제점을 해결하기 위해서 시스템을 모듈 단위로 생각하여 정형 검증을 시도하는 많은 연구가 수행되고 있다. 병렬성을 중요한 특성의 하나로 하는 Statecharts 또한 널리 사용되고 있음에도 불구하고 아직 모듈을 바탕으로 검증을 수행하려는 시도가 그리 많지 않다. 본 연구에서는 내장 소프트웨어 시스템에 널리 사용되는 Statecharts명세를 모듈을 바탕으로 검증하는 방법을 제시하고자 한다. 먼저 Statecharts에서의 모듈을 정의하고 그와 같은 정의를 바탕으로 여러 개의 모듈로 구성되어 있는 Statecharts 명세의 모듈 기반 검증 방법을 제안한다. 여기서 사용되는 모듈 기반 검증은 환경에 대한 가정이 만족된다면 모듈을 반드시 주어진 성질을 만족한다는 가정-보증 추론(Assume-Guarantee Reasoing)을 이용한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2019.05a
• /
• pp.281-281
• /
• 2019

수리모형실험은 수로 내에서 장시간 파랑을 발생시킬 경우, 수로 내에 반사 파랑의 성분이 누적될 수 있어 상당한 계측 오차를 발생시킬 우려가 있어 수리모형실험 결과의 검증이 필요하다. 일반적으로 수리모형실험 결과의 검증을 위해서는 동일 실험을 무수히 반복하여 불확실성을 제거하거나 다양한 수리실험실에서 수리모형실험을 수행하고 결과를 분석하여 불확실성을 제거할 수 있다. 그러나 이는 엄청난 시간과 노력은 물론 막대한 실험비용이 소요되기 때문에 경제적으로 효용성이 매우 낮아 현실적으로 수행이 어렵다. 이에 비해 수치모형실험은 상대적으로 저렴한 비용으로 수행할 수 있으며, 다수의 실험을 수행하지 않아도 불확실성을 제거할 수 있어 수리모형실험의 검증에 효율적이다. 일반적으로 난류 거동을 동반하는 복잡한 구조물 주변의 흐름 해석에는 3차원 CFD 모형이 필요하다. 특히, 병렬연산이 가능한 CFD 모형을 활용하면 수리모형실험에서도 재현이 쉽지 않은 다양한 조건에 따른 복잡한 흐름을 해석할 수 있어 효용성이 점점 증가하고 있다. 그러나 복잡한 구조물이 존재하게 되면 구조물에 재현에 막대한 격자구조가 필요하여 현실적으로 적용이 쉽지 않다. 이에 대한 대안으로 복잡한 구조물을 비교적 큰 격자에서 재현할 수 있는 가상경계법을 활용하는 연구가 활발히 진행되고 있다. 가상경계법은 Navier-Stokes 방정식에서 유체 내에 존재하는 고체를 모멘텀 이론으로 대체하여 고려하는 기법으로 수치모델링 수행 시 매질을 유체만으로 구성할 수 있어 안정적으로 적용할 수 있는 것으로 알려져 있다. 본 과업에서는 다양한 분야에서 널리 활용되고 있는 3차원 CFD 모형인 OpenFOAM®기반으로 파랑해석에 필요한 경계조건을 계산할 수 있는 olaFlow를 활용하여 복잡한 구조물을 지나는 파랑해석을 수행하기 위해 가상경계법을 olaFlow에 도입한 수치 알고리즘을 개발하였다. 개발한 수치알고리즘을 활용하여 복잡한 구조를 수치모델에서 재현하였으며, 수치모델에 적용된 수치 알고리즘의 안정성에 대해 고찰하였다.

• Proceedings of the KIEE Conference
• /
• 2006.04b
• /
• pp.206-208
• /
• 2006

본 논문은 전력기기에서 문제가 되는 온도상승에 대응하여 제품 개발시 선행 해석을 통한 온도 안정성 확보와 제품 신뢰성 향상, 설계 기간 단축을 위한 방안에 대하여 서술하고 있다. 전력기기의 온도 상승을 예측하기 위한 방법으로 전자계 해석과 열유동 해석을 동시에 수행하는 연계 해석법을 제안하며, 이 해석법의 검증을 위해 기중 차단기의 통전시 온도 상승에 대한 해석을 수행하였고, 실험을 통해 이름 검증하였다.