• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.1-9
• /
• 2008

본 논문은 Programmable Logic Controller(PLC) 시뮬레이션을 하기 위한 공장 모델(Plant Model)을 자동으로 생성하는 절차에 대해 기술한다. PLC 프로그램은 공정을 제어하는 로직에 관한 정보이며 그 자체로 공장 모델에 대한 어떤 정보도 포함하고 있지 않기 때문에 시뮬레이션을 위해서는 PLC 프로그램에 대응하는 공장 모델이 반드시 필요하다. 지금까지 PLC 시뮬레이션을 위한 공장 모델은 사용자가 직접 구축하는 방식으로 모델링 되었으나 이는 많은 노력과 공정로직의 완전한 이해 및 시뮬레이션 지식이 요구된다. 이런 어려움을 극복하기 위해 논문은 PLC 프로그램의 심볼테이블(Symbol table)로부터 공장모델을 자동으로 생성하는 과정을 제안한다. 이를 위해P LC 심볼이 공장 모델의 생성을 위한 정보를 포함시키는 PLC 심볼의 작명 규칙을 제안한다. 입력된 심볼 리스트를 분석함으로써 공장 모델을 자동으로 추출할 수 있으며 간단한 예제 공정을 대상으로 구현해 본다.

• 디지털융복합연구
• /
• 제10권10호
• /
• pp.539-544
• /
• 2012

사람이 만든 대부분의 시스템들은 하이브리드 시스템으로 모델링될 수 있다. 하이브리드 시스템 모델은 의사결정을 담당하는 상위레벨 모델과 기계적 제어를 담당하는 하위레벨 모델로 구성되기 때문에, 그 구조가 복잡하기 마련이며 모델을 해석할 때 모델의 종류에 따라 서로 다른 해석 기법이 요구된다. 상위레벨 모델은 FSM과 같은 이산사건시스템의 해석기법으로 풀이할 수 있으나, 하위레벨은 연속시간 모델로 구성되기 때문에 공학적 수치해석 기법이 동원되어야 한다. 개발자가 이 두 레벨의 모델을 함께 개발하는 방식에는 어려움이 많기 때문에 본 연구에서는 게임 분야에서 널리 사용되어지고 검증되어진 물리엔진 미들웨어를 이용하여 하위레벨의 모델링 및 해석 과정에 적용할 수 있는 방법을 제시한다.

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

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

• 대한의용생체공학회:학술대회논문집
• /
• 대한의용생체공학회 1997년도 춘계학술대회
• /
• pp.145-149
• /
• 1997

This paper describes a methodology for the development of models of discrete event system. The methodology is based on transformation of continuous state space into discrete one to homomorphically represent dynamics of continuous processes in discrete events. This paper proposes a formal structure which can coupled discrete event system models within a framework. The structure employs the discrete event specification formalism for the discrete event system models. The proposed formal structure has been applied to develop a discrete event specification model for the complex spectral density analysis of strip for urin analyzer system. For this, spectral density data of strip is partitioned into a set of Phases based on events identified through urine spectrophotometry. For each phase, a continuous system of the continuous model for the urine spectral density analysis has been simulated by programmed C++. To validate this model, first develop the discrets event specification model, then simulate the model in the DEVSIM++ environment. It has the similar simulation results for the data obtained from the continuous system simulation. The comparison shows that the discrete event specification model represents dynamics of the urine spectral density at each phase.

• 한국CDE학회논문집
• /
• 제18권3호
• /
• pp.224-233
• /
• 2013

For the scheduling and the job assignment of the ship hull production design which is a process-based work, we suggest the simulation-based scheduling using the discrete-event-based business process simulation. First, we analyze the ship hull production design process from the perspective of a job assignment to make it into the simulation model using DEVS (Discrete Event System Specification) which is the representative modeling method for a discrete-event simulation. Based on the APIs of the open-source discrete-event simulation engine, we implement the simulation using the Groovy script. We develop the scenario generator in which the user defines detail information of the construction drawing and its member blocks, and design engineers information, and the various setting for the simulation including the job assignment strategy. We use the XML files from this scenario generator as inputs of simulation so that we can get simulation result in forms of Gantt chart without changes of the simulation model.

• 대한조선학회논문집
• /
• 제45권6호
• /
• pp.656-668
• /
• 2008

When it comes to design and acquire underwater vehicles such as a submarine and a torpedo according to the process of SBA(Simulation Based Acquisition)/SBD(Simulation Based Design), it is necessary to predict the performance of interest precisely and to perform the test over and over again using the M&S(Modeling and Simulation) of the engineering and the engagement level. In this paper, we research the DEVS(Discrete Event System Specification) and DTSS(Discrete Time System Specification) formalism based standard model architecture for the underwater vehicle which can support both the heterogeneous level of the M&S(Engineering/Engagement) and the different system of the M&S(Discrete Event System and Discrete Time System). To validate this standard modeling architecture, we apply it to the submarine normal diving simulation.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1994년도 추계학술발표회 및 정기총회
• /
• pp.32-32
• /
• 1994

In this example, a message passing based multicomputer system with general interdonnedtion network is considered. After multicomputer systems are developed with morm-hole routing network, topologies of interconecting network are not major considertion for process management and resource sharing. Tehre is an independeent operating system kernel oneach node. It communicates with other kernels using message passingmechanism. Based on this architecture, the problem is how mech does performance degradation will occur in the case of processor sharing on multicomputer systems. Processor sharing between application programs is veryimprotant decision on system performance. In almost cases, application programs running on massively parallel computer systems are not so much user-interactive. Thus, the main performance index is system throughput. Each application program has various communication patterns. and the sharing of processors causes serious performance degradation in hte worst case such that one processor is shared by two processes and another processes are waiting the messages from those processes. As a result, considering this problem is improtant since it gives the reason whether the system allows processor sharingor not. Input data has many parameters in this simulation . It contains the number of threads per task , communication patterns between threads, data generation and also defects in random inupt data. Many parallel aplication programs has its specific communication patterns, and there are computation and communication phases. Therefore, this phase informatin cannot be obtained random input data. If we get trace data from some real applications. we can simulate the problem more realistic . On the other hand, simualtion results will be waseteful unless sufficient trace data with varisous communication patterns is gathered. In this project , random input data are used for simulation . Only controllable data are the number of threads of each task and mapping strategy. First, each task runs independently. After that , each task shres one and more processors with other tasks. As more processors are shared , there will be performance degradation . Form this degradation rate , we can know the overhead of processor sharing . Process scheduling policy can affects the results of simulation . For process scheduling, priority queue and FIFO queue are implemented to support round-robin scheduling and priority scheduling.