• Journal of the Korea Society for Simulation
• /
• v.8 no.4
• /
• pp.109-124
• /
• 1999

The major objective of this research is to design and build the variable structure DEVS modeling & simulation framework. To do this, we have proposed the direct message passing mechanism between the model and its simulator to deal with the structural demand from the model during the simulation. In this approach, four types of basic messages are introduced for the vertical(creation/deletion of the child) and horizontal(creation/deletion of the brother) structural changes. Proposed methodology has been successfully applied to the multi-processor system and the forest fire information system.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.11a
• /
• pp.115-121
• /
• 2002

The growth of semiconductor industry attracted to researchers like design, facility technique and making small size chip areas. But nowadays, cause of technology extension and oversupply and price down, yield improvement is the most important point on growth. This paper describes the computer mode]ing technique as the solutions to analyze the problem, to formalize the semiconductor manufacturing process and to build advanced manufacturing environments. The computer models are built referring an existing 8' wafer production line in Korea.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.219-225
• /
• 2000

본 연구에서는 이산사건 동적 시스템을 모델링하고 성능을 분석하기 위한 통합 소프트웨어를 개발하였다. 소프트웨어는 페트리네트를 기반으로 비쥬얼 C++와 비쥬얼 베이직을 이용하여 개발되었으며 윈도우즈 환경 하에서 동작하는 범용 그래픽도구를 내장하고 있다. 본 소프트웨어를 이용하면 사용자는 마우스의 드래그 앤 드롭만으로 페트리네트 모델을 작성할 수가 있으며 모델이 작성되면 수리적 분석과 시뮬레이션을 통하여 시스템의 성능분석을 자동으로 수행하여 준다. 또한 시스템의 논리적인 특성을 분석하기 위하여 coverbility tree와 reachability tree를 지원한다. 이외에도 deadlock을 탐지하고 이를 해소하는 기능과 정교한 세부 모델링이 가능하도록 다양한 활성화 함수와 분포를 지원하며 시스템의 성능척도와 관련된 다양한 통계치를 제공해준다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.04a
• /
• pp.51-56
• /
• 2000

DEVS 형식론[Zeigler 1984]은 이산 사건 시스템을 기술하기 위해 Zeigler에 의해 제안된 모델링 형식론이다. 본 논문에서는 DEVS 형식론을 실시간 시뮬레이션 모델을 기술하기 위한 RT-DEVS 형식론으로 확장하고 이를 통해 기술된 시뮬레이션 모델을 실행하기 위한 실시간 수행 알고리즘을 제안한다. 또한 기술된 모델을 실시간에 기반하여 수행시키기 위한 시뮬레이션 커널의 구조와 구현에 대하여 다룬다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.23 no.9
• /
• pp.1038-1048
• /
• 2019

Recently, various systems have been developed to support ship navigation safety. In order to verify the usefulness of such a system, it is most ideal to try it on a real vessel, but there are many difficulties. As an alternative, usability verification methods applied with modelling and simulation (M&S) techniques are required such as FMSS, which is closest to reality, is very expansive to construct, and there needs the specialized operator. For this reason, this paper proposes a method to verify the navigation safety support system by modeling and simulation techniques based on the Discrete Event System Specification (DEVS) formalism. As a first step, we designed the navigation simulation architecture based on the SES/MB framework, and details on modelling ship core equipment and navigator agents based on the DEVS. Through this, we are able to implement the navigation simulation system for vessels, and evaluate the effectiveness of navigation safety support elements such as collision avoidance, etc. using developed scenarios.

• Journal of the Korea Society for Simulation
• /
• v.20 no.4
• /
• pp.1-11
• /
• 2011

In the development phase of a torpedo, the effectiveness analysis is carried out to predict the performance and to learn how to use the torpedo. In order to obtain reliable data, it is required to model the tactical situation closely to the actual one. Because the submarine is a target of a lightweight torpedo, the anti-torpedo countermeasures of a submarine such as evasive maneuvering and TACM (Torpedo Acoustic Counter Measure) should be modeled in detail. In this paper, the evasive maneuvering is modeled reflecting the movement characteristics of the submarine. Furthermore various TACMs such as a floating-type decoy, a self-propelled decoy and jammers are also modeled. Then, effectiveness of a lightweight torpedo is measured and analyzed using the simulation program which is developed through the above modeling procedure.

• Journal of the Korea Society for Simulation
• /
• v.30 no.4
• /
• pp.21-29
• /
• 2021

Inverse synthetic aperture radar (ISAR) image is a powerful tool to show the major scattering regions (scatterer points) on the target. It is normally used to identify and classify targets. Finding information for the scatter points of ISAR image plays an important role in modeling the features of targets. In this paper, we propose a modeling method to extract some information about the scatterer points by minimizing approximating error. Here, the extracted information include not only the location of scatterer points but also some statistical data about the error of the their location. These extracted data can be used to implement the randomness of the location of the scatterer points. Furthermore, we reconstruct an image from the extracted data for scatterer points obtained by our proposed method. And we show that the reconstructed ISAR image is well approximated to the original ISAR image in order to justify our proposed modeling method.

• Journal of IKEEE
• /
• v.18 no.3
• /
• pp.341-348
• /
• 2014

When several resuable semiconductor IPs are connected and implemented into an integrated chip, each semiconductor IP should provide code files for synthesis and interface modeling files for simulation and verification. However, description methods and levels of abstraction of interface modeling files are different because these semiconductor IPs are designed by different designers, which makes some problems in simulation and verification. This paper proposes a standardized modeling method of semiconductor IP interfaces. It restricts semiconductor IP interfaces to several predefined level of abstraction. The proposed method helps the chip integration designer to easily connect different semiconductor IPs and to simulate and verify them.

• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.1333-1337
• /
• 1987

본 연구는 머리운동 제어 시스템에 대한 생체 물리학적인 모델링과 시뮬레이션을 통하여 모델의 동특성을 조사하였으며, 생체운동(머리-안구)의 상호 관계를 비교하였다. 결과를 요약하면 다음과 같다. 1) 시스템을 구성하고 있는 매개변수의 변화가 출력에 미치는 영향을 조사하기 위해 감도해석법을 써서 감도계수를 구한 결과, 입력 제어신호의 펄스높이(PH), 동근의 펄스폭(PW1), 길항근의 펄스폭(PW2)이, 시스템의 출력특성을 결정하는 가장 중요한 매개변수 임을 알 수 있었다. 2) 비 선형 제어모델의 선형화를 통하여 선형모델의 응답특성과 크나큰 차이가 없음을 알았다. 3) Main-Sequence도를 작성하여 실험 데이터와 비교한 결과, 거의 일치함으로서 모델의 타당성을 입증하였다. 4) 머리운동이 시간최적으로 응답하기 위해서는 bang-bang 제어법칙이 적용되어야 함을 알았다. 5) 머리운동이 목표점에 도달하는 순간에는 길항근의 역제통 펄스가 가해 짐으로서, 길항근이 궤적의 마지막 부분을 지배함을 알았다. 6) 머리-안구운동의 main-sequence도를 비교 함으로서 상호관계를 규명하였다. 앞으로는 이 모델링 법을 개선확장하면, 비행시 파일럿의 생체 시뮬레이션, 헬멧 조준 사격 시스템등의 항공공학, 생체의용공학 연구 및 제어입력을 생체신호로 하는 로봇틱스 연구에 본 연구 방법은 유용하리라 생각된다.

• The KIPS Transactions:PartA
• /
• v.16A no.5
• /
• pp.307-318
• /
• 2009

Modeling and rendering of atmospheric phenomena such as clouds is one of most difficult research themes in the field of computer graphics, mainly due to its complexity, huge volume, ubiquitousness, etc. In this paper, we represent a system for real-time modeling and rendering of clouds, mainly aiming at the computer games and flight simulation applications. Our implementation generates various kinds of clouds including cirrus, stratus, and cumulus, through intuitive real-timeuser interactions. Then, additional details are automatically attached to them, using our own methods based on meta-balls or hierarchical spherical particles. After processing multiple scattering and anisotropic scattering, resulting particles are rendered into billboards, to finally achieve real-time processing.