• Nuclear Engineering and Technology
• /
• 제39권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.

• 대한전기학회논문지:전력기술부문A
• /
• 제48권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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 학술대회 논문집 정보 및 제어부문
• /
• 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.

• 대한전기학회논문지
• /
• 제37권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.

• 제어로봇시스템학회논문지
• /
• 제4권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년도 Proceedings of the Korea Automation Control Conference, 10th (KACC); Seoul, Korea; 23-25 Oct. 1995
• /
• 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년도 ICCAS
• /
• 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 ...

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 하계학술대회 논문집 B
• /
• 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.

• 제어로봇시스템학회논문지
• /
• 제4권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.

• 융합신호처리학회논문지
• /
• 제10권2호
• /
• pp.141-145
• /
• 2009

본 논문에서는 입력 동작에 대하여 상위수준 합성을 수행한 후, 합성결과를 SystemC 코드로 전환하는 C-to-SystemC 합성기를 설계 및 구현하였다. 구현된 합성기의 처리과정은 C 소스코드로 기술된 입력 동작을 list 스케줄링 알고리즘을 이용하여 스케줄링한 후, 스케줄링 결과에 left-edge 알고리즘을 이용하여 레지스터 할당을 수행한다. 레지스터 할당 정보를 이용하여 합성기는 채널 및 포트와 같은 SystemC 특성들로 표현된 SystemC 모듈의 코드를 최종적으로 생성한다. C-to-SystemC 합성기의 동작은 EWF(elliptic wave filter)의 합성결과인 SystemC 모듈의 코드를 시뮬레이션하여 검증한다. C-to-SystemC 합성기는 SystemC 설계방법론의 모델링단계부터 합성단계에 이르는 툴 체인의 한 부분으로 사용될 수 있으며, 생성된 SystemC 모듈은 C 모듈에 비해 재사용이 용이하고 다른 SystemC 모듈과 SystemC 채널을 통하여 별도의 추가처리 없이 통신할 수 있다.