• Transactions of the Korean Society of Mechanical Engineers
• /
• v.17 no.12
• /
• pp.3124-3134
• /
• 1993

Diagnosis is composed of two different but interrelated steps ; retrieving the sensory responses f the system and reasoning the state of the system through the given sensor data. This paper explains the probabilistic nature of reasoning involved in the diagnosis when the uncertainties are inevitably included in experts' diagnostic decision making. Uncertainties in decision making are experts' personal experiences, preferences, and system's coherent characteristics. In order to ensure a consistent decision based on the same responses from the system, expert system technology is adopted with the Bayesian reasoning scheme.

• Journal of Institute of Control, Robotics and Systems
• /
• v.8 no.5
• /
• pp.401-406
• /
• 2002

As product lifecycles become shorter, factories are pushed to develop small batches of many different products. The highly flexible control systems has become a necessity. The majority of existing automated industrial systems are controlled by programmable logic controllers(PLCs). In most cases, the control programs for PLCs are developed based on ladder diagrams(LDs). However, it is difficult to debug and maintain those LDs because the synthesis of LD itself mainly depends on the experience of the industrial engineer via trial-and-error methods. Hence, in this paper, we propose a discrete event model conversion algorithm for systematic analysis of LDs. The proposed discrete event model conversion algorithm is illustrated by an example of a conveyor system.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1997.10a
• /
• pp.442-445
• /
• 1997

A challenging activity in the manufacturing industry is to perform in real time the continuous monitoring of the process state, the situation assessment and identification of the problem on line and diagnosis of the cause and importance of the problem if he process does not work properly. This paper describes LAT(Ladder Analysis Tool) system for fault tree generation to improving the fault diagnosis of CNC machine tools. The system consists of 4 steps which can automatically ladder analysis from ladder diagram to two diagnosis function models. The two diagnostic models based on he ladder diagram is switching function model and step switching function model. This system tries to overcome diagnosis deficiencies present machine tool.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.2 no.3
• /
• pp.218-225
• /
• 1990

Studies on the performance of a heat pump using non-azeotropic refrigerant mixtures are done. In order to estimate the thermodynamic properties for the selected non-azeotropic refrigerant mixtures including R22/R152a, R22/R142b, R22/R114 and R13B1/R152a, Peng-Robinson equation of state is adopted. The pressure-enthalpy diagram and the temperature-entropy diagram are plotted for each refrigerant mixture. Considerations on the capacity modulation for the heat pump system using refrigerant mixtures are taken into. Results show that when the heating load varies, the possibility for the capacity modulation is found in the heat pump system using a compressor with constant volume flow rate. Under a constant heating capacity condition in the heat pump system, the coefficient of performance increases when the refrigerant mixtures are used. The volume flow rate decreases as the mass fraction of lower boiler increases in this case.

• Nuclear Engineering and Technology
• /
• v.41 no.1
• /
• pp.79-90
• /
• 2009

Verification of programmable logic controller (PLC) programs written in IEC 61131-3 function block diagram (FBD) is essential in the transition from the use of traditional relay-based analog systems to PLC-based digital systems. This paper describes effective use of the well-known verification tool VIS for automatic verification of behavioral equivalences between successive FBD revisions. We formally defined FBD semantics as a state-transition system, developed semantic-preserving translation rules from FBD to Verilog programs, implemented a software tool to support the process, and conducted a case study on a subset of FBDs for APR-1400 reactor protection system design.

• Proceedings of the KIEE Conference
• /
• 1995.11a
• /
• pp.527-530
• /
• 1995

In this paper, traffic modeling and control design was considered to analyze and improve the stability of train diagram in the open-loop Metro line. A complete discrete-event traffic model describing the natural instability of open-loop metro line is analyzed. The traffic stability properties are introduced and easy-to-implement state feed back traffic control algorithms are designed, which satisfied with system stability.

• Journal of Korean Institute of Industrial Engineers
• /
• v.23 no.1
• /
• pp.95-113
• /
• 1997

This paper outlines a framework for a diagnosis of a complex system with uncertain information. Sensor validation ploys a vital role in the ability of the overall system to correctly determine the state of a system monitored by imperfect sensors. Here, emphases are put on the heuristic technology and post-processor for reasoning. Heuristic Sensor Validation (HSV) exploits deeper knowledge about parameter interaction within the plant to cull sensor faults from the data stream. Finally the modified probability distributions and validated data are used as input to the reasoning scheme which is the runtime version of the influence diagram. The output of the influence diagram is a diagnostic mapping from the symptoms or sensor readings to a determination of likely failure modes. Once likely failure modes are identified, a detailed diagnostic knowledge base suggests corrective actions to improve performance. This framework for a diagnostic expert system with sensor validation and reasoning under uncertainty applies in $HEATXPRT^{TM}$ a data-driven on-line expert system for diagnosing heat rate degradation problems in fossil power plants [1].

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.246-248
• /
• 1998

본 논문에서는 대화형 시스템을 시험하기 위한 시험 사례를 마코프 연쇄의 통계적 확률 과정으로 생성하는 방안을 제시한다. 객체지향 방법론의 통합안인 UML에서는 클래스도(Class Diagram)가 표현할 수 없었던 시스템의 동적인 관점을 상태 전이도(State Transition Diagram)는 구체적으로 표현할 수 있다. 시스템의 사용법을 상태 전이도로 표현하고, 상태간의 전이 확률(Transition Probability)을 계산하여 사용법 연쇄(Usage Chain)를 구성한다. 사용법 연쇄는 다음 상태가 과거의 상태에 영향을 받지 않고 현시점의 상태에만 의존하는 이산 시간형 확률과정인 마코프 연쇄(Markov Chain)가 된다. 본 논문에서는 사용법 연쇄를 분석하여 상태 전이도의 상태와 원호가 어떤 범위에서 시험될 것인지 결정되었을 때, 사용법 연쇄의 전이 확률이 높은 순서별로 연결하여 시험 사례를 생성하는 방안을 제시하고, 예제를 설명한다.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.6 no.4
• /
• pp.66-75
• /
• 1998

In many case of optimal design and sensitivity analysis, obtaining of transfer function between input and output variables is a difficult and time-consuming problem. The bond graph modeling is a method that is used for making it easy to analyze complex systems composed of mechanical and electrical parts. It gives us a simple and systematic tool to get state-space equations easily. And we can obtain the transfer function graphically using bond graph and Mason's rule. This paper shows how bond graphs are converted to block diagram and how Mason's rule is applied. And the simple direct method to obtain transfer function from bond graph is introduced. As a example, induction of transfer function of electric power steering composed of mechanical and electrical parts will be done.

• Proceedings of the IEEK Conference
• /
• 2002.07c
• /
• pp.2039-2042
• /
• 2002

In this paper, we propose a technique used to simplify the trellis diagram, thus, reduce the complexity of Viterbi decoder in term of the number of Compare-Select (CS) operations needs in decoding process. It is shown that if the branch metrics are properly decomposed into orthogonal components. The trellis diagram can be modified that each original state with large number branches terminating to it can be broken into a number of sub-states having smaller number of branches terminating to them. Simulation results shown that the newly proposed technique can be used reduced the complexity of 8 and 16 PSK-TCMs without degrading the BER performance.