• Annual Conference of KIPS
• /
• 2006.11a
• /
• pp.183-186
• /
• 2006

NPC(Non playable Character)모델은 온라인 게임뿐만 아니라 가상공간 시스템 구축 시 빠질 수 없는 중요한 요소이다. 현재 가장 널리 사용되는 인공지능 처리방식의 하나인 FSM(Finite State Machine)은 NPC의 행동양식을 표현하기 위해 유한한 개수의 상태를 이용하는 알고리즘이다. 인공지능이 적용된 NPC 모델 설계시 정확한 명세는 구현 단계에서 발생되는 자원의 손실을 막아주고 요구명세에 따른 검증을 가능하게 한다. 본 논문에서는 해저가상공간 구축 시 발생되는 어류 객체의 행동패턴을 분석하여 속성을 정의하였으며, 환경변화에 따른 행동 특성의 상호관계를 설정하여 정형화하였다. 정의된 속성을 가진 NPC 모델을 FSM 알고리즘을 적용해 설계하고 구현한다. 설계된 NPC모델은 CTL기반의 모델체커인 SMV(Symbolic Model Verification)를 통해 검증함으로써 설계에 대한 타상성을 입증하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.3
• /
• pp.741-750
• /
• 1998

본 논문에서는 형식 기법을 이용하여 차세대 지능망 응용 프로토콜(INAP:Intelligent Network Application Protocool)적합성 시험 스위트를 생성하는 방법 및 IUT(Implenentation Under Test)시뮬레이터를 구축하여 시험을 수행함으로써 시험 스위트를 검증하는 방법에 관해 기술한다. SDL(Specification and Description Language)과 같은 형식 언어를 사용하여 INAP FSM(Finite State Machine)을 모델링하고 MSC(Message Sequence Chart)로 시험 목적을 기술한다. 기술된 FSM모델과 시험 목적을 검증하기 위해 모의 시험을 거치며, 검증이 완료된 후 시험 스위트로 변환이 된다. 형식 기법을 이용하여 INAP규격을 정확하게 기술할 수 있을 뿐 아니라 시험 스위트를 자동으로 생성함으로써 시간과 비용을 절감할 수 있다. 또한 생성된 시험 스위트를 시험기에 탑재하여 IUT시뮬레이터를 대상으로 시험을 수행함으로써 시험 스위트를 검증할 수 있는 방안을 제시하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.8
• /
• pp.2152-2162
• /
• 1997

We developed an approach to automatically synthesize time-stationary controllers for a given pipelined data path of Application Specific Integrated Circuits (ASICs). This work consists of automated production of control specifications and Finite State Machine (FSM) Optimization. A FSM controller is implemented by performing horizontal partitioning so as to minimize the total controller area. We compared our approach to published work on FSM generation and optimization, and the results indicate large savings in total controller area.

• Proceedings of the KIEE Conference
• /
• 2000.11b
• /
• pp.336-338
• /
• 2000

Recently many studies have been performed for variable speed control of induction motor. Direct Torque Control(DTC) is emerging technique for variable speed control of PWM inverter driven induction motor. DTC allows the direct control of stator flux and instantaneous torque through simple algorithm. In this paper ASIC design technique using VHDL is applied to DTC based speed control of induction motor. ASIC for DTC based speed control is designed through the description of coordinate transformation, speed controller stator flux and torque estimator, stator flux and torque controller, stator flux position detector. FSM(Finite State Machine) and inverter voltage switching vector. Finally the above system has been implemented on the FPGA (XC4052XL-PG411). Simulation and experiment has been performed to verify the performance of the designed ASTC.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10a
• /
• pp.390-394
• /
• 2006

센서 노드는 정보 수집, 데이터 통신, 협력을 통한 모니터링과 같은 작업들을 수행하기 위해 군사 작전 지역, 산업 시설, 생태 환경 등에 배치된다. 응용 프로그램과 운영체제가 설치된 센서 노드를 센서 필드에 배치하고 나면 센서 노드는 쉽게 수거되기 어렵고 재프로그래밍을 위한 물리적인 연결이 힘들게 되어 응용의 변화에 따른 새로운 응용 프로그램의 설치, 수정과 같은 업데이트가 쉽지 않다. 또한 제한적인 시스템 자원을 가진 센서 노드의 특성상 이러한 재구성 기능은 업데이트에 사용되는 비용이 고려 되어야한다. 본 논문에서는 유한 상태 머신 (finite state machine) 기반의 운영체제인 SenOS에서 응용의 변화에 대처할 수 있도록 동적 재구성 기능이 구현된 형태와 특징을 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.550-552
• /
• 2004

가상공간에는 PC(Playerable Character), NPC(Non-Playerable Character)등의 동적 객체와 건물, 지형 등의 정적 객체들이 존재하게 된다. 동적 객체들의 경우, 현실감을 위해 인공지능이 자주 이용된다 현재까지 인공지능에 대한 연구는 유한상태기계(Finite State Machine. FSM). 학습 알고리즘, 유전자 알고리즘, 신경망 알고리즘 등을 중심으로 진행되어 왔다. 이중 유한상태기계는 비교적 알고리즘이 간단하고, 시스템의 부담이 적어 간단한 객체의 인공지능으로 가장 널리 사용되고 있다. 본 논문은 유찬상태기계를 확장하여 모드변경(Mode Change)과 그룹행동을 보여줄 수 있는 XML을 활용한 FSM 시스템을 제안한다. 여기서 모드변경이란 하나의 행동 패턴에서 다른 행동 패턴으로 변경하는 것을, 그룹행동은 여러 객체가 함께 행동하는 Flocking기법을 지칭한파. 이러한 XML을 활용한 FSM 시스템은 다양한 패턴의 정의는 물론, 객체의 상태 정의 및 수정, 확장이 용이하여, 다양한 응용 분야에서 활용될 수 있다.

• Annual Conference of KIPS
• /
• 2015.10a
• /
• pp.1015-1018
• /
• 2015

모바일 디바이스가 기존이 PC 시장규모를 압도하면서 기하급수적으로 많은 모바일 앱이 출시되고 있다. 수많은 모바일 앱 중에서 사용자들은 배우기 쉽고, 직관적으로 사용하기에 용이한 모바일 앱을 선택하려는 경향을 보인다. 그러나 모바일 앱 사용성의 중요성이 증대됨에도 불구하고 모바일 앱에서의 사용성에 대한 연구는 미미한 실정이다. 현 GUI 사용성 테스트는 많은 시간이 소요되고 주관적인 평가에 의존하는 단점이 존재한다. 본 논문은 사용자들이 앱을 조작하는 터치 입력 데이터를 기반하여 EFSM(Extended Finite State Machine)에 인자를 추가한 형태로 모델링 후 개발자의 예상 시나리오와 비교하여 GUI 사용성 저해요소를 검출하는 기법을 제안하고 있다. 이와 같은 반-자동화된 방법을 통해 모바일 앱 상에서의 사용성을 측정할 수 있다. 제안된 기법을 구현한 도구의 구조를 설명하고 사용성 저해 요소 검출하는 과정을 기술하였다.

• Annual Conference of KIPS
• /
• 2018.05a
• /
• pp.409-411
• /
• 2018

자율주행차에서 경로계획기법은 지도, 목적지 경로와 다른 정적/동적 장애물에 대한 예측 정보를 바탕으로, 안전하고, 합법적이며 효율적으로 차량을 조종하는 목표를 가진다. 고속도로 환경에서, 차량이 차선을 유지하고, 다른 차량들과 충돌을 회피하며, 더 느리게 움직이는 트래픽을 지나쳐 효율적이면서 안전한 경로를 생성하는 기법이 요구된다. 본 연구에서는, 시스템의 행위를 모델링하는 기법 중의 하나인 유한상태기계를 적용하였다. 시뮬레이터를 통해, 급가속/감속과, 충돌 없이, 차선을 유지/변경을 힐 수 있음을 보였다. 자율주행차의 고속도로 주행의 경우, 유한상태기계를 적용하여, 효율적이고 안전한 경로계획을 수행할 수 있다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.07a
• /
• pp.81-82
• /
• 2019

게임 시장에 높은 점유율을 보이고 있는 추세에 따라 모바일 게임 제작에 많이 사용하고 있는 Unity 3D 게임 엔진을 사용하였다. 모바일 RPG인 '몬스터 길들이기'와 'Hundred Soul' 이라는 게임에서 감명 받아 이러한 아이디어를 바탕으로 Unity 3D 게임 엔진의 여러 기능과 접목하여, 다양한 기능 및 효과들을 구현하였고, 그에 따른 개발 방법을 설명한다.

• Annual Conference of KIPS
• /
• 2013.05a
• /
• pp.968-971
• /
• 2013

이 논문에서는 FSM(Finite State Machine) 기반 온라인 게임 서버 테스트 자동화 시스템을 제안한다. 게임 서버의 테스트 자동화는 테스트로 인한 비용, 시간적 제약, 테스트 자원의 재사용 측면에서 이득이 있다. 기존의 테스트 자동화 방식은 사용자간의 상호작용을 고려하지 않기 때문에 게임 서버의 성능에 대한 정확한 측정이 어렵다. 또한, 실제 서비스 시에 수용할 수 있는 동시 접속 인원수를 예측하기 어렵다. 이 논문에서 가상 유저를 이용한 테스트를 할 경우 FSM 을 이용하여 가상유저간의 상호작용이 가능하게 한다. 이를 이용하여 게임 서버의 성능 측정의 정확도 개선이 가능하다. 제안 시스템을 검증하기 위해 상호작용을 고려하지 않은 테스트 방법과 비교 평가 하였다.