• 한국군사과학기술학회지
• /
• 제9권3호
• /
• pp.25-32
• /
• 2006

Weapon systems composed of several subsystems execute various engagement missions in distributed combat environments in cooperation with a large number of subordinate/adjacent weapon systems as well as higher echelons through tactical data links. Such distributed weapon systems require distributed real-time simulation test beds to integrate and test their operational software, analyze their performance and effects of cooperated engagement, and validate their requirement specifications. These demands present significant challenges in terms of real-time constraints, time synchronization, complexity and development cost of an engagement simulation test bed, thus necessitate the use of high-performance distributed real-time simulation architectures, and modeling and simulation techniques. In this paper, in order to meet these demands, we presented a distributed real-time simulation system based on High Level Architecture(HLA) and Discrete Event System Specification(DEVS). We validated its performance by using it as a test bed for developing the Engagement Control System(ECS) of a surface-to-air missile system. The proposed technique can be employed to design a prototype or model of engagement-level distributed real-time simulation systems.

• 한국시뮬레이션학회논문지
• /
• 제21권1호
• /
• pp.1-8
• /
• 2012

최근들어, 글로벌 조선소들은 친환경 선박 건조와 환경 친화적 생산 공정에 큰 관심을 보이고 있다. 이러한 추세에 따라 이 연구는 조선소 레이아웃에 전 과정 평가를 적용하는 연구를 수행하였다. 전 과정 평가는 제품과 시스템의 전수명주기와 관련된 환경적 영향을 평가하는 기법으로 특정 산업분야에서 ISO 14040 표준에 따라 적용연구가 수행되고 있다. 전 과정 평가를 조선소 레이아웃에 적용하기 위해 조선소 레이아웃 계획 프레임워크를 분석하고, 조선소 레이아웃에 대한 목록분석을 수행하였으며, 환경적 영향에 대한 이산 사건 시뮬레이션 모델을 구축하였다.

• 한국실내디자인학회논문집
• /
• 제26권3호
• /
• pp.45-54
• /
• 2017

A social phenomenon that occurs in a physical space is said to be a complex system. However, space syntax, which is commonly employed by researchers to identify such social phenomena, has various limitations in interpreting their complexity. On the other hand, agent-based modeling considers a variety of factors including the personality of the agent, objective-oriented work flows, estimation according to time flows and better prediction of space use through diverse parameters depending the situation, as well as the characteristics of the space. The agent-based method thus has the potentials to be developed as an alternative to space syntax techniques. In particular, discrete event driven simulation(DEVS), which is part of the agent-based modeling method, embraces the concept of networks just like space syntax, which allows a possible theoretical linkage in the future. This study suggests a procedural model of agent-based DEVS reflecting two different connection methods, i.e. connections between adjacent areas and those of the entire space, and attempts to identify the relationship between the local and regional indices of space syntax. A number of spaces were selected as examples-one for a preliminary experiment and eight modified for the main experiment-and space syntax and DEVS were applied to each of them. The comparative analysis of the results led to the conclusions as follows: 1) Adjacent connections were closely related to local indices, while the whole-space approach to regional indices. Local integration shows both characteristics. 2) Observation of the time flow model indicated a faster convergence with the range of 1 to 3-fold of the total time of one lap, with the error of less than 10%. 3) The heat map analysis showed more obvious characteristics of using the space for the entire space rather than adjacent connections. 4) Space syntax shows higher eligibility than ABM.

• 대한산업공학회지
• /
• 제33권2호
• /
• pp.191-200
• /
• 2007

We propose the QoS (Quality of Service) assurance model for AMR (Adaptive MultiRate) voice users considering the capacity and service quality jointly in downlink WCDMA system. For this purpose, we introduce a new system performance measure and the number-based AMR mode allocation scheme. The proposed number-based AMR mode allocation can be operated only with the information of total number of ongoing users. Therefore, it can be more simply implemented than the existing power-based allocation. The proposed system performance measure considers the stochastic variations of AMR modes of ongoing users and can be analytically obtained using CTMC (Continuous Time Markov Chain) modeling. In order to validate the proposed analytical model, a discrete event-based simulation model is also developed. The performance measure obtained from the analytical model is in agreement with the simulation results and is expected to be useful for parameter optimization.

• 한국컴퓨터산업학회논문지
• /
• 제4권12호
• /
• pp.965-974
• /
• 2003

오늘날의 네트워크는 다양한 애플리케이션이 수행되고 있는 많은 수의 서버와 라우터들로 구성되어 있다. 본 논문에서는 침입 탐지 에이전트와 방화벽 에이전트가 계약망 프로토콜(Contract Net Protocol)에 의해서 서로 연동할 수 있는 구조를 디자인하고 구축하였다. 계약망 프로토콜은 분산 시스템과 같은 이기종의 컴퓨터 시스템의 효과적인 연동을 위한 방법으로서 여러 에이전트들이 모여 서로 협력하며 하나의 문제를 해결하게 된다. 계약망 프로토콜 내의 커멘드 콘솔은 매니저로서 침입 탐지를 수행하는 계약자들을 수행시키거나 제어하는 역할을 수행한다. 지식 기반의 네트워크 보안 모델링을 위해서 각 모델은 계층적으로 잘 구성된 DEVS (Discrete Event system Specification)에 의해서 구성하려다. 본 논문에서는 계약망 프로토콜에 의해서 운용되는 지식 기반의 침입 탐지 에이전트의 추론 주기를 향상시키기 위한 rete 패턴 매칭 알고리즘을 적용하여 시뮬레이션을 수행하였다. 본 연구는 rete 패턴 매칭 알고리즘을 사용하여 계약망 프로토롤의 성능과 특성을 평가해 본다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2003년도 추계학술대회 논문집(III)
• /
• pp.236-246
• /
• 2003

This paper is implemented a control algorithm in order to be stable and minimized to entire train traffic system at delayed case. Signal ing system is described wi th algebraic equations given for train headway, Discrete-event simulation principles are reviewed and a demonstration block signaling model using the technique is implemented. Train congestion at station entrance for short headway operation is demonstrated and the propagation of delays along a platform of trains from any imposed delay to the leading train is also shown. A rail way signaling system is by nature a distributed operation with event triggered at discrete intervals. Although the train kinematic variables of position, velocity, and acceleration are continually changing, the changes are triggered when the trains pass over section boundaries and arrive at signals and route switches. This paper deals with linear-mode1ing, stability and optimal control for the traffic on such metro line of the model is reconstructed in order to adapt the circuits. This paper propose optimal control laws wi th state feedback ensuring the stability of the modeled system for circuits. Simulation results show the benefit to be expected from an efficient traffic control. The main results are summarized as follows: 1. In this paper we develop a linear model describing the traffic for both loop lines, two state space equations have been analyzed. The first one is adapted to the situation where a complete nominal time schedule is available while second one is adapted when only the nominal time interval between trains is known, in both cases we show the unstability of the traffic when the proceeding train is delayed following properties, - They are easily implemented at law cost on existing lines. - They ensure the exponetial stability of loop system. 2. These control laws have been tested on a traffic simulation software taking into the non-linearites and the physical constraints on a metro line. By means of simulation, the efficiency of the proposed optimal control laws are shown.

• 한국시뮬레이션학회논문지
• /
• 제30권1호
• /
• pp.87-101
• /
• 2021

무기체계의 성능을 뜻하는 작전운용성능(Required Operational Capability)은 신규 무기체계의 소요 결정 시 함께 결정되며, 무기체계의 획득부터 전술적인 운용에 이르기까지 결정적인 영향을 미치기 때문에 이를 정의하는 것은 매우 중요한 일이다. 본 연구에서는 새롭게 개발되는 무기체계인 관측포탄의 ROC를 검증하기 위한 시뮬레이션 기반의 방법론을 제안한다. 이를 위해, ROC를 구성하는 무기체계의 주요 성능과 무기체계의 성능에 영향을 미치는 외부환경요인을 입력값으로 하고, 작전운용효과를 결과값으로 출력하는 이산사건 시뮬레이션 모델을 제안한다. 시뮬레이션 모델을 구현하는데 필요한 모의논리를 설명하고 민감도 분석 등 다양한 시뮬레이션 결과를 활용하여 ROC를 검증할 수 있는 방법에 대해 설명한다. 본 연구는 관측포탄과 같이 유사무기체계가 없고 군의 분석모델을 직접적으로 활용하기 어려운 무기체계의 ROC를 분석하고 작전효과를 예측할 수 있는 방법론으로 활용이 가능할 것이다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• pp.1356-1359
• /
• 1996

The paper studies design of a decentralized supervisory controller with 2-level hierarchical structure for complex discrete event systems. Hierarchical structure with strict output-control-consistency(SOCC) gives a more abstract model for high-level control. The decentralized controller for a simple and abstract high-level system is designed more easily if the decentralized supervisory control problem in 2-level hierarchical structure systems(DSCP2) is solvable.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2004년도 춘계학술대회 논문집
• /
• pp.13-19
• /
• 2004

본 논문은 SIMVA(Simulation Vulnerability Analyzer)를 이용한 시뮬레이션 기반의 네트워크 취약성 분석을 주목적으로 한다 SIMVA는 네트워크 상태를 감시하고, 이를 토대로 취약성을 분석하기 위하여 개발된 S/W로서, SES/MB (System Entity Structure / Model Base) 프레임워크 및 DEVS(Discrete Event System Specification) 이론을 적용하여 네트워크 보안 모델링을 수행할 수 있으며, 취약성 메트릭스를 통하여 정량적으로 취약성을 분석할 수 있다. 본 연구에서는 SIMVA를 이용하여 최근 네트워크 보안 문제에 심각한 영향을 미치는 슬래머 웜 공격 시나리오에 대한 취약성 분석을 수행함으로써 SIMVA의 검증 및 적용 가능성을 제시한다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1998년도 The Korea Society for Simulation 98 춘계학술대회 논문집
• /
• pp.91-95
• /
• 1998

기존의 이산 사건 시스템 시뮬레이션 환경들은 Interoperability의 문제, Portability 문제로 인하여 Internet과 Web상에서 분산 시뮤레이션이 불가능하다. 본 논문에서는 이러한 제약을 해결하고자 자바를 사용하여 DEVS(Discrete Event Systems Specification)형식혼을 구현하여 Internet/Web 상에서 시뮬레이션이 가능한 DEVSim-Java 환경을 설계하고 구현하였다. DEVSim-Java를 사용하여 시뮬레이션 환경을 구현함으로써 원격지에서 개발된 시뮬레이션 모델들을 인터넷을 통하여 재사용 하는 remote model-base(RMB) 개념을 제안된다. DEVSim-Java는 자바의 장점을 이용하여 시뮬레이션 과정을 애니메이션으로 잘 나타낼수 있고, 시뮬레이션의 결과를 Graphical Analyzer를 통해 분석할 수 있게 된다.