• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.237-241
• /
• 1999

본 논문은 이산사건 시스템 모델링에 관계대수를 이용함으로써 이산사건 시스템 모델을 시뮬레이션 할 때 data consistency를 보장하는 방법을 다룬다. 복잡한 이산사건 시스템은 모델링 및 분석에 형식론적인 프레임웍이 필요하며 모델의 추상화와 재사용이 용이한 DEVS형식론이 널리 사용되고 있다. 본 논문에서는 DEVS 형식론으로 기술된 모델을 정보의 손상 없이 관계대수형 모델로 변환하여 관계대수형 이산사건 모델로써 이용하는 방법론을 제시한다.

• The Journal of the Acoustical Society of Korea
• /
• v.11 no.6
• /
• pp.46-52
• /
• 1992

본 논문에서는 HMM 의 이산분포를 연속분포로 근사시키는 준 연속분포 HMM 에 의한 한국어 단어인식에 관하여 연구하였다. 이 모델의 생성과정에서는 입력벡터의 출력확률을 혼합 다차원 정규분 포로 가정하여 입력벡터의 확률함수와 코드위드의 심볼출력을 선형결합하므로써, 연속분포 모델로 근사 시켰으며, 단어인식과정에서는 생성모델에 의해 이산분포 모델에서 발생되는 양자와 왜곡을 감소시키므 로써 인식률을 향상시켰다. 이 방법을 평가하기 위하여 DDD 지역명을 대상으로 이산분포 HMM과 준연 속분포 HMM 의 비교실험을 수행하였다. 그 결과 준연속분포 HMM 에 의하여 이산분포 HMM 보다 향상된 인식률을 얻을 수 있었다.

• Journal of the Korea Society for Simulation
• /
• v.19 no.2
• /
• pp.17-28
• /
• 2010

Since a homing torpedo system consists of various subsystems, organic interactions of which dictate the performance of the torpedo system, it is necessary to estimate the effects of individual subsystems in order to obtain an optimized design of the overall system. This paper attempts to gain some insight into the detection mechanism of a torpedo run, and analyze the relative importance of various parameters of a torpedo system. A database for the analysis was generated using a simulation model based on the combined discrete event and discrete time architecture. Multiple search schemes, including the snake-search method, were applied to the torpedo model, and some parameters of the torpedo were found to be stochastic. We then analyzed the effectiveness of torpedo’s detection capability according to the torpedo speed, the target speed, and the maximum detection range.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.403-405
• /
• 2002

다양한 제품요구와 짧아진 제품의 수명주기, 수시로 발생하는 주문과 품목의 변화등으로 기업은 공급체인관리(SCM)를 도입하고 있으나 빈번한 이산사천의 발생으로 계획부분과 제조현장 실행부분의 차이가 발생하고 있다. 본 논문에서는 이러한 문제를 해결하기 위하여, 실행부분에서 발생하는 이산사건의 관리를 통해 계획부분과 실행부분의 차이를 줄이는 에이전트 기반 이산사건 관리모델을 제안하였다. 이산사건에 대해서는 컬러드 페트리 넷을 이용하여 명세하였고 관리모델은 에이젼트를 기반으로 지능적이고 자율적인 특성을 이용하여 사건의 발생에서 분류 지식데이터베이스구축, 전송에 이르는 이산사건 관리모델 아키텍쳐를 제시하였다.

• ICROS
• /
• v.6 no.5
• /
• pp.54-63
• /
• 2000

본 논문에서는 모델 불확정성을 가진 이산사건시스템의 강인 관리제어이론에 대해 알아본다. 지금까지 연구된 불확정성 이산사건시스템은 크게 두 부류로 구분된다. 첫째는 다중 모델의 집합으로 표현되는 불확정성 시스템으로서 제어 대상이 되는 시스템의 동적 특성이 몇 가지의 가능한 이산사건 모델들의 집합으로 기술되는 시스템이다. 두 번째는 비결정성 시스템으로서 시스템의 한 상태에서 하나의 동일 사건발생에 의해 천이되는 상태가 두가지 이상이 존재하여 상태천이에 있어 불확정성이 존재하는 시스템이다. 본 논문에서는 두가지 형태의 불확정성 이산사건 시스템들에 대한 강인 관리제어기 설계문제에 대해 살펴보고, 강인 관리 제어 이론에 대한 최근의 연구동향과 발전 방향에 대해 소개한다.

• Journal of the Korea Society for Simulation
• /
• v.22 no.2
• /
• pp.11-19
• /
• 2013

This paper presents the battle space model, which is capable of propagating various types of emissions from platforms in underwater warfare simulation, predicting interesting encounters between pairs of platforms, and managing environmental information. The battle space model has four components: the logger, spatial encounter predictor (SEP), propagator, and geographic information system (GIS) models. The logger model stores brief data on all the platforms in the simulation, and the GIS model stores and updates environmental factors such as temperature and current speed. The SEP model infers an encounter among the platforms in the simulation, and progresses the simulation to the time when this encounter will happen. The propagator model receives various emissions from platforms and propagates these to other "within-range" platforms by considering the propagation losses and delays. The battle space model is based on the discrete event system specification (DEVS) and the discrete time system specification (DTSS) formalisms. To verify the battle space model, simple underwater warfare between a battleship and a submarine was simulated. The simulation results with the model were the same as the simulation results without the model.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.10 no.3
• /
• pp.219-225
• /
• 2005

In this paper, a new discrete-time small signal model of an average current mode control is proposed to predict the inductor current responses. Compared to the peak current mode control, the analysis of the average current mode control is difficult because of its presence of an compensation network. By utilizing sampler model, a new discrete-time small signal model is derived and used to predict the behaviors of an inductor current of average current mode control employing generalized compensation networks. In order to show the usefulness of the proposed model, prediction results of the proposed model are compared to those of the circuit level simulator, PSIM and experiment.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2005.11a
• /
• pp.159-164
• /
• 2005

UAV(Unmanned Air Vehicle) 시스템은 새로운 알고리즘과 소프트웨어 디자인에 바탕을 두고 빠르게 발전하고 있다. 그러나, 일반적으로 쓰이고 있는 전자공학적인 제어 시스템은 개발의 복잡성과 그에 따른 이용증대에 대한 문제점을 가지고 있다. 이에 본 논문에서는 연속시간 시스템으로 표현되는 비행기 모델과 이의 효과적인 제어를 위해 이산사건 시스템으로 표현되는 조종사 모델간의 연동을 제안한다. 전자공학적 모델인 연속시스템은 자세한 표현력을 바탕으로 정량적이고 정확한 비행기 모델을 표현할 수 있으며 제어 모델인 이산사건 시스템은 각 사건과 시스템의 상태에 따른 정성적인 행동제어를 가능하게 한다. 본 연구는 한국항공대학교에서 개발한 이산사건 시뮬레이터인 DEJAVA(DEVS Java)와 연속시간시뮬레이터인 MATLAB 시뮬레이터 환경을 바탕으로, NASA에서 개발된 HL2O 비행시뮬레이터와 조종사 모델을 위한 지능제어시스템 개념을 사용하여 구현되었다.

• Journal of Korean Society of Archives and Records Management
• /
• v.18 no.4
• /
• pp.231-257
• /
• 2018

This paper aims to suggest a facet-based ontology model that can help sort and access records of dispersed families to address these problems. The facet systematically defines the categories of target concepts, which can create diverse and multiple access points. Using the top-down and bottom-up approaches, the facets, which consist of five upper classes and 18 lower classes, were derived for the records of dispersed families. The proposed ontology model was evaluated by real users. The results show that, overall, the ontology is complete and relevant in terms of access points, availability of context information of the records, and description elements for search and use of the records on dispersed families.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2007.04a
• /
• pp.409-412
• /
• 2007

본 논문에서는 근사 이산-시간 모델 기반 지능형 디지털 재설계 기법의 타당성에 대해서 논의한다. 타당성을 검증하기 위해 재설계된 디지털 제어 퍼지 시스템의 안정도 및 상태-정합에 특성이 분석된다. 구체적으로 근사 이산-시간 모델들의 상태 사이의 비정합의 크기가 충분히 작으면 재설계된 디지털 제어 퍼지 시스템의 평형점은 점근적 안정함을 보인다. 또한 이러한 비정합이 영으로 수렴함에 따라 재설계된 디지털 제어 퍼지 시스템과 주어진 아날로그 제어시스템 사이의 비정합은 매우 작아짐을 보인다.