• Title/Summary/Keyword: FSM

Search Result 272, Processing Time 0.026 seconds

Spline Finite Strip Shell Analysis of Prestressed Concrete Box-Girder Bridges (프리스트레스트 콘크리트 박스 거더 교량의 Spline 유한대판 쉘 해석)

  • 최창근;김경호;홍현석
    • Proceedings of the Computational Structural Engineering Institute Conference
    • /
    • 2001.04a
    • /
    • pp.18-25
    • /
    • 2001
  • Analysis of prestressed box-girder bridges using the spline finite strip method is presented. In the present study, the spline finite strip method(FSM) is modified using the non-periodic B-spline interpolation. In the analysis of the prestressed box girder bridges, each tendon force is evaluated by summation of the adjacent segment forces. Once the equivalent forces acting on the structure at the tendon points are found, they are transformed into statically equivalent forces at the adjacent node or joints. Several examples were analyzed to verify the performance of present method using the non-periodic B-spline FSM. Good agreements were obtained when compared with the previous study.

  • PDF

Generation of Control Signals in High-Level Synthesis from SDL Specification

  • Kwak, Sang-Hoon;Kim, Eui-Seok;Lee, Dong-IK;Baek, Young-Seok;Park, In-Hak
    • Proceedings of the IEEK Conference
    • /
    • 2000.07a
    • /
    • pp.410-413
    • /
    • 2000
  • This paper suggests a methodology in which control signals for high-level synthesis are generated from SDL specification. SDL is based on EFSM(Extended Finite State Machine) model. Data path and control part are partitioned into representing data operations in the from of scheduled data flow graph and process behavior of an SDL code in forms of an abstract FSM. Resource allocation is performed based on the suggested architecture model and local control signals to drive allocated functional blocks are incorporated into an abstract FSM extracted from an SDL process specification. Data path and global controller acquired through suggested methodology are combined into structural VHDL representation and correctness of behavior for final circuit is verified through waveform simulation.

  • PDF

Design and Implementation of Oceanic NPC Model applying Formal Method (정형 기법을 적용한 해양 NPC 모델 설계 및 구현)

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

  • PDF

AIN Protocol conformance test Suite Generation Using Formal Methods (지능망 교환기에 대한 INAP 적합성 시험 스위트 개발 및 검증)

  • Do, Hyeon-Suk;Bae, Seong-Yong;Kim, Sang-Gi
    • 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시뮬레이터를 대상으로 시험을 수행함으로써 시험 스위트를 검증할 수 있는 방안을 제시하였다.

  • PDF

A Nondeterminism Removal Algorithm for Efficient Testing of Communication Protocols (효율적인 통신프로토콜 시험을 위한 비결정성 제거 알고리즘)

  • 허기택;이동호
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.18 no.10
    • /
    • pp.1572-1581
    • /
    • 1993
  • DFSM(Deterministic Finite State Machine) is used because it easily represents the control flow of a protocol in the protocol specification. Real protocols contain problem of nondeterminisms that have more than one enabled transition in the same state by same input. But DFSM does not process nondeterminism. So, in this paper, we first specify a protocol with NFSM (Nonderministic FSM) that may show the characteristics of nondeterminism, and propose an algorithm which converts NFSM to DFSM.

  • PDF

Development of Hydroformed Automotive Parts with Heat-treatable Aluminum Extrudates (열처리형 Al 압출재를 이용한 하이드로포밍 부품개발)

  • Lee, M.Y.;Kang, C.Y.;Ryu, S.J.
    • Journal of the Korean Society for Heat Treatment
    • /
    • v.17 no.3
    • /
    • pp.165-172
    • /
    • 2004
  • Compared with the hydroforming technology for steel, the hydroforming technology for aluminum has not been actively investigated. Recently, the hydroforming of high strength aluminum tubes has attracted great interest because of its good strength to weight ratio. In this study, front side member (FSM) is fabricated with the hydroforming of aluminum tube and the mechanical properties and dimensional accuracy of the hydroformed FSM is investigated. For hydroforming process, extruded aluminum tubes with ribs to improve the structural rigidity are used. To ensure the mechanical properties, the aluminum tubes are T6 heat-treated before hydroforming.

A study on The Implementation of Monster AI using Finite-State Machine (유한 상태 기계를 이용한 몬스터 AI 구현에 관한 연구)

  • Jo, Jae-Won;Bang, Jung-Won
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2019.01a
    • /
    • pp.349-350
    • /
    • 2019
  • 게임에서 장르를 불문하고 모든 몬스터와 NPC는 AI를 가지고 있다. 따라서 적 몬스터 캐릭터와 전투를 즐기는 액션 게임의 경우 그만큼 인공지능이 게임 안에서 차지하는 비율이 높다고 할 수 있을 것이다. 본 논문에서는 FSM, HFSM, BT와 같은 AI 기법을 비교하여 분석하였다. 각 기법에는 주의해야 할 점이 명확하게 존재하기 때문에 구체적으로 어떠한 문제점들이 존재하는지에 대한 결과를 얻는데 연구 목적이 있다. 따라서 몬스터 AI를 구현할 때 각 인공지능 기법의 장단점을 고려하여 설계하여 유지 보수를 줄이는 방법을 연구해야 한다는 것을 확인할 수 있었다.

  • PDF

State Normalization and Dense Reward Based Reinforcement Learning Method in Basketball Game. (농구 게임에서 상태 정규화 및 Dense 보상 기반 강화 학습 기법)

  • Choi, Taehyeok;Cho, Kyungeun
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2022.11a
    • /
    • pp.475-477
    • /
    • 2022
  • 최근 강화 학습을 적용한 게임 AI 에 대한 연구가 활발히 진행되고 있다. 하지만 대부분 상용게임은 유한 상태 머신(Finite State Machine, FSM)을 이용한 스크립트 기반 AI 를 사용하기 때문에 복잡한 환경의 게임에서 불안정한 상태로 인해 적절한 강화 학습의 수행이 어렵다. 따라서 본 논문에서는 상용 게임 강화 학습 적용을 위하여 상태 정규화 및 Dense 보상 기반 강화 학습 기법을 제안한다. 제안한 기법을 상용 농구 게임에 적용하고 학습된 모델의 성능을 기존 FSM 기반 AI 와 비교를 통해 성능이 약 80% 증가한 결과를 확인하였다.

Post-buckling finite strip analysis of thick functionally graded plates

  • Hajikazemi, M.;Ovesy, H.R.;Assaee, H.;Sadr, M.H.
    • Structural Engineering and Mechanics
    • /
    • v.49 no.5
    • /
    • pp.569-595
    • /
    • 2014
  • In this paper, a novel semi-energy finite strip method (FSM) is developed based on the concept of first order shear deformation theory (FSDT) in order to attempt the post-buckling solution for thin and relatively thick functionally graded (FG) plates under uniform end-shortening. In order to study the effects of through-the-thickness shear stresses on the post-buckling behavior of FG plates, two previously developed finite strip methods, i.e., semi-energy FSM based on the concept of classical laminated plate theory (CLPT) and a CLPT full-energy FSM, are also implemented. Moreover, the effects of aspect ratio on initial post-buckling stiffness of FG rectangular plates are studied. It has been shown that the variation of the ratio of initial post-buckling stiffness to pre-buckling stiffness ($S^*/S$) with respect to aspects ratios is quite independent of volume fractions of constituents in thin FG plates. It has also been seen that the universal curve representing the variation of ($S^*/S$) with aspect ratio of a FG plate demonstrate a saw shape curve. Moreover, it is revealed that for the thin FG plates in contrast to relatively thick plates, the variations of non-dimensional load versus end-shortening is independent of ceramic-metal volume fraction index. This means that the post-buckling behavior of thin FG plates and the thin pure isotropic plates is similar. The results are discussed in detail and compared with those obtained from finite element method (FEM) of analysis. The study of the results may have a great influence in design of FG plates encountering post-buckling behavior.