• Nuclear Engineering and Technology
• /
• 제31권2호
• /
• pp.157-171
• /
• 1999

In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri Net (CPN) for system modeling and Prototype Verification System (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this work. In order to convert the extracted information to the PVS specification language, a translator also has been developed. ML that is a higher-order functional language programs the information extractor and translator. This combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip). As a result of this application, we could prove completeness and consistency of the requirement logically. Through this work, in short, an axiom or lemma based-analysis method for CPN models is newly suggested in order to complement CPN analysis methods and a guideline for the use of formal methods is proposed in order to apply them to NPP Software Verification and Validation.

• 한국통신학회논문지
• /
• 제15권7호
• /
• pp.553-564
• /
• 1990

선계2계 편미분 방정식의 일반식에 대한 계수 메트릭스를 (n-1)x(n-1) submatrices로 나누어서 block tridiagonal system으로 변환한 후 cyclic odd-even reduction 기법을 응용하여 large-grain data granularity로서 미지벡타를 구하는 block cyclic reduction 알고리즘을 작성했다. 그런데 이 block cyclic reduction 기법은 매 연산의 단계마다 병렬성이 변하여 병렬처리형 컴퓨터에는 적합하지 못하므로 이 기법을 변형해서 병렬성이 일정하며 실행시간이 보다 단축되는 block cyclic reduction 기법을 제안하고 이 기법에 의한 선형2계 편미분 방정식의 일반식의 解를 구하는 알고리즘을 작성하여 기존의 기법과 비교 고찰했다.

• 한국문헌정보학회지
• /
• 제50권2호
• /
• pp.101-118
• /
• 2016

문헌분류체계에서 복합주제의 전개를 위해서는 복수의 구분기준 혹은 특성(characteristics)을 적용해야 한다. 복합주제의 세분전개를 위해 채택된 복수의 특성들은 세분의 매 단계에서 하나씩 순차적으로 전개된다. 복합주제를 세분 전개하는 과정에서 복수의 구분기준을 적용하는 순서를 인용순(citation order)이라 한다. 주제를 세분하는 과정에 적용되는 구분기준의 전개순서인 인용순이 구체적이고 일관성을 가져야 문헌분류체계의 일관성과 논리성을 확보할 수 있다. 특히 열거식 분류체계의 경우에는 복합주제의 표현을 위한 인용순의 결정이 분류체계의 구성과 체계성에 큰 영향을 미친다. 인용순 및 그 적용과 관련된 분류이론상의 기본 원칙들은 실제 분류체계 구축과정에서 실용적인 이유로 완벽히 적용되기 어렵다. 이에 본고는 분류체계의 구축과정에서 적용되고 있는 인용순 관련 분류이론과 선행연구를 개괄해보고, 인용순 실제 적용상의 제반 사항을 고찰하였다.

• Transactions on Control, Automation and Systems Engineering
• /
• 제2권4호
• /
• pp.262-267
• /
• 2000

In this paper, the magnitude of undershoot and overshoot in a prototype second order system with one positive real zero is computed by the analytic methods. Also, it will be shown that the peak times of the undershoot and overshoot can be calculated using the impulse and step response of the second order system. Three different cases are investigated: underdamped(p<ζ<1), critically damped(ζ=1) and overdamped(ζ>1) cases. We deal with the undamped(ζ=0) case as a special case of the underdamped. And a compensation method is proposed to reduce undershoots of the nonmininmun phase system using feedforward compensator.

• 융복합기술연구소 논문집
• /
• 제5권2호
• /
• pp.37-42
• /
• 2015

This paper presents the effects of the computational time-varying delay on the stability of the haptic system that includes a virtual wall and a first-order-hold method. The model of a haptic system includes a haptic device model with a mass and a damper, a virtual wall model, a first-order-hold model and a computational time-varying delay model. In this paper, the maximum of the computational time-varying delay is assumed to be as much as the sampling time. Using the simulation, it is analyzed how the sample-hold methods and the computational time-varying delay affect the maximum available stiffness. As the maximum of computational time-varying delay increases, the maximal available stiffness of a virtual wall model is reduced.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2003년도 춘계학술대회 논문집
• /
• pp.1131-1134
• /
• 2003

Unknown parameters of a nonlinear system were estimated using a signal compression method. The estimated parameters were natural frequency and tile damping coefficient. This study applied a algorithm using tile comparison of the cross-correlation coefficient between the impulse response from a model and it from the signal compression method. The impulse through linear element included in a nonlinear system could be obtained by the signal compression method. The unknown parameters of the linear element could be estimated by comparing the Bode plots of system's impulse response with them of model's response. In this study, a LSCM(LabVIEW-Signal-Compression-Method) was developed to identify a nonlinear system. The LSCM consisted of National Instrument's (NI) Data Acquisition (DAQ) Board (Model PCI-1200), a monitoring program using LabVIEW software package, DAQ Signal Accessory Board, and 2nd-order electric circuits. The designed electric circuits consisted of resistors, inductors and capacitors. To evaluate the performance of the LSCM, the response from model with known parameters is compared with the response from the real system using the monitoring program. The results from simulation of experiment showed that the developed LSCM provided a reliable estimation performance.

• 전자공학회논문지SC
• /
• 제41권2호
• /
• pp.1-8
• /
• 2004

본 논문은 시간지연을 갖는 2차 시스템에서 시간영역의 설계사양을 만족하는 최적 강인 LQ-PID제어기 설계방법을 제안한다. 시간지연을 갖는 2차 시스템의 LQR 해를 이용한 LQ-PID제어기 파라미터는 설계사양을 만족하는 가격함수의 가중치요소 C와 R에 의해 결정되고, Q와 R의 선정은 시간영역에서의 오버슈트와 정착시간을 조절할 수 있는 설계파라미터들 선정에 의해 결정되어진다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2002년도 합동 추계학술대회 논문집 정보 및 제어부문
• /
• pp.67-70
• /
• 2002

This paper presents an optimal robust LQ-PID controller design method for a second order system with time-delay to meet design specifications. By LQR formulation of the second order system with time-delay, tuning parameters of PID controller are related by the weighting factors Q and R of cost function. The selection of the weighting factors Q and R are chosen to satisfy such the design specifications as overshoot and settling time.

• Korean Journal of Mathematics
• /
• 제7권2호
• /
• pp.245-269
• /
• 1999

Multigrid method and acceleration by conjugate gradient method for first-order system least squares (FOSLS) using bilinear finite elements are developed for various boundary value problems of planar linear elasticity. They are two-stage algorithms that first solve for the displacement flux variable, then for the displacement itself. This paper focuses on solving for the displacement flux variable only. Numerical results show that the convergence is uniform even as the material becomes nearly incompressible. Computations for convergence factors and discretization errors are included. Heuristic arguments to improve the convergences are discussed as well.

• 전기학회논문지
• /
• 제60권7호
• /
• pp.1396-1403
• /
• 2011

It is not easy to analyze the strong nonlinear time series and effectively design a good prediction system especially due to the difficulties in handling the potential uncertainty included in data and prediction method. To solve this problem, a new design method for fuzzy prediction system is suggested in this paper. The proposed method contains the followings as major parts ; the first-order difference detection to extract the stable information from the nonlinear characteristics of time series, the fuzzy rule generation based on the hierarchically classifying clustering technique to reduce incorrectness of the system parameter identification, and the IT2TSK fuzzy logic system to reasonably handle the potential uncertainty of the series. In addition, the design of the multiple predictors is considered to reflect sufficiently the diverse characteristics concealed in the series. Finally, computer simulations are performed to verify the performance and the effectiveness of the proposed prediction system.