• Journal of KIISE:Software and Applications
• /
• v.33 no.1
• /
• pp.44-57
• /
• 2006

With the rapid growth of network technology, two or more products from different vendors are integrated and interact with each other to perform a certain function in the latest systems. Thus. interoperability testing is considered as an essential aspect of correctness of integrated systems. Interoperability testing is to test the ability of software and hardware on different machines from different vendors to share data. Most of the researches model communication system behavior using EFSM(Extended Finite State Machines) and use EFSM as an input of test scenario generation algorithm. Actually, there are many studies on systematic and optimal test case generation algorithms using EFSM. But in these researches, the study for generating EFSM model which is a foundation of test scenario generation isn't sufficient. This study proposes an EFSM generating technique from informal requirement analysis document for more complete interoperability testing. and implements prototype of Test Case Generation Tool generating test cases semi-automatically. Also we describe theoretical base and algorithms applied to prototype implementation.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.51 no.7
• /
• pp.251-257
• /
• 2014

The Viterbi algorithm(VA) is used to estimate the state transition of discrete-time finite state machine(FSM) that is in an uncorrelated noisy environment. This paper modified the Hamming Network to estimate the state transitions in the finite state machines, and proposed state-parallel and block-parallel Viterbi decoder. The modified Hamming Network(mHN) can perform the decoding of convolutional codes correctly as conventional Viterbi decoder. Furthermore, the complexities of the proposed Viterbi decoder are reduced approximately 10% less than conventional Viterbi decoder, and the processing times are improved approximately 40% more than conventional Viterbi decoder.

• Proceedings of the KIEE Conference
• /
• 2001.10a
• /
• pp.65-67
• /
• 2001

In general, the results of finite element method(FEM) on the analysis of the electrical machines has known as high accuracy but required very long time to calculate the field distribution. Magnetic equivalent circuit(MEC) method can be computing times less than the finite element method and also it provides steady state and transient state simulation. In this paper, describes matrix representation of the winding magneto motive force(MMF) and carry out the distributed the airgap magnetic density takes into account the influence on the stator slots.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.24 no.2
• /
• pp.113-118
• /
• 2024

In this study, we designed and analyzed two main structures for effectively implementing the behavior of intelligent NPCs the Hierarchical Finite State Machine (HFSM) and the Behavior Tree, by creating experimental games. The HFSM was found to be efficient for complex interaction-centered actions where state changes and transitions are crucial, while the Behavior Tree was effective in dynamic environments where ease of modification and expansion are required for dynamic responses under various conditions. These structures were experimentally applied using the Unity engine to verify their efficiency. This study focused on the basic structure design and plans to apply these structures to an upcoming action-adventure escape game. The results of this research are expected to assist game developers in efficiently implementing intelligent NPCs, thereby contributing to the improvement of game quality and player satisfaction.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.13 no.3
• /
• pp.231-238
• /
• 1988

A new approach to the reachability analysis of communication protocols is presented using a modified maximal progress state exploation for two communicating finite state machines. The task of generating all reachable states is divided into two independent subtasks. In each subtask, only the states which are reachable by forcing modified maximal progress sequence for one machine are generated. Modified maximal progress state exploration saves space and time over maximal progress state exploration.

• Journal of KIISE:Software and Applications
• /
• v.35 no.1
• /
• pp.12-21
• /
• 2008

As the usage of computer systems is increasing in our lives, the reliability and safely of these systems need to be thoroughly checked through the verification techniques. As a basic formalism for several modeling methods, the finite state machine (FSM) is widely used in specification and verification of system models. And there is a technique for ing internal events of FSM in order to effectively analyze the system. However, this technique does not handle the state explosion problem since it can be applied after completely generating all the state space of the system. In this research, we provide a new approach for efficiently representing concurrent properties of FSM, the slice model and provide an efficient transition reduction method based on the slice model. Our approach is effective in time and space perspective since it is peformed by partially generating the needed system states while the existing abstraction technique can be applied to all the system states.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.37-39
• /
• 2003

본 연구에서는 만족성 검사기를 이용하여 두 유한 상태 기계의 행위가 동치인지를 검사한다. 기존의 동치 검사는 대부분 BDD를 기반으로 했었기 때문에 변수 순서 배열 및 내부 BDD노드 폭발 문제에 시달렸었다. 하지만 여기서는 BDD대신 명제 논리를 이용하기 때문에 위와 같은 문제점을 피할 수 있다. 하지만 논리식을 만족성 검사기의 입력 형태인 논리곱 정규형으로 변환하는 과정에서 절의 3기는 식의 크기에 지수적으로 증가하였다.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.64 no.12
• /
• pp.1679-1685
• /
• 2015

This paper examines the effect of the magnetization pattern on the partial demagnetization of a permanent magnet (PM) machine that uses a ferrite magnet. Although the use of halbach-magnetized PM (HMPM) arrays in PM machines has been dramatically increasing because of their attractive features, the demagnetization characteristics of HMPM arrays have not yet been examined. In this study, two analyses of the demagnetization characteristics of HMPM arrays and parallel magnetized PMs (PMPMs) are performed, with the demagnetization characteristics being analyzed using a finite element method. According to our results, partial demagnetization occurred dramatically in the HMPM arrays. Thus, it is important to consider the vulnerability of HMPM arrays when designing PM machines.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.781-784
• /
• 1993

Most linguistic models of processes or plants known are essentially static, that is, time is not a parameter in describing the behavior of the object's model. In this paper we show two models for synchronous finite state machines (FSM) based on fuzzy logic, namely the Crisp-State-Fuzzy-Output (CSFO FSM) and Fuzzy-State-Fuzzy Output (FSFO FSM). As a result of the introduction of the FSM models, the improved architectures for fuzzy logic controller have been defined. These architectures featuring pipelined intelligent fuzzy controller are discussed in terms of dimensionality of the model. VLSI integrated circuit implementation issues of the fuzzy logic controller are also considered. The presented approach can be utilized for fuzzy controller hardware accelerators intended to work in the real-time environment.

• Smart Structures and Systems
• /
• v.11 no.2
• /
• pp.199-215
• /
• 2013

During the service life of a structure, design complications and unexpected events may induce unforeseen vibrations. These vibrations can be generated by malfunctioning machinery or machines that are modified or placed without considering the original structural design because of a change in the intended use of the structure. Significant vibrations occurred at a natural gas plant cooling structure during its operation due to cavitation effect within the hydraulic system. This study presents findings obtained from the in-situ vibration measurements and following finite-element analyses of the cooling structure. Comments are made on the updated performance level and damage state of the structure using the results of these measurements and corresponding numerical analyses. An attempt was also made to assess the applicability of traditional displacement-based vulnerability estimation methods in the health monitoring of structures under vibrations with a character different from those due to seismic excitations.