• 한국시뮬레이션학회논문지
• /
• 제8권1호
• /
• pp.89-99
• /
• 1999

The major objective of this research is to propose a design architecture for autonomous defense systems for supporting highly intelligent behavior by combining decision, perception, and action components. Systems with such high levels of autonomy are critical for advanced battlefield missions. By integrating a plenty of advanced modeling concepts such as system entity structure, endomorphic modeling, engine-based modeling, and hierarchical encapsulation & abstraction principle, we have proposed four layered design methodology for autonomous defense systems that can support an intelligent behavior under the complicated and unstable warfare. Proposed methodology has been successfully applied to a design of autonomous tank systems capable of supporting the autonomous planning, sensing, control, and diagnosis.

• 인터넷정보학회논문지
• /
• 제6권6호
• /
• pp.107-115
• /
• 2005

최근의 워크플로우 및 비즈니스 프로세스는 조직의 대형화와 조직간 상호협력의 증가와 더불어 점점 더 복잡해지고 대형화 되어가고 있다. 본 논문에서는 이러한 대형화된 워크플로우 및 비즈니스 프로세스를 모델링 하는데 있어서 보다 향상된 워크플로우 모델링 방법론을 제시하고자 한다. 이 새로운 방법론을 조각-ICN을 이용한 협동 워크플로우 모델링 방법론이라 부르는데 다수의 모델 설계자 그룹이 워크플로우 모델을 실시간 협업을 통해 정의할 수 있게 함으로써 모델링 작업의 효율을 향상시키는데 주요 목적이 있다. 즉. 이 모델링 방법론은 실시간 협업공간의 공유를 통해 실제 엑티비티를 수행하게 될 각 참여자가 자신의 엑티비티 조각들을 직접 정의하게 한 후에, 이 조각들을 통합하여 전체 워크플로우 모델을 정의하게 하는 Bottom-Up 모델링 방식이다. 본 논문에서는 이 조각-ICN을 이용한 협업 워크플로우 모델링 방법론의 정형적 표현법과 그래픽적 표기법을 정의하고, 이를 기반으로 하는 협업 워크플로우 모델링 시스템을 설계 및 구현한다.

• ETRI Journal
• /
• 제37권1호
• /
• pp.175-185
• /
• 2015

This paper presents a system-of-systems (SoS) approach to the formal modeling of a cyber-physical system (CPS) for simulation-based analysis. The approach is based on a convergence technology for modeling and simulation of a highly complex system in which SoS modeling methodology, hybrid systems modeling theory, and simulation interoperation technology are merged. The methodology maps each constituent system of a CPS to a disparate model of either continuous or discrete types. The theory employs two formalisms for modeling of the two model types with formal specification of interfaces between them. Finally, the technology adapts a simulation bus called DEVS BUS whose protocol synchronizes time and exchange messages between subsystems simulation. Benefits of the approach include reusability of simulation models and environments, and simulation-based analysis of subsystems of a CPS in an inter-relational manner.

• Journal of International Society for Simulation Surgery
• /
• 제2권2호
• /
• pp.47-51
• /
• 2015

Faces play a key role in revealing the personalized attributes such as the identity, emotion, health condition, etc. Due to the importance of faces, computer-assisted face modeling and reconstruction have been actively studied both in computer vision and graphics community. Especially, face reconstruction and realistic face synthesis are well-grounded research problems and various approaches have been proposed during the last decade. In this paper, we discuss a wide range of existing work in face modeling by introducing their target applications, categorizing them upon their methodology and addressing their strength and weakness on performance. Finally, we introduce remaining research issues and suggest the future research direction in face modeling. We believe that this paper provides a high-level overview on face modeling techniques and helps understand the major research issues and the trends of methodology.

• 한국시뮬레이션학회논문지
• /
• 제9권4호
• /
• pp.41-50
• /
• 2000

We have many simulation constraints to meet as a modeled system becomes large and complex. Real-time simulations are the examples in that they are constrained by certain non-function constraints (e.g., timing constraints). In this paper, an enhanced hierarchical modeling methodology is proposed to efficiently deal with constraint-simulations. The proposed modeling method enhances hierarchical modeling methods to provide multi-resolution model. A simulation model is composed by determining the optimal level of abstraction that is guaranteed to meet the given simulation constraints. Four modeling activities are defined in the proposed method: 1) Perform the logical architectural design activity to produce a multi-resolution model, 2) Organize abstraction information of the multi-resolution model with AT (Abstraction Tree) structure, 3) Formulate the given constraints based on U (Integer Programming) approach and embrace the constraints to AT, and 4) Compose a model based on the determined level of abstraction with which the multi-resolution model can satisfy all given simulation constraints. By systematically handling simulation constraints while minimizing the modeler's interventions, we provide an efficient modeling environment for constraint-simulations.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2005년도 추계학술대회 및 정기총회
• /
• pp.171-179
• /
• 2005

Computer virus modeling and simulation research has been conducted with focus on the network vulnerability analysis. However, computer virus generally shows the biological virus characters such as proliferation, reproduction and evolution. Therefore it is necessary to research the computer virus modeling and simulation using Artificial Life. The approach of computer modeling and simulation using the Artificial Life technology Provides the efficient analysis method for the effects on the network by computer virus and the behavioral mechanism of the computer virus. Hence this paper proposes the methodology of computer virus modeling and simulation using Artificial Life, which may be contribute the research on the computer virus vaccine.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2005년도 춘계학술대회 논문집
• /
• pp.123-128
• /
• 2005

War-game modeling and simulation system have been developed and applied to virtual tactical training both inside and outside of country However, most existing models have been developed for individual purpose based on the simple platform modeling such as physical modeling, visual modeling, and conceptual modeling. Thus, those modeling and simulation system cannot support the interoperability, expensively, variety and reusability. To deal with these problems, the paper propose an integrated design methodology for the War-game systems based on the DEVS/HLA.

• Industrial Engineering and Management Systems
• /
• 제7권1호
• /
• pp.78-89
• /
• 2008

The need for holistic modeling efforts for returns that capture the extended closed loop supply chain (CLSC) system at strategic as well as operational level has been clearly recognized by the industry and academia. Strategic decision-makers need comprehensive models that can guide them in efficient decision-making to increase the profitability of the entire forward and return chain. Therefore, determination of a near optimal design configuration, which includes the environmental, economical and technological capability factors, is important in strategic decision-making effort that affect the profitability of the closed loop supply chain. In this paper, we adopted an improved system dynamics methodology to tackle strategic issues that affect various performance measures, like market, time/cost, environment etc., for closed loop supply chains. After studying real life implementation issues in CLSC design, we presented guidelines for the PBM (Participative Business Modeling) methodology and presented its extension for the strategic dynamic system modeling of return chains. Finally, we demonstrated the measurement of operational performance by extending SD (system dynamic) application to closed loop supply chain management.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권4호
• /
• pp.283-290
• /
• 2009

상황인식 서비스는 유비궈터스 환경의 핵심으로 동적 환경에서 지능적이고 민감하게 동작하기 위해 상황과 서비스간의 연관관계를 명확하게 분류하기 위한 방법론이 요구된다. 기존의 모델링 방법들은 시나리오 중심의 상황정보 수집, 관리 그리고 표현에 초점이 맞추어 있다. 따라서 설계할 때 다양한 실제환경에 적용하여 상황인식 서비스 모델의 적합성을 검증하기는 힘들다. 본 논문에서는 colored Petri-Net을 응용한 모델링 방법을 제시한다. 모델은 상황 정보의 변화와 흐름의 표현과 평가에 초점을 두고 시간을 추가하여 수행시간제약에 대한 표현 및 평가가 가능하도록 하였다. 또한 상황 모델링 툴킷과 에이전트 기반의 상황인식 엔진 그리고 상황정보 시뮬레이터를 활용하여 에이전트 기반의 상황인식 서비스를 개발하였다. 본 논문에서 제안한 모델링 방법은 Usilvercare에 적용하여 실용성을 검증하였다.

• 정보과학회 논문지
• /
• 제42권11호
• /
• pp.1410-1422
• /
• 2015

소프트웨어 개발자들은 시스템의 설계를 위해 UML의 클래스 다이어그램과 같은 객체 모델을 이용한다. 객체-관계 변환 방법론은 객체 모델에 표현된 관계성들을 관계형 데이터베이스 테이블로 변환하는 방법론으로, 설계된 시스템의 구현을 위해 적용된다. 기존 객체-관계 변환 방법론의 연구들은 하나의 관계성을 표현하기 위해 여러 변환 기법들을 제안하였다. 하지만 각 변환 기법의 사용기준들이 존재하지 않아 구현에 적용하기 어려운 문제점이 있다. 따라서 이 논문은 각 관계별로 이진 결정 다이어그램 기반의 모델링 규칙을 제안한다. 이를 위해 변환 기법들을 구분하는 조건들을 정의하고, 질의 수행시간을 측정함으로 검증이 요구되는 모델링 규칙들을 평가한다. 평가 후, 이 논문은 명제 논리로 표현된 최종 모델링 규칙을 재정의하고, 사례 연구를 통하여 제안된 모델링 규칙이 설계된 시스템을 구현하는데 유용함을 보인다.