• Nuclear Engineering and Technology
• /
• 제48권2호
• /
• pp.386-403
• /
• 2016

The safety of nuclear power plants is analyzed by a probabilistic risk assessment, and the fault tree analysis is the most widely used method for a risk assessment with the event tree analysis. One of the well-known disadvantages of the fault tree is that drawing a fault tree for a complex system is a very cumbersome task. Thus, several graphical modeling methods have been proposed for the convenient and intuitive modeling of complex systems. In this paper, the reliability graph with general gates (RGGG) method, one of the intuitive graphical modeling methods based on Bayesian networks, is improved for the reliability analyses of dynamic systems that have various operation modes with time. A reliability matrix is proposed and it is explained how to utilize the reliability matrix in the RGGG for various cases of operation mode changes. The proposed RGGG with a reliability matrix provides a convenient and intuitive modeling of various operation modes of complex systems, and can also be utilized with dynamic nodes that analyze the failure sequences of subcomponents. The combinatorial use of a reliability matrix with dynamic nodes is illustrated through an application to a shutdown cooling system in a nuclear power plant.

• 한국정보디스플레이학회:학술대회논문집
• /
• 한국정보디스플레이학회 2008년도 International Meeting on Information Display
• /
• pp.228-230
• /
• 2008

The response time characteristic of low voltage liquid crystals (LCs) is investigated and a new simulator for low voltage LCs is proposed. In order to enable low voltage operation, it is important to minimize Vth of LCs and variation of pixel voltage caused by dynamic capacitance operation of LC Display. Because dynamic capacitance variation is much larger for low voltage LC operation compared to that of conventional LC material, it is necessary to make a better model for dynamic capacitance operation. A proposed minimizing Vth of LCs and variation of pixel voltage study results through a new constant charge model improve response characteristics for low voltage LCs operation.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 추계학술대회 논문집 전력기술부문
• /
• pp.250-252
• /
• 2008

DC traction system generates leakage current because running rails are used in return circuit. And it is very important to estimate the leakage current to the train operation situation. Therefore this paper presents dynamic simulation technique that is very similar to the real operation situation using TPS and PSCAD/EMTDC. For this we model DC traction system included in DC substation, variable feeding circuit model and variable train model. And we extract train location and power using TPS program and use these data for dynamic simulation. Finally we can estimate leakage current to the various operation condition using dynamic simulation.

• 대한기계학회논문집
• /
• 제16권12호
• /
• pp.2268-2278
• /
• 1992

본 연구에서는 기존의 정절삭력 모델을 이용하여 절삭과정에서 발생되는 동적 인 특성과 공작기계의 구조적인 특성이 상호작용되어 발생되는 절삭력 변동성분들이 고려된 절삭력 모델 즉 동절삭력 모델을 개발하여서 이 모델로부터 예측된 절삭력과 절삭실험 결과를 비교, 분석하여 제시한 모델의 타당성 및 동절삭력 특성을 검토하고 자 한다.

• International Journal of Computer Science & Network Security
• /
• 제24권4호
• /
• pp.192-196
• /
• 2024

The memory coherence problem occurs while mapping shared virtual memory in a loosely coupled multiprocessors setup. Memory is considered coherent if a read operation provides same data written in the last write operation. The problem is addressed in the literature using different algorithms. The big question is on the correctness of such a distributed algorithm. Formal verification is the principal term for a group of techniques that routinely use an analysis that is established on mathematical transformations to conclude the rightness of hardware or software behavior in divergence to dynamic verification techniques. This paper uses UPPAAL model checker to model the dynamic distributed algorithm for shared virtual memory given by K.Li and P.Hudak. We analyse the mechanism to keep the coherence of memory in every read and write operation by using a dynamic distributed algorithm. Our results show that the dynamic distributed algorithm for shared virtual memory partially fulfils its functional requirements.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2003년도 ISIS 2003
• /
• pp.583-586
• /
• 2003

There are electric four-wheeled vehicles to assist elder people. Because of the vehicles'dynamic characteristic such as impossible to move abeam, it is difficult for these people who has little experience and has little knowledge to drive. Also to judge the future state of dynamic obstacles and to decide how to elude them safely are more difficult. We installed the predictive fuzzy controller(evaluates the future states which several kinds of operation candidates were done and chooses the best one) that modeled humans'algorithms in the system. Human predicts the future states of dynamic obstacles and chooses an operation(wait, steer, go back, etc) to elude safely. To elude dynamic obstacles flexibly, we added expert's knowledge for safe driving to this controller. In this paper, we propose the intelligent soft driving system by the controller that can elude dynamic obstacles safely, and we confirm the effectiveness by a simulation.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2007년도 추계학술대회논문집
• /
• pp.556-559
• /
• 2007

The notion of linearity is fundamental in science and engineering. Much of system and control theory is based on the analysis of linear system, which does not care whether it is nonlinear and complex. The dynamic programming is one of concerned technology when users are interested in choosing best choice from system operation for nonlinear or dynamic system‘s performance and control problem. In this paper, we will introduce the dynamic programming which is based on discrete system. When the discrete system is constructed with discrete state, transfer between states, and the event to induct transfer, the discrete system can describe the system operation as dynamic situation or symbolically at the logical point of view. We will introduce technologies which are related with controllable of Controlled Markov Chain as shown example of simple game. The dynamic programming will be able to apply to optimal control part which has adaptable performance in the discrete system.

• 전자공학회논문지B
• /
• 제28B권11호
• /
• pp.859-865
• /
• 1991

The paper proposes a design of high-speed dynamic CMOS PLA (Programmable Logic Array) which performs stable circuit operation. The race problem which nay occur in a NOR-NOR implementation of PLA is free in the proposed dynamic CMOS PLA by delaying time between the clocks to the AND- and to the OR-planes. The delay element has the same structure as the product line of the longest delay in the AND p`ane. Therefore it is unnecessary to design the delay element or to calculate correct delay time. The correct delay generated by the delay element makes the dynamic CMOS PLA to perform correct and stable circuit operation. Theproposed dynamic CMOS PLA has few variation of switching delay with the increasing number of inputs or outputs in PLA. It is verified by SPICE circuit simulation that the proposed dynamic CMOS PLA has the better performance over existing dynamic CMOS PLA's.

• 한국마린엔지니어링학회:학술대회논문집
• /
• 한국마린엔지니어링학회 2006년도 전기학술대회논문집
• /
• pp.251-252
• /
• 2006

This study developed the virtual operation system for the hydraulic pump system for marine usage. The scope of this study is to develop a process dynamic simulation model for the hydraulic pump system for marine usage, to investigate the process dynamic characteristics using the models, to accomplish the logic diagram for the PLC control and to achieve a human-machine interface (HMI) for the convenience of operators to monitor and control the process. The virtual operation system provides a virtual operation environment for the pumping system, enabling the operators to simulate the change of process variables. The system will assist in developing advanced control logics and then optimal design of the system.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 추계학술대회 논문집
• /
• pp.916-921
• /
• 2004

At present, the highest operation speed of general domestic train is in the level of 140km/h and it is being improved to reach at the level of 200km/h in 2011. The improved environment of train operation speed which inevitably occurs owing to the operation of KTX on the existing line badly requires technology development such as testing and evaluating technology of factors hindering high speed of railway infrastructure including railway bridge, technology to ensure operation safety and technology to evaluate structure stability. Comparing dynamic numerical interpretation for railway truss bridge and load of design standard by using dynamic response measurement and analysis for the railway truss bridge currently in use, this study established the improvement program to ensure the lateral dynamic safety of truss bridge with the increased speed of train.