• Journal of the Society of Naval Architects of Korea
• /
• v.47 no.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.

• Nuclear Engineering and Technology
• /
• v.21 no.3
• /
• pp.223-230
• /
• 1989

This paper describes dynamic simulation of the spent fuel storage system which is described by statistical discrete event models. It visualizes flow and queue of system over time, assesses the operational performance of the system acitivies and establishes the system components and streams. It gives information on system organization and operation policy with reference to the design. System was tested and analyzed over a number of critical parameters to establish the optimal system. Workforce schedule and resources with long processing time dominate process. A combination of two workforce shifts a day and two cooling pits gives the optimal solution of storage system. Discrete system simulation is an useful tool to get information on optimal design and operation of the storage system.

• Journal of Korean Society of Transportation
• /
• v.12 no.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.

• 제어로봇시스템학회:학술대회논문집
• /
• 2002.10a
• /
• pp.96.1-96
• /
• 2002

$\textbullet$ Abstract $\textbullet$ Introduction $\textbullet$ Building a Model for Diagnosis $\textbullet$ Modular Approach to Diagnosis $\textbullet$ Extension to a General Case $\textbullet$ Conclusion $\textbullet$ References

• Proceedings of the Korea Society for Simulation Conference
• /
• 1996.05a
• /
• pp.15-15
• /
• 1996

A shop floor control system (SFCS) is the central part of a CIM system used to control the activities of several pieces of manufacturing equipment (e.g., NC machines, robots, conveyors, AGVs, AS/RS). The SFCS receives orders and related process plans, and then performs selecting a specific process routing, allocating resources, scheduling the workpieces, downloading the processing instructions (e.g., RS-274 instructions for NC machines, VAL II programs for robot), monitoring the progress of activities, detecting and recovering from errors, and preparing reports on the status of the manufacturing system. Simulation has been utilized in discovering control policies used for resolving shop floor be control problems such as resource contentions, part dispatching, deadlock. The simulation model must be designed to respond to real-time data coming from a shop floor. However, to rapidly build a realtime simulation model of SFCS cannot be easily accomplished. This talk is to address an automatic program generator of discrete event simulation model for shop floor control from process plans and resource models. The program generator is capable of constructing complete discrete simulation models for multi-product and multi-stage flexible manufacturing systems.

• Journal of the Korea Society for Simulation
• /
• v.21 no.1
• /
• pp.27-34
• /
• 2012

Proposed in the paper is an agent based and object-oriented methodology to create a virtual logistics support system model. The proposed virtual logistics support system model consists of three types of objects: the logistics force agent model(static model), the military supplies transport manager model(function model), the military supplies state manager model(dynamic model). A logistic force agent model consists of two agent: main function agent and function agent. To improve the reusability and composability of a logistics force agent model, the function agent is designed to adapt to different logistics force agent configuration. A military supplies transport manager is agent that get information about supply route, make decisions based on decision variables, which are maintained by the military supplies state manager, and transport military supplies. A military supplies state manager is requested military supplies from logistics force agent, provide decision variables such as the capacity, order of priority. For the implementation of the proposed virtual logistics force agent model, this paper employs Discrete Event Systems Specification(DEVS) formalism.

• International Journal of Reliability and Applications
• /
• v.1 no.1
• /
• pp.65-79
• /
• 2000

This research considers a system which has an ultimate terminal event such as death, critical failure, bankruptcy together with a certain indicative events (temporary malfunction, special treatment, kind of defaults) that frequently occurs before the terminal event comes to the system. Some investigation of a model for the corresponding bivariate data of the system have been done with an explanation of the situation in terms of two continuous variables instead of continuous-discrete variables and some other properties. Also an analysis has been carried out to evaluate the effect of intermediate observation of occurrence of indicative event so that the result can be used for a possible suggestion of an intermediate observing schedule.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.17 no.2
• /
• pp.235-247
• /
• 2014

Based on two dimensional model partition method proposed in Part 1, Part 2 provides detailed model specification and implementation. To mathematically delineate a model's behaviors and interactions among them, we extend the DEVS (Discrete Event Systems Specification) formalism and newly propose CE-DEVS (Combat Entity-DEVS) for an upper abstraction sub-model of a combat entity model. The proposed CE-DEVS additionally define two sets and one function to reflect essential semantics for the model's behaviors explicitly. These definitions enable us to understand and represent the model's behaviors easily since they eliminate differences of meaning between real-world expressions and model specifications. For model implementation, upper abstraction sub-models are implemented with DEVSim++, while the lower sub-models are realized using the C++ language. With the use of overall modeling techniques proposed in Part 1 and 2, we can conduct constructive simulation and assess factors about combat logics as well as battle field functions of the next-generation combat entity, minimizing additional modeling efforts. From the anti-torpedo warfare experiment, we can gain interesting experimental results regarding engagement situations employing developing weapons and their tactics. Finally, we expect that this work will serve an immediate application for various engagement warfare.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.8
• /
• pp.3319-3325
• /
• 2012

This paper describes the development of the TrackSim, which is a discrete event simulation tool for photolithography equipment of semiconductor industry. The TrackSim is focused on the accurate simulation model of the photolithography equipment and easy-to-use user interfaces. TrackSim provides 3D simulation environment for evaluating, validating, and scheduling the photolithography process. One of the major characteristics of TrackSim is in that it is developed based on Applied Materials' AutoMod, a discrete event simulation software broadly used in semiconductor industry. Accordingly, the photolithography model of TrackSim can be used to perform simulation connected with other simulation models built with AutoMod.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2003.11a
• /
• pp.185-192
• /
• 2003

Digital Manufacturing-based production could be very effective in shipbuilding in order to save costs and time, to increase safety for workers, and to prevent bottleneck processes in advance. Digital shipbuilding system, a simulation-based production tool, is being developed to achieve such aspects in Korea. To simulate material flow in a subassembly line at a shipyard, the product, process and resources was modeled for the subassembly process which consisted of several sub-processes such as tack welding, piece alignment, tack welding, and robot welding processes. The analysis and modeling were carried out by using the UML(Unified Modeling Language), an object-oriented modeling method as well as IDEF(Integration DEFinition), a functional modeling tool. Initially, the characteristics of the shop resources were analyzed using the shipyard data, and the layout of the subassembly line was designed with the resources. The production process modeling of the subassembly lines was performed using the discrete event simulation method. Using the constructed resource and process model, the productivity and efficiency of the line were investigated. The number of workers and the variations In the resource performance such as that of a new welding robot were examined to simulate the changes in productivity. The bottleneck process floated according to the performance of the new resources. The proposed model was viewed three-dimensionally in a digital environment so that interferences among objects and space allocations for the resources could be easily investigated