• 한국철도학회논문집
• /
• 제9권6호
• /
• pp.739-745
• /
• 2006

The role of maintenance in railway is going to be extended to improve the reliability of railway system in the aspect of Asset management gradually. In this paper, the meaning of reliability and safety in RCM which has been applied in order to improve the efficiency of maintenance is deduced. And the analysis task of reliability and safely which has been recommended in railway standards such as EN50126 and IEC62278 is reviewed in the aspect of RCM. Finally, the several ways are proposed to apply RCM to railway system through the comparison between the RCM procedure and the analysis procedure for the reliability and safety in railway standards. Hereafter, if the analysis of reliability and safety is performed with the concept of RCM in the beginning of railway business, it will be more efficient to improve the reliability and manage the railway asset.

• Nuclear Engineering and Technology
• /
• 제41권1호
• /
• pp.91-98
• /
• 2009

The "3+3 Process" for safety critical software for nuclear power plants' I&C (Instrumentation and Control system) has been developed in this work. The main idea of the "3+3 Process" is both to simplify the software development and safety analysis in three steps to fulfill the requirements of a software safety plan [1]. The "3-Step" software development process consists of formal modeling and simulation, automated code generation and coverage analysis between the model and the generated source codes. The "3-Step" safety analysis consists of HAZOP (hazard and operability analysis), FTA (fault tree analysis), and DV (design validation). Put together, these steps are called the "3+3 Process". This scheme of development and safety analysis minimizes the V&V work while increasing the safety and reliability of the software product. For assessment of this process, validation has been done through prototyping of the SDS (safety shut-down system) #1 for PHWR (Pressurized Heavy Water Reactor).

• 한국멀티미디어학회논문지
• /
• 제1권1호
• /
• pp.109-119
• /
• 1998

본 논문은 형식기술기법으로 기술된 차세대지능망 응용프로토콜(INAP: Intelligent Network Application Protocool)로부터 추상시험스위트 (Abstract Test Suite) 자동생성에 대한 연구 결과를 기술한다. 시험 자동생성을 위해 RCP tour(Rural Chinese Postman tour) 개념과 UIO 시퀀스 (UIO:Unique Input Output Sequence) 개념을 응용하였다. SDL(System Description Language) 형식기술 기법으로 명세화된 INAP명세로부터 생성한 I/O FSM(Input/Output Finite State Machine)을 중간모델로 하여 UIO 시퀀스를 정의하고, 정의된 UIO 시퀀스를 RCP tour 개념과 결합하여 최적의 시험 시퀀스를 생성하였다. 본 논문에서는 또, 생성된 시험 스위트의 오류커버영역 예측방법을 제시하고, 마지막으로 표준화된 시험 표기법인 TTCN(Tree and Tabular Combined Notation)으로 생성된 시험스위트의 변환방법도 제시한다.

• 기술혁신연구
• /
• 제6권2호
• /
• pp.159-177
• /
• 1998

Although each company is trying to develop an economic analysis model with its own particular style or format, the appropriate method is not yet developed because there are many problems to be solved such as uncertainity of outcomes and intangible benefits of technology. The purpose of tris paper therefore is to suggest an economic analysis methodology, which reflects the complexity and the risk of R&D investment, through a case study on the development of a superconductor fault current limiter. A self-developed Monte Carlo simulation program utilized as a main tool in this paper was very useful for risk analysis of R&D investment which could not be solved in the previous DCF(Discounted Cash Flow) model. We also introduce learning effect to consider the intangible benefits such as Know-How obtained from R&D execution. The expected value and its probability distribution for R&D investment can be obtained by combining the Monte Carlo method with the decision tree approach. This result is helpful in judging the priority and the resource-allocation of R&D projects. It is however necessary to develop more precise model for quantifying the technology stock and the simulation program using the continuous probability distribution in expected values to improve the reliability of economic analysis on R&D projects.

• 한국항공운항학회지
• /
• 제21권4호
• /
• pp.27-33
• /
• 2013

In this study, the FMEA and FTA for reliability analysis of hybrid rocket motor are performed, that was designed in the Hybrid Rocket Propulsion Laboratory of Korea Aerospace University. In order to carry out these analyses the structure of the hybrid rocket motor is hierarchically divided into 36 parts down to the component level and FMEA is carried out with 72 failure modes. Reliability is assessed based on the FMEA, and the results are used in the FTA to evaluate the overall system reliability. In the FMEA, the relationship between the cause and failure modes, effects and their risk priorities are evaluated qualitatively. 27 failure modes are chosen as those with the critical severity that should be improved with priority. As a result of the FMEA / FTA study, a series of design or material changes are made for the improvement of reliability.

• 한국통신학회논문지
• /
• 제27권12C호
• /
• pp.1228-1237
• /
• 2002

통신망 운용관리 시스템의 기능은 크게 구성, 성능, 장애, 과금 및 보안관리로 나뉘어 진다. 이 중에서 구성관리기능은 통신망의 구성정보를 수집하여 사용자 혹은 다른 관리 기능에 제공하는 기반 관리 기능이다. 본 논문에서는 이러한 구성관리 기능을 CORBA (Common Object Request Broker) 분산환경 하에서 구축하는 방안을 제시한다. 본 논문에서 제안하는 계층적 구성관리 시스템은 프로토콜 계층별로 관리객체가 설계 및 구현되어 다양한 데이터링크 계층 전송 기술들을 통합 관리할 수 있다. 또한 분산 MIB/MIT를 통해 다른 관리 기능 모듈과 효율적으로 연동할 수 있으며 확장성이 뛰어나다.

• 한국컴퓨터정보학회논문지
• /
• 제8권2호
• /
• pp.129-134
• /
• 2003

본 논문은 액티브네트워크 상의 웹 캐싱을 위한 서비스 컴포지션에 관하여 언급하였다. 액티브네트워크에서는 사용자의 요구사항에 맞게 서비스들을 빠르게 재구성하기 위한 서비스 컴포지션에 대한 요구사항이 대두되고 있다. 이러한 요구사항을 지원하기 위해서 우리는 액티브 네트워크상에서 웹 캐싱을 위한 서비스 컴포지션의 설계 및 구현에 관하여 언급하였다.

• International Journal of Control, Automation, and Systems
• /
• 제4권3호
• /
• pp.372-381
• /
• 2006

The purpose of this study was to develop a process management system to manage ingot fabrication and improve ingot quality. The ingot is the first manufactured material of wafers. Trace parameters were collected on-line but measurement parameters were measured by sampling inspection. The quality parameters were applied to evaluate the quality. Therefore, preprocessing was necessary to extract useful information from the quality data. First, statistical methods were used for data generation. Then, modeling was performed, using the generated data, to improve the performance of the models. The function of the models is to predict the quality corresponding to control parameters. Secondly, rule extraction was performed to find the relation between the production quality and control conditions. The extracted rules can give important information concerning how to handle the process correctly. The dynamic polynomial neural network (DPNN) and decision tree were applied for data modeling and rule extraction, respectively, from the ingot fabrication data.

• Structural Engineering and Mechanics
• /
• 제23권5호
• /
• pp.455-468
• /
• 2006

Smart structural systems are defined as ones that demonstrate the ability to modify their characteristics and/or properties in order to respond favorably to unexpected severe loading conditions. The performance of such a task requires a set of additional components to be integrated within such systems. These components belong to three major categories, sensors, processors and actuators. It is wellknown that all structural systems entail some level of uncertainty, because of their extremely complex nature, lack of complete information, simplifications and modeling. Similarly, sensors, processors and actuators are expected to reflect a similar uncertain behavior. As it is imperative to be able to evaluate the impact of such components on the behavior of the system, it is as important to ensure, or at least evaluate, the reliability of such components. In this paper, a system model for reliability assessment of smart structural systems is outlined. The presented model is considered a necessary first step in the development of a reliability assessment algorithm for smart structural systems. The system model outlines the basic components of the system, in addition to, performance functions and inter-relations among individual components. A fault tree model is developed in order to aggregate the individual underlying component reliabilities into an overall system reliability measure. Identification of appropriate limit states for all underlying components are beyond the scope of this paper. However, it is the objective of this paper to set up the necessary framework for identifying such limit states. A sample model for a three-story single bay smart rigid frame, is developed in order to demonstrate the proposed framework.

• Nuclear Engineering and Technology
• /
• 제44권5호
• /
• pp.471-482
• /
• 2012

To assess the risk of nuclear power plant operation and to determine the risk impact of digital systems, there is a need to quantitatively assess the reliability of the digital systems in a justifiable manner. The Probabilistic Risk Analysis (PRA) is a tool which can reveal shortcomings of the NPP design in general and PRA analysts have not had sufficient guiding principles in modelling particular digital components malfunctions. Currently digital I&C systems are mostly analyzed simply and conventionally in PRA, based on failure mode and effects analysis and fault tree modelling. More dynamic approaches are still in the trial stage and can be difficult to apply in full scale PRA-models. As basic events CPU failures, application software failures and common cause failures (CCF) between identical components are modelled.The primary goal is to model dependencies. However, it is not clear which failure modes or system parts CCF:s should be postulated for. A clear distinction can be made between the treatment of protection and control systems. There is a general consensus that protection systems shall be included in PRA, while control systems can be treated in a limited manner. OECD/NEA CSNI Working Group on Risk Assessment (WGRisk) has set up a task group, called DIGREL, to develop taxonomy of failure modes of digital components for the purposes of PRA. The taxonomy is aimed to be the basis of future modelling and quantification efforts. It will also help to define a structure for data collection and to review PRA studies.