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

In this paper, We define convert rules from objects and relation presented in object model to the state and operation domain in formal specification. Namely, object and relation in information model converted to state domain in formal specification. State, event and behavior converted to operation domain. And that way informal object model change to formal language, it can be verify through formal method. Verification process make an offer convenience and confidence in software development early phase. And we implement simulation tool in order to verification method of formal specification and to consistency verified model between user's requirement. It is possible to select the suitable model and reduce the costs and efforts on software development.

• Journal of the Korea Society for Simulation
• /
• v.19 no.4
• /
• pp.309-318
• /
• 2010

Simulation-based acquisition(SBA) is a new acquisition paradigm to deliver combat systems cheaper, faster, and better. ROK MND adopts the vision of SBA and is pushing ahead with dramatic reform. However, ROK MND does not develop the SBA architecture framework which facilitates the reuse of tools and techniques and data software code and algorithms among participants of collaborative environments. In this paper, we propose a conceptual Model of architecture framework for SBA. To do so, we analyse acquisition process of MND and propose the to-be operational view that describes fundamental concept for how Government, Industry, and Academia can collaborate and share information more effectively throughout the acquisition process. Furthermore, we identify the tools and techniques that supports the operational nodes, and propose technical view and all view, too. technical view compose of set of standards that can ensure interoperability among tools, techniques and data, and all view provide an overarching description of the architecture.

• The KIPS Transactions:PartB
• /
• v.11B no.6
• /
• pp.683-690
• /
• 2004

Garment modeling and simulation is now one of the important elements in broad range of digital contents. Though there have been recent products on garment simulation, general users do not know well enough how to design a virtual costume that meets some requirements about its specific clothing pattern. In particular, Hanbok - the Korean traditional costume - has many different characteristics against western ones in the aspect of its pattern design and of draping. This paper presents a knowledge-driven approach for virtual Hanbok modeling without knowing how to make real Hanbok. First, parameterized knowledge for several fabric types art solicited using visual similarity assessment from simulated and real cloth. Secondly, based on the analysis of designer's knowledge, we defined multi-level adjustment processes of Hanbok measurements with regard to body shape features for different virtual actors. An experimental system is developed as the form of a Maya plug-in and the result shows the applicability of the proposed method.

• Spatial Information Research
• /
• v.9 no.2
• /
• pp.185-206
• /
• 2001

Cellular Automata(CA) have been investigated and utilized as a theoretical framework and/or methodology for analyzing and simulating the properties and behaviors of many complex systems in various physical science and engineering field. Due to the conceptual elegance and effectiveness of implementing spatio-temporal dynamic models and the compatibility with raster GISs, recently a variety of modeling works using both CA and GIS have been published in GIS fields Most of spatial dynamic models introduced in previous research, however, were very limited and furthermore integrated CA-GIS system for practical modeling purpose are not developed yet. This study aims to develop an integrated CA-GIS system in which a CA simulator is used as an analytical engine for GIS providing a multipurpose spatial dynamic modeling functionalities. This integrated CA-GIS system is anticipated radically enhancing the current lacking dynamic modeling functionalities of GIS and being utilized as an powerful and effective tool for practical spatial dynamic modeling research.

• Journal of the Korea Society for Simulation
• /
• v.28 no.3
• /
• pp.1-9
• /
• 2019

An agent-based simulation is a popular simulation tool to solve various problems, such as stock market, population prediction, disease prediction, and development of a traffic system. As the agents are developed and researched in different application fields, the agent has a rigid structure and may not acceptable in different domains. As a result, it is a challenging problem to define a structure for an agent structure to reflect the researcher's simulation objective. This research proposes an extendable form for an agent and its modeling environment. In order to propose a standard structure, this study adopts system entity structure and discrete event system specification formalism. Also, this research introduces the SESManager which supports the proposed specification method. The proposed environment can hierarchically define the agent structure and synthesize the agent so that it can perform the agent simulation according to the user's simulation purpose.

• Journal of the Korea Society for Simulation
• /
• v.19 no.4
• /
• pp.261-270
• /
• 2010

An integrated simulation engine provides tools, services, and standards to support various activities in the entire M&S from modeling and simulation to analysis of the simulation results. Many countries have developed integrated simulation engines to efficiently assist complex M&S activities. However, we do not have domestic simulation engines especially designed for defense M&S, therefore, developing M&S softwares still remains as a hard task with high cost and tine. OpenSIM(Open Simulation engine for Interoperable Models) is an integrated simulation engine and provides tools, services and standard interfaces for weapons analysis. OpenSIM's services are comprised of classes, member functions and data attributes which are commonly used in modeling, simulating and analyzing weapons systems. In this paper, we introduce OpenSIM's services in C++ APIs and illustrate them through an ASM example(Air to Surface Missile).

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

본 연구는 DEVS를 기반으로 개발된 교통류 시뮬레이션 시스템인 $\ulcorner$I$^3$D$^2$ 교통류 시뮬레이션 시스템$\lrcorner$(이하 I$^3$D$^2$)의 검증을 그 목적으로 한다. I$^3$D$^2$는 본 연구진이 DEVS를 기반으로 개발한 범용 시뮬레이션 도구로써, 이미 서울시 강남 신호교차로와 내부순환로를 대상으로 하여 개발된 내용을 발표한 바 있다. I$^3$D$^2$는 헌재 단속류에서의 최적신호 생성 및 대기행렬 예측 문제, 그리고 연속류 시설의 용량 산정 문제등을 시뮬레이션 할 수 있다. 하지만 아직 문헌자료나 현장 데이터를 토대로 한 충분한 검증이 수행되지 못한 문제가 있다. 따라서 본 연구에서는 문헌자료를 토대로, I$^3$D$^2$를 검증한다. 이를 위하여 고속도로 또는 도시고속도로와 같은 연속 교통류의 대표적인 효과척도인 $\ulcorner$교통량 - 밀도 - 평균주행속도 (시간)$\lrcorner$ 간의 상관관계를 이용하여 미국 HCM과 우리나라의 도로용량편람에 정의되어 있는 기준을 토대로 I$^3$D$^2$ 검증을 수행하였다. 모델링은 서울시 올림픽대로의 양화대교 - 성산대교 - 가양대교 구간을 대상으로 했으며, 검증은 교통량에 따라 크게 3가지 교통류 상태(random, intermediate, constant)를 기준으로 시뮬레이션이 각각의 교통상태에서 예측한 평균주행시간의 정확도를 측정하면서 수행하였다. 검증 결과 random 상태에서는 문헌자료에 부합되는 예측결과를 보여주었으나, intermediate와 constant 상태에서는 문헌보다 다소 낮은 속도를 보여주었다 이러한 속도차는 추후 현장 데이터를 수집하여 보다 실질적인 검증을 통하여 조정되어야 할 것으로 판단된다.

• Journal of Information Technology and Architecture
• /
• v.9 no.3
• /
• pp.243-251
• /
• 2012

This paper presents the Conceptual Models of the Mission Space-Korea (CMMS-K), which is an ontology-based conceptual modeling framework of the mission space. Through modeling and simulating military trainings, we can reduce the cost of actual military trainings in terms of time, space, and supplies. CMMS-K is being developed to improve the interoperability and reusability of defense models and simulations. CMMS-K reflects the needs and characteristics of Korean military while referring to existing military conceptual modeling frameworks. The main components of CMMS-K contain domain ontologies, a mission space model description language, a mission space modeling tool, and a CMMS-K management system. CMMS-K domain ontologies consist of entity and task ontologies. In this paper, the CMMS-K domain ontologies are described in detail and the feasibility of the proposed method is discussed with a case study.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.14 no.3
• /
• pp.101-106
• /
• 2004

Recently, a network defense simulator becomes essential in studying cyber incidents because the cyber terror become more and more interesting. The network defense simulator is a tool to estimate damages and an effectiveness of a defense mechanism by modeling network intrusions and defense mechanisms. Using this tool, users can find efficient ways of preventing a cyber terror and recovering from the damage. Previous simulators start the simulation after entire scenario has made and been loaded to simulation engine. However, in this way it can't model human judgement and behavior, and it can't simulate the real cyber terror very well. In this paper, we have added a dynamic simulation component to our previous network security simulator. This component improved accurate modeling of network intrusions and defense behaviors. We have also proposed new modified architecture of the simulation system. Finally we have verified correct simulation results from stammer worn simulation.

• Proceedings of the Korean System Dynamics Society
• /
• 2001.10a
• /
• pp.49-65
• /
• 2001

본 논문에서는 먼저 비주류로써 시스템 다이내믹스의 특성을 경험적 행태주의와 비교하여 설명한다. 이러한 시스템 다이내믹스의 특성은 경험적 행태주의와는 달리 정책 평론을 수행하는데 용이하다는 점을 지적한다. 즉, 정책 평론에서 요구하는 평이성, 신속성, 일치성의 요구를 시스템 다이내믹스 접근이 충족시킬 수 있다는 점을 설명한다. 특히 본 논문에서는 인과지도, 시스템 원형, 인지지도, 정책지도, 시뮬레이션 모델링 등 시스템 다이내믹스의 분석도구들이 정책 평론에 어떻게 활용될 수 있는지를 검토해 본다. 단선적이고, 부분적이며, 맹목적인 정책으로 인한 대규모의 실패를 방지하기 위하여 정책 평론이 요구되며, 시스템 다이내믹스는 정책 평론의 효과적인 도구가 될 수 있다는 점을 지적하고자 하였다.