• The Transactions of the Korean Institute of Power Electronics
• /
• v.7 no.1
• /
• pp.11-17
• /
• 2002

This paper describes on a position detection method for the motors which have repetitive operations using the Algorithmic State Machine(ASM), one of the digital logic design methods. With analyses for the incremental encoder output patterns, state diagram and state table are constructed and a digital circuit which can detect the changing point of direction of motor rotation is designed. To verify the validity of the designed circuit, simulations for all cases in which the direction of motor rotation is changed, are performed. Simulation results show the designed digital circuit can detect the direction of motor rotation accurately for all cases.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.13 no.1
• /
• pp.129-134
• /
• 2013

Previous research is focus on testcase generation automation using message sequence diagram based on metamodel. but that research is not enough for testcase genaeration automation using state diagram based metamodel. so in this paper is adopt Model Driven Architecture (MDA) mechanism for using metamodel and model transformation. and we suggest testcase automation mechanism using state diagram in UML. we will decrease cost of embedded software design and testcase genaration and increase quality of embedded software using metamodel mechanism.

• The Journal of Korea Robotics Society
• /
• v.3 no.3
• /
• pp.226-236
• /
• 2008

In this paper, control software architecture is designed to enable a heterogeneous multiple humanoid robot demonstration executing tasks cooperating with each other. In the heterogeneous humanoid robot team, one large humanoid robot and two small humanoid robots are included. For the efficient and reliable information sharing between many software components for humanoid control, sensing and planning, CORBA based software framework is applied. The humanoid tasks are given in terms of finite state diagram based human-robot interface, which is interpreted into the XML based languages defining the details of the humanoid mission. A state transition is triggered based on the event which is described in terms of conditions on the sensor measurements such as robot locations and the external vision system. In the demonstration of the heterogeneous humanoid team, the task of multiple humanoid cleaning the table is given to the humanoid robots and successfully executed based on the given state diagram.

• Journal of Information Processing Systems
• /
• v.2 no.2
• /
• pp.114-123
• /
• 2006

We present in this paper the methodology for automatic generation of OWL-S service model ontology along with the results and issues. First, we extract information related to atomic services and their properties such as IOPE from the UML class diagram, and retrieve information related to the composition of services from the UML state-chart diagram. Then, the XSLT applications utilize the acquired information to generate the OWL-S service model ontology through the predefined mappings between OWL-S constructs for composite services and UML state-chart primitives. For the justification of generated service ontology, several validation checks are performed. Our service ontology generation method is general and fully automatic, as well as effective, in that it is achieved in an environment familiar to developers, and information needed to generate service ontology is provided necessarily during service development. It is also noticeable to facilitate representing the condition with GUI rather than a complex language such as OCL.

• Journal of information and communication convergence engineering
• /
• v.6 no.3
• /
• pp.279-284
• /
• 2008

We propose the iconic animation of the software requirement specifications by using the object and dynamic models of the object modeling technique(OMT) methodology. In order to produce the iconic animation, we use "graphical classes" and "icon transformations." In general, the graphical classes are defined for each class of the object diagram. The icon transformations which show the activities of the application are constructed by considering the meaning of the activities and are defined by either basic or compound icons. The icon transformations are added to the state diagrams to generate extended state diagrams. The animation system generates the header files and the code instantiating GUI from the object diagram having graphical classes. The system also generates "event methods" from the extended state diagrams. When the event methods are executed, the behavior of the events is animated by the icon transformations.

• Proceedings of the Korean Society for Bioinformatics Conference
• /
• 2004.11a
• /
• pp.50-56
• /
• 2004

Bifurcation analysis of cell cycle regulation in the budding yeast is performed basedon the mathematical model by Chen et al [Molecular biology of cell, 11:369-391, 2000]. On the bifurcation diagram, locations of both stable and unstable solutions of the nonlinear differential equations are presented by taking the mass of cell as a controlparameter. Based on the bifurcation diagram, dynamic mechanism underlying the 'start' transition, initiation of a new round of cell cycle, and the 'finish' transition, completion of cell cycle and returning back to the initial state, is discussed: the 'start' transition is a transition from a stable fixed solution for a small mass and to an oscillatory state for a large mass, and the 'finish' transition is a switching back to the stable fixed solution from the oscillatory state. To understand the role of the genes during the cell cycle regulation, bifurcation diagrams for the mutants are compared with that of the wild type.

• Proceedings of the KIEE Conference
• /
• 1998.07c
• /
• pp.1185-1187
• /
• 1998

The object of this study shows a program for supervisory control of the electric power distribution, approach to the more easy manipulations and hangulization that could be easily familiar to the domestic operators whereas the program, up to now, displayed only in English. This program is consist of a skeleton-diagram designer and a state-displayer of the electric power distribution To make skeleton-diagram data available in state-displayer, the designer must be performed with the proposed format in the program manual. States display executes downloading S/Ws-state-data externally and display the S/W informations at that times, and also power distribution simulation of voluntary S/W manipulations performed by the internal operators is possible.

• Proceedings of the KIEE Conference
• /
• 2003.11a
• /
• pp.245-247
• /
• 2003

Zone 3 of the distance relay is used to provide the remote back-up protection in case of the failure of the primary protection. However, the risk for mal-operations under stressed conditions such as heavy loading, voltage and transient instability is usually high. Zone 3 is used in combination with the derivatives of the voltage, and current, etc to prevent mal-operations. Sometimes, the impedance characteristics that restrict the tripping area of relay are used to avoid the mal-operations due to load encroachment. This paper presents a novel zone 3 scheme based on combining the steady-state components(i.e. 60Hz) and the transient components(TCs) using a state diagram that visualizes the sequence of studies that emanate from the sequence of events. The simulation results show that the novel zone 3 distance relay elements using the proposed method operates correctly for the various events.

• Journal of the Korean Physical Society
• /
• v.73 no.9
• /
• pp.1219-1224
• /
• 2018

We investigate the evolutionary dynamics and the phase transitions of the island model which consists of subdivided populations of individuals confined to two islands. In the island model, the population is subdivided so that migration acts to determine the evolutionary dynamics along with selection and genetic drift. The individuals are assumed to be haploid and to be one of two species, X or Y. They reproduce according to their fitness values, die at random, and migrate between the islands. The evolutionary dynamics of an individual based model is formulated in terms of a master equation and is approximated by using the diffusion method as the multidimensional Fokker-Planck equation (FPE) and the coupled non-linear stochastic differential equations (SDEs) with multiplicative noise. We analyze the infinite population limit to find the phase transitions from the monomorphic state of one type to the polymorphic state to the monomorphic state of the other type as we vary the ratio of the fitness values in two islands and complete the phase diagram of our island model.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.39 no.3
• /
• pp.62-78
• /
• 2002

In this paper, we describe a system that can interact with agents in the virtual space incorporated in the system. This system is constructed by an analysis system for analyzing human gesture and an interact system for interacting with agents in the virtual space using analyzed information. An implemented analysis system for analyzing gesture extracts a head and hands region after taking image sequence of an operator's continuous behavior using CCD cameras. In interact system, we construct the virtual space that exist an avatar which incarnating operator himself, an autonomous object (like a Puppy), and non-autonomous objects which are table, door, window and object. Recognized gesture is transmitted to the avatar in the virtual space, then transit to next state based on state transition diagram. State transition diagram is represented in a graph in which each state represented as node and connect with link. In the virtual space, the agent link an avatar can open and close a window and a door, grab or move an object like a ball, order a puppy to do and respond to the Puppy's behavior as does the puppy.