• Title/Summary/Keyword: 유한상태기계

Search Result 202, Processing Time 0.023 seconds

Design and Implementation of Group Behaviors for Doves by Using a Finite State Machine (유한상태기계를 사용한 비둘기들에 대한 집단행동의 설계 및 구현)

  • Lee, Jae-Moon;Cho, Sae-Hong
    • Journal of Korea Game Society
    • /
    • v.10 no.3
    • /
    • pp.93-102
    • /
    • 2010
  • This paper is to design and implement the system to simulate spontaneously the group behaviors for the various states of doves. To do this, the group behaviors of doves were divided into the four action models such as 'Flying', 'Landing', 'Eating' and 'Taking off'. The steering forces composing of each action model were found and each action model was designed by using the finite state machine. The designed system was implemented by integrating the Ogre engine. From the simulations of the implemented system, the values of the parameters for the steering forces were found so that it can represent the spontaneous group behaviors of doves.

Generation of Finite Automata for Intrusion Detection (침입탐지를 위한 유한상태기계의 생성 기법)

  • Lim, Young-Hwan;Wee, Kyu-Bum
    • The KIPS Transactions:PartC
    • /
    • v.10C no.2
    • /
    • pp.119-124
    • /
    • 2003
  • Although there have been many studies on using finite automata for intrusion detection, it has been a difficult problem to generate compact finite automata automatically. In a previous research an approach to profile normal behaviors using finite automata was proposed. They divided the system call sequence of each process into three parts prefix, main portion, and suffix, and then substituted macros for frequently occurring substrings. However, the procedure was not automatic. In this paper we present algorithms to automatically generate intrusion detection automata from the sequence of system calls resulting from the normal runs of the programs. We also show the effectiveness of the proposed method through experiments.

Link Assignment in Low-Earth Orbit Satellite Networks using Simulated Annealing (시뮬레이티드 어닐링을 이용한 저궤도 위성망에서의 링크할당)

  • Jang, Heung-Seong;Kim, Byeong-Wan;Lee, Chang-Geon;Min, Sang-Ryeol;Choe, Yang-Hui;Yang, Hyeon;Kim, Deok-Nyeon;Kim, Jong-Sang
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.26 no.2
    • /
    • pp.211-222
    • /
    • 1999
  • 본 논문은 위성간 링크를 이용하여 저궤도 위성망을 구성할 때 발생하는 링크할당 문제를 효율적으로 풀기 위한 기법을 제안한다. 제안된 기법은 먼저 위성 궤도운동의 주기성에 기반하여 저궤도 위성망을 유한상태기계로 모델링한 후에, 유한상태기계의 각 상태에서 최적의 링크할당을 구하기 위해서 조합형 최적화 문제에 많이 쓰이는 시뮬레이팅드 어닐리을 이용한다. 제안된 기법의 이점은 저궤도 위성망을 유한상태기계로 모델링함으로써 도적인 움직임을 보이는 저궤도 위성망에서의 링크할당 문제를 고정된 위상을 가지는 망에서의 링크할당 문제로 단순화시키고 이를 토대로 최적화기법을 적용할 수 있다는 것이다. 시뮬레이티드 어닐링에 의하여 최적화된 링크할당의 성능은 정규링크할당과의 비교.분석을 통해서 평가된다. 최적화된 링크할당과 정규링크할당의 성능분석을 위하여 정적경로배정과 동적경로배정 기법이 고려된다. 시뮬레이션을 통한 실험결과는 정적경로배정을 적용한 최적링크할당 기법이 호 봉쇄확률 측면에서 최고의 성능을 가짐을 보여준다. 링크할당기법이 같은 경우에는 정적경로배정이 동적경로배정보다 우수한 성능을 보이는데 이는 동적경로배정의 경우에 상태전이 후에 경로배정 표가 안정화되기 위해서 많은 시간을 필요로 하기 때문이다. 본 논문에서는 제안된 링크할당 기법은 작은 용량의 위성간 링크를 가지고서 많은 호에대한 서비스를 제공하고자 할 때 유용하며, 호의 서비스를 위하여 실제로 필요한 위성간 링크의 용량은 실험결과로부터 유추될 수 있다.

Equivalence Checking Finite State Machines with SAT-Procedure (SAT 프로시져를 이용한 유한 상태 기계의 동치 검사)

  • 엄태호;권기현;김태훈
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.04c
    • /
    • pp.37-39
    • /
    • 2003
  • 본 연구에서는 만족성 검사기를 이용하여 두 유한 상태 기계의 행위가 동치인지를 검사한다. 기존의 동치 검사는 대부분 BDD를 기반으로 했었기 때문에 변수 순서 배열 및 내부 BDD노드 폭발 문제에 시달렸었다. 하지만 여기서는 BDD대신 명제 논리를 이용하기 때문에 위와 같은 문제점을 피할 수 있다. 하지만 논리식을 만족성 검사기의 입력 형태인 논리곱 정규형으로 변환하는 과정에서 절의 3기는 식의 크기에 지수적으로 증가하였다.

  • PDF

세라믹 재료의 고속 충돌 해석을 위한 operator-splitting 유한 요소해석 기술

  • Ju, Byeong-Yun;Hwang, Chan;Jeong, Dong-Taek
    • Journal of the KSME
    • /
    • v.50 no.4
    • /
    • pp.42-45
    • /
    • 2010
  • 초속 수 킬로미터에 달하는 탄자 충돌 해석과 같은 고속 충돌 문제는 매우 짧은 작용시간, 지배적인 과도 응답 상태, 관성효과의 중요성 등을 특징으로 들 수 있다. 이 글에서는 고속 충돌 해석을 위한 삼각형/사면체 요소를 적용한 operator-splitting 유한 요소 해석 기술에 대해 소개하였다.

  • PDF

NPC Control by Hybrid Architecture of Finite State Machine and Inference Engine ? (NPC 행동 제어를 위한 유한상태기계와 추론 엔진의 하이브리드 구조)

  • Cho, Dong-Hyun;Oh, Sung-Jin;Sung, Mee-Young;Jun, Kyung-Koo
    • 한국HCI학회:학술대회논문집
    • /
    • 2007.02a
    • /
    • pp.168-173
    • /
    • 2007
  • 게임이나 가상환경에서 오락성과 실감성을 증진시키는 여러 가지 방법들 가운데 지능적인 Non-Player Character (NPC)들의 존재는 중요하다. 컴퓨터 그래픽과 관련 하드웨어 플랫폼 기술의 발전으로 인해 사용자들은 이제 시각적인 만족을 넘어서서, NPC들이 보다 지능적으로 행동하면서 오락적인 만족감과 동시에 보다 향상된 실감성을 제공하기를 원한다. 하지만, 유한상태기계 (Finite State Machine, FSM)를 기반으로 하는 NPC 구현의 한계와 어려움으로 인해 이러한 사용자들의 요구사항을 만족시키는 것은 어렵다. 본 논문에서는 FSM과 추론 엔진(Inference Engine)을 결합한 새로운 NPC 행동제어 구조를 제안한다. 또한 제안된 구조의 가능성을 시연하기 위해 실제로 동작하는 데모를 소개한다. 이러한 FSM과 추론 엔진의 하이브리드 구조는 FSM이 제공하는 NPC 반응의 실시간성을 보장하는 동시에 추론 엔진이 제공할 수 있는 보다 지능적이고 계획적인 NPC들의 행동을 만들어 낼 수 있다는 장점이 있다.

  • PDF

An Operational and Data Model for ARS Control (ARS 제어를 위한 동작 및 데이터 모델)

  • Min, Kyoung-Seok;Kim, Suk-il;Jeon, Joong-Nam
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2000.04a
    • /
    • pp.373-378
    • /
    • 2000
  • ARS(Audio Response System)를 구현하기 위하여, 응용 분야를 분석하여 필요한 자료구조를 설계 및 처리 과정을 설계한 후, ARS 처리용 하드웨어 생산 업체에서 제공하는 원시 라이브러리와 C언어를 사용하여 구현하는 것이 일반적이다. 본 논문에서는 ARS의 처리 과정을 분석하여 동작을 제어하는 부분과 동작을 표현하는 부분으로 분리한 ARS 구현 모델을 제시하였다. 응용분야와 무관한 동작제어 부분은 대기상태, 처리상태, 종료상태로 구성되는 유한상태 기계 모델을 제시하였고, 응용분야에 따라 결정되는 동작표현에 필요한 정보를 체계적으로 구성한 자료구조를 제시하였다. 본 논문에서 제시하는 모델에 의하여 동작표현만 제공함으로써 ARS를 구현할 수 있다.

  • PDF

소성가공과 유한요소법

  • 황상무
    • Journal of the KSME
    • /
    • v.29 no.2
    • /
    • pp.184-198
    • /
    • 1989
  • 가공공정에 관한 여군 및 개발의 목적은 결함없는 부품을 경제적으로 최적의 방법으로 생산하 는데 있다. 최적가공조건은 부품에 부여된 요구사항에 따라 달라지나 그 조건을 예측함은 가 공공정 전반에 관한 깊은 이해를 요한다. 최적화 측면에서 볼 때 소성가공이나 고분자재료, 복 합재료, 금속 및 세라믹 분말 등의 신소재 성형가공 등에 있어서의 공정 설계와 제어는 주어진 가공조건하에서 가공중의 재료의 상태를 정확하게 해석하는 데서 출발한다. 유한요소법을 사 용한 공정의 시뮬레이션이 현대적 성형가공 기술에 있어서 중요한 위치를 차지하고 있는 이유는 바로 여기에 기인한다. 이 글에서는 소성가공 공정을 요약하고 공정 설계에 유한요소법을 적 용하는 방법을 몇 가지 공정의 예를 들어 설명하였다. 각각의 예에 있어서는 개발의 동기와 핵심, 그리고 최근의 연구동향을 언급하였다.

  • PDF

Process Optimal Design in Steady-State Metal Forming by Finite Element Method-II Application to Die Profile Design in Extusion (유한요소법을 이용한 정상상태의 소성가공 공정의 최적설계-II)

  • 전만수;황상무
    • Transactions of the Korean Society of Mechanical Engineers
    • /
    • v.16 no.3
    • /
    • pp.453-458
    • /
    • 1992
  • 본 연구에서는 유한요소법에 바탕을 둔 최적공정설계법을 이용하여 압출 금형 형상의 최적설계를 실시하였다.설계의 결과를 참고문헌에서 발췌한 이론해와 비교 하였으며, 축대칭 압출공정에서 압하율, 마찰, 재료특성 등이 금형의 최적형상에 미치 는 영향에 대하여 조사하였다.