• 한국시뮬레이션학회논문지
• /
• 제7권2호
• /
• pp.137-152
• /
• 1998

One of the components that constitute the simulation models is the state variables whose values are determined by the time related simulation process. Embedding rule-based expert systems into the simulation models should provide a systematic way of handling these time-dependent variables without distracting the essential problem solving capabilities of the expert systems which are well suited for expressing the decision making function of complex cases. The expert system, however, is inefficient in dealing with the time elapsing characteristics of target system compare to the simulation models. To solve the problem, this paper provides an interruptible inference engine whose inferencing process can be interrupted when the variables' value, which are used as the parameters of the rules, are not yet determined due to the time dependent nature of the state variables. The process is resumed when the variables are ready. The elapse of time is calculated by time-advance function of the simulation model to which the expert system has been embedded. The example modeling shown exploits the embedded interruptible inferencing capability for the controlling and monitoring of metal grating process.

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

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

• 한국시뮬레이션학회논문지
• /
• 제9권1호
• /
• pp.67-81
• /
• 2000

In this paper, a new software package for modeling and simulating discrete-event dynamic systems is developed. The new software is a general-purpose, graphical tool based on timed Petri-nets and is developed using Visual Basic and Visual C++ for the window environment. It allows the user to graphically build a Petri-net model and enter input data for executing the Petri-net simulation model. It is equipped with a deadlock detection and recovery function as well as an automatic error check function. In addition, the software supports various enabling functions and distribution functions and provides various statistics for the performance measures of interests pertaining to the system. We expect the new software will be used in a wide number of applications including computer, communication and manufacturing systems.

• 한국해양공학회지
• /
• 제27권1호
• /
• pp.24-30
• /
• 2013

The Korea Navy has been making constant efforts to apply M&S (modeling and simulation) to naval ship development, and the generalization of M&S for ship development is a trend. M&S for ship design is used for the V&V (verification and validation) of its design and operation, including design verification and ergonomic design that considers the crew using the Naval Ship Product Model. In addition, many parts of this M&S are repeatedly accomplished regardless of the kinds of ships. This study aims to standardize M&S, which repeatedly applies similar verifications for operation scenarios. A congestion assessment simulation for the major spaces of ships was the subject of the standardization based on the leading research results of various researchers, and a simulation automation solution was suggested. An information model using XML was proposed through the simulation automation concept, and a prototype system based on it was implemented. The usability was shown through a case study that verified the operability performance of the crew messroom.

• International Journal of Contents
• /
• 제8권2호
• /
• pp.19-22
• /
• 2012

New and handoff calls control mechanisms are the key point to wireless cellular networks. In this paper, we present an adaptive algorithm for dynamic channel allocation scheme with guard channels and also with handoff calls waiting queue ensuring that handoff calls take priority over new calls. Our goal is to find better tradeoff between handoffs and new calls blocking probabilities in order to achieve more efficient channel utilization. Simpy is a Python based discrete event simulation system. We use Simpy to build our simulation models to get analytical data.

• 한국시뮬레이션학회논문지
• /
• 제1권1호
• /
• pp.77-86
• /
• 1992

In this paper, we study validation test methods of DEVSA(Descrete Event system Specification) models using SPN(Stochastic Petri Net) models. We discuss conventional validation test methods, by which DEVS models can be transformed to SPN models, by reviewing the features of DEVS model. Based on the model transformation method, we define a new homogeneous function for validation test and suggest a new validation test method of DEVS models using the property of SPN models and the new homogeneous function.

• 한국건설관리학회논문집
• /
• 제6권1호
• /
• pp.73-79
• /
• 2005

This paper, introduces a Stochastic Project Scheduling Simulation system (SPSS III) developed by the author to predict a project completion probability in a certain time. The system integrates deterministic CPM, probabilistic PERT, and stochastic Discrete Event Simulation (DES) scheduling methods into one system. It implements automated statistical analysis methods for computing the minimum number of simulation runs, the significance of the difference between independent simulations, and the confidence interval for the mean project duration as well as sensitivity analysis method in What-if analyzer component. The SPSS 111 gives the several benefits to researchers in that it (1) complements PERT and Monte Carlo simulation by using stochastic activity durations via a web based JAVA simulation over the Internet, (2) provides a way to model a project network having different probability distribution functions, (3) implements statistical analyses method which enable to produce a reliable prediction of the probability of completing a project in a specified time, and (4) allows researchers to compare the outcome of CPM, PERT and DES under different variability or skewness in the activity duration data.

• 한국멀티미디어학회논문지
• /
• 제23권6호
• /
• pp.772-783
• /
• 2020

Tsunami is a frightful natural disaster that causes severe damages worldwide. To minimize the damage, South Korea has built a tsunami warning system and designated evacuation sites in the east and south coasts. However, such countermeasures have not been verified whether they are adequate to minimize casualties since tsunami rarely occurs in South Korea. Recently, due to increasing earthquakes in the west coast of Japan, the likelihood of South Korea entering the damage area of tsunami rises; thus, in this paper, we develops a simulator based on Unity game engine to simulate the evacuation from tsunami. In order to increase the fidelity of the simulation results, the simulator applies a tsunami simulation model that analyzes coastal inundation based on cellular automata. In addition, the objects included in tsunami evacuation, such as humans, are modeled as an agent model that determines the situation and acts itself, based on the discrete-event system specification (DEVS), a mathematical formalism for describing a discrete event system. The tsunami simulation model and agent models are integrated and visualized in the simulator using Unity game engine. As an example of the use of this simulator, we verify the existing tsunami evacuation site in Gwangalli Beach in Busan and suggest the optimal alternative site minimizing casualties.

• International Journal of Quality Innovation
• /
• 제6권1호
• /
• pp.74-97
• /
• 2005

IDEF0 is the IEEE standard for functional enterprise modeling and has been used for business process modeling or process mapping in US and Europe. But it does not reflect the potential benefits of modeling and simulation of the dynamic aspects of an enterprise or a system. On the other hand, simulation tools concentrate mostly on the simulation of material flows and are difficult to include information flows and control flows. Additionally, the simulation models that include elements such as queues, event generators and process nodes is a visual interactive representation for the model builder, but is inconvenient for the domain expert. In an attempt to fill that void, we provide an integration of business process and simulation models in this paper. An enhancement of the IDEF0, called parameterized IDEF0, is proposed and its conversion mechanism to network simulation model is developed. Using this methodology, business process models for alternative systems can be evaluated and compared through simulation on time, cost, and quality metrics. As an application of the proposed methodology, economic evaluation of EDI (Electronic Data Interchange) for time-based BPR (Business Process Redesign) is demonstrated. In addition to BPR, the developed methodology may be further integrated with ABC (Activity Based Costing), TQM (Total Quality Management), and economic evaluation of information systems.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• pp.253-256
• /
• 1997

This paper proposes a control strategy of position and force control in the same direction based on hybrid position/force control. In order to control position and force in the same direction, a weighting matrix is introduced instead of a selection matrix suggested by Raibert and Craig. The major part of the controller output comes from the position controller when a position control error is large, from the force controller when a position control error is large. The proposed algorithm is implemented by the simulation and experiment focusing on the peg-in-hole task where friction exist significantly and is not constant. It also adopts and event control scheme for more efficient performance.