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

The technology of Software Defined Radio (SDR) is a possible solution to interwork flexibly between various wireless transport protocols. Ubiquitous network, like u-health service network, includes sensor devices or nodes which do not facilitate all the same transport protocols to access network. As such this may be in such unreachable situations as poverty of all required AP (Access Point)’s, faults or contention in a path of particular protocol communication, etc. This paper presents research results of modeling and simulation to analyze transport performance of multi-protocol ubiquitous network which includes SDR-based interwork nodes and congestion-controlled AP’s. Focusing mainly on dynamics of overall transport performance rather than protocol execution procedures, this paper employs the Zeigler’s DEVS (Discrete Event Systems Specification) methodology and DEVSim++simulation environment to experiment.

• Journal of Aerospace System Engineering
• /
• v.11 no.5
• /
• pp.6-12
• /
• 2017

This paper deals with mathematical modeling of a 75-ton open-cycle Liquid Propellant Rocket Engine (LPRE) and the steady state simulation based on a nominal operating point. Each component of open-cycle LPRE may be classified into seven major categories using thermodynamics and dynamics characteristics. To simplify the simulation model of LPRE in this paper, we used four govern equations with assuming no heat transfer process. We confirmed the mathematical model of LPRE by using the error ratio and comparing the experiment data and simulation data in steady state, and checked the stability with the linearized model. Finally, we demonstrated the simulation model as compared to the transient response of experimental data.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.12 no.8
• /
• pp.3492-3496
• /
• 2011

In Korea Defence in the field of modeling and simulation quite low compared to international levels, and Research & Development and acquisition of weapon systems do not address the reliability in the area is a Free. Thus, in this study using computational fluid dynamics engineering in terms of M & S and the applicability of the present, Future research and development of an effective weapons system acquisition would like to take advantage.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2011.11a
• /
• pp.37-39
• /
• 2011

예선이 부선을 예인줄로 연결하여 운항할 시 예인줄에 걸리는 장력 및 형상을 예인줄을 다물체로 분할하여 모델링하였다. 이러한 예인줄 요소에 대한 횡동요를 제외한 5자유도 운동방정식을 구성하고, 각 요소들에 작용하는 힘을 정식화하여 연성 운동방정식을 도출하였다. 예인줄 요소들 간에는 예인줄의 재료 특성에 따른 강성을 가진 스프링과 감쇠장치로 연결하여 동력학적 조건을 부가하였고, 요소의 변형을 허용하는 형태로 운동학적 조건은 설정하지 않았다. 예인줄의 다물체 모델링의 검증을 위하여 단순 낙하, 직진, 사인파 형태로 지그재그로 움직이는 예선과 단순 항력체로 가정한 부선의 운동에 대한 시뮬레이션을 수행하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.10a
• /
• pp.492-493
• /
• 2016

최근 모델링 및 시뮬레이션(M&S) 기술이 다양한 분야에서 적용되어 활용되고 있으며, 특히 국방 분야에서의 중요성이 더욱 부각되고 있다. 무기체계 획득 절차 전반에 활용되는 시뮬레이션 시스템을 신속하고 편리하게 개발하기 위해서는 모델링에서 디버깅에 이르는 통합된 환경이 제공되어야 한다. 본 연구에서는 GUI 기반의 DEVS 모델링 도구인 QUEST를 이용해 실제 무기체계와 연동되는 시뮬레이션 시스템의 개발 사례를 소개한다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.67-72
• /
• 2000

PET는 합성섬유, 필름, 음료수병, 성형 플라스틱 등의 다양한 용도를 가지고 있으며 특히 섬유 원료부분에서는 전세계의 약 40%이상을 차지하고 있는 상업적 입장에서 아주 중요한 소재이다.［1］그러나, PET 제조공정은 긴 반응시간과 높은 반응온도, 대용량의 다단계 공정시설을 필요로 하는 대표적인 에너지 다소비 공정으로서 현대의 치열한 고분자 제품의 시장경쟁 상황에서 에너지 투입량 감축을 위한 공정의 해석 및 개발과 그로 인한 생산원가의 절감이 필수적이다. 본 연구에서는 실제 공장에서 사용되는 단일 연속식 직접 에스테르화 반응기(CSTR Direct Esterification Reactor)를 모델링하고 Van Krevelen［2］의 Group contribution method로 계산된 올리고머의 열용량값을 이용하여 에너지 소모량을 계산하였다. 모델링 결과는 모두 실제 공장의 자료와 비교되었으며 가장 제어하기 쉬운 변수에 따른 반응물의 물성과 에너지 소모량을 분석하였다. 또한 압력이 일정한 조건 하에서 입력변화에 따른 반응기의 동적 모델링을 동시에 수행하였으며 투입에너지량과 반응기의 운전지표와의 관계를 분석하였다. 이러한 연구는 실제 공정분석과 최적화에 있어서 소모 에너지량을 고려한 보다 정확한 지표를 제시하고 에너지 사용의 효율성을 높이는 데 기여할 수 있다.

• Journal of the Korea Society for Simulation
• /
• v.23 no.2
• /
• pp.1-6
• /
• 2014

CPS (cyber-physical systems) which consists of connected and diverse embedded systems and physical systems are a new paradigm. Traditional systems were usually considered to be passive and dumb parts in physical systems, but with CPS, we have to take into account what are being moved or changed in the physical systems. So, as increasing the complexity of CPS, potential errors in the systems also increase. In this paper, for enhancing the reliability of CPS, we exploit an executable-model-based design methodology and propose a distributed simulation method to verify the design of CPS. For the design of the systems including discrete and continuous factors, we apply DEV&DESS formalism and simulate models in distributed simulation environments through DDS middleware. We also illustrate the applications of CPS with our modeling tool.

• 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 모델에 대한 타당성 검사 방법을 새롭게 제안한다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1998.10a
• /
• pp.113-113
• /
• 1998

• Proceedings of the Korea Society for Simulation Conference
• /
• 1996.05a
• /
• pp.4-5
• /
• 1996