• Journal of the Korea Society for Simulation
• /
• v.25 no.4
• /
• pp.127-135
• /
• 2016

Even thought modernized marine navigation devices help navigators, marine accidents has been often occurred and ship collision is one of the main types of the accidents. Various studies on the assessment method of collision risk have been reported, and studies using fuzzy theory are remarkable for the reason that reflect linguistic and ambiguous criteria for real situations. In these studies, collision risks were assessed on the assumption that the current state of navigation ship would be maintained. However, navigators ignore or turn off frequent alarms caused by the devices predicting collision risk, because they think that they can avoid the collisions in the most of situations. This paper proposes a model of predicting ship collision risk considering the general patterns of collision avoidance, and the approach is based on fuzzy inference and discrete event system specification (DEVS) formalism.

• Journal of the Korea Society of Computer and Information
• /
• v.25 no.4
• /
• pp.97-103
• /
• 2020

Wireless sensor networks collect and analyze sensing data in a variety of environments without human intervention. The sensor network changes its lifetime depending on routing protocols initially installed. In addition, it is difficult to modify the routing path during operating the network because sensors must consume a lot of energy resource. It is important to measure the network performance through simulation before building the sensor network into the real field. This paper proposes a WSN model for a low-energy adaptive clustering hierarchy protocol using DEVS kernel models. The proposed model is implemented with the sub models (i.e. broadcast model and controlled model) of the kernel model. Experimental results indicate that the broadcast model based WSN model showed lower CPU resource usage and higher message delivery than the broadcast model.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.5 no.1
• /
• pp.83-104
• /
• 2011

Mobile grid is a combination of grid computing and mobile computing to build grid systems in a wireless mobile environment. The development of network technology is assisting in realizing mobile grid. Mobile grid based on established grid infrastructures needs effective resource management and reliable job scheduling because mobile grid utilizes not only static grid resources but also dynamic grid resources with mobility. However, mobile devices are considered as unavailable resources in traditional grids. Mobile resources should be integrated into existing grid sites. Therefore, this paper presents a mobile grid middleware interconnecting existing grid infrastructures with mobile resources and a mobile service agent installed on the mobile resources. This paper also proposes a mobile resource reliability-based job scheduling model in order to overcome the unreliability of wireless mobile devices and guarantee stable and reliable job processing. In the proposed job scheduling model, the mobile service agent calculates the mobile resource reliability of each resource by using diverse reliability metrics and predicts it. The mobile grid middleware allocated jobs to mobile resources by predicted mobile resource reliability. We implemented a simulation model that simplifies various functions of the proposed job scheduling model by using the DEVS (Discrete Event System Specification) which is the formalism for modeling and analyzing a general system. We also conducted diverse experiments for performance evaluation. Experimental results demonstrate that the proposed model can assist in improving the performance of mobile grid in comparison with existing job scheduling models.

• Journal of Advanced Marine Engineering and Technology
• /
• v.34 no.1
• /
• pp.154-162
• /
• 2010

A simulation technique is very useful method to analyze the performance on various engineering area. To automate port systems, we have need of simulation to analyze an effect of assigning and operating devices. Thus we propose simulation methodology to be applied to an analysis, evaluation, planning for port automation. To do this, we have adopted the discrete event system specification based system entity structure / model base framework for modeling and simulation environment. We have performed modeling and simulation on entities of port systems such as container crane, yard tractor, transfer crane, etc. The proposed methodology has an advantage being able to effectively simulate on alternatives of composition and operation strategy for port systems. Some case studies will show the validity of proposed simulation methodology.

• Journal of the Korea Society for Simulation
• /
• v.16 no.3
• /
• pp.65-74
• /
• 2007

A tactic manager which can change the behavior of a simulation model according to the tactic definition file has been studied and implemented. Based on the DEVS(discrete event system specification) formalism, we generated a simulation model which is equipped with the inter ace to the tactic manager. To demonstrate the effectiveness of the tactic manager, a target motion analysis simulation of the warfare between a submarine and a surface ship is simulated.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.25 no.5
• /
• pp.495-501
• /
• 2015

Abroad warships are confronted with various menaces. The most critical threat of the warship is an Anti-Ship Missile (ASM). The ASM is able to be launched at a variety of environments and platforms. The ASM can evades conventional naval radar systems and electronic countermeasure techniques for providing a fatal damage to the warship. To cope with the ASM, an active decoy is an effective method to minimize the direct damage to the warship. The active decoy increases survivability of the warship because the ASM can lure pursuit of the active decoy instead of the warship. In this paper, our proposed method verifies an available response time of the active decoy to deal with the ASM using the active decoy of the warship in marine environments. We defined models of the warship, the ASM, and the active decoy, and executed simulation by combining the models. By the simulation result, the proposed method demonstrated the superiority of the mobile active decoy of the response time decoy among various active decoys, and estimated a protection area to prevent the ASM according the response time of the mobile active decoy against the ASM.

• Proceedings of the Speleological Society Conference
• /
• 1995.09a
• /
• pp.39-44
• /
• 1995

$\bigcirc$ 동굴생물은 식물과 동물, 미생물로 크게 구분되지만 태양광선이 완전히 차단된 동굴내 환경에서는 동굴 동물들이 주종을 이루고 있다. $\bigcirc$ 동굴내의 동물에 관한 연구는 1966년 고씨동굴, 용담굴을 시발로 고수굴, 천동굴, 노동굴, 백룡글, 대이굴, 환선굴 등 강원도내에 분포하는 동굴 중 약 30% 정도는 동물을 포함한 생물상이 조사되었다. $\bigcirc$ 강원도의 동굴동물로서 확인된 것은 9강 30목 141종이며 강별로는 곤충강이 9목 50종 주형강이 4목 49종 갑각강이 6목 18종의 순으로 우세하고 목별로는 거미목이 15과 39종, 톡토기목이 7과 20종, 딱정벌레목이 8과 15종으로 우세한 편이다(남, 1987). $\bigcirc$ 동굴생물에 관한 연구는 육상생태계와 격리된 환경에서 생리, 생태적 적응을 통한 종의 분화나 유전, 진화문제를 추구하며 지하생태계와 육상생태계의 생물적인 유연관계 규명에 중요한 분야로 인정되며 아울러 독특한 특성을 지닌 동굴생물의 생존을 위한 방안과 노력이 일부동굴의 개방 및 개발에 앞서 더욱 구체적으로 모색되고 증대되어야 한다. $\bigcirc$ 동굴환경의 주요 특성은 첫째 햇빛에 차단되어 암흑상태이며, 둘째 내부습도가 높고 기온이나 수온의 년중변화가 심하지 않고, 셋째 먹이연쇄에 필수적인 영양공급원이 제한되어 있다. 따라서 광합성작용으로 성장하는 녹색식물은 태양광선이 유입되는 곳이나 인공조명시설 지역을 제외한 곳에서는 서식이 불가능하고 대형동물이나 초식동물은 생존이 어렵다. $\bigcirc$ 동굴내에는 환경에 적응하는 종들만이 서식할 수 있고 이들을 생태적 특성에 따라 세가지로 구분 할 수 있다. 환경적응 요인으로는 광도, 습도, 온도 영양공급원과 섭식장소, 수중생물의 경우는 특히 수온, 수량 영양원등이다.(중략). 본 연구의 접근방법으로는 ASRS의 개념적인 Reference Model을 수립하고 이 Reference Model에 대한 Formal Model로 DEVS(Discrete Event System Specification)을 이용하여 시스템을 Modeling하였다. 이의 Computer Simulation을 위하여 DEVS형식론 환경에서의 Simulation Language인 DEVSim ++ⓒ를 이용하여 시스템을 구현하였다.. 실형 결과로는 먼저 선형 상미분방정식의 예로 mass-damper-spring system, 비선형 상미분방정식의 예로는 van der Pol 방정식, 연립 상미분방정식의 예로는 mixing tank problem 등을 보였으며, 그의 공학에서 일어나는 여러 가지 문제들도 다루었다.화물에 대한 방어력이 증가되어 나타난 결과로 여겨지며, 또한 혈청중의 ALT, ALP 및 LDH활성을 유의성있게 감소시키므로서 감잎 phenolic compounds가 에탄올에 의한 간세포 손상에 대한 해독 및 보호작용이 있는 것으로 사료된다.반적으로 홍삼 제조시 내공의 발생은 제조공정에서 나타나는 경우가 많으며, 내백의 경우는 홍삼으로 가공되면서 발생하는 경우가 있고, 인삼이 성장될 때 부분적인 영양상태의 불충분이나 기후 등에 따른 영향을 받을 수 있기 때문에 앞으로 이에 대한 많은 연구가 이루어져야할 것으로 판단된다.태에도 불구하고 [-wh]의미의 겹의문사는 병렬적 관계의 합성어가 아니라 내부구조를 지니지 않은 단순한 단어(minimal $X^{0}$ elements)로 가정한다. 즉, [+wh] 의미의 겹의문사는 동일한 구성요 소를 지닌 병렬적 합성어([$[W1]_{XO-}$ $[W1]_{XO}$ ]$_{XO}$)로 그리고 [-wh] 의미의 겹의문사는 중복된 발은을 지닌 한 단어로 ([W]$_{XO}$

• Proceedings of the Korea Society for Simulation Conference
• /
• 1997.04a
• /
• pp.65-65
• /
• 1997

가입자가 B-ISDN(Broadband Integrated Services Digital Network) 서비스에 대한 shb은 수준의 품질 및 안정적인 서비스 제공을 요구함에 따라, 이러한 서비스를 제공하기 위한 ATM (Asynchronous Transfer Mode) 교환기에 대한 신뢰성 설계의 중요성은 증가하 고 있다. 교환기의 중요한 신뢰성 성능 척도 중의 하나인 연결 절단율 (Cutoff connection rate)은 총 연결시간 동안 절단된 연결수로 정의되며, 연결 절단은 호 설정 (Call setup) 단 계를 지나 서비스 중인 연결이 사용자의 요구가 아닌 시스템의 고장으로 종료될 때 발생한 다. 연결 절단율 추정 문제는 기존의 신뢰도 또는 가용도 예측을 위한 시뮬레이션과는 달리 시스템 구성 유니트들의 고장율, 수리율, 그리고 요구된 연결의 트래픽 특성 부분이 혼합된 문제이다. 따라서, B-ISDN 서비스의 중요한 특징인 다양한 트래픽 특성과 시스템의 구성 (Configuration)을 고려하여 연결 절단율을 해석적인 방법을 통하여 추정하는 데네는 어려 움이 있으며 시뮬레이션에 의한 방법이 적절하다. 본 고에서는 B-ISDN 서비스의 트래픽 특 성과 ATM 교환기의 시스템 구성 및 신뢰도 데이터로부터 시스템의 연결 절단율을 추정하 기 위한 시뮬레이터의 기능 및 구조, 시뮬레이션 수행 결과 등을 제시한다. 시뮬레이터는 AweSim 시뮬레이션과 CUser Written Code를 사용하여 개발하였다. 시뮬레이터의 구성 모듈은 크게 호 도착 모듈, 연결 제어 및 자원 할당 모듈, 유니트 고장 및 수리 모듈, 통계 량 수집 모듈 등으로 구성된다. 개발된 시뮬레이터는 B-ISDN 트래픽 파라메터와 연결 절단 율의 상호 관계 규명 및 시스템 설계 대안 (Design alternatives)에 대한 비교/평가에 활용 된다., 수중생물의 경우는 특히 수온, 수량 영양원등이다.(중략). 본 연구의 접근방법으로는 ASRS의 개념적인 Reference Model을 수립하고 이 Reference Model에 대한 Formal Model로 DEVS(Discrete Event System Specification)을 이용하여 시스템을 Modeling하였다. 이의 Computer Simulation을 위하여 DEVS형식론 환경에서의 Simulation Language인 DEVSim ++ⓒ를 이용하여 시스템을 구현하였다.. 실형 결과로는 먼저 선형 상미분방정식의 예로 mass-damper-spring system, 비선형 상미분방정식의 예로는 van der Pol 방정식, 연립 상미분방정식의 예로는 mixing tank problem 등을 보였으며, 그의 공학에서 일어나는 여러 가지 문제들도 다루었다.화물에 대한 방어력이 증가되어 나타난 결과로 여겨지며, 또한 혈청중의 ALT, ALP 및 LDH활성을 유의성있게 감소시키므로서 감잎 phenolic compounds가 에탄올에 의한 간세포 손상에 대한 해독 및 보호작용이 있는 것으로 사료된다.반적으로 홍삼 제조시 내공의 발생은 제조공정에서 나타나는 경우가 많으며, 내백의 경우는 홍삼으로 가공되면서 발생하는 경우가 있고, 인삼이 성장될 때 부분적인 영양상태의 불충분이나 기후 등에 따른 영향을 받을 수 있기 때문에 앞으로 이에 대한 많은 연구가 이루어져야할 것으로 판단된다.태에도 불구하고 [-wh]의미의 겹의문사는 병렬적 관계의 합성어가 아니라 내부구조를 지니지 않은 단순한 단어(minimal $X^{0}$ elements)로 가정한다. 즉, [+wh] 의미의 겹의문사는 동일한 구성요 소를 지닌 병렬적 합성어([$[W1]_{XO-}$ $[W1]_{XO}$ ]$_{XO}$

• Proceedings of the Speleological Society Conference
• /
• 1994.05a
• /
• pp.106-110
• /
• 1994

$\bigcirc$ 동굴생물은 식물과 동물, 미생물로 크게 구분되지만 태양광선이 완전히 차단된 동굴내 환경에서는 동굴 동물들이 주종을 이루고 있다. $\bigcirc$ 동굴내의 동물에 관한 연구는 1966년 고씨동굴, 용담굴을 시발로 고수굴, 천동굴, 노동굴, 백룡굴, 대이굴, 환선굴 등 강원도내에 분포하는 동굴 중 약 30%정도는 동물을 포함한 생물상이 조사되었다. $\bigcirc$ 강원도의 동굴동물로서 확인된 것온 9종 30목141종이며 강별로는 곤충강이 9목 50종 주형강이 4목 49종 갑각강이 6목 18종의 순으로 우세하고 목별로는 거미목이 15과 39종, 톡토기목이 7과 20종, 딱정벌레목이 8과 15종으로 우세한 편이다 (남, 1987). $\bigcirc$ 동굴생물에 관한 연구는 육상생태계와 격리된 환경에서 생리, 생태적 적응을 통한 종의 분화나 유전, 진화문제를 추구하며 지하생태계와 육상생태계의 생물적인 유연관계 규명에 중요한 분야로 인정되며 아울러 독특한 특성을 지닌 동굴생물의 보존을 위한 방안과 노력이 일부동굴의 개방 및 개발에 앞서 더욱 구체적으로 모색되고 증대되어야 한다. $\bigcirc$ 동굴환경의 주요 특성은 첫째 햇빛이 차단되어 암흑상태이며, 둘째 내부습도가 높고 기온이나 수온의 연중변화가 심하지 않고, 셋째 먹이연쇄에 필수적인 영양공급원이 제한되어 있다. 따라서 광합성작용으로 성장하는 녹색식물은 태양광선이 유입되는 곳이나 인공조명시설 지역을 제외한 곳에서는 서식이 불가능하고 대형동물이나 초식동물은 생존이 어렵다. $\bigcirc$ 동굴내에는 환경에 적응하는 종들만이 서식할 수 있고 이들을 생태적 특성에 따라 세가지로 구분 할 수 있다. 환경적응 요인으로는 광도, 습도, 온도 영양공급원과 섭식장소, 수중생물의 경우는 특히 수온, 수량 영양원등이다.(중략)다. 본 연구의 접근방법으로는 ASRS의 개념적인 Reference Model을 수립하고 이 Reference Model에 대한 Formal Model로 DEVS(Discrete Event System Specification)을 이용하여 시스템을 Modeling하였다. 이의 Computer Simulation을 위하여 DEVS형식론 환경에서의 Simulation Language인 DEVSim ++ⓒ를 이용하여 시스템을 구현하였다.. 실형 결과로는 먼저 선형 상미분방정식의 예로 mass-damper-spring system, 비선형 상미분방정식의 예로는 van der Pol 방정식, 연립 상미분방정식의 예로는 mixing tank problem 등을 보였으며, 그의 공학에서 일어나는 여러 가지 문제들도 다루었다.화물에 대한 방어력이 증가되어 나타난 결과로 여겨지며, 또한 혈청중의 ALT, ALP 및 LDH활성을 유의성있게 감소시키므로서 감잎 phenolic compounds가 에탄올에 의한 간세포 손상에 대한 해독 및 보호작용이 있는 것으로 사료된다.반적으로 홍삼 제조시 내공의 발생은 제조공정에서 나타나는 경우가 많으며, 내백의 경우는 홍삼으로 가공되면서 발생하는 경우가 있고, 인삼이 성장될 때 부분적인 영양상태의 불충분이나 기후 등에 따른 영향을 받을 수 있기 때문에 앞으로 이에 대한 많은 연구가 이루어져야할 것으로 판단된다.태에도 불구하고 [-wh]의미의 겹의문사는 병렬적 관계의 합성어가 아니라 내부구조를 지니지 않은 단순한 단어(minimal $X^{0}$ elements)로 가정한다. 즉, [+wh] 의미의 겹의문사는 동일한 구성요 소를 지닌 병렬적 합성어([$[W1]_{XO-}$ $[W1]_{XO}$ ]$_{XO}$)로 그리고 [-wh] 의미의 겹의문사는 중복된 발은을 지닌 한 단어로 ([W]$_{XO}$

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

컴퓨터 통신망의 활용이 각 분야에서 걸쳐서 점차 확대되고 있으며 의료 분야에서도 원격진료(tele-medicine), 원격교육(tele-education), 원격수술(tele-surgery) 등에 대한 시스템 개발이 관심을 끌고 있다. 본 연구에서는 초고속 정보통신망 환경에서 정형외과 모의수술을 하기 위한 시뮬레이터의 프로토타입을 구현하였다. 원격 모의수술 시뮬레이터를 구축하기 위해서는 CT, MRI와 같은 의학영상 처리, 다지점간의 회의를 제어할 수 있는 통신 제어, 환자의 진료를 위한 멀티미디어 데이터의 저장 및 검색을 위한 데이터베이스 구축 등 다양한 기술들의 총체적인 결합이 요구되어진다. 구축 시뮬레이터는 세가지 주요 서브 시스템으로 구성된다. 첫째, 원격 시뮬레이션을 위한 전반적인 관리, 운영, 제어를 담당하는 수술회의 시스템, 둘째, 모의수술을 가능케 하기 위한 2차원 영상의 전처리 3차원 영상 재구성 및 조작을 통한 모의수술 시스템, 셋재, 멀티미디어 환자 자료의 검색 및 관리를 하기 위한 데이터베이스 운영시스템으로 구성된다. 제안된 원격 모의수술 시뮬레이터는 서버-클라이언트 구조를 기반으로 하고, 여러명의 의사가 공동작업(CSCW: Computer Supported Cooperative Work)에 의해 모의수술을 할 수 있도록 공용 윈도우를 기반으로 한 그래픽 사용자 인터페이스를 제공한다. 멀티미디어 의료 데이터의 전송은 TCP/IP 프로토콜을 사용하고, 사용자 인터페이스는 X-window를 이용하여 구축하였다. 본 시뮬레이터는 SUN Server 1000을 서버로 하고, 두대의 SDT Workstation을 클라이언트로 하여 Ethernet 환경에서 구현 및 검증하였다. 또한 ATM Network에서 본 시뮬레이터를 시험함으로써 국책 사업으로 구축되는 초고속 정보통신망 환경에서의 사용 가능성을 입증하였다. 판단된다.원과 섭식장소, 수중생물의 경우는 특히 수온, 수량 영양원등이다.(중략). 본 연구의 접근방법으로는 ASRS의 개념적인 Reference Model을 수립하고 이 Reference Model에 대한 Formal Model로 DEVS(Discrete Event System Specification)을 이용하여 시스템을 Modeling하였다. 이의 Computer Simulation을 위하여 DEVS형식론 환경에서의 Simulation Language인 DEVSim ++ⓒ를 이용하여 시스템을 구현하였다.. 실형 결과로는 먼저 선형 상미분방정식의 예로 mass-damper-spring system, 비선형 상미분방정식의 예로는 van der Pol 방정식, 연립 상미분방정식의 예로는 mixing tank problem 등을 보였으며, 그의 공학에서 일어나는 여러 가지 문제들도 다루었다.화물에 대한 방어력이 증가되어 나타난 결과로 여겨지며, 또한 혈청중의 ALT, ALP 및 LDH활성을 유의성있게 감소시키므로서 감잎 phenolic compounds가 에탄올에 의한 간세포 손상에 대한 해독 및 보호작용이 있는 것으로 사료된다.반적으로 홍삼 제조시 내공의 발생은 제조공정에서 나타나는 경우가 많으며, 내백의 경우는 홍삼으로 가공되면서 발생하는 경우가 있고, 인삼이 성장될 때 부분적인 영양상태의 불충분이나 기후 등에 따른 영향을 받을 수 있기 때문에 앞으로 이에 대한 많은 연구가 이루어져야할 것으로 판단된다.태에도 불구하고 [-wh]의미의 겹의문사는 병렬적 관계의 합성어가 아니라 내부구조를 지니지 않은 단순한 단어(minimal $X^{0}$ elements)로 가정한다. 즉, [+wh] 의미의 겹의문사는 동일한 구성요 소를 지닌 병렬적 합성어([$[W1]_{XO-}$ $[W1]_{