• 품질경영학회지
• /
• 제46권4호
• /
• pp.973-982
• /
• 2018

Purpose: The purpose of this study is to develop an effective simulation modeling formalism for autonomous control systems, such as unmanned aerial vehicles and unmanned surface vehicles. The proposed simulation modeling formalism can be used to evaluate the quality and effectiveness of autonomous control systems. Methods: The proposed simulation modeling formalism is developed by extending the classic DEVS (Discrete Event Systems Specifications) formalism. The main advantages of the classic DEVS formalism includes its rigorous formal definition as well as its support for the specification of discrete event models in a hierarchical and modular manner. Results: Although the classic DEVS formalism has been a popular modeling tool, it has limitations in describing an autonomous control system which needs to make decisions by its own. As a result, we proposed an extended DEVS formalism which enables the effective description of internal decisions according to its conditional variables. Conclusion: The extended DEVS formalism overcomes the limitations of the classic DEVS formalism, and it can be used for the effectiveness simulation of autonomous weapon systems.

• 한국시뮬레이션학회논문지
• /
• 제11권2호
• /
• pp.77-88
• /
• 2002

Petri nets is a widely used formalism for specification and analysis of concurrent systems which is a subclass of discrete event systems. The DEVS (Discrete Event System Specification) formalism provides a general framework for specification of discrete event systems in a hierarchical, modular form. Often, modeling a discrete event system may employ both Petri Nets and DEVS formalism. In such a case low-level operational logics are modeled by Petri Nets and high-level managements by the DEVS formalism. Analysis of the system requires simulation of the overall system. This paper presents an algorithm for transformation of Petri Nets to DEVS formalism. The transformation enables modelers to simulate an overall system, which consists of DEVS models and Petri Nets models, in a unified DEVS simulation environment such as DEVSim++. An example for such transformation will be given.

• 복식문화연구
• /
• 제11권1호
• /
• pp.118-134
• /
• 2003

The first purpose of this study is to take a better look it the background of Formalism art in the cultural society and to examine the aesthetic value of the formative arts of formalism architecture that are ail basically founded upon the study of Formalism. Secondly, it analyzes the aesthetic value of Formalism Art to Wear, Which can be explained as a mixture of art and fashion, by investigate to the features of art history. The results are as follows; First, Formalism Art to Wear of Simultaneity does not represent continuance but simultaneous. In other words. inside the same time and place of dimension, events art visualized without transformation. Secondly, formalism Art to Wear of Geometrical Aesthetics deals with a purely genuine atmosphere that pursues absolute perfection, composed abstract of geometrical shapes. Thirdly, Fomarlism Art to Wear of Deformation breaks analysis from balance and symmetry showing extreme transformation nil new vitality. Fourthly, Formalism Art to Wear of Space Extension experiments with post-corporeality. Post-corporeality centers the human body extension that is open to various boundaries of implosion and electronic technologies, providing us with a new Cyborg of the digital body.

• 한국시뮬레이션학회논문지
• /
• 제21권2호
• /
• pp.19-30
• /
• 2012

최근 몇 십년간 이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하여 왔다. 그럼에도 불구하고 실용 엔지니어들은 실세계의 시스템을 모델링에 적용하는데 어려움을 겪기도 하는데 이는 DEVS가 많은 상태와 사건들을 구조화되지 않은 형태로 명세해야 하는 것 때문이다. 본 논문은 집합 이론을 바탕으로 그러한 사건 및 상태집합들을 구조화된 형태로 표현하는 Structured DEVS 형식론과 이와 연관된 DEVS 다이어그램을 제안하고자 한다. 위상, 변수, 포트 등의 개념을 사용하여 집합들을 명세한 구조적 DEVS 형식론은 원래의 DEVS 형식론과 동등함을 증명하였다. DEVS 다이어그램을 이용하여 구조적 DEVS 형식론으로 표현된 예시 모델이 쉽게 객체지향 시뮬레이션 환경에서 구현될 수 있음을 보임으로써 제안된 형식론이 효과적임을 보였다.

• 한국항만학회지
• /
• 제14권1호
• /
• pp.47-55
• /
• 2000

In order to cope with the changes of container terminal situation in these days, many simulation studies for container terminal have been accomplished. But previous simulation studies using simulation language have limitations in model representation and difficulties in modeling of large scaled container terminal system. To make these problems better, this paper addresses an object-oriented simulation of container terminal system using a DEVS formalism. The DEVS(Discrete Event System Specification) formalism, developed by Zeigler, supports specification of discrete event system in a hierarchical and modular manner. The formalism provides a mathematical basis for studying discrete event systems with better understood and sounder semantics. In a step of system modeling, a DEVS formalism aims at the exact system modeling that has a basis of semantics and utilizing the object-oriented manner can flexibly cope with the changes of system environment. In this study a model is developed and verified through the simulation of some alternatives.

• ETRI Journal
• /
• 제18권4호
• /
• pp.245-264
• /
• 1997

This paper presents a formalism-based methodology and its implemented environment which constitutes a sound framework for real-time systems development. The software and/or hardware systems developed in such a formal manner are well structured and maintainable. We first propose a set-theoretic VSSS (Variable Structure System Specification) formalism. This formalism is the core of the presented methodology which supports a means of formal specification for real-time systems. We then develop the environment, including VSSS language definition, a translator for the language, and supporting libraries for real-time execution. Finally, a demonstration of the methodology in development of a real-time event manager, a subsystem of an ATM-based communication system, shows the correctness and efficiency of the methodology.

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

Development of distributed simulation environment must be required in order to simulate the distributed models regionally and inter-operate with running simulations individually, Simulation based on DEVS formalism is difficult to simulate the distributed models. DEVS formalism is modeling methodology. To specify model, this formalism separates behavior and structure, therefore it is able to design complex model easily. HLA is standard framework of distribute simulation environment, It is defined to facilitate the interoperability and the reusability. RTI (Run Time Infrastructure) is software that provides common service to simulation systems and implementation of the HLA Interface Specification. Method of implementation is that modules cooperating with RTI are added to simulator on DEVS simulation environment. On the DEVS simulation environment (DEVS-Obj -C) that already developed, Highest class of abstract simulator uses service that RTI provide, then This environment is able to change DEVS model into Federate and run distribute simulation that inter-operates with the RTI. Because this distributed simulation environment includes convenience of modeling that obtains through the DEVS formalism and accompanies HLA standard, this environment make it possible to simulate with_ complex systems and heterogeneous simulations

• 한국시뮬레이션학회논문지
• /
• 제22권1호
• /
• pp.21-30
• /
• 2013

하이브리드 시스템은 서로 다른 상태와 시간을 가지는 부 시스템의 조합으로 이루어진다. 대표적인 예가 이산 사건 시스템과 연속 시간 시스템의 조합이다. HDEVS 형식론은 이러한 하이브리드 시스템을 모델링하고 분석하기 위해 제안되었는데, 이러한 형식론을 통해 모델러는 수학적인 형식론에 기초한 계층적이고 모듈성이 있는 모델을 설계할 수 있었다. 그러나 HDEVS 형식론이 주로 분산된 연동 시뮬레이션에 적용되었기 때문에 모델러는 하이브리드 시스템을 연동에 참여할 시뮬레이터에 맞게 서로 다른 모델들로 구분하여 재구성해야 했다. 따라서 모델은 시스템을 그대로 표현하기보다 나누어진 모델들의 연동 구조로 표현되었다. 본 논문은 이러한 문제를 해결하고 통합된 하이브리드 모델을 만들 수 있는 모델링 방법론과 그에 대한 시뮬레이션 방법론을 제안한다. 기존에 연동형 구조에 적용되었던 것과 달리, 하이브리드 시스템은 그 시스템 본래의 형태 그대로 통합된 모델로 모델링 될 수 있다. 또한 이 논문은 제안하는 모델링 방법론에 따르는 시뮬레이션 엔진 구조에 대해서 논하고 물탱크 조절 예제를 통한 간단한 사례 연구도 포함한다.

• 한국콘텐츠학회논문지
• /
• 제9권12호
• /
• pp.138-145
• /
• 2009

인간다움은 인간적 또는 보다 인간다운이라는 의미와 함께 인간다움의 존엄과 존중을 동시에 함의한다. 본 논문은 영화의 영상이미지가 재현하는 인간과 인간다움의 문제에 천착하고자 했다. 이를 통해 영화가 인간과 사회에 대해 성찰적 태도를 견지하는 방식을 그 고유의 예술형식을 중심으로 살펴보았다. 특히 형식미학에 기반을 두는 형식주의와 작가주의의 이론적 논의를 배경으로, 라스 폰 트리에 감독의 영화 의 시공간 구조의 구성 방식을 분석했다. 연구결과에 의하면, 은 시각중심주의적 미학을 영화 형식으로 전유해 연극적 무대의 회화적 상상화를 통해 영화예술의 개념적 규정에 일정한 자율성을 부여하는 것으로 분석되었다. 이것은 영화적 시공간을 가상의 것으로 전환시켜 인간의 성선과 성악의 구분, 인간다움의 정의가 허구일 수도 있음을 즉물화함으로써 기존의 제도적 재현 형식을 전복시킨 것이라고 할 수 있다.

• 한국시뮬레이션학회논문지
• /
• 제21권4호
• /
• pp.35-46
• /
• 2012

실시간 시스템의 복잡도가 증가함에 따라 임시방편적 시스템 해석 방법은 시스템 동작 영역 전체를 완전하게 분석하는 데는 한계가 있다. 모델링을 기반으로 한 정형 기법은 그러한 한계점을 극복 할 수 있다. 본 논문은 모델 기반 정형 기법을 이용하여 실시간 시스템의 안전성 및 필연성 등과 같은 논리적 타당성을 이산 사건 모델 수준에서 분석하는 방법을 제안한다. 먼저, 분석 대상 실시간 시스템은 이산사건 수준에서 계층적으로 모듈화하여 모델을 명세하는 수학적 형식론인 DEVS (Discrete Event Systems Specification) 형식론으로 기술된다. 다음으로, 기술된 DEVS 모델은 시간 명세가 포함된 전역 상태 공간을 표현하는 C-DEVS (Communicating DEVS) 형식론으로 표현한 후 C-DEVS 형식론의 해석 알고리즘을 통해 시스템 동작을 분석된다. 제안된 C-DEVS 형식론 및 해석 알고리즘은 주어진 시스템의 동작 특성을 분석하는 과정에서 시스템의 상태 공간을 완전하게 빠짐없이 탐색하는 것을 보장한다. 간단한 건널목 제어 시스템의 안전성 분석 사례 연구를 통하여 제안된 모델 기반 해석 기법의 효율성을 예시 하였다.