• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2001.11b
• /
• pp.967-971
• /
• 2001

The frequency characteristics of the optical pickup are investigated indirectly from the bode diagram of the open loop system and the actuator. However, there is necessity of acquiring the optical pickup bode diagram in a view of the differences in the frequency characteristics. One of the differences is that bode diagrams of the optical pickup are differ to that of the actuator and the other is that bode diagrams of the open loop system include controller, gains and filters. So this paper presents the method acquiring the optical pickup bode diagram. In addition, usefulness of the optical pickup bode diagram was demonstrated by being applied to the optical pickup design. The reason of reducing the development period and acquiring the frequency characteristics of the optical system, the optical pickup bode diagram has many merits in the optical pickup design before acquiring the stable bode diagram of the open loop system.

• The KIPS Transactions:PartD
• /
• v.16D no.4
• /
• pp.517-526
• /
• 2009

It is possible to indicate the complex design and execution of object-oriented program with dynamic UML diagram. This paper shows the way how to make several test cases from sequence, state, and activity diagram among dynamic UML diagram. Three dynamic UML diagrams about withdrawal work of ATM simulation program are drawn. Then different test cases are created from these diagrams using previously described ways. To evaluate effectiveness of test cases, mutation testing is executed. Mutants are made from MuClipse plug-in tool based on Eclipse which supports many traditional and class mutation operators. Finally we've got the result of mutation testing and compare effectiveness of test cases, etc. Through this document, we've known some hints that how to choose the way of making test cases.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.6
• /
• pp.1291-1299
• /
• 2012

UML is a semantically rich language, but it is difficult to ensure consistency of the diagrams you have written. Therefore, in this paper, we propose cross checking rules to improve consistency between UML diagrams, especially between UML static diagram and dynamic diagram. We use metamodels in order to more clearly reflect interactions of UML elements in the checking rules and use OCL(Object Constraint Language) to accurately represent the checking rules. By comparing with the well-formedness rules of UML specification, we focus on consistency of UML diagrams. And we derive metamodels of static diagram and dynamic diagram, analysis the relationships of UML diagrams and finally, we test the usability of derived rules through a case study.

• The KIPS Transactions:PartD
• /
• v.16D no.4
• /
• pp.527-540
• /
• 2009

State diagrams describe the dynamic behavior of an individual object as a number of states and transitions between these states. In this paper, we propose an automated technique to the generation of a state diagram from class operations with pre/post conditions. And I also develop a supporting tool, SDAG (State Diagram Automatic Generation tool). Additionally, we propose a complexity metric and a state diagram generation approach concerning types of each operation for decreasing complexity of generated state diagram.

• Proceedings of the Korean Society for Bioinformatics Conference
• /
• 2005.09a
• /
• pp.278-283
• /
• 2005

Cell cycle is regulated cooperatively by several genes. The dynamic regulatory mechanism of protein interaction network of cell cycle will be presented taking the budding yeast as a sample system. Based on the mathematical model developed by Chen et at. (MBC, 11,369), at first, the dynamic role of the feedback loops is investigated. Secondly, using a bifurcation diagram, dynamic analysis of the cell cycle regulation is illustrated. The bifurcation diagram is a kind of ‘dynamic road map’ with stable and unstable solutions. On the map, a stable solution denotes a ‘road’ attracting the state and an unstable solution ‘a repelling road’ The ‘START’ transition, the initiation of the cell cycle, occurs at the point where the dynamic road changes from a fixed point to an oscillatory solution. The 'FINISH' transition, the completion of a cell cycle, is returning back to the initial state. The bifurcation analysis for the mutants could be used uncovering the role of proteins in the cell cycle regulation network.

• International Journal of Control, Automation, and Systems
• /
• v.3 no.1
• /
• pp.56-69
• /
• 2005

In this paper, it is clearly shown that the two well-known necessary and sufficient conditions mp n as generic static output feedback pole-assignment and mp + d(m+p) n+d as generic minimum d-th order dynamic output feedback pole-assignment on complex field, unbelievably, do not match up each other in strictly proper linear systems. For the analysis, a diagram analysis is newly created (which is defined by the analysis of 'convoluted rectangular/dot diagrams' constructed via node-branch conversion of the signal flow graphs of output feedback gain loops). Under this diagram analysis, it is proved that the minimum d-th order dynamic output feedback compensator for pole-assignment in m-input, p-output, n-th order systems is quantitatively decomposed into static output feedback compensator and its associated d number of arbitrary 1st order dynamic elements in augmented (m+d)-input, (p+d)-output, (n+d)-th order systems. Total configuration of the mismatched data is presented in a Table.

• Journal of Magnetics
• /
• v.19 no.4
• /
• pp.315-322
• /
• 2014

In this work, Artificial Neural Network (ANN) was used to model the dynamic behavior of ferromagnetic hysteresis derived from performing the mean-field analysis on the Ising model. The effect of field parameters and system structure (via coordination number) on dynamic critical points was elucidated. The Ising magnetization equation was drawn from mean-field picture where the steady hysteresis loops were extracted, and series of the dynamic critical points for constructing dynamic phase-diagram were depicted. From the dynamic critical points, the field parameters and the coordination number were treated as inputs whereas the dynamic critical temperature was considered as the output of the ANN. The input-output datasets were divided into training, validating and testing datasets. The number of neurons in hidden layer was varied in structuring ANN network with highest accuracy. The network was then used to predict dynamic critical points of the untrained input. The predicted and the targeted outputs were found to match well over an extensive range even for systems with different structures and field parameters. This therefore confirms the ANN capabilities and indicates the ANN ability in modeling the ferromagnetic dynamic hysteresis behavior for establishing the dynamic-phase-diagram.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.442-444
• /
• 2000

이 논문에서는 산업계의 표준으로 널리 사용되고 있는 객체 지향 시스템의 명세 언어인 UML의 sequence diagram을 이용하여 객체 지향 시스템을 검증하는 방법과 이 방법을 테스팅 오라클을 생성하는데 사용할 수 있는 프레임웍을 제시하였다. 우리는 sequence diagram을 테스팅 결과의 검증에 사용하기 위하여 정형적으로 재정의 하였다. 그리고 시제 논리의 강력한 검증 능력을 사용하기 위해서 Half-Order Dynamic Temporal Logic(HDTL)이라 불리는 새로운 시제 논리를 정의하였고 sequence diagram을 HDTL 논리식으로 변화시키는 의미 함수(semantic function)를 정의하였다. HDTL에서 오토마톤을 생성하기 위해서 Tableau 방법을 변형하여 적용시켰다. 이 결과 생성된 오토마톤은 이상 상태(anomaly), 즉 sequence diagram에 표현되지 않은 사건(evevt)의 발생을 검색하는 오라클로 사용할 수 있다. 테스팅의 결과를 수작업으로 검증하는 것은 매우 어렵고 오류가 발생하기 쉬운 작업이므로 제안한 방법은 유용하게 사용될 수 있다.

• Journal of Convergence Society for SMB
• /
• v.1 no.1
• /
• pp.75-83
• /
• 2011

Unified Modeling Language (UML) is widely accepted in industry and particularly UML State Machine Diagram is popular for describing the dynamic behavior of classes. This paper discusses deadlock detection of System using UML State Machine Diagram. Since a State Machine Diagram is used for indivisual class' behavior, all the State Machine Diagrams of the classes in the system are combined to make a big system-wide State Machine Diagram to describe system behavior. Generally this system-wide State Machine Diagram is very complex and contains invalid state and transitions. To make it a usable and valid State Machine Diagram, synchronization and externalization are applied. The reduced State Machine Diagram can be used for describing system behavior thus conventional model-checking technique can be applied. This paper shows how deadlock detection of system can be applied with simple examples. All the procedures can be automatically done in the tool.

• Journal of the Korea Safety Management & Science
• /
• v.19 no.2
• /
• pp.63-68
• /
• 2017

Safety flight training can be done, through the platform proposed in this paper. This paper designed a flight dynamic model and identified essential functions in order to enable pilots to simulate a training environment similar to the actual. It also design activity diagram, concept as well as class diagram. This paper presents the main features and direction of aircraft to be equipped in the future standard platforms. By design main class of flight dynamic and description. it will help developer to setup the standard platform for aircraft simulation.