• 제어로봇시스템학회지
• /
• 제11권4호
• /
• pp.54-65
• /
• 2005

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1998년도 춘계학술발표회논문집(1)
• /
• pp.341-346
• /
• 1998

최신 제어이론의 한 분야인 이산사건 동적시스템 (DEDS ; Discrete Event Dynamic System) 제어이론을 원전의 제한 계통에 적용하였다. 이산사건 이론을 원전의 제한 계통 제어 절차에 적용하면 보다 체계적이고 조직적으로 제한 계통을 위한 제어기를 구축할 수 있는 장점이 있다. 본 논문에서는 제한 계통 상태 및 운전원의 조치사항을 이산사건 시스템으로 모델링하여 제약조건에 맞는 수퍼바이저를 구성하고 이를 바탕으로 제한 계통 제어기를 구축하는 방법을 제시하였다.

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

이산사건 시스템을 기술하는데는 다양한 방법론들이 있으며 event의 관점에서 본다면, event loss 방법론과 event lossless방법론이 있다. event loss방법론의 경우 때때로 원치 않는 event loss가 발생하여 시스템을 deadlock의 상태로 이끌 수가 있으며, 이러한 것을 피하기 위해 본 논문은 event loss방식의 동기식방법론인 DEVS형식론으로 기술된 모델을 본 논문에서 제안하는 TSRG란 방법을 이용하여 event loss의 유무를 해석할 수 있는 기법을 소개하고자 한다. 소개된 해석 기법은 linear programming을 이용하여 해를 구할 수 있으며, DEVS형식론으로 기술된 이산사건 모델들간의 event loss의 유무를 해석함으로써 서로간의 통신 동기화의 가능성 분석을 가능하도록 한다.

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

본 연구는 Zeigler가 제안한 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 거시적 및 미시적 교통류 시뮬레이션 방법론의 개발을 주 목적으로 한다. 도로 교통망의 모델링 방법은 미시적(microscopic)방법과 거시적(macroscopic)방법으로 분류된다. 이러한 모델링 방법들은 그 목적에 따라 각기 표현되어 제각기 사용되어 왔으나, 시스템 이론적으로 이들은 독립적 모델이 아니며 오히려 이들은 서로 동질적 추상화 관계에 있어서, 통합 모델링 환경의 구축시 미시적 모델들로부터 추상화에 의한 거시적 모델의 자동생성 등 설계상의 효율뿐 아니라 모델간의 일관성을 통한 모델 유효성을 보장할 수 있는 장점이 제공될 수 있다. 따라서, 본 논문에서는 서로 다른 표현 방법(즉, 이산시간 형식론과 이산사건 형식론)간의 통합 표현을 기반으로 양자간의 추상화 관계를 도출하고, 이를 이용한 모델 추상화를 통해 거시적 및 미시적 교통류 시뮬레이션 방법론을 제안한다. 시스템 이론적 접근을 토대로 접근한 통합 교통류 시뮬레이션 환경은 미국 Berkeley 대학 교통 연구소에서 개발한 SHIFT 등과 같은 최첨단 교통류 시뮬레이션 도구에 비하여 SES/MB를 기반을 시스템 이론적이며 소프트웨어공학적인 접근을 통하여, 1) 기존 제어 방식의 검증 및 신뢰도 분석, 2) 각종 사건, 사고의 시간별 파급효과 분석, 3) 도로건설 계획안에 대한 타당성 검토, 4) 운전자 및 관리자를 위한 예측된 교통정보 등을 제공할 수 있을 것으로 기대된다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2000년도 추계학술대회 논문집
• /
• pp.1-5
• /
• 2000

하이브리드 시스템의 행동 표현을 각각의 시스템에 적합한 모델링 형식론으로 표현하면, 각각의 모델이 지니고 있는 정확도를 유지할 수 있고, 수행속도를 증가시키는 이점을 가지게 된다. 하이브리드 시스템을 모델링 하는 과정에서 시간 진행에 따른 수행 의미의 고찰은 모델링 방법에 중요한 영향을 끼칠 수 있다. 본 논문에서는 이산 사건 시스템과 연속 시간 시스템간의 입출력 교환을 위해서, 사건을 연속 입력으로 변환하고, 연속 출력을 사건으로 변환하는 인터페이스를 표현하는 형식론을 정의하고, 시뮬레이션의 시간 진행에 따른 종속 관계 방법과 독립 관계 방법을 모두 수행할 수 있는 알고리즘을 제안한다. 이 때, 이산 사건 시스템은 DEVS 형식론에 기반한 알고리즘으로 수행하고, 연속 시스템을 미분방정식의 산술적 누적 알고리즘에 따라 수행하는 통합 환경을 구축하며, 이를 바탕으로 두 미사일의 격추 예제를 수행하여 전쟁 시뮬레이션 분야에 적용가능성을 확인한다.

• 대한조선학회논문집
• /
• 제45권6호
• /
• pp.656-668
• /
• 2008

When it comes to design and acquire underwater vehicles such as a submarine and a torpedo according to the process of SBA(Simulation Based Acquisition)/SBD(Simulation Based Design), it is necessary to predict the performance of interest precisely and to perform the test over and over again using the M&S(Modeling and Simulation) of the engineering and the engagement level. In this paper, we research the DEVS(Discrete Event System Specification) and DTSS(Discrete Time System Specification) formalism based standard model architecture for the underwater vehicle which can support both the heterogeneous level of the M&S(Engineering/Engagement) and the different system of the M&S(Discrete Event System and Discrete Time System). To validate this standard modeling architecture, we apply it to the submarine normal diving simulation.

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

이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하고 있어 이산사건시스템 모델링 시뮬레이션 (M&S)에 많이 사용되어 왔다. 이러한 수학적 표현 대신에 DEVS 다이어그램은 복잡한 시스템을 보다 직관적이며 편리한 표현력을 제공한다. 본 논문은 DEVS 다이어그램을 이용하여 표현된 모델을 시뮬레이션 코드로 체계적으로 구현하며 검증하는 DEVS 클린룸 프로세스를 제안하였다. 구체적으로, 주어진 다이어그램 모델의 적합성 검사, 테이블 DEVS 모델로의 변환, 마지막으로 시뮬레이션 소스코드로 변환하는 방법과 역으로 추적성을 기반으로 한 검사기법을 통해 정적 검증하는 구체적인 방법을 제시하였다. 간단한 예제를 통해 제안된 프로세스를 적용하는 구체적인 방법을 설명하였으며, 적용사례 통해 제안된 기법이 실용적으로 적용 가능한 효과적인 프로세스임을 확인하였다.

• 제어로봇시스템학회지
• /
• 제6권4호
• /
• pp.28-37
• /
• 2000

본 논문에서는 관리제어시스템의 대상인 이산사건시스템을 하나의 전역 관리제어기 (global supervisor)가 아닌 여러 개의 국소 관리제어기(local supervisor)들의 동시수행 (concurrent action)을 통한 분산관리제어에 대해 알아본다. 반적으로 관리제어 대상시스 템 G 의 사양에 대해 관리제어가 설계가능하면 하나의 전역 관리제어기(S)를 설계하여 관리제어시스템의 언어 L(S/G)를 생성할 수 있다. 이에 반하여, 분산 관리제어이론은 주 어진 사양(specification)에 대해 여러 개의 국소 관리제어기(Si) 들의 동시수행(∧Si/G)를 생성함으로써 전역 관리제어기와 동등한 역할 즉 L(S/G)=L(∧Si/G)을 이루고자 하는 데 그 목적이 있다. 리제어 대상시스템 G의 발생가능한 사건들에 관해 제어가능성과 관측가 능성을 고려하여 모든 사건들이 관측가능할 경우와 관측불가능한 사건들이 존재하는 경 우로 구분하여 분산 관리제어시스템의 설계에 대해 알아본다. 또한 관측 불가능한 경우 와 관측불가능한 사건들이 존재하는 경우로 구분하여 분산 관리제어시스템의 설계에 대 해 알아본다. 또한 관측불가능한 사건들이 존재할 때 사양언어(specification language) K 가 여러 개의 국소사양 (local specification)들의 교집합으로 주어진 경우의 국소 분산 관 리제어와 하나의 전역사양(global specification)으로 주어진 경우의 전역 분산 관리제어 로 세분하여 각각의 분산 관리제어결과가 전역 관리제어결과와 서로 같아질 수 있는 조 건에 대해 알아본다

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

본 연구에서는 조선 공정 계획의 수립 완성도 향상을 위한 다양한 시뮬레이션 시스템의 개발을 지원하는 시뮬레이션 프레임 워크(simulation framework)를 제안하였다. 그리고 제안된 시뮬레이션 프레임워크의 핵심 부분인 시뮬레이션 커널을 구현하였다. 구현된 시뮬레이션 커널은 이산 사건(discrete event)과 이산 시간(discrete time) 시뮬레이션뿐만 아니라 이들이 혼합된 형태의 시뮬레이션도 처리 가능하도록 하였다. 제안된 시뮬레이션 프레임워크의 효율성과 효용성을 평가하기 위해, 이를 조선 분야의 블록 탑재 공정(block erection process)에 적용하였다. 그 결과, 제안된 시뮬레이션 프레임워크가 조선 공정 계획을 위한 다양한 시뮬레이션 시스템을 개발하는데 효과적으로 사용될 수 있음을 확인하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1998년도 The Korea Society for Simulation 98 춘계학술대회 논문집
• /
• pp.43-49
• /
• 1998

본 논문에서는 이산사건 시스템의 무시간 DEVS/DEVS 명세에 대한 계층적인 설계/검증 방법을 제안하고자 한다. 제안된 방법의 가장 큰 장점은 DEVS 상위모델과 DEVS 하위 모델간의 반복적인 설계/검증 시 계층적 인 방식을 채택하여 검증 시 일반적으로 문제가 되는 상태폭발 문제를 크게 완화시켰다는 점이다. 간단한 예제를 통하여 제안된 방법론을 자세히 보여주고자 한다.