• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권1호
• /
• pp.44-57
• /
• 2006

네트워크 기술이 급격히 발전하면서 서로 다른 벤더들이 개발한 시스템들이 통합되거나 상호 운용함으로서 특정 기능을 수행한다. 이 경우 통합된 시스템의 정확성을 보증하는 상호운용성 테스트는 필수적이다. 상호운용성 테스트는 다른 벤더들이 개발한 다른 시스템이 데이타를 공유하는 경우 소프트웨어나 하드웨어의 성능을 테스트하는 것이다. 많은 연구에서 시스템의 행위를 모델링하기 위하여 EFSM(Extended Finite State Machines)을 사용하고 있고, EFSM은 테스트케이스 생성 알고리즘의 입력으로 사용된다. 그러나 대부분의 연구들은 최적의 테스트케이스 생성 알고리즘에 대한 것들로서 이들 알고리즘의 입력이 되는 EFSM 명세를 생성하는 과정에 관한 연구는 찾아보기 힘들다. 본 논문은 상호운용성 테스트를 위한 테스트케이스를 생성하는 연구로서 요구사항 분석서로부터 EFSM 명세를 생성하는 방법을 제안하고, 테스트케이스 생성의 자동화를 위하여 제안한 기법으로 생성된 EFSM을 입력으로 하여 표준화된 테스트 케이스 및 슈트를 자동 생성하기 위한 테스트케이스 생성기의 프로토타입을 구현한다. 또한 프로토타입 구현에 적용된 이론적 배경 및 알고리즘을 상세히 설명한다.

• 전자공학회논문지
• /
• 제51권7호
• /
• pp.251-257
• /
• 2014

비터비는 상관성이 없는 노이즈 환경 하에서 이산 유한 상태 기계(FSM)의 상태 변이를 추정하는데 사용되는 알고리듬이다. 본 논문에서는 FSM의 상태를 추정하기 위해 해밍 네트워크를 변형하여 상태 병렬 및 블록 병렬 처리 비터비 복호기를 제안한다. 제안된 mHN(modified Hamming Network)는 길쌈 부호를 복호함으로써 기존의 비터비 복호기와 같은 동작을 수행한다. 제안된 비터비 복호기은 기존의 비터비 복호기보다 약 10% 낮은 복잡도를 제공하며, 40%의 수행시간을 단축시킬 수 있다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 추계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• 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.

• 한국인터넷방송통신학회논문지
• /
• 제24권2호
• /
• pp.113-118
• /
• 2024

본 연구에서는 지능형 NPC의 행동을 효과적으로 구현하기 위한 두 가지 주요 구조, 계층적 유한 상태 기계(Hierarchical Finite State Machine, HFSM)와 행동 트리(Behavior Tree)의 구조를 설계하고 실험용 게임을 제작하여 비교 및 분석하였다. 계층적 유한 상태 기계는 복잡한 상호작용 중심의 동작에 적합하여 상태 변화와 그 전이가 중요한 행동 메커니즘에서 효율적이고, 행동 트리는 동적 환경에서의 수정과 확장이 용이하여 다양한 조건 하에서의 동적반응이 중요한 행동 메커니즘에서 효율적이라는 분석 결과를 도출하였다. 이 두 구조를 유니티 엔진을 활용하여 실험적으로 적용하고 그 효율성을 검증하였다. 본 연구는 기본적인 구조 설계에 초점을 맞췄으며, 추후 개발 예정인 액션 어드벤쳐 탈출 게임에 이 구조를 적용할 예정이다. 본 연구의 결과는 게임 개발자들이 지능형 NPC를 효율적으로 구현하는데 도움을 주며, 게임의 퀄리티와 플레이어 만족도 향상에 기여할 것으로 기대된다.

• 한국통신학회논문지
• /
• 제13권3호
• /
• pp.231-238
• /
• 1988

본 논문에서는 두개의유한 상태 통신 기계에 대한 통신 프로토콜을 검증할 수 있도록 수정된 maximal progress 상태 탐사 방법을 제안한다. 모든 도달 가능한 상태들을 생성하는 작업은 두개의 독립된 작업으로 구분하며, 각 작업에서는 어느 한 기계에 대한 도달 가능한 상태들을 수정된 maximal progress순서에 의해서 생성되도록 한다. 이러한 maximal progress 상태 탐사 방법은 기존의 maximal progress 상태 탐사 방법보다 더 적은 시간과 공간을 요구한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권1호
• /
• pp.12-21
• /
• 2008

실생활과 밀접한 환경에서 컴퓨터 시스템의 사용이 늘어남에 따라 이러한 시스템들의 신뢰성, 안전성 등을 철저히 확인할 수 있는 검증 기술의 필요성이 한층 증가되고 있다. 유한상태머신은 이러한 시스템 모델링 및 분석에 활용되는 다양한 정형적 기법의 기본 모델로 널리 이용되고 있으며 효율적인 분석을 위해 내부 이벤트에 대한 추상화 기법이 제공된다. 하지만 기존의 추상화 방법은 유한상태머신 모델을 생성한 후에 적용될 수 있으므로 상태폭발에 효과적으로 대처하지 못하는 문제점이 있다. 이 연구에서는 유한상태머신 정보를 효과적으로 표현할 수 있는 새로운 표기법으로, 병행적 특성을 나타낼 수 있는 slice 모델 개념을 제시하고 이를 근간으로 내부 트랜지션을 축약하는 추상화 알고리즘을 제시한다. 기존의 유한상태머신 기반의 추상화 방법은 모든 상태를 나열하여야만 분석할 수 있는데 반해, 제안된 추상화 방법은 필요한 분석 공간만을 부분적으로 생성함으로 시간 및 공간적인 관점에서 효율적이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.37-39
• /
• 2003

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

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

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1993년도 Fifth International Fuzzy Systems Association World Congress 93
• /
• 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
• /
• 제11권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.