• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.12B
• /
• pp.1435-1443
• /
• 2009

In this paper, an energy harvesting sensor network system is modeled and simulated by using the DEVS (Discrete Event System Specification) formalism. The system is composed of a sink (master) node, which is battery or mains powered, and a set of sensor (slave) nodes, each of which harvests ambient energy and converts it into electrical energy. For simulation, (i) the behavior of energy harvesting and storing circuits of the slave node is partitioned into a set of piecewise continuous segments and then each segment is represented as a discrete state; (ii) the interaction among the master node and components of the slave node is investigated preciously; and (iii) the investigated result is modeled and simulated by using the DEVS formalism.

• 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 the Korea Society for Simulation
• /
• v.27 no.3
• /
• pp.1-11
• /
• 2018

Discrete event system specification (DEVS) has been used in many simulations including hybrid systems featuring both discrete and continuous behavior that require a lot of time to get results. Therefore, in this study, we proposed the acceleration of a DEVS-based hybrid system simulation using multi-cores and GPUs tightly coupled computing. We analyzed the proposed heterogeneous computing of the simulation in terms of the configuration of the target device, changing simulation parameters, and power consumption for efficient simulation. The result revealed that the proposed architecture offers an advantage for high-performance simulation in terms of execution time, although more power consumption is required. With these results, we discovered that our approach is applicable in hybrid system simulation, and we demonstrated the possibility of optimized hardware distribution in terms of power consumption versus execution time via experiments in the proposed architecture.

• 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

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.5
• /
• pp.101-107
• /
• 2022

Modeling and simulation is a technique used for operational verification, performance analysis, operational optimization, and prediction of target systems. Discrete Event System Specification (DEVS) of this representative technology defines models with a strict formalism and stratifies the structures between the models. When the atomic DEVS models operate with an intention different the target system, the simulation may lead to erroneous decision-making. However, most DEVS systems have the exclusion of the model test or provision of the manual test, so developers spend a lot of time verifying the atomic models. In this paper, we propose a script-based automated test system for accurate and fast validation of atomic models in Python-based DEVS. The proposed system uses both the existing method of manual testing and the new method of the script-based testing. As Experimental results in our system, the script-based test method was executed within 24 millisecond when the script was executed 10 times consecutively. Thus, the proposed system guarantees a fast verification time of the atomic models in our script-based test and improves the reusability of the test script.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1990.04a
• /
• pp.22-31
• /
• 1990

In this paper, we have studied modelling and simulation of computer communication protocols theoretically. After describing a definition and functions of communication protocols, we have classified models for protocol design. And, in those protocol models, by endowing Timed Petri Net (TPN) models with a time function .tau., we have proposed a structural definition of TPN models. Furthermore, in order to complement Petri Net Based models with some problems, we have introduced the Discrete EVent system Specification (DEVS) concept in system simulation field. As an important result of our study, we have presented a theorem, which says that a TPN model becomes a DEVS model, and proved it. According to the theorem, we can perform efficient simulation by using the DEVS model transformed from a TPN model when we intend the TPN model to be simulated, otherwise we design another simulation model for it.

• Journal of Korean Society for Quality Management
• /
• v.46 no.4
• /
• pp.973-982
• /
• 2018

Purpose: The purpose of this study is to develop an effective simulation modeling formalism for autonomous control systems, such as unmanned aerial vehicles and unmanned surface vehicles. The proposed simulation modeling formalism can be used to evaluate the quality and effectiveness of autonomous control systems. Methods: The proposed simulation modeling formalism is developed by extending the classic DEVS (Discrete Event Systems Specifications) formalism. The main advantages of the classic DEVS formalism includes its rigorous formal definition as well as its support for the specification of discrete event models in a hierarchical and modular manner. Results: Although the classic DEVS formalism has been a popular modeling tool, it has limitations in describing an autonomous control system which needs to make decisions by its own. As a result, we proposed an extended DEVS formalism which enables the effective description of internal decisions according to its conditional variables. Conclusion: The extended DEVS formalism overcomes the limitations of the classic DEVS formalism, and it can be used for the effectiveness simulation of autonomous weapon systems.

• Journal of Korea Multimedia Society
• /
• v.19 no.12
• /
• pp.2000-2013
• /
• 2016

The purpose of this study is to validate the validity of the methodology for analyzing the space with complex characteristics and to evaluate the existing spatial structure analysis theory. Seven example models are designed and analyzed data of spatial syntax analysis and visibility graph analysis. And analyzed the agent-based model using two analytical methods: the adjacent space and the whole spatial connection. The results of this study are as follows. Based on the analysis of the agent - based model for perfectly freewalking, the validity of the method is verified in terms of predictive ability and effectiveness. Agent-based models can be simulated considering various variables, so realistic predictions will be possible and a new biography of complex systems can be met.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2014.05a
• /
• pp.196-197
• /
• 2014

Low carbon construction is an important operation management goal such as cost, time, and quality in construction community. This paper introduces a system which measures the variability of carbon dioxide amounts. First, this system allows creating construction operation models of which the level of detail is breakdown into the work task level. Second, the system implements sensitivity analysis along with a ranges of resources that are allocated in an operation model. It facilitates to find the optimal resource combination using the operation performances such as the amount of emissions, operation completion time, and cost. Lastly, it identifies the best fit probability distribution functions of performance criteria given a certain resource combination. It allows project manager to query the percentages to complete the operation within a limitation specified by the system users.