• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.12
• /
• pp.2581-2588
• /
• 2012

Survivability of combat system is changed by various facts in dynamic battle field. Existing survivability analysis programs for a combat system analyze statically survivability for combat system in spite of dynamic battle environment. To overcome this limitation, we propose an agent-based modeling and simulation method for dynamic survivability analysis of the combat system. To do this, we have adopted DEVS formalism, SES/MB framework and agent technology for modeling components of the combat system and crews. The proposed method has advantages of being able to analyze not only a static survivability of the combat system but also a dynamic survivability of combat system by applying responses of crews in battle field.

• Journal of KIISE
• /
• v.42 no.7
• /
• pp.823-833
• /
• 2015

Hybrid system is a dynamic system that is composed of both a continuous and discrete system, suitable for automobile, avionic and defense systems. Various modeling languages and their supporting tools have been proposed and used in the hybrid system. The languages and tools have specific characteristics for their purpose. Electronics and Telecommunications Research Institute (ETRI) proposed a hybrid system modeling language, ECML (ETRI CPS Modeling Language). ECML extends DEV&DESS (Differential Event and Differential Equation Specified System) formalism with consideration of CPS (Cyber-Physical System), which supports modeling and simulation. In this paper, we introduce ECML and suggest a formal definition. The case study specifies a simple vehicle model using the suggested formal definition.

• The Journal of Society for e-Business Studies
• /
• v.11 no.4
• /
• pp.107-122
• /
• 2006

Electronic payment continuously increases in B2B trade, there by encouraging active development of information systems which support e-payment mechanisms. In this situation the information systems are supposed to implement various forms of e-payment mechanisms, and provide standard modeling functionalities for e-payment processes. In this paper we assess business process modeling methods for the purpose of e-payment mechanism modeling, and suggest guidelines for e-payment mechanism modeling. The results can be used as a good guideline to business process modeling of e-payment mechanisms.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.10a
• /
• pp.485-491
• /
• 1998

이산사건 시스템은 시간의 이산순간에 상태변화가 발생하는 시스템으로서 공정제어, Robotics, 교통시스템, Flexible Manufacturing System, 통신등 많은 분야의 시스템이 이산사건 시스템들이지만 아직도 포괄적이고 융통성 있는 제어이론이 연구되지 않았다. 본 연구는 특히 Real-Time Temporal Logic Framework(RTTL)에서 비결정적으로 발생되어지는 확정적인 사건들로써 유발되어지는 비결정적 이산사건 시스템의 모델링 방법을 제시하였다. 이 방법을 두 개의 machine들로 구성된 Flexible Manufacturing System(FMS)에 적용하여 설명하였다. 이 방법은 복잡한 이산사건 시스템의 모델링을 모듈화하여 간편하게 표현 할 수 있는 우수한 특성을 가지고 있다.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.15 no.1
• /
• pp.35-44
• /
• 2011

Mathematical modelling for liquid rocket engine(LRE) main components were conducted to predict the dynamic characteristics when the LRE operates at the transient condition, which include engine start up, shut down, or thrust control. Propellant feeding system is composed of fuel and oxidizer feeding components except for regenerative cooling channel for the fuel circuit. Components modeling of pump, pipe, orifice, control valve, regenerative cooling channel and injector was serially made. Hydraulic tests of scale down component were made in order to validate modelling components. The mathematical models of engine components were integrated into LRE transient simulation program in concomitant with experimental validation.

• Journal of KIISE:Software and Applications
• /
• v.32 no.6
• /
• pp.473-485
• /
• 2005

UML activity diagram is useful to model business process and workflow by reason of its suitability to present dynamic aspect of system. However it Is difficult to present precise semantics which is taken as important in workflow system with the guide provided by OMG to the UML activity diagram. This paper suggests workfolw system modelling methodology by applying ASM semantics to the activity diagram after extending its semantics to correspond to workflow system characteristics. Through the exact definition to formal semactics based on ASM it is possible to effectively model workflow.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.5 no.1
• /
• pp.218-227
• /
• 2001

The purpose of this study was to estimate that the relations of weathering speed and shear strength of granite soil by tracing the weathering depth of granite soil from the very moment of its cutting. The results obtained this follows : This paper is about seismic performance of the EDF(Electricite De France) system, that is among various base isolator. A rational modeling of EDF system has been presented that used Nllink element. We get theoretical solutions of equation of motion of the system and compared with numerical solutions using a finite element program. The unification modeling is made by comparing with behavior using Newmark-${\beta}$ method when input earthquake acceleration data. Thus, a verified modeling will apply bridge structures or multi-degree of-freedom systems.

• Journal of the Korea Convergence Society
• /
• v.8 no.8
• /
• pp.17-26
• /
• 2017

CPV system is composed with CPV cells, modules, PCS(power conditioning system), solar tracker, system installation and balance of systems(BOS). Mention about modelling method which is applied for CPV system simulation and evaluation system analysis. This paper focuses on CPV system modeling and optimal design of the electric energy production analysis through the development of proposed optimal CPV system simulation. Calculated simulation results of the generalized CPV system in regard to loss parameter calculation method can make out optimal configuration of CPV system with high reliability and stability. The loss parameter calculation method establish a mathematical modeling for the purposed of simulation and utilization various data for economical analysis of the CPV system design.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.52-53
• /
• 2008

전력 설비가 증대되고 복잡해짐에 따라 보다 정밀한 제어가 요구되어지고 있다. 그러나 전력시스템의 비선형성으로 인해 정확한 해석이 용이하지 않다. T-S 퍼지 모델링 기법은 시스템의 비선형성을 선형행렬 부등식을 이용하여 해석 가능하게 한다. 본 논문에서는 비선형 4차 동기발전기 모델에 T-S 퍼지 모델링 기법을 적용하여 시스템 안정도를 해석하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.457-459
• /
• 2001

정보검색시스템은 지역적으로 분산된 이기종의 컴퓨터들 간의 데이터 교환과 다양한 종류의 DB에 대한접근을 가능하게 함으로써, 기업에게 공급망 관리에 대한 통합된 정보를 제공한다. 정보검색시스템은 X3.285에 기반한 데이터 레지스트리 모델을 이용하여 모델링되었고, 모델링이 주어진 가정 하에서 요구사항을 만족하는지를 검증하기 위해 핵심 부분인 메타데이터 레지스트리 관리기(MDR Manager) 부분 만을 SMV를 이용하여 검증하였다.