• Journal of Korean Institute of Industrial Engineers
• /
• v.39 no.2
• /
• pp.129-134
• /
• 2013

The airport processes are restricted by some limits of performance objects as size of airport, ability of human resources, capacity of facilities and operational rules. These limitations make passenger handling difficult when passenger numbers increase. In order to solve this problem, we modeled the airport process and analyzed departure passenger arrival, scheduled security manpower under specific customer service level maintenance with mixed integer programming and validate the efficiency with simulation with adapting smart airport framework. We concluded that the airport management with information techniques can reduce waiting time within security and immigration process.

• Journal of the Korean Society for Railway
• /
• v.10 no.2 s.39
• /
• pp.137-145
• /
• 2007

In traditional financial theory, the discount cash flow model(DCF or NPV) operates as the basic framework for most analyses. In doing valuation analysis, the conventional view is that the net present value(NPV) of a project is the measure of the present value of expected net cash flows. Thus, investing in a positive(negative) NPV project will increase(decrease) firm value. Recently, this framework has come under some fire for failing to consider the options of the managerial flexibilities. Real option valuation(ROV) considers the managerial flexibility to make ongoing decisions regarding the implementation of investment projects and the deployment of real assets. The appeal of the framework is natural given the high degree of uncertainty that firms face in their technology investment decisions. This paper suggests an algorithm for estimating volatility of logarithmic cash flow returns of real assets based on the Black-Sholes option pricing model, the binomial option pricing model, and the Monte Carlo simulation. This paper uses those models to obtain point estimates of real option value with the G7- HSR350X(high-speed train).

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.4
• /
• pp.396-401
• /
• 2004

Recently a framework for the cognition-based navigational planning of a mobile robot on dynamic environment has been proposed, and simulation results applied it to the static environment been presented [1]. In this paper, we propose a linguistic map-based framework for the navigational planning of mobile robots, which is applicable to the dynamic environment including not only static obstacles but also dynamic obstacles such as temporal-spatio obstacles, by extending Lee et al. 's framework, and provide computer simulation results obtained by applying to a mobile robot on the dynamic environment in order to show the validity of the proposed algorithm.

• Journal of the Korea Society for Simulation
• /
• v.18 no.4
• /
• pp.81-94
• /
• 2009

Research of reusability and variability design for embedded system development is insufficient. An embedded system should be designed to support new devices. If extensibility of embedded system is not considered, it is difficult to reconstruct. Currently, the development productivity and reusability of embedded system are very poor, and this will be cased about problems of increasing maintenance and development cost, and decreasing system quality such as software crisis. In this paper, we present framework of embedded system that address those problems of embedded system. We suggest a plug-in technique, based on reusability framework, which can support various devices dynamically. Also, we propose a dynamic Meta model which is base on plug-in technique.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.11a
• /
• pp.85-89
• /
• 2002

Development of distributed simulation environment must be required in order to simulate the distributed models regionally and inter-operate with running simulations individually, Simulation based on DEVS formalism is difficult to simulate the distributed models. DEVS formalism is modeling methodology. To specify model, this formalism separates behavior and structure, therefore it is able to design complex model easily. HLA is standard framework of distribute simulation environment, It is defined to facilitate the interoperability and the reusability. RTI (Run Time Infrastructure) is software that provides common service to simulation systems and implementation of the HLA Interface Specification. Method of implementation is that modules cooperating with RTI are added to simulator on DEVS simulation environment. On the DEVS simulation environment (DEVS-Obj -C) that already developed, Highest class of abstract simulator uses service that RTI provide, then This environment is able to change DEVS model into Federate and run distribute simulation that inter-operates with the RTI. Because this distributed simulation environment includes convenience of modeling that obtains through the DEVS formalism and accompanies HLA standard, this environment make it possible to simulate with_ complex systems and heterogeneous simulations

• Journal of the Korea Society for Simulation
• /
• v.8 no.1
• /
• pp.101-111
• /
• 1999

The Web-based simulation was introduced for conducting simulation experiments in the Internet and the Web. Due to the use of the Java language, the Web-based simulation can have such characteristics as reusability, portability, and the capability of execution on the Web. Most of existing Web-based simulation tools have focused mainly on the development of the runtime simulation libraries and mechanisms on the Web. Thus, the model development work in such Web-based simulation tools still requires hand-written coding of model developers. This paper presents a visual model development environment for the Web-based simulation. The proposed environment provides a framework for model development and animation. To show the effectiveness of the proposed environment, we perform simulation experiments for transaction routing algorithms in a distributed transaction processing system.

• Journal of the Korea Society for Simulation
• /
• v.29 no.2
• /
• pp.11-20
• /
• 2020

As the manufacturing environment becomes more complex, traditional simulation models alone are having a lot of difficulties in reflecting real-time manufacturing situations. Although the Digital Twin concept is actively discussed as an alternative to overcome theses issues, many studies are being carried out only in the product design phase. This research presents a Digital Twin-based manufacturing environment framework for applying the Digital Twin concept to the manufacturing process. Twin model that is operated in virtual space, physical system and databases describing the actual manufacturing environment, are proposed as detailed components that make up the framework. To check the applicability of proposed framework, a simple Digital Twin-based manufacturing system was simulated in a conveyor system using Arena software and Excel VBA. Experiment results have shown that the twin model is transmitted real time data from the physical system via DB and were operating in the same time unit. The Excel VBA fitted parameters defined by cycle time based on historical data that real-time and training data are being accumulated together. This study proposes operating method of digital twin model through the simple experiment examples. The results lead to the applicability of Digital twin model.

• Journal of the Korea Society for Simulation
• /
• v.3 no.1
• /
• pp.75-88
• /
• 1994

Discrete event modeling is finding ever more application to anlysis and design of complex manufacturing, communication, computer systems, etc. This paper shows how packet network systems may be advantageously represented as DEVS (Discrete Event System Specification) models by employing System Entity structure / Model base (SES/MB) framework developed by Zeigler. DEVS models and network structure representations support a strong basis for performance analysis of packet network systems. This approach is illustated in a typical packet network example with several routing strategies.

• Journal of applied mathematics & informatics
• /
• v.37 no.5_6
• /
• pp.481-489
• /
• 2019

In this manuscript, we provide some new results with short proofs for the existence of Picard-Jungck operators in the framework of generalized metric spaces using $C_G$-simulation functions. An example is also provided to illustrate the usability of the results.

• Communications for Statistical Applications and Methods
• /
• v.19 no.4
• /
• pp.597-605
• /
• 2012

Evidence framework enables us to determine the tuning constant in a penalized likelihood formula. We apply the framework to the estimating parameters of normal mixtures. Evidence, which is a solely data-dependent measure, can be evaluated by Laplace approximation. According to a synthetic data simulation, we found that the proper values of the tuning constant can be systematically obtained.