• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2012.10a
• /
• pp.19-20
• /
• 2012

한국해양수산연수원은 새로 설치된 다기능선박조종시뮬레이터(Full-mission Shiphandling Simulator)에 적합한 평가시스템을 맞추기 위하여 STN Atlas용 Fortran로 개발된 평가시스템을 Visual C++로 새로이 개발하였다. 그리고 이 시스템에 각 항만의 실제 상황을 고려하여 평가 점을 추가하거나 삭제하고, 평가 기준도 수정하였다. 이에 대하여 소개하고자 한다.

• Journal of KIISE:Software and Applications
• /
• v.29 no.6
• /
• pp.377-385
• /
• 2002

An authentic simulation platform for events situated in spatio-temporal space is presented. The authenticity, i.e., logical fidelity to the reality, of this cyberspace is realized by maximizing the diversity and unpredictability of events occurring therein. The knowledge components and associated schemes required for the simulation of events situated in spatio-temporal space encompass the environmental factors, the objects, the events, and their interrelations. We deviled event activation, triggering mechanism, and cognitive function related to event to realize an authentic simulation of discretionary events. The agents in this simulation environments are autonomous in that they have their own existence and capability of event planning. We focused on identifying basic constructs relevant to authentic simulation of discretionary events whose initiation depends on human intention. Several key ideas are implemented in a typical spatio-temporal situation to demonstrate the viability of our simulation mechanism.

• Journal of the Korea Society for Simulation
• /
• v.17 no.4
• /
• pp.29-39
• /
• 2008

Recently, an ALV (Automated Lifting Vehicle) is studied as an efficient transporter, which can reduce the waiting time during ship operation in a container terminal. There are little of studies on an ALV system considering dynamic factors after analysing the cooperation between equipments. The performance of an ALV depends on self-loading & unloading of an ALV, vehicle’s interference, and occupancy of an available transfer point under dynamic environment. So, it is very difficult to evaluate the productivity of a container terminal with an ALV system. Therefore the simulation model with operational rules that be apt for an ALV system must be developed. Also the model has to consider the characteristics of interface operations and vehicle traffic. Supposing an container terminal with perpendicular layout, this study analyses the process of container handling operation and proposes operational rules such as the ALV dispatching, routing algorithm and so on for a model. We developed a simulation model for a container terminal with an ALV system using object-oriented simulation software, Anylogic.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1992.10a
• /
• pp.9-9
• /
• 1992

시뮬레이션(simulation)은 실 시스템(real system)의 효과적이고 효율적인 운영을 도모하기 위하여 실 시스템의 동작을 이해하고 분석, 예측, 평가하는 과학적인 문제해결 접근방법이다. 시뮬레이션 수행단계는 실 시스템의 행위를 정확히 반영하도록 타당한 모델을 구축하는 모델링 단계와 모델에 의도하는 명령어들을 컴퓨터 프로그램으로 작성하는 구현단계로 나누어진다. 시뮬레이션 모델은 시간, 상태, 확률변수, 상호규칙 등의 여러 관점에 따라 다양하게 존재하는데, DEVS(Descrete EVent system Specification) 모델은 연속적인 시간상에서 이산적으로 발생하는 사건에 따라 시스템의 상태를 분석할 수 있고 모델링 및 시뮬레이션 방법론의 형식화를 위한 견고한 이론적 기반을 제공하고 있다. 또한, DEVS 모델은 모듈적, 계층적 특성을 제공하고 집합론에 근거한 수학적 형식구조를 제공하여 실 시스템에 대한 체계적인 분석과정을 수행하게 되어 보다 현실적인 모델링을 가능하게 한다. 그러나 타당하지 못한 DEVS 모델이 구축되면 시뮬레이션을 통한 분석결과의 신뢰성이 떨어져 아무런 효과가 없고 경제적인 손실만이 따른다. DEVS 모델에 대한 기존의 타당성 검사가 많은 시간과 노력이 요구되고, 반복적인 DEVS 모델링 과정으로 인한 전문적이고 경험적인 지식을 요구한다. 또한, 모델설계자에 의해 설정된 실험 프레임하에서 DEVS 모델의 구성요소에 속하는 상태전이함수, 시간진행함수 및 출력함수에 대하여 commutative 성질의 보전성 검사가 어렵다는 문제점을 가지고 있다. 본 연구에서는 이와 같은 문제점을 해결하기 위하여, DEVS 모델에 대한 타당성 검사를 SPN(Stochastic Petri Net) 모델로 변환하여 SPN 모델을 이용하는 간단하고 효과적인 타당성 검사 방법을 제안한다. 먼저, DEVs 모델에 대한 개념과 기존의 DEVS 모델에 대한 타당성 검사 방법을 고찰하고 그 문제점에 대하여 자세히 설명한다. DEVS 모델의 타당성 검사에 이용하는 SPN 모델에 대한 개념과 DEVS 모델과 행위적으로 동등한 SNP 모델로 변환을 위한 관점을 제조명하다. 동일한 관점에서 두 모델의 상태표현이 같도록 DEVS 모델이 SPN 모델로 표현됨을 보이는 변환이론을 제시하고 변환이론을 바탕으로 모델 변환과정을 제시한다. 모델 변환이론과 변환고정을 기본으로 타당성 검사를 위한 새로운 동질함수(homogeneous function)를 정의하고 이와 함께 SPN 모델의 특성을 이용하여 DEVS 모델에 대한 타당성 검사 방법을 새롭게 제안한다.

• Journal of Internet Computing and Services
• /
• v.19 no.1
• /
• pp.77-86
• /
• 2018

For the past few years, KISTI has been servicing an online simulation execution platform, called EDISON, allowing users to conduct simulations on various scientific applications supplied by diverse computational science and engineering disciplines. Typically, these simulations accompany large-scale computation and accordingly produce a huge volume of output data. One critical issue arising when conducting those simulations on an online platform stems from the fact that a number of users simultaneously submit to the platform their simulation requests (or jobs) with the same (or almost unchanging) input parameters or files, resulting in charging a significant burden on the platform. In other words, the same computing jobs lead to duplicate consumption computing and storage resources at an undesirably fast pace. To overcome excessive resource usage by such identical simulation requests, in this paper we introduce a novel framework, called IceSheet, to efficiently manage simulation data based on execution metadata, that is, provenance. The IceSheet framework captures and stores each provenance associated with a conducted simulation. The collected provenance records are utilized for not only inspecting duplicate simulation requests but also performing search on existing simulation results via an open-source search engine, ElasticSearch. In particular, this paper elaborates on the core components in the IceSheet framework to support the search and reuse on the stored simulation results. We implemented as prototype the proposed framework using the engine in conjunction with the online simulation execution platform. Our evaluation of the framework was performed on the real simulation execution-provenance records collected on the platform. Once the prototyped IceSheet framework fully functions with the platform, users can quickly search for past parameter values entered into desired simulation software and receive existing results on the same input parameter values on the software if any. Therefore, we expect that the proposed framework contributes to eliminating duplicate resource consumption and significantly reducing execution time on the same requests as previously-executed simulations.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.19 no.2
• /
• pp.60-67
• /
• 2015

The finite element (FE) model updating is a commonly used approach in civil engineering, enabling damage detection, design verification, and load capacity identification. In the FE model updating, acceleration responses are generally employed to determine modal properties of a structure, which are subsequently used to update the initial FE model. While the acceleration-based model updating has been successful in finding better approximations of the physical systems including material and sectional properties, the boundary conditions have been considered yet to be difficult to accurately estimate as the acceleration responses only correspond to translational degree-of-freedoms (DOF). Recent advancement in the sensor technology has enabled low-cost, high-precision gyroscopes that can be adopted in the FE model updating to provide angular information of a structure. This study proposes a FE model updating strategy based on data fusion of acceleration and angular velocity. The usage of both acceleration and angular velocity gives richer information than the sole use of acceleration, allowing the enhanced performance particularly in determining the boundary conditions. A numerical simulation on a simply supported beam is presented to demonstrate the proposed FE model updating approach.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.31 no.3
• /
• pp.209-219
• /
• 2013

Epidemiological models on disease spread attempt to simulate disease transmission and associated control processes and such models contribute to greater understanding of disease spatial diffusion through of individual's contacts. The objective of this study is to develop an agent-based modeling(ABM) approach that integrates geographic information systems(GIS) to simulate the spread of FMD in spatial environment. This model considered three elements: population, time and space, and assumed that the disease would be transmitted between farms via vehicle along the roads. The model is implemented using FMD outbreak data in Andong city of South Korea in 2010 as a case study. In the model, FMD is described with the mathematical model of transmission probability, the distance of the two individuals, latent period, and other parameters. The results show that the GIS-agent based model designed for this study can be easily customized to study the spread dynamics of FMD by adjusting the disease parameters. In addition, the proposed model is used to measure the effectiveness of different control strategies to intervene the FMD spread.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.15 no.9
• /
• pp.1854-1864
• /
• 2011

Production planning is one of the most important activities in shipbuilding enterprises. Shop-floor supervisors and planners still do not have enough information to effectively analyze shop operations because of the difference between production planning and shop-floor scheduling. In this paper, process analysis was conducted between production planning and shop-floor control to clarify the difference, and the necessity of the manufacturing execution system(MES) was derived in a shipyard. Therefore, the simulation-based ship production execution system(SPEXS) was defined by analyzing characteristics of MES. The architectural functions of the system were deducted from the process of requirement analysis. The SPEXS' framework was constructed on the basis of the architectural functions. This framework will provide more reliable production schedules and allow engineers to plan and control shop operations in real-time.

• The Journal of the Korea Contents Association
• /
• v.9 no.11
• /
• pp.1-9
• /
• 2009

In virtual environments, such as computer game and animation, we need to enhance naturalness of crowd simulation. So, we propose a method to generate dynamically moving crowd patterns by applying emotional factors to the individual characters of a crowd in the determination of their behavior. The proposed method mimics human behavior and controls each character in a group to decide its own path according to its individual status. And it is able to generate various moving patterns as a result of letting the individuals go to another group depending upon their conditions. In this paper, some temperament and feeling factors are defined and determination rules for calculating the emotional status are also proposed. Moreover we use a fuzzy theory for accurate representation of the ambiguous expressions such as feeling bad, feeling good and so on. Our experiments show that the suggested method can simulate virtual crowd in more natural and diverse ways.

• Journal of the Korea Society for Simulation
• /
• v.17 no.3
• /
• pp.9-18
• /
• 2008

Unlike conventional researches, we are able to i) compare the fuzzy logic based BBA with non-fuzzy BBA for verifying the effective performance of the proposed fuzzy logic application ii) dynamically respond to the intrusion using BBA whereas the previous IDS was responding statically and iii) expect that this would be a cornerstone for more practical application researches (analyzing vulnerability and examining countermeasures, etc.) of security simulation. Several simulation tests performed on the targer network will illustrate our techniques. And this paper applies fuzzy logic to reduce the false negative that is one of the main problems of IDS. Intrusion detection is complicated decision-making process, which generally involves enormous factors about the monitored system. Fuzzy evaluation component model, which is a decision agent in the distributed IDS, can consider various factors based on fuzzy logic when an intrusion behavior is detected. The performance obtained from the coordination of intrusion detection agent with fuzzy logic is compared against the corresponding non fuzzy type intrusion detection agent. The results of these comparisons allow us to evaluate a relevant improvement on the fuzzy logic based BBA.