• International Journal of Naval Architecture and Ocean Engineering
• /
• v.9 no.4
• /
• pp.446-459
• /
• 2017

Naval ships are assigned many and varied missions. Their performance is critical for mission success, and depends on the specifications of the components. This is why performance analyses of naval ships are required at the initial design stage. Since the design and construction of naval ships take a very long time and incurs a huge cost, Modeling and Simulation (M & S) is an effective method for performance analyses. Thus in this study, a simulation core is proposed to analyze the performance of naval ships considering their specifications. This simulation core can perform the engineering level of simulations, considering the mathematical models for naval ships, such as maneuvering equations and passive sonar equations. Also, the simulation models of the simulation core follow Discrete EVent system Specification (DEVS) and Discrete Time System Specification (DTSS) formalisms, so that simulations can progress over discrete events and discrete times. In addition, applying DEVS and DTSS formalisms makes the structure of simulation models flexible and reusable. To verify the applicability of this simulation core, such a simulation core was applied to simulations for the performance analyses of a submarine in an Anti-SUrface Warfare (ASUW) mission. These simulations were composed of two scenarios. The first scenario of submarine diving carried out maneuvering performance analysis by analyzing the pitch angle variation and depth variation of the submarine over time. The second scenario of submarine detection carried out detection performance analysis by analyzing how well the sonar of the submarine resolves adjacent targets. The results of these simulations ensure that the simulation core of this study could be applied to the performance analyses of naval ships considering their specifications.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.40 no.1
• /
• pp.95-104
• /
• 2017

This paper deals with solution methods for discrete and multi-valued optimization problems. The objective function of the problem incorporates noise effects generated in case that fitness evaluation is accomplished by computer based experiments such as Monte Carlo simulation or discrete event simulation. Meta heuristics including Genetic Algorithm (GA) and Discrete Particle Swarm Optimization (DPSO) can be used to solve these simulation based multi-valued optimization problems. In applying these population based meta heuristics to simulation based optimization problem, samples size to estimate the expected fitness value of a solution and population (particle) size in a generation (step) should be carefully determined to obtain reliable solutions. Under realistic environment with restriction on available computation time, there exists trade-off between these values. In this paper, the effects of sample and population sizes are analyzed under well-known multi-modal and multi-dimensional test functions with randomly generated noise effects. From the experimental results, it is shown that the performance of DPSO is superior to that of GA. While appropriate determination of population sizes is more important than sample size in GA, appropriate determination of sample size is more important than particle size in DPSO. Especially in DPSO, the solution quality under increasing sample sizes with steps is inferior to constant or decreasing sample sizes with steps. Furthermore, the performance of DPSO is improved when OCBA (Optimal Computing Budget Allocation) is incorporated in selecting the best particle in each step. In applying OCBA in DPSO, smaller value of incremental sample size is preferred to obtain better solutions.

• Journal of Korea Multimedia Society
• /
• v.23 no.10
• /
• pp.1270-1285
• /
• 2020

As a representative concept of the fourth industrial revolution era where everything is digitized, digital twin means analyzing and optimizing a complex system using a simulation model synchronized with the system. In this paper, we propose a digital twin simulation model for the efficient operation of urban railways in Busan. Due to the geopolitical nature of Busan, where there are many mountains and narrow roads, the railways are more useful than other public transportation. However, this inversely results in a high level of congestion, which is an inconvenience to citizens and may be fatal to the spread of the virus, such as COVID19. Considering these characteristics, the proposed model analyzes the congestion level of the railways in Busan. The model is developed based on a mathematical formalism called discrete-event system specification and deduces the congestion level and the average waiting time of passengers depending on the train schedule. In addition, a new schedule to reduce the congestion level is derived through particle swarm optimization, which helps the efficient operation of the railways. Although the model is developed for the railways in Busan, it can also be used for railways in other cities where a high level of congestion is a problem.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.6
• /
• pp.21-30
• /
• 2007

Simulation means modeling structures or behaviors of the various objects, and experimenting them on the computer system. And the major approaches are DEVS(Discrete Event Systems Specification). Petri-net or Automata and so on. But, the simulation problems are getting more complex or complicated these days, so that an intelligent agent-based is being studied. In this paper, we are describing an intelligent agent-based simulation tool, which can supports the simulation experiment more efficiently. The significances of our system can be described as follows. First, the system can provide some AI algorithms through the system libraries. Second, the system supports simple method of designing the simulation model, since it's been built under the Finite State Machine (FSM) structure. And finally, the system acts as a simulation framework by supporting user not only the simulation engine, but also user-friendly tools, such as modeler scriptor and simulator. The system mainly consists of main simulation engine, utility tools, and some other assist tools, and it is tested and showed some efficient results in the three different problems.

• Korean Journal of Construction Engineering and Management
• /
• v.15 no.4
• /
• pp.49-57
• /
• 2014

Since the structure systems of construction projects have been forced to be large, high-rised, and complex, many researchers have been put their efforts to develop high strength concrete incorporating diverse advanced materials. In order to improve the performance of the concrete, the fibers leading high ductility to concrete have been used, consequently concrete columns adopting High-Performance Fiber Cement(HPFC) have been developed. This paper analyzed not only the construction work process of HPFC column installed to the real construction project, but also construction productivity of the columns by using discrete event simulation technique. As a result, several considerations on installing such a column have identified, compared with the works for typical concrete columns. In particular, there was specific characteristic to install the columns in terms of labor resource productivity, which is not shown with the work for the typical concrete columns.

• 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 Korean Society of Industrial and Systems Engineering
• /
• v.38 no.4
• /
• pp.149-158
• /
• 2015

Up-to-date manufacturing companies have faced a market-driven environment of pull production order. There should be a difference in operating manufacturing resources according to the type, quantity, and delivery time of manufactured products, because the process situation in pull production is changed by customer orders. And it should be taken into account from the stage of preparing for production such as process design and the placement and utilization of manufacturing resources. However, the feasibility of production plans is limited because most of small manufacturing businesses make production/supply plan of the parts and products assuming that equipment abilities in scheduling is sufficient without managing process standard information systemically. In this study, a discrete event simulation system based on BOM (bill of material), that is F-OPIS (online productivity innovation system), is introduced and a case study on application of the system leading to improving productivities is presented. F-OPIS deals with a decision-problem on production management and it is specialized for small-and- medium sized manufacturing companies. The target company of this case study is a typical small-and-medium sized manufacturing company in Korea, that produces various machined parts. The target company adopts make-to-stock production management to prevent tardy delivery because of fluctuations in demand. Therefore, it is required to apply an efficient inventory control solution for improving productivities. In this paper, based on the constraints of working capacity of manufacturing resources, the bottleneck process is analyzed as production conditions are changed. Consequently, an improvement plan is proposed, that eventually enhances overall utilization rates of resources in the bottleneck process and reduces overall production lead-time and inventory level.

• Journal of the Korea Society for Simulation
• /
• v.30 no.1
• /
• pp.87-101
• /
• 2021

Required Operational Capability(ROC), which means the performance of a weapon system, is determined when estimating the requirements of a new weapon system. It is very important to define the ROC as it has a decisive influence from acquisition of a weapon system to tactical operation. In this study, we propose a simulation methodology to verify the ROC of the Para-Observation Munition(POM), a newly developed weapon system. To this end, we propose a discrete-event simulation model that takes main performance of the weapon system constituting the ROC and environmental factors that affect performance of the weapon system as input values, and outputs operational effect as a result value. It describes various simulation logic required to implement a simulation model, and explains how to verify ROC using various simulation results such as sensitivity analysis. POM is a weapon system that does not have a similar one and that is difficult to directly utilize the military analysis model. This study can be used as a methodology to analyze the ROC and predict operational effects of weapon systems such as POM.

• Journal of Advanced Marine Engineering and Technology
• /
• v.34 no.1
• /
• pp.154-162
• /
• 2010

A simulation technique is very useful method to analyze the performance on various engineering area. To automate port systems, we have need of simulation to analyze an effect of assigning and operating devices. Thus we propose simulation methodology to be applied to an analysis, evaluation, planning for port automation. To do this, we have adopted the discrete event system specification based system entity structure / model base framework for modeling and simulation environment. We have performed modeling and simulation on entities of port systems such as container crane, yard tractor, transfer crane, etc. The proposed methodology has an advantage being able to effectively simulate on alternatives of composition and operation strategy for port systems. Some case studies will show the validity of proposed simulation methodology.

• Journal of Institute of Control, Robotics and Systems
• /
• v.3 no.1
• /
• pp.77-88
• /
• 1997

Fieldbus is the lowest level communication network in factory automation and process control systems. Performance of factory automation and process control systems is directly affected by the data delay induced by network traffic. Data generated from several distributed field devices can be largely divided into three categories: sporadic real-time, periodic real-time and non real-time data. Since these data share one fieldbus network medium, the limited bandwidth of a fieldbus network must be appropriately allocated to the sporadic real-time, periodic real-time and non real-time traffic. This paper introduces a new fieldbus design scheme which allocates the limited bandwidth of fieldbus network to several different kinds of traffic. The design scheme introduced in this study not only satisfies the performance requirements of application systems interconnected into the fieldbus but also fully utilizes the network resources. The design scheme introduced in this study can be applicable to cyclic service protocols operated under single-service discipline. The bandwidth allocation scheme introduced in this study is verified using a discrete-event/continuous-time simulation experiment.