• Proceedings of the KIEE Conference
• /
• 2004.04a
• /
• pp.262-265
• /
• 2004

프로토콜 명세의 검정과 적합성 시험은 프로토콜 개발 과정에서 가장 중요한 부분으로, 명세에 규정되어진 시스템 기능의 정확성을 향상시키는데 사용되는 상호 보완 기술이다. 본 논문에서는 유한상태 레이블 천이시스템(LTS:Labeled Transition System)으로 명세화된 철도 신호제어용 프로토콜 Type 1 모델의 안전성 및 필연성 특성을 모형검사 기법에 의해 검정하였고, 실제적으로 교착상태의 유무나 초기 상태에서 임의의 상태로 도달 가능한지의 검사를 실험적으로 증명하였다. 구현되어진 형식 검정기는 Modal mu-calculus를 사용하며 Modal 논리로 표현된 특성이 명세에 대해 올바른지 아닌지를 검정할 수 있다. 또한 검정되어진 프로토콜 명세로부터 HO(Unique Input Output) 방법fl 의한 적합성 시험 계열 생성 방법을 제시하였다.

• Bulletin of the Society of Naval Architects of Korea
• /
• v.30 no.2
• /
• pp.31-43
• /
• 1993

본 연구에서는 힁부재가 없는 AFRAMAX급 신구조 방식의 유조선을 개발하고자 하였다. 설계의 기본 개념은 1) 이중선체구조를 채용하여 해난사고 발생시 기름유출 방지를 피하고, 2) 힁부재가 없는 극히 단순한 선체구조를 채용하여 용접 로봇등을 활용한 자동건조 비율을 높임으로써 건조 생산성을 향상시키는데 주안점을 두고 있다. 설계 결과 얻어진 선체구조는 기존의 유조선 구 조와 매우 상이하다. 초기구조설계단계에서 구조 부재의 치수는 기존의 선급설계 지침을 활용 하여 결정하였으나, 기존의 유조선 구조와 비교하여 구조배치가 크게 바뀌어 졌기 때문에 기존의 선급설계지침을 만족했다고 해서 구성부재와 국부구조뿐만 아니라 구조 전체적으로도 충분한 구조안전성을 가지고 있는지는 확실치 않다. 따라서 직접구조해석에 의한 구조안전성 평가가 필수적으로 요구되며, 이를 위해 저자들은 선체구조의 최종 종강도(ultimate longitudinal strength), 최종 힁강도(ultimate transverse strength) 및 최종 국부강도(ultimate local strength )를 기준으로한 구조안전성 평가를 수행하였다. 본 논문에서는 이들 중에서 국부 구조부재에 대한 안전성평가 문제만을 다루었다. 결론적으로, 본 연구에서 개발한 선체구조는 건전상태(intact condition)하에서 뿐만 아니라 손상상태하에서도 구조부재는 좌굴 또는 붕괴하지 않고 전반적 으로 충분한 구조안전성을 가지고 있다는 결론을 내릴 수 있었다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05b
• /
• pp.844-850
• /
• 1998

본 연구에서는 개방구(opening)을 갖는 원자력발전소 강재 격납구조물의 내력을 평가함에 있어서 기존의 실용 구조설계에 적용된 개구부가 없는 원통형 쉘의 좌굴 판정 기준이 적절하지 않음을 밝혔으며, 대안으로서 개방구(opening)를 갖는 원통형 강재 격납구조물의 재료적 비선형과 기하학적 비선형을 고려한 극한 내력 해석을 수행함으로써 중기발생기 교체작업시 유발되는 인양 하중에 대한 격납구조물의 구조적 안전성을 평가하였다. 개방구를 갖는 격납구조물에 대하여 stiffner가 있는 상태에서 크레인 하중에 대한 극한 내력을 평가해본 결과 크레인 하중이 재하될 경우, 구조물이 선형 탄성 범위에 있는 것으로 확인되었으며 개방구 주위의 국부적인 항복응력도달 상태에 대하여 10.8의 안전율을 확보 할 수 있는 것으로 계산되었다. 본 연구를 통하여 제시된 개방구를 갖는 강재 격납구조물의 극한내력 평가 방법은 유사 구조물의 구조건전성 평가에 활용될 수 있을 것으로 사료된다.

• Journal of the Korean Society for Railway
• /
• v.5 no.4
• /
• pp.31-40
• /
• 2002

컴퓨터를 활용한 제어 시스템은 우리들의 생활 속에 깊숙이 관여하고 있다. 컴퓨터를 사용한 제어는 가전제품, 휴대폰 항공기, 철도 등 다양한 산업분야에서 응용되고 있으며, 그 적용분야를 넓혀가고 있고, 성능향상이 급속히 진행되고 있으며, 인간생활의 의존도가 점점 커지고 있다. 따라서 컴퓨터의 안전성과 신뢰성은 현재 사회에서 가장 중요한 문제로 부각되고 있다. 최근에 전국적으로 인터넷 망에 바이러스가 침투를 하여, 인터넷을 마비시키는 상태가 발생하여, 상당히 큰 피해를 경험하였다. 이와 같이 컴퓨터 제어 시스템의 기능이 정지되거나 오작동을 할 경우에는 사용자에게 상당한 피해를 줄 수 있다. 따라서 컴퓨터 시스템의 신뢰성과 안전성은 사회전반에 영향을 미칠 수 있으므로 반드시 확보해야할 목표 중에 하나이다. (중략)

• Journal of Advanced Navigation Technology
• /
• v.18 no.6
• /
• pp.562-568
• /
• 2014

This study is safety assessment standard for advanced surface movement guidance control system (A-SMGCS) and case study of the past research project. A-SMGCS providing routing, guidance and surveillance for the control of aircraft and vehicles in order to maintain the declared surface movement rate under all weather conditions within the aerodrome visibility operational level while maintaining the required level of safety. Recently, in korea and europe are developing A-SMGCS system for the safety control of the airport movement area. In safety oriented industry such as aviation that it is necessary to verify and ensure for operating system. In this case study, analysis of safety assessment standard for verified A-SMGCS target level of safety (TLS) and previous developed A-SMGCS research project.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.11 no.3
• /
• pp.167-175
• /
• 2007

The relations between data from test methods and conditions in structural elements are considered. NDE(Nondestructive Evaluation) methods are joint application of a test and a basis for interpretation of data obtained in the test. Correct assessments of conditions of elements depend on the inaccuracy and variability in the test data and on the uncertainty of correlations between attributes(what is measured) and conditions(what is sought in the inspection). A full description of the performance of NDE methods considers the relation of test data to condition of elements. The quality of the test data itself is important, but equally important is the interpretation that occurs after the test. To make the decision of the performance of NDE methods, this paper presents mathematical basis to measure the reliability of NDE methods.

• Proceedings of the KIPE Conference
• /
• 2015.07a
• /
• pp.131-132
• /
• 2015

본 논문에서는 국제 규정에서 요구되는 고전압에 대한 전기적 안전성 확보를 위한 설계 기준 및 배터리 관리 시스템의 절연 설계 방법에 대해서 살펴보았다. 아울러 고전압 안전성 상태를 감시하는 지락파괴 감시기능의 동작 해석에 대한 연구를 진행하였으며, 실험을 통하여 그에 대한 타당성을 검증하였다.

• Journal of the KSME
• /
• v.31 no.3
• /
• pp.236-243
• /
• 1991

운전상태 II의 여러 가지 각종 파괴사고의 원인을 한 두가지인 원인으로 명확하게 구분 할 수는 없다. 여러 가지의 복잡한 원인과 조건들이 복합적으로 작용하여 대. 소형 구조물의 안전성. 건전성이 위협받는 경우가 대부분일 것이다. 여기에서는 원자로의 건전성 평가에 파괴역학의 이론. 개념 등을 어떻게 응용하는가를 간단하게 기술하였다. 여기에서 논의된 사항들뿐만 아니라 소형시험편을 사용하여 정확한 파괴인성치를 측정하는 방법론이라든지, 급속히 발달되고 있는 전자장비들을 어떻게 우리들의 파괴역학적인 개념들과 접목시켜서 건전성, 안전성을 평가. 유지 하는데 이용할 것인가 등의 방법론들의 개발. 연구되어야 하겠다.

• Tunnel and Underground Space
• /
• v.25 no.1
• /
• pp.86-96
• /
• 2015

In this study, the performance-based evaluation factors for rock slopes have been deducted using Delphi-method. Validity of the result was verified through factor analysis. Performance of rock slope is classified as soundness, stability and durability. Through the Delphi survey, 17 factors including discontinuity orientation are deducted for soundness, 4 factors and 3 factors are selected for stability and durability, respectively. Validation is conducted using Exploratory Factor Analysis (EFA) for 24 factors, and all factors are found to be valid. As a result of Exploratory Factor Analysis (EFA), 3-types of performance were subdivided into internal soundness, external soundness, risk, damage and durability of slopes and protection (reinforcement) facilities.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.53 no.8
• /
• pp.107-112
• /
• 2016

Safety Critical Instrumentation and Control Systems perform those functions to maintain nuclear power plants' parameters within acceptable limits established for a design basis events and anticipated operating occurrence to ensure safety function. Those digitalized systems shall protect inadvertent and non-malicious behavior to ensure the reliable operation of systems, known as a Secure Development and Operational Environment(SDOE). SDOE would be established through managerial and technical controls. The objective of this paper is to evaluate the effectiveness of Cyclic Redundancy Checksum diagnostic, which is one of technical controls for SDOE, that can confirm the integrity of software of I&C systems to establish the secure environment. The results of this assessment would be the practical implementation of design and safety review of nuclear I&C systems.