• 한국정보통신학회논문지
• /
• 제23권9호
• /
• pp.1038-1048
• /
• 2019

최근, 선박의 항해 안전을 지원하기 위한 다양한 시스템이 개발되고 있다. 이러한 시스템의 유용성을 검증하기 위해서는 실제 선박에 탑재하여 운용해보는 것이 가장 이상적이나 현실적으로는 많은 어려움이 존재한다. 그 대안으로 모델링 및 시뮬레이션(M&S) 기법을 적용한 유용성 검증 방법이 요구된다. 현실과 가장 가까운 선박 조종 시뮬레이터(FMSS)는 구축비용이 수억에서 수십억에 달하는 등 매우 고가이고, 운용을 위한 전문 인력이 필요하다는 한계가 존재한다. 이러한 이유로, 본 논문에서는 이산사건 시스템 명세(DEVS) 형식론 기반의 선박 항해 모델링 및 시뮬레이션을 통한 항해 안전 지원 시스템을 검증하기 위한 방법을 제안한다. 그 첫 단계로 SES/MB 프레임워크를 기반으로 항해 시뮬레이션 아키텍처를 설계하고, DEVS 형식론을 기반으로 선박 핵심 장비 및 항해사 에이전트를 모델링하는 것에 관한 내용을 기술한다. 이러한 내용을 바탕으로 선박 항해 시뮬레이션 시스템을 구현하고, 다양한 시나리오를 통해 충돌회피 시뮬레이션 등과 같은 항해 안전 지원 요소의 효과도 평가가 가능할 것으로 판단된다.

• 한국지능시스템학회논문지
• /
• 제14권4호
• /
• pp.487-492
• /
• 2004

본 논문은 Crisp Discrete Event System(CDES)에서 다룰 수 없는 특성을 가지는 의료진단이나 교통제어와 같이 애매하거나 불확실한 판단 그리고 관련성이 모호한 판단의 근거들에 의해 결정되어지는 사건들로 이루어진 Fuzzy Discrete Event System(FDES)의 모델링 방법과 그 응용에 대하여 연구하였다. 일반적인 CDES는 모델링 방법이 많이 연구되어져 왔으나, FDES는 발생되어지는 사건들의 정성적인 특성과 적용되어지는 경우가 드문 이유로 거의 연구되어져 있지 않다. 본 논문에서는 Fuzzy Timed Transition Petri Net(FTTPN)으로 FDES인 교통 시스템을 모델링하고 교통 신호제어기를 설계하였다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2017년도 제48회 춘계학술대회논문집
• /
• pp.213-217
• /
• 2017

액체로켓엔진 고장에서 시동과정이 30% 이상을 차지하며 특히, 우주왕복선 주 엔진(Space Shuttel Main Engine, SSME)은 2%의 밸브위치 오차 또는 0.1초의 시간오차와 같은 작은 변화에도 급격하게 변화하는 매우 민감한 시스템으로 시동과정의 모델링이 중요하다. 하지만, 시동과정에서 비선형 질량 유량과 열전달 특성 때문에 많은 어려움이 발생한다. 본 논문에서는 이를 해결하기 위하여 부분적인 전산유체해석(Computational Fluid Dynamics, CFD) 방법을 사용하였으며 본 논문에서는 구성품의 모델링을 수행하여 정상상태에서 확인을 하였다.

• 정보과학회 논문지
• /
• 제42권7호
• /
• pp.823-833
• /
• 2015

하이브리드 시스템은 연속 시스템과 이산 시스템으로 구성된 동적 시스템이다. 하이브리드 시스템은 자동차, 항공, 군사 방어 등 시스템을 명세 하는데 사용되고 있으며 이를 위해 다양한 모델링 언어와 지원 도구가 개발되고 사용되어 왔다. 제안되어 사용되고 있는 언어와 도구들은 목적에 따라 특정한 특징들을 갖고 있다. 한국전자 통신연구원에서 제안한 하이브리드 시스템 모델링 언어인 ECML (ETRI CPS Modeling Language)은 DEV&DESS (Differential Event and Differential Equation Specified System) 형식론을 CPS (Cyber-Physical System) 환경에 맞게 확장한 언어이며 모델링 및 시뮬레이션을 지원한다. 논문에서는 ECML을 소개하고 정형 정의를 제안한다. 또한 제안된 정의에 따라 간단한 차량 모델을 명세한 사례연구를 수행한다.

• 한국시뮬레이션학회논문지
• /
• 제27권3호
• /
• pp.37-44
• /
• 2018

복잡한 이산 사건 동적 시스템을 분석하기 위해 모델링 및 시뮬레이션(M&S) 기법을 적용함에 있어서, 기존에는 사용자 수준에 따라 각기 다른 시뮬레이션 환경을 사용해야 했다. 그에 따른 불편함을 해결하기 위하여 본 논문에서는 사용자 수준에 따라 M&S를 수행할 수 있는 통합된 개발 환경 및 개발 환경에서 모델을 효율적으로 관리하기 위해 정형화된 인터페이스를 제안한다. 인터페이스는 확장된 DEVS 형식론 및 모델 제작 규칙으로 구성되어있다. 개발 환경은 모델링 환경과 시뮬레이션 환경으로 나뉘고, 모델링 환경에서는 사용자의 수준별로 다른 모델링 방식을 제공한다. 모델링 작업의 결과로 생성된 모델을 활용하여 시뮬레이션 환경에서 여러 파라미터를 입력해서 시뮬레이션 함으로써 다양한 경우에 대해서 실험을 할 수 있다. 사례 연구에서는 제안한 M&S 환경을 구현한 내용에 대해 소개하고, 환경을 활용해서 복잡한 국방 전투 시스템을 모델링하고, 만들어진 모델을 바탕으로 시뮬레이션 하는 과정을 소개한다.

• 한국시뮬레이션학회논문지
• /
• 제21권4호
• /
• pp.35-46
• /
• 2012

실시간 시스템의 복잡도가 증가함에 따라 임시방편적 시스템 해석 방법은 시스템 동작 영역 전체를 완전하게 분석하는 데는 한계가 있다. 모델링을 기반으로 한 정형 기법은 그러한 한계점을 극복 할 수 있다. 본 논문은 모델 기반 정형 기법을 이용하여 실시간 시스템의 안전성 및 필연성 등과 같은 논리적 타당성을 이산 사건 모델 수준에서 분석하는 방법을 제안한다. 먼저, 분석 대상 실시간 시스템은 이산사건 수준에서 계층적으로 모듈화하여 모델을 명세하는 수학적 형식론인 DEVS (Discrete Event Systems Specification) 형식론으로 기술된다. 다음으로, 기술된 DEVS 모델은 시간 명세가 포함된 전역 상태 공간을 표현하는 C-DEVS (Communicating DEVS) 형식론으로 표현한 후 C-DEVS 형식론의 해석 알고리즘을 통해 시스템 동작을 분석된다. 제안된 C-DEVS 형식론 및 해석 알고리즘은 주어진 시스템의 동작 특성을 분석하는 과정에서 시스템의 상태 공간을 완전하게 빠짐없이 탐색하는 것을 보장한다. 간단한 건널목 제어 시스템의 안전성 분석 사례 연구를 통하여 제안된 모델 기반 해석 기법의 효율성을 예시 하였다.

• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.219-227
• /
• 2008

DEVS 형식론은 이산 사건 시스템을 계층적이고 모듈러하게 표현할 수 있다. MATLAB/Simulink는 연속 시스템과 이산 시간 시스템을 모델링하고 시뮬레이션을 수행하는 데 널리 쓰인다. 본 논문은 MATLAB/Simulink 환경에서 DEVS 형식론을 구현하는 방법론을 제안한다. 본 논문에서 제안하는 방법론을 이용하여MATLAB/Simulink에서 제공하는 다양한 공학 방정식과 알고리즘을 사용할 수 있다. 또한 동일한 시뮬레이션 환경에서 연속 시스템과 이산 사건 시스템이 혼합된 하이브리드 시스템에 대한 시뮬레이션을 수행할 수 있다. 이를 위해 본 논문은 Simulink-DEVS 모델과 이 모델을 시뮬레이션을 수행하는 데 필요한 시간 진행 알고리즘을 제안한다. 특히 시간 진행 알고리즘은 시스템의 유형에 상관없이 적절한 시간 진행을 수행한다. 두 가지 실험 결과를 통해 본 논문에서 제안하는 방법론의 효용성을 입증한다.

• 한국산업정보학회논문지
• /
• 제29권2호
• /
• pp.69-80
• /
• 2024

본 논문에서는 대기행렬이론의 대표적인 서버제어정책 중 D-정책과 T-정책이 혼합된 상황 하에서 운영되는 이산시간 대기행렬시스템을 다룬다. 베르누이 도착과정으로 시스템에 도착하는 고객들을 단일 서버가 선입선출로 서비스하며, 시스템 내에 서비스할 고객이 없으면 서버는 휴가를 떠났다가 돌아와서 대기 중인 고객들의 서비스시간의 총합(즉, 총 일량)이 D를 초과할 때까지 반복하여 휴가를 갖는다. 본 연구에서 다루는 시스템의 운영은 2차전지를 사용하는 모바일 디바이스의 효율적인 자원 활용의 모델링에 사용할 수 있다. 또한 통신·교통 시스템 분석에 적합한 것으로 잘 알려진 이산시간 시스템을 대상으로 하여 유연한 혼합 제어정책(DT-정책) 하에서 대기행렬시스템의 안정상태 대기시간과 체재시간을 하나의 틀 안에서 유도하였다는 데 그 의의가 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
• /
• pp.119-123
• /
• 2008

본 논문에서는 요구사항 기반 신뢰성 자동 테스트를 하기 위해서 테스트 수행기를 구현하고, 테스트 수행기 내부의 스케줄링 방법을 제안하였다. 제안한 방법으로 상용 FATC를 테스트한 결과 이산적으로 모델링할 수 있는 임베디드 시스템에서는 잘 동작함을 확인할 수 있었다.

• 전기의세계
• /
• 제39권3호
• /
• pp.26-31
• /
• 1990

응용공학 문제들은 일반적으로 시간의 존장에 관련된 문제들이다. 해결하고자 하는 문제의 공간영역이 크고, 시간영역이 또한 큰 것이 보통인대, 이럴수록 유한요소법이나 그 밖의 다른 이산화 방법을 이용할 경우 자유도를 줄임으로서 수치해석상의 문제의 크기를 줄이는 문제는 중요한 과제가 아닐 수 없다. 고주파 성분에 대한 영향을 파악해 내기 위해서는 유한요소의 수 또는 자유도의 수를 늘려야 하므로 한없이 문제의 크기가 커질 수 있기 때문이다. 따라서 분할의 기준이 되는 오차(error)의 산정은 어떻게 구할 것인지 하는 문제 또한 중요한 연구과제가 된다.