• Nuclear Engineering and Technology
• /
• v.39 no.1
• /
• pp.51-62
• /
• 2007

To efficiently design safety-critical systems such as nuclear power plants, with the requirement of high reliability, methodologies allowing for rigorous interactions between the synthesis and analysis processes have been proposed. This paper attempts to develop a reliability-centered design framework through an interactive process between Axiomatic Design (AD) and Fault Tree Analysis (FTA). Integrating AD and FTA into a single framework appears to be a viable solution, as they compliment each other with their unique advantages. AD provides a systematic synthesis tool while FTA is commonly used as a safety analysis tool. These methodologies build a design process that is less subjective, and they enable designers to develop insights that lead to solutions with improved reliability. Due to the nature of the two methodologies, the information involved in each process is complementary: a success tree versus a fault tree. Thus, at each step a system using AD is synthesized, and its reliability is then quantified using the FT derived from the AD synthesis process. The converted FT provides an opportunity to examine the completeness of the outcome from the synthesis process. This study presents an example of the design of a Containment Heat Removal System (CHRS). A case study illustrates the process of designing the CHRS with an interactive design framework focusing on the conversion of the AD process to FTA.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.48 no.8
• /
• pp.965-971
• /
• 1999

This paper presented to design the power system stabilizer(PSS) for a turbo-generator system using LQG/LTR control synthesis for improving small-signal stability. Application study of LGG/LTR control synthesis is more appropriate in this system since a turbo-generator system is usually operated under circumstance of unmeasurable uncertainties and external disturbance. The LQG/LTR control theory was briefly reviewed for good understanding and the reasonable design approach. The design results are simulated for a case study and to check the system performance in comparison with currently operating lead-lag filtered PSS performance.

• Proceedings of the KIEE Conference
• /
• 2004.11c
• /
• pp.391-393
• /
• 2004

For performance and stability of a synchronized system, we need an efficient Clock Tree Synthesis(CTS) methodology to design clock distribution networks. In a system-on-a-chip(SOC) design environment, CTS effectively distributes clock signals from clock sources to synchronized points on layout design. In this paper, we suggest the pre-layout analysis of the clock network including gated clock, multiple clock, and test mode CTS optimization. This analysis can help to avoid design failure with potential CTS problems from logic designers and supply layout constraints so as to get an optimal clock distribution network. Our new design flow including pre-layout CTS analysis and structural violation checking also contributes to reduce design time significantly.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.37 no.10
• /
• pp.733-739
• /
• 1988

Adaptive controllers for linear system whose nominal values of coefficients only are known, that is corrupted by disturbance, are designed by signal synthesis model reference adaptive control (MRAC). This design is stemmed from the Lyapunov direct method. To reduce the model following error and to improve the conrergence rate of the design, an indirect suboptimal control law is de rived using the Hamilton Jacobi Beellman equation. Proper compensaton for the effects of time varying coefficients and plant disturbance are suggested. In the design procedure no complete identification of unknown coefficients are required.

• Journal of Institute of Control, Robotics and Systems
• /
• v.4 no.6
• /
• pp.729-737
• /
• 1998

In this paper, using $\mu$ synthesis algorithm with structured uncertainty, we design controller and apply it for the Two-Inertia resonance(TMS: Two Mass Spring) system. The TMS system is one of the simplest models which generate a torsional vibration. In this system, it is required to design a controller achieving the control performance while suppressing the torsional vibration. Furthermore, when vibration frequency for the system is varying by reason of parameter variations, we should consider parameter variations in controller design. Then, we design two other controller schemes of the PI controller and the standard $H_{\infty}$ controller and compare these controllers with the controller designed by the $\mu$ synthesis robust control method by using simulations and experiments.

• 제어로봇시스템학회:학술대회논문집
• /
• 1995.10a
• /
• pp.328-331
• /
• 1995

A successful, computer-aided design support system can help a process designer focus on making effective design decisions, not merely tedious routine calculations. Such a system is essential to enhance quality of design in terms of economics, environmental benignity, reliability, robustness, and operability. Such a statement is even more accepted when applied to conceptual design problems, where gross design specifications are given while a combinatorial number of design alternatives exists. This paper presents an agent-based approach as a systematic and efficient way to design a design support system for the synthesis of conceptual chemical processes. An agent-based approach allows us to handle design knowledge as an object and thus greatly improve the modularity and reusability of that knowledge. Such modularity and reusability lead to the increased productivity in the development of a design support system and the increased ease in the relaxation of design decisions and the generation of design alternatives, both of which functions are critically important in dealing with the complexity and uncertainty of conceptual design problems.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.87.2-87
• /
• 2001

By the state transformation including independent outputs functions, a nonlinear process model can be decomposed into two subsystems; the one(design model) is described in output variables as new states and used for control system synthesis and the other(disturbance model) is described in the original unavailable states and its couplings with the design model are treated as uncertain time-varying parameters in the design model. Its existence with respect to the design model is ignored. So, the design model is an uncertain time-variant system. Control synthesis based on a reduced design model is a combined ...

• Proceedings of the KIEE Conference
• /
• 1997.07b
• /
• pp.587-589
• /
• 1997

In this paper we design the model following ${\mu}$-synthesis control system for optimal fuel-injection of diesel engine using genetic algorithms. To do this, we give gain and dynamics parameters to the weighting functions and apply genetic algorithms with reference model to the optimal determination of weighting functions that are given by D-K iteration method which can design ${\mu}$-synthesis controller in the state space. These weighting functions are optimized simultaneously in the search domain selected adequately. The effectiveness of this ${\mu}$-synthesis control system for fuel-injection is verified by computer simulation.

• Journal of Institute of Control, Robotics and Systems
• /
• v.4 no.2
• /
• pp.163-169
• /
• 1998

In this paper, we design an optimal model following ${\mu}-$synthesis control system for fuel-injection of diesel engine which has robust performance and satisfactory command tracking performance in spite of uncertainties of the system. To do this, we give gain and dynamics parameters to the weighting functions and apply genetic algorithm with reference model to the optimal determination of the weighting functions that are given by the D-K iteration method which can design ${\mu}-$synthesis controller in the state space. These weighting functions are optimized simultaneously in the search domain which guarantees the robust performance of the system. The ${\mu}-$synthesis control system for fuel-injection designed by the above method has not only the robust performance but also a better command tracking performance than those of the ${\mu}-$synthesis control system designed by trial-and-error method. The effectiveness of this ${\mu}-$synthesis control system for fuel-injection is verified by computer simulation.

• Journal of the Institute of Convergence Signal Processing
• /
• v.10 no.2
• /
• pp.141-145
• /
• 2009

A C-to-SystemC synthesizer which processes the input behavior according to high-level synthesis, and then transforms the synthesis result into SystemC module code is implemented in this paper. In the synthesis process, the input behavioral description in C source code is scheduled using list scheduling algorithm and register allocation is performed using left-edge algorithm on the result of scheduling. In the SystemC process, the output from high-level synthesis process is transformed into SystemC module code by combining it with SystemC features such as channels and ports. The operation of the implemented C-to-SystemC synthesizer is validated through simulating the synthesis of elliptic wave filter in SystemC code. C-to-SystemC synthesizer can be used as a part of tool-chain which helps to implement SystemC design methodology covering from modeling to synthesis.