• 대한의용생체공학회:학술대회논문집
• /
• 대한의용생체공학회 1997년도 춘계학술대회
• /
• pp.145-149
• /
• 1997

This paper describes a methodology for the development of models of discrete event system. The methodology is based on transformation of continuous state space into discrete one to homomorphically represent dynamics of continuous processes in discrete events. This paper proposes a formal structure which can coupled discrete event system models within a framework. The structure employs the discrete event specification formalism for the discrete event system models. The proposed formal structure has been applied to develop a discrete event specification model for the complex spectral density analysis of strip for urin analyzer system. For this, spectral density data of strip is partitioned into a set of Phases based on events identified through urine spectrophotometry. For each phase, a continuous system of the continuous model for the urine spectral density analysis has been simulated by programmed C++. To validate this model, first develop the discrets event specification model, then simulate the model in the DEVSIM++ environment. It has the similar simulation results for the data obtained from the continuous system simulation. The comparison shows that the discrete event specification model represents dynamics of the urine spectral density at each phase.

• 한국컴퓨터정보학회논문지
• /
• 제12권6호
• /
• pp.21-30
• /
• 2007

시뮬레이션이란 실세계의 다양한 객체들의 구조와 행위에 대한 자료를 수집하여 모델링하고 이를 컴퓨터 프로그램으로 모의 실험함을 말하며, 주요 기반기술들로서 DEVS (Discrete Event System Specification) 형식론을 비롯하여 페트리 넷 이나 구조적 오토마타 등이 연구되고 있다. 그러나 이러한 시뮬레이션의 연구영역이 보다 다양화되고 복잡하게 발전됨에 따라, 최근에는 인공지능의 지능형 에이전트기법을 도입하여 해결하는 연구가 활성화되고 있다. 본 연구에서는 시뮬레이션에 관한 모의실험을 보다 원활히 수행하기 위해서 지능형 멀티 에이전트기반의 시뮬레이션 도구를 개발하고자 한다. 이러한 도구의 특징은 첫째, 인공지능의 기능들을 라이브러리로 제공할 수 있고, 둘째, 유한상태기계(FSM)기반으로 에이전트 시스템을 설계하여, 시뮬레이션의 설계 모델을 보다 단순화 할 수 있는 장점이 있으며, 셋째, 모델러, 스크립터, 시뮬레이터등의 보조툴들을 제공함으로서 사용자들이 보다 편리하게 시뮬레이션 시스템을 개발할 수 있는 프레임워크를 제공한다. 시스템의 구성은 코어 시뮬레이션 엔진 유틸리티, 그리고 기타 보조툴들로 구성하였으며, 현재까지 개발된 시스템으로 몇 가지 영역을 대상으로 실험을 하였고 그 결과를 기술하였다.

• 한국컴퓨터정보학회논문지
• /
• 제12권5호
• /
• pp.49-56
• /
• 2007

계산 그리드 컴퓨팅은 수많은 컴퓨팅 자원들을 이용하여, 슈퍼 컴퓨팅이나 이전의 분산 컴퓨팅으로 해결 할 수 없는 대용량의 연산 문제를 해결한다. 계산 그리드 컴퓨팅 환경에서의 자원은 이 기종으로 구성되어, 효율적인 작업 처리를 위해서는 스케줄링 기법이 필요하다. 본 논문에서는 계산 그리드에서 효율적인 작업 스케줄링을 위하여 퍼지로직 기반의 그리드 작업 스케줄링 모델을 제안한다. 퍼지로직 기반의 그리드 작업 스케줄링 모델은 퍼지로직을 이용하여 자원의 효율성을 평가하며, 평가된 기반으로 그룹을 구성하여 작업을 할당하는 모델이다. 우리는 DEVS 모델링 & 시뮬레이션 환경에서 시뮬레이션 모델을 구성하고 Random 스케줄링과 MCT 스케줄링 모델과의 비교 실험을 통하여 제안된 퍼지로직 기반의 그리드 작업 스케줄링 모델이 작업완료시간, 작업손실, 통신량을 개선함으로써 더욱 더 안정적이고 빠른 작업 처리 서비스를 그리드 사용자에게 제공할 수 있다는 사실을 증명하였다.

• 대한산업공학회지
• /
• 제39권6호
• /
• pp.498-516
• /
• 2013

Combat Modeling and Simulation (M&S) is significant to decision makers who predict the next direction of wars. Classical methodologies for combat M&S aimed to describe the exact behaviors of combat entities from military doctrines, yet they had a limitation of describing reasonable behaviors of combat entities that did not appear in the doctrines. Hence, this paper proposed a synthesizing modeling methodology for combat entity models considering both 1) the exact behaviors using descriptive modeling and 2) the reasonable behaviors using prescriptive modeling. With the proposed methodology, combat entities can represent a reality for combat actions rather than the classical methodologies. Moreover, the experiment results using the proposed methodology were significantly different from the results using the classical methodologies. Through the analyses of the experiment results, we showed that the reasonable behaviors of combat entities, which are not specified in the doctrines, should be considered in combat M&S.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.187-189
• /
• 1998

최근 웹을 폭발적인 확산과 웹 기술의 급속한 발달에 따라 웹 환경과 이산사건 시스텀 시뮬레이션 환경을 결합시키려는 웹-기반 시뮬레이션에 대한 연구가 활발히 진행되고 있다. 웹 문서 내에서 시뮬레이션 모델을 수행시키는 웹-기반 시뮬레이션은 교육, 광고, 제품 소개 및 훈련, 동적 문서의 제작 등 다양한 응용분야가 있다. 기존의 웹- 기반 시뮬레이션 환경은 전체 시뮬렝션이 한 시스템에서 수행되는 순차적 시뮬레이션에 기반을 두고 있다. 본 논문에서는 분산된 환경 하에서 동시 공학적인 시스템 개발에 이용될 수 있는 분산-모델 분산-시뮬레이션 형태의 웹-기반 시뮬레이션을 제시하며 이의 구현을 위한 전 단계로서 인터넷 하에서 구축된 분산 시뮬레이션 환경에 대해 설명한다. 본 환경에서는 네트웍 시스템 및 하드웨어 모델링을 용이하게 하기 위하여 확장된 DEVS 형식론을 도입하였고 개발된 모델이 이종의 시스템들 간에 자유로이 전송되어 수행될 수 있도록 Java를 사용하여 시뮬레이션 환경을 구축하였다.

• 대한교통학회지
• /
• 제14권1호
• /
• pp.101-116
• /
• 1996

Increased attention has been paid in recent years to the need of traffic management for alleviating urban traffic congestion. This paper presents a discrete event modeling and simulation framework for analyzing the traffic flow. Traffic simulation models can be classified as being either microscopic and macroscopic models. The discrete event modeling and simulation technique can be basically employed to describe the macroscopic traffic simulation model. To do this, we have employed the System Entity Structure/Model Base (SES/MB) framework which integrates the dynamic-based formalism of simulation with the symbolic formalism of AI. The SES/MB framework supports to hierarchical, modular discrete event modeling and simulation environment. We also adopt the Symbolic DEVS (Discrete Event System Specification) to developed the automated analysis methodology for generating optimal signal light policy. Several simulation tests will demonstrates the techniques.

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

본 연구는 Zeigler가 제시한 DEVS 모델링 및 시뮬레이션 방법론에 전문가 시스템 및 기호적 시뮬레이션기법등 다양한 추론기법들을 결합시킴에 의해, 캠퍼스 네트워크의 설계 및 성능분석 자동화 방법론과 도구의 개발을 주 목적으로 한다. 이를 위하여, 본 연구에서는 SES/MB를 이용하여 정보시스템의 구성설계 및 성능분석 자동화 방법론을 제시하였고, 캠퍼스 네트워크에 대한 사례 연구를 통하여 그 적용 가능성을 검토하였다. 기존의 연구들과의 차별성은 다음과 같이 요약된다; 첫째, 구성 전문가의 지식베이스를 활용한 구성 설계 자동화, 둘째, 해석적 기법이 아닌 시뮬레이션 기법을 이용한 성능분석, 셋째, 요구조전 및 제약조건들에 따른 행동궤적의 자동생성 및 이를 이용한 성능분석 자동화등을 들 수 있다.

• 한국시뮬레이션학회논문지
• /
• 제13권4호
• /
• pp.43-53
• /
• 2004

The distributed OCSP (Online Certificate Status Protocol), composed of multiple responders, is a model that enhances the utilization of each responder and reduces the response time. In a multi-user distributed environment, load balancing mechanism must be developed for the improvement of the performance of the whole system. Conservative load balancing algorithms often ignore the communication cost of gathering the information of responders. As the number of request is increased, however, fail to consider the communication cost may cause serious problems since the communication time is too large to disregard. We propose an adaptive load balancing algorithm and evaluate the effectiveness by performing modeling and simulation. The principal advantage of new algorithm is in their simplicity: there is no need to maintain and process system state information. We evaluated the quality of load balancing achieved by the new algorithm by comparing the queue size of responders and analyzing the utilization of these responders. The simulation results show how efficiently load balancing is done with the new algorithm.

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

현재 S회사의 생산공정은 전 과정에 걸쳐 통합된 정보처리 체계가 없고, 생산계획 및 통제 과정에서의 복잡한 계산 및 중요한 의사결정이 담당자의 경험적 지식에 의존하고 있다. 이러한 상황의 한계로, 현재의 생산공정계획 및 생산실행계획은 시간적 제약이 크고, 유연적인 수정이 어려울 뿐 아니라, 통계적 분석의 자료체계가 부실하다. 그러나, S회사는 보다 개선된 공정관리를 위해 새로운 생산계획전략의 필요성을 느끼고 있다. 본 논문에서는 이러한 문제를 해결하기 위한 하나의 접근방법으로써 DEVS 형식론을 바탕으로 공정을 효과적으로 모델링 및 시뮬레이션화 하였다. 생산계획의 핵심부분인 전문담당자의 경험적 지식을 체계적 규칙으로 정리하여 모델에 반영하였고 이를 통해 습득된 시뮬레이션 결과를 분석하여 생산계획 전략의 신뢰할만한 평가기준을 마련하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2003년도 추계학술대회 및 정기총회
• /
• pp.207-217
• /
• 2003

지능적으로 공격 패턴을 달리하는 많은 공격들에 대응하기 위해 기존의 보안 시스템은 강력한 보안시스템으로 확장되고 있다. 보안 시스템과 같은 규모가 크거나 복잡한 소프트웨어 계발에 있어서 설계 및 구현 과정에서 있는 설계 변경 및 구현상의 변경으로 인한 전체 시스템에 미치는 영향이 크다. 본 논문에서는 규모가 큰 보안시스템 계발에 있어서 전체 시스템의 영향 관계를 체계적으로 정립한 소프트웨어 설계 방법론으로의 적용이다. 소프트웨어 설계 방법론은 시스템 형식론에 의거하여 소프트웨어가 표현되었으므로 논리적 연관관계를 추적하기 쉽다 이는 소프트웨어 설계 또는 설계 변경 후 인터페이스 시스템의 중요한 동적 특성을 미리 파악 할 수 있게 하여 소모적일 수 있는 시간과 노력을 절약 할 수 있다.