• 대한교통학회지
• /
• 제12권3호
• /
• pp.49-64
• /
• 1994

The development of a mathematical modular framework based on Petri Network theory to model a traffic network is the subject of this paper. Traffic intersections are the primitive elements of a transportation network and are characterized as event driven and asynchronous systems. Petri network have been utilized to model these discrete event systems; further analysis of their structure can reveal information relevant to the concurrency, parallelism, synchronization, and deadlock avoidance issuse. The Petri-net based model of a generic traffic junction is presented. These modular networks are effective in synchronizing their components and can be used for modeling purposes of an asynchronous large scale transportation system. The derived model is suitable for simulations on a multiprocessor computer since its program execution safety is secured. The software pseudocode for simulating a transportation network model on a multiprocessor system is presented.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1999년도 추계학술대회 논문집
• /
• pp.63-69
• /
• 1999

The research trend of the simulation optimization has been focused on exploring continuous decision variables. Yet, the research in discrete decision variable area has not been fully studied. A new research trend for optimizing discrete decision variables ha just appeared recently. This study, therefore, deals with a discrete simulation method to get the system evaluation criteria required for designing a complex probabilistic discrete event system and to search the effective and reliable alternatives to satisfy the objective values of the given system through a on-line, single run with the short time period. Finding the alternative, we construct an algorithm which changes values of decision variables and a design alternative by using the stopping algorithm which ends the simulation in a steady state of system. To avoid the loss of data while analyzing the acquired design alternative in the steady state, we provide background for estimation of an auto-regressive model and mean and confidence interval for evaluating correctly the objective function obtained by small amount of output data through simulation with the short time period. In numerical experiment we applied the proposed algorithm to (s, S) inventory system problem with varying Δt value. In case of the (s, S) inventory system, we obtained good design alternative when Δt value is larger than 100.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 The Seoul International Simulation Conference
• /
• pp.9-10
• /
• 2001

Simulation has been evolved with the advance of computer and technique of modeling application systems. Early simulations were numerical analysis of engineering models known as continuous simulation, analysis of random events using various random number generators thus named as Monte Carlo simulation, iud analysis o(\\\\`queues which are prevalent in many real world systems including manufacturing, transportation, telecommunication. Discrete-event simulation has been used far modeling and analyzing the systems with waiting lines and inefficient delays. These simulations, either discrete-event, continuous, or hybrid, have played a key role in industrial age by helping to design and implement the efficient real world systems. In the information age which has been brought up by the advent of Internet, e-business has emerged. E-business, any business using Internet, can be characterized by the network of extended enterprises---extended supply and demand chains. The extension of value chains spans far reaching scope in business functions and space globally. It also extends to the individual customer, customer preferences and behaviors, to find the best service and product fit for each individual---mass customization. Simulation should also play a key role in analyzing and evaluating the various phenomena of e-business where the phenomena can be characterized by dynamics, uncertainty, and complexity. In this tutorial, applications of simulation to e-business phenomena will be explained and illustrated. Examples are the dynamics of new economy, analysis of e-business processes, virtual manufacturing system, digital divide phenomena, etc. Partly influenced by e-business, a new trend of simulation has emerged called agent-based simulation, Agent-based simulation is a technique of simulation using software agent that have autonomy and proactivity which are useful in analyzing and integrating numerous individual customer's behavior. One particular form of agent-based simulation is swarm. This tutorial concludes with the illustration of swarm or swarm Intelligence applied to various e-business applications, and future directions and implications of this new trend of simulation.

• 대한의용생체공학회:의공학회지
• /
• 제16권4호
• /
• pp.415-424
• /
• 1995

Combined models, specified by two or more modeling formalisms, can represent a wide variety of complex systems. This paper describes a methodology for the development of combined models in two model types of discrete event and continuous process. 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 combine model of the DES and the CS within a framework. The structure employs the DEVS formalism for the DES models and differential or polynomial equations for the CS models. To employ the proposed structure to specify a DEVS/CS combined model, a modeler needs to take the following steps. First, a modeler should identify events in the CS and transform the states of the CS into the DES. Second, a modular employs the formalism to specify the system as the DES. Finally, a moduler developes sub-models for the CS and continguos states of the DES and establishs one-to-one correspondence between the sub-models and such states. The proposed formal structre has been applied to develop a DEVS/CS combined model for the human cardiovascular system. For this, the cardiac cycle is partitioned into a set of phases based on events identified through observation. For each phase, a CS model has been developed and associated with the phase. To validate the DEVS/CS combined model developed, then simulate the model in the DEVSIM + + environment, which is a model simulation results with the results obtained from the CS model simulation using SPICE. The comparison shows that the DEVS/CS combined model adequately represents dynamics of the human heart system at each phase of cardiac cycle.

• 한국시뮬레이션학회논문지
• /
• 제14권2호
• /
• pp.57-71
• /
• 2005

A simulation for the analysis of the evasive capability of a conventional costal submarine against a light Anti-Submarine Warfare (ASW) torpedo has been studied. The Torpedo, Submarine Controller, Devoy, and Jammer models of this simulation are analysised and designed using Unified Modeling Language (UML) and in addition they are modeled Discrete Event System Specification (DEVS). We examine maximum speed, acceleration, countermeasure systems capabilities of a submarine, and sonar range of a torpedo as the factors which affect the evasive capability of the submarine. This paper shows the relationships between those various factors and the submarine's evasive capability as the outcome of the simulation. The simulation models can be applied for simulation based acquisition (SBA) of a submarine system.

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

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

• 대한조선학회논문집
• /
• 제47권4호
• /
• pp.628-645
• /
• 2010

To perform the engagement level simulation between the underwater vehicle model and the surface model those are constituted with various systems/ sub-systems, we implemented four different federates as a federation according to the IEEE 1516 HLA (High Level Architecture) protocol that is the international standard in the distributed simulation. Those are CFCS (Command and Fire Control System) federate, motion federate, external entities (torpedos, countermeasure and surfaceship) federate, and visualization federate that interacts with OSG (Open Scene Graph)-based visualization rendering module. In this paper, we present the detailed method about the model constitution for discrete event simulation in the distributed environment. For the sake of this purpose, we introduce the DEVS (Discrete Event System Specification)-HLA-based modeling method of the CFCS federate that reflects not only the interations between models, but also commands from user and tactics manager that is separated from the model. The CFCS federate makes decisions in various missions such as the normal diving, the barrier misision, the target motion analysis, the torpedo launch, and the torpedo evasion. In the perspective of DEVS modeling, the CFCS federate is the coupled model that has the tactical data process model, command model and fire control model as an atomic model. The message passing and time synchronization with other three federates are settled by the $m\ddot{a}k$ RTI (Runtime Infrastructure) that supports IEEE 1516. In this paper, we provides the detailed modeling method of the complicated model that has hierarchical relationship such as the CFCS system in the submarine and that satisfies both of DEVS modeling method for the discrete event simulation and HLA modeling method for the distributed simulation.

• 산업경영시스템학회지
• /
• 제41권4호
• /
• pp.59-69
• /
• 2018

This study deals with the case study on the pallet quantity determination problem for the flexible manufacturing system producing 32 different types of aircraft wing ribs which are major structures of an aircraft wings. A Korean company has constructed the WFMS (wing rib flexible manufacturing system) that is composed of several automated equipments such as the 5-axis machining centers, the RGV (rail guided vehicles)s, the AS/RS (automated storage and retrieval system), the loading/unloading stations, and so on. Pallets play a critical role in the WFMS to maintain high system utilization and continuous work flow between 5-axis machining machines and automated material handling devices. The discrete event simulation method is used to evaluate the performance of the WFMS under various pallet mix alternatives for wing rib manufacturing processes. Four performance measures including system utilization, throughput, lead-time and work in process inventory level are investigated to determine the best pallet mix alternative. The best pallet mix identified by the simulation study is adopted in setting up and operating a real Korean aircraft parts manufacturing shop. By comparing the real WFMS's performances with those of the simulation study, we discussed the cause of performance difference observed and the necessity of developing the CPS (cyber physical system).

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1994년도 Proceedings of the Korea Automatic Control Conference, 9th (KACC) ; Taejeon, Korea; 17-20 Oct. 1994
• /
• pp.690-695
• /
• 1994

We propose a method to reduce the marking expression about the places when we model a discrete-event system using the Petri net. The net with reduced marking expression has the same dynamic behavior as the original model. The number of the places can be reduced by the number of the resource places of the Petri net, and consequently the net can be significantly simplified, still preserving the dynamic properties of the net.

• 한국통신학회논문지
• /
• 제25권12B호
• /
• pp.1996-2002
• /
• 2000

This paper investigates a priority scheme for IEEE 802.11 Carrier Sense Multiple Access/Collision Avoidance (CSMA/CA) protocol in order to provide short access times for priority frames (e.g. time-deadline traffic) even when the overall traffic on the wireless channel is heavy. Under the compatibility constraint for the IEEE 802.11 wireless LANs, two priority systems are simulated: no priority (current IEEE 802.11 standard) for time-deadline traffics and dynamic time-deadline priority. We evaluate algorithms to improve the time-deadline traffic performance using discrete event simulation (DES)