http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
복합체계 개념에 기반한 국방체계 모델링 시뮬레이션 방법론
김탁곤(Tag Gon Kim),권세중(Se Jung Kwon),강봉구(Bonggu Kang) 대한산업공학회 2013 대한산업공학회지 Vol.39 No.6
A complex system such as defense systems is in a form of System of Systems (SoS) in which each component is a system being independent of other component systems. Dynamical behavior of SoS is represented by a composition of behaviors of component systems. Thus, a M&S tool/environment would not be efficient for development of heterogeneous models nor for simulation in a centralized environment. Moreover, such an environment restricts reusability and composability. This paper presents an interoperation method for M&S of defense systems as SoS. The approach first develops component system models using tools, each specialized to M&S of each component system. It then interoperates such simulations together to simulate a whole system as SoS. HLA/RTI is employed for such interoperation, which is a DoD/IEEE standard to support interoperation. We will introduce a case study for interoperable simulation of defense systems, which consists of a wargame simulator and a communication simulator.
대한간학회지 제2차 춘계학술대회 초록집 : 식도정맥류 출혈시 내시경적 경화요법과 고무밴드 결찰요법의 치료 효과
김영탁 ( Kim Yeong Tag ),금민수 ( Geum Min Su ),이양일 ( Lee Yang Il ),최성곤 ( Choe Seong Gon ),이창형 ( Lee Chang Hyeong ),권영오 ( Kwon Yeong O ),김성국 ( Kim Seong Gug ),최용환 ( Choe Yong Hwan ),정준모 ( Jeong Jun Mo ) 대한간학회 1996 Clinical and Molecular Hepatology(대한간학회지) Vol.2 No.2(S)
C-DEVS형식론을 이용한 실시간 이산사건 제어시스템의 논리 해석 기법
송해상(HAESANG SONG)김탁곤(Tag-Gon Kim) 한국시뮬레이션학회 2012 한국시뮬레이션학회 논문지 Vol.21 No.4
실시간 시스템의 복잡도가 증가함에 따라 임시방편적 시스템 해석 방법은 시스템 동작 영역 전체를 완전하게 분석하는 데는 한계가 있다. 모델링을 기반으로 한 정형 기법은 그러한 한계점을 극복 할 수 있다. 본 논문은 모델 기반 정형 기법을 이용하여 실시간 시스템의 안전성 및 필연성 등과 같은 논리적 타당성을 이산 사건 모델 수준에서 분석하는 방법을 제안한다. 먼저, 분석 대상 실시간 시스템은 이산사건 수준에서 계층적으로 모듈화하여 모델을 명세하는 수학적 형식론인 DEVS (Discrete Event Systems Specification) 형식론으로 기술된다. 다음으로, 기술된 DEVS 모델은 시간 명세가 포함된 전역 상태 공간을 표현하는 C-DEVS (Communicating DEVS) 형식론으로 표현한 후 C-DEVS 형식론의 해석 알고리즘을 통해 시스템 동작을 분석된다. 제안된 C-DEVS 형식론 및 해석 알고리즘은 주어진 시스템의 동작 특성을 분석하는 과정에서 시스템의 상태 공간을 완전하게 빠짐없이 탐색하는 것을 보장한다. 간단한 건널목 제어 시스템의 안전성 분석 사례 연구를 통하여 제안된 모델 기반 해석 기법의 효율성을 예시 하였다. As complexity of real-time systems is being increased ad hoc approaches to analysis of such systems would have limitations in completeness and coverability for states space search. Formal means using a model-based approach would solve such limitations. This paper proposes a model-based formal method for logical analysis, such as safety and liveness, of real-time systems at a discrete event system level. A discrete event model for real-time systems to be analyzed is specified by DEVS(Discrete Event Systems Specification) formalism, which specifies a discrete event system in hierarchical, modular manner. Analysis of such DEVS models is performed by Communicating DEVS (C-DEVS) formalism of a timed global state transition specification and an associated analysis algorithm. The C-DEVS formalism and an associated analysis algorithm guarantees that all possible states for a given system are visited in an analysis phase. A case study of a safety analysis for a rail road crossing system illustrates the effectiveness of the proposed method of the model-based approach.
Intelligent interpolation methods for a full-scale SPOT-DEM
Kim, Seung Bum,Park, Won Kyu,Kim, Tag Gon 대한원격탐사학회 1999 International Symposium on Remote Sensing Vol.15 No.1
Intelligent schemes for an automatic generation of DEM (digital elevation model) are implemented. The need for these post-processing schemes is that interpolation alone produces severe blunders, however sophisticated it is. These blunders occur mast seriously along the boundaries of a scene, over rivers, and along the coast. Even a state-of-the-art commercial software retains such blunders. The intelligent schemes implemented are (1) center-of-gravity and empty-center-index which quantify how evenly distributed interpolants are within an interpolation radius, (2) a segmentation scheme to discern whether ar not an empty segment in stereo-match results should be interpolated, and (3) a segmentation scheme far removing noise-like features. With these methods, in the final DEM, identical coastline and river region to those in the original SPOT scenes are achieved. The DEM exhibits substantial improvements over the products of an existing commercial software.
IEEE 1516 HLA/RTI를 이용한 복합 시스템의 다측면적인 모델링 방법론
김병수,김탁곤,Kim, Byeong Soo,Kim, Tag Gon 한국시뮬레이션학회 2017 한국시뮬레이션학회 논문지 Vol.26 No.2
System Entity Structure/Model Base (SES/MB) 프레임워크는 하나의 시스템이 가지는 모든 대안들을 총체적으로 표현하는 다측면적인 시스템 모델링 방법이다. 이는 모델들의 재사용성을 향상시키고, 단일 시스템의 구조를 효과적으로 관리할 수 있다. 하지만 실세계는 단일 시스템으로만 이루어진 것이 아니라, 개별적인 시스템들의 집합체인 복합 시스템으로 이루어진 경우가 많다. SES/MB는 분산 환경에서 복합 시스템의 시뮬레이션 하는데 한계가 있기 때문에, 복합 시스템을 위한 확장된 방법이 필요하다. 본 논문은 분산 환경에서 시뮬레이터들 간의 시뮬레이션을 위한 System of Systems Entity Structure/Federate Base (SoSES/FB)를 제안한다. 제안하는 방법은 국제 연동 표준인 HLA/RTI에 기반하며, 시뮬레이터 집합의 구조를 표현하는 System of Systems Entity Structure (SoSES) 형식론과 시뮬레이터들의 라이브러리(FB)를 포함하는 환경을 제공한다. 또한 제안된 SoSES/FB를 분산 시뮬레이션 개발 과정에 적용한 방법론을 제안한다. 본 논문은 제안하는 방법을 다섯 개의 독립적인 시뮬레이터들로 구성되어 있는 대공방어 시뮬레이션에 적용한 사례를 소개한다. System Entity Structure/Model Base (SES/MB) enhances organizing model families and storing and reusing model components in the multifaceted system modeling. However, the real world can be described not only an individual system but also a collection of those systems, which is called system of systems (SoS). Because SES/MB has a limitation to simulate the SoS using HLA/RTI, an extended framework is required to simulate it. Therefore, this paper proposes System of Systems Entity Structure/Federate Base (SoSES/FB) for simulation in a distributed environment (HLA/RTI). The proposed method provides the library of federates (FB) and System of System Entity Structure (SoSES) formalism, which represents structural knowledge of a collection of simulators. It also provides a methodology for the development process of distributed simulation. The paper introduces the anti-missile defense simulation using the proposed SoSES/FB.