Go to the main menu
Skip to content
Go to bottom
REFERENCE LINKING PLATFORM OF KOREA S&T JOURNALS
> Journal Vol & Issue
Journal of the Korea Society for Simulation
Journal Basic Information
Journal DOI :
The Korea Society for Simulation
Editor in Chief :
Volume & Issues
Volume 24, Issue 4 - Dec 2015
Volume 24, Issue 3 - Sep 2015
Volume 24, Issue 2 - Jun 2015
Volume 24, Issue 1 - Mar 2015
Selecting the target year
An Optimized V&V Methodology to Improve Quality for Safety-Critical Software of Nuclear Power Plant
Koo, Seo-Ryong ; Yoo, Yeong-Jae ;
Journal of the Korea Society for Simulation, volume 24, issue 4, 2015, Pages 1~9
DOI : 10.9709/JKSS.2015.24.4.001
As the use of software is more wider in the safety-critical nuclear fields, so study to improve safety and quality of the software has been actively carried out for more than the past decade. In the nuclear power plant, nuclear man-machine interface systems (MMIS) performs the function of the brain and neural networks of human and consists of fully digitalized equipments. Therefore, errors in the software for nuclear MMIS may occur an abnormal operation of nuclear power plant, can result in economic loss due to the consequential trip of the nuclear power plant. Verification and validation (V&V) is a software-engineering discipline that helps to build quality into software, and the nuclear industry has been defined by laws and regulations to implement and adhere to a through verification and validation activities along the software lifecycle. V&V is a collection of analysis and testing activities across the full lifecycle and complements the efforts of other quality-engineering functions. This study propose a methodology based on V&V activities and related tool-chain to improve quality for software in the nuclear power plant. The optimized methodology consists of a document evaluation, requirement traceability, source code review, and software testing. The proposed methodology has been applied and approved to the real MMIS project for Shin-Hanul units 1&2.
Fuzzy logic-based Priority Live Migration Model for Efficiency
Park, Min-Oh ; Kim, Jae-Kwon ; Choi, Jeong-seok ; Lee, Jong-Sik ;
Journal of the Korea Society for Simulation, volume 24, issue 4, 2015, Pages 11~21
DOI : 10.9709/JKSS.2015.24.4.011
If the cloud computing environment is not sufficiently provide the required resources due to the number of virtual server to process the request, may cause a problem that the load applied to the specific server. Migration administrator receive the resources of each physical server for improving the efficiency of the virtual server that exists in the physical servers, and determines the migration destination based on the simulation results. But, there is more overhead predicting the future resource consumption of all the physical server to decide the migration destination through the simulation process in large and complex cloud computing environments. To solve this problem, we propose an improved prediction method with the simulation-based approach. The proposed method is a fuzzy-logic based priority model for VM migration. We design a proposed model with the DEVS formalism. And we also measure and compare a performance and migration count with existing simulation-based migration method. FPLM shows high utilization.
Study on the Radar Detection Probability Change Considering Environmental Attenuation Factor
Kim, Young-Woong ; Park, Sang-Chul ;
Journal of the Korea Society for Simulation, volume 24, issue 4, 2015, Pages 23~28
DOI : 10.9709/JKSS.2015.24.4.023
The detection field is an important sector of the factors influencing the battle field. Basically, The radar emits a radio wave to perform the detection in the existing way. However, When most existing radars identify target by signal processing to return radio wave, Environmental attenuation factor does not reflected. The radar using this radio wave has got the possibility changing detect result depending on attenuation factor by environmental conditions, The operational problems may arise in a real battle field. Therefore, In this paper, When emitted radio waves were come back, Reflecting the environmental attenuation factor, Experimental attempts to identify the target to enable more accurately.
A Study on Analysis Technique for Solenoid Valve Applicable to Military Vehicle Transmission
Choi, Yun-Yong ; Hong, Jung-Pyo ;
Journal of the Korea Society for Simulation, volume 24, issue 4, 2015, Pages 29~34
DOI : 10.9709/JKSS.2015.24.4.029
Electronic of military vehicle that had relied on pure machinery system is ongoing. A large part of electronic of small-sized military vehicle has been already commercialized, which will expand to large-sized military vehicle field. Design of solenoid valve for automatic transmission is significantly important for stable driving performance of military vehicle. This research aims to develop simulation method which is capable of predicting performance of solenoid valve quantitatively according to its variation of ATF temperature. The research has been conducted in line with Maxwell, a magnetic field analysis program, and AMESim, a hydraulic analysis program. After simulation, it turned out to have been very similar to the test result in temperature range which excludes high temperature (over
) and extremely low temperature (below
Case of Developing Analysis Model for Recoil System for Automatic Gun
Noh, Dae-Kyung ; Kang, Young-Ky ; Ji, Jae-Do ; Park, Jin-Saeng ; Jang, Joo-Sup ;
Journal of the Korea Society for Simulation, volume 24, issue 4, 2015, Pages 35~41
DOI : 10.9709/JKSS.2015.24.4.035
Recoil system for 40mm automatic gun is a device developed to absorb the shock of explosion. It is impossible to conduct pinpoint strike due to recoil if very high explosive shock, which is generated when an automatic gun fires shells, can't be absorbed. This study covers development and verification of analysis model for recoil system by utilizing a multi-domain software. The research process is as in the following. First, an analysis model is developed to verify damping characteristics through understanding of design intention. Second, environment which is identical to a field test is set up on analysis tool after putting explosive force that is measured through the test into the analysis model. Finally, the analysis model for recoil system using the multi-domain software is verified if it has effectiveness with a comparison between internal pressure of the recoil system along with displacement of gun barrel and the field test result.
Modeling and Simulation of Target Existence Probability in Tactical Guidance Missile Seeker Image
Seol, SangHwan ;
Journal of the Korea Society for Simulation, volume 24, issue 4, 2015, Pages 43~49
DOI : 10.9709/JKSS.2015.24.4.043
Maximum lock-on distance in tactical guidance missile using seeker image is estimated by seeker's FOV, resolution and performance of tracking algorithm. In case, a missile is launched beyond the maximum lock-on distance, the missile is guided by INS pure navigation until it enters the lock-on possible zone. However, the probability of a target's existence within seekers images decreases as flight time goes by. Therefore, it is crucial to determine the distance that satisfies a certain target existence probability (TEP) and the maximum lock-on distance in order for an operator to take over the navigation role between two distances. In this paper, simulation which can analyse TEP in tactical guided missile seeker image is designed.
Development of reusable simulation scenario framework
Lee, Yong Heon ; Lee, Seung Young ; Kim, Sae Hwan ;
Journal of the Korea Society for Simulation, volume 24, issue 4, 2015, Pages 51~58
DOI : 10.9709/JKSS.2015.24.4.051
Since SBA is regarded as mandatory for DM&S, many M&S frameworks and solutions were developed and applied to military simulation systems. Simulation systems developed based on such framework or solution are consist of simulation control part, scenario generation part and modeling part in common. Although the functions of these parts are similar between another simulation systems, these are developed separately by different implementation, so it causes increase of development cost. In order to solve these problems, we developed a simulation scenario framework which can be reusable regardless of simulation purpose. In this paper, we propose an architecture of simulation scenario framework and its functions.
A Vulnerability Analysis for Armored Fighting Vehicle based on SES/MB Framework using Importance of Component
Kim, Hun-Ki ; Hwang, Hun-Gyu ; Lee, Jang-Se ;
Journal of the Korea Society for Simulation, volume 24, issue 4, 2015, Pages 59~68
DOI : 10.9709/JKSS.2015.24.4.059
In this paper, we proposed a methodology of vulnerability analysis for armored fighting vehicle based on modeling and simulation. The SES/MB framework serves hierarchical representation of the structure for a complex systems and is easy to conduct modeling for the armored fighting vehicle which consists of various components. When the armored fighting vehicle is hit by the shots from threat, the vulnerability of the armored fighting vehicle is decreased by damaged or penetrated level of armors and components. The penetration is determined by the result of comparing a penetration energy through penetration analysis equation and defence ability of armor and components. And the defence ability is determined in accordance with type and defined property of normal component and armor component, all components have a weighted values for the degree of importance. We developed a simulation program for verification proposed methodology. Thus, the program analyzes vulnerability for armored fighting vehicle SES/MB framework using importance.
Study of Development for Distributed Battlefield Simulation Environment : One-to-One Single Unit Engagement Model
Choi, Jeongseok ; Moon, Sunghwan ; Kim, Taeyoung ; Kim, Jaekwon ; Lee, Jongsik ;
Journal of the Korea Society for Simulation, volume 24, issue 4, 2015, Pages 69~76
DOI : 10.9709/JKSS.2015.24.4.069
Modern warfare, which adopt an intensive technique of applied sciences, is difficult to predict, and has a high complexity. Thus, it is necessary to build a battle-field environment and simulation-based analysis. Various organizations are participated to build battlefield model for defense M&S according to a scale and format. On the basis of this trend, approaching from various systems is needed to reconfigure battlefield modeling for distributed system. This paper proposes building design for battlefield simulation environment with a sample of one-to-one single unit engagement model. The proposed method can expect to utilize an example of distributed environment for various participants that are involved in battlefield modeling and simulation.
Simulated Annealing for Two-Agent Scheduling Problem with Exponential Job-Dependent Position-Based Learning Effects
Choi, Jin Young ;
Journal of the Korea Society for Simulation, volume 24, issue 4, 2015, Pages 77~88
DOI : 10.9709/JKSS.2015.24.4.077
In this paper, we consider a two-agent single-machine scheduling problem with exponential job-dependent position-based learning effects. The objective is to minimize the total weighted completion time of one agent with the restriction that the makespan of the other agent cannot exceed an upper bound. First, we propose a branch-and-bound algorithm by developing some dominance /feasibility properties and a lower bound to find an optimal solution. Second, we design an efficient simulated annealing (SA) algorithm to search a near optimal solution by considering six different SAs to generate initial solutions. We show the performance superiority of the suggested SA using a numerical experiment. Specifically, we verify that there is no significant difference in the performance of %errors between different considered SAs using the paired t-test. Furthermore, we testify that random generation method is better than the others for agent A, whereas the initial solution method for agent B did not affect the performance of %errors.
A Mediation Analysis of Absorption Capacity by Bootstrapping Technique in Multiple Mediator Model
Kim, Hyun-Woo ; Lee, Hong-Bae ; Shin, Yong-Ho ;
Journal of the Korea Society for Simulation, volume 24, issue 4, 2015, Pages 89~96
DOI : 10.9709/JKSS.2015.24.4.089
The mediation methods suggested by Baron and Kenny, Sobel, Aroian and Goodman, have widely used to test the mediating effect. However, as there are many problems in statistical test power, as well as statistical accuracy, a bootstrapping technique has been suggested as an alternative. In this paper, we adopt the phantom variables based on the bootstrapping technique to test the mediating effect in multiple mediator model consisting of three or more mediating variables. In particular, we formulate the multiple mediator model for analyzing the relations among organizational resources, the absorption capacity as mediating variables and technology commercialization capabilities. And using the bootstrapping approach, we analyzed the mediating effect of the absorption capacity by setting of phantom variables and calculated total indirect effect size and the statistical significance. The empirical results are as follows. First, we confirmed that the bootstrapping approach and the phantom variable is the very efficient and systematic mediation method. Second, we recognized that there is a difference in the mediating characteristics of the absorption capacity depending on the resource characteristics of human resources and material resources obviously.
A Market Segmentation Scheme Based on Customer Information and QAP Correlation between Product Networks
Jeong, Seok-Bong ; Shin, Yong Ho ; Koo, Seo Ryong ; Yoon, Hyoup-Sang ;
Journal of the Korea Society for Simulation, volume 24, issue 4, 2015, Pages 97~106
DOI : 10.9709/JKSS.2015.24.4.097
In recent, hybrid market segmentation techniques have been widely adopted, which conduct segmentation using both general variables and transaction based variables. However, the limitation of the techniques is to generate incorrect results for market segmentation even though its methodology and concept are easy to apply. In this paper, we propose a novel scheme to overcome this limitation of the hybrid techniques and to take an advantage of product information obtained by customer's transaction data. In this scheme, we first divide a whole market into several unit segments based on the general variables and then agglomerate the unit segments with higher QAP correlations. Each product network represents for purchasing patterns of its corresponding segment, thus, comparisons of QAP correlation between product networks of each segment can be a good measure to compare similarities between each segment. A case study has been conducted to validate the proposed scheme. The results show that our scheme effectively works for Internet shopping malls.
Implementation of Role-based Command Hierarchy Model for Actor Cooperation
Kim, Jungyoon ; Kim, Hee-Soo ; Lee, Sangjin ;
Journal of the Korea Society for Simulation, volume 24, issue 4, 2015, Pages 107~118
DOI : 10.9709/JKSS.2015.24.4.107
Many approaches to agent collaboration have been introduced in military war-games, and those approaches address methods for simulation entity (actor) collaboration within a team to achieve given goals. To meet fast-changing battlefield situations, an actor must be loosely coupled with their tasks and be able to take over the role of other actors if necessary to reflect role handovers occurring in real combat. Achieving these requirements allows the transfer of tasks assigned one actor to another actor in circumstances when that actor cannot execute its assigned role, such as when destroyed in action. Tight coupling between an actor and its tasks can prevent role handover in fast-changing situations. Unfortunately, existing approaches and war-game strictly assign tasks to actors during design, therefore they prevent the loose coupling. To overcome these shortcomings, our Role-based Command Hierarchy (ROCH) model dynamically assigns roles to actors based on their situation at runtime. In the model, "Role" separates actors from their tasks. In this paper, we implement the ROCH model as a component that uses a publish-subscribe pattern to handle the link between an actor and the roles of its subordinates (other actors).
A Study on the Application Model of High Availability of shipboard Combat Systems
Lee, Kyoung-Haing ; Han, Dong-Soo ;
Journal of the Korea Society for Simulation, volume 24, issue 4, 2015, Pages 119~125
DOI : 10.9709/JKSS.2015.24.4.119
This research has conducted high availability system modeling to assure the reliability of shipboard combat systems. Shipboard combat system is a way for efficient execution of duty and a crucial battlefield management system that determines the outcome of battle in the modern war. Especially in regard to a network-centric operational environment in the future, even 1% of malfunction can lead to fatal consequences for the outcome of war. So combat system should be designed by high availability system which is a "always-on" service. In this point of view, This work describes an architecture-based various high availability model and proposed alternative high available systems that can achieve more than 99.9999% accuracy at a minimum. This paper also provides an applicable model with which system engineers analyze out system failure and recovery process by employing computerized tools.
Stakeholder's Valuation of Public PMO System Using Laddering
Back, Hyung-Chung ; Park, Chan-Hyuk ; Jang, Seong-Yong ; Kim, Ja-Hee ;
Journal of the Korea Society for Simulation, volume 24, issue 4, 2015, Pages 127~136
DOI : 10.9709/JKSS.2015.24.4.127
The e-government project management consignment system to allow the public PMO has been introduced to resolve the quality management issue and the business risk, pointed out by the reorganized Software Industry Promotion Act. The additional regulation improvements are demanded because the public PMO system cannot settle down due to the different opinions among related parties: owner, operator and PMO. Therefore, to make balanced regulation improvements, the in-depth studies are necessary to analyze the fundamental causes of the disagreement between the related parties. This study analyses the each related party's cognitive structure to perform public PMO successfully and the fundamental reasons that cause the different opinions by applying the cognitive psychological Means-end chain theory, the laddering technique and the HVM, Hierarchical Value Map. In addition, this study analyses the regulations required for the related parties to obtain the expected benefits.
Simulation for Benefit-cost Analysis of Smart Grid Hub Project
Hur, Wonchang ; Shin, KwangSup ; Moon, Yongma ; Kim, Woo-Je ; Hwang, Woohyun ;
Journal of the Korea Society for Simulation, volume 24, issue 4, 2015, Pages 137~151
DOI : 10.9709/JKSS.2015.24.4.137
This study undertakes a simulation analysis for evaluating the benefits and costs of smart grid hub project. The purpose of the study is to explore extensively the alternatives for infrastructure configurations and identify the best scenarios that can satisfy all the stakeholder needs. We consider 19 parameters for configurating a smart grid hub city, and take a strategy of exhaustive search to find configurations that meet the two criteria simultaneously: each stakeholder's B/C ratio should be equally distributed and the B/C ratio of the entire city should be maximized. The results offer some meaningful implications for building a successful deployment strategy that can facilitate the diffusion of smart grid technologies.
Privacy Preserving Top-k Location-Based Service with Fully Homomorphic Encryption
Hur, Miyoung ; Lee, Younho ;
Journal of the Korea Society for Simulation, volume 24, issue 4, 2015, Pages 153~161
DOI : 10.9709/JKSS.2015.24.4.153
We propose a privacy-preserving location-based service (LBS) which supports top-k search service. The previous schemes hurt the privacy of either the user and the location of the objects because they are sent to the LBS server in a plaintext form. In the proposed method, by encrypting them with the fully-homomorphic encryption, we achieved the top-k search is possible while the information on them is not given to the LBS server. We performed a simulation on the proposed scheme with 16 locations where k is 3. The required time is 270 hours in a conventional desktop machine, which seems infeasible to be used in practice. However, as the progress of the hardware, the performance will be improved.
Comparison Study on the Moving Line Optimization in Agricultural Industry using Simulation Tool
Park, Mueng-Gyu ;
Journal of the Korea Society for Simulation, volume 24, issue 4, 2015, Pages 163~170
DOI : 10.9709/JKSS.2015.24.4.163
This research is to focus on the method of moving line optimization in Agricultural Industry, especially Garak Wholesale Market Modernization Project, by using simulation tool. As everybody knew, it's very difficult to apply the SCM operation rules in Agricultural Industry, because the standardization system in Agricultural Industry was not completed. The five flow management factors, vehicle moving line management, customer moving line Management, Logistics Device Moving Line Management, Working Person Moving Line Management, Product display moving line management, are needed to be optimized on the basis of standardization rules, and to achieve this will be the good infrastructure to make the Agricultural SCM system. It's very different between the SCM structure of manufacturing industry and logistics industry and the SCM structure of Agricultural Industry, because the SCM in manufacturing is occur in the basis of flow management, on the contrary, the SCM of Agricultural Industry is on the basis of activity management. For these reason, this study is the first approach to apply the simulation method in the part of moving line optimization in Agricultural SCM, and in near future, This study will help all designers and operators to apply the simulation work in the part of agricultural SCM, and we hope that next advanced study will continue by using this study.