• 한국시뮬레이션학회논문지
• /
• 제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.

• 한국시뮬레이션학회논문지
• /
• 제27권3호
• /
• pp.13-21
• /
• 2018

통신 시스템과 지휘통제 시스템으로 구성된 C3 시스템에 대한 복합체계 기반 분석 방법은 상세한 분석이 가능하다는 장점을 지니지만, 한 번 수행하는데 긴 실행 시간을 요구하고, 이는 다양한 시나리오의 분석을 어렵게 한다. 이를 해결하기 위해, 본 논문에서는 페더레이션으로부터 단일 시뮬레이션으로의 변환 기법을 통한 C3 복합 체계 분석 방법에 대해 제안한다. 본 변환 기법은 분석하고자 하는 이외의 시스템을 추상하여, 정확성을 유지하면서 실행 시간을 단축하고, 이는 model hypothesis와 function identification이 주가 된다. model hypothesis에서는 확장된 DEVS 형식론을 통해 시뮬레이션 가능한 추상화된 모델을 구성할 수 있고, function identification에서는 해당 모델이 타 시스템으로부터 받는 영향을 표현할 수 있다. 통신 및 C2 시스템 분석에 대한 실험을 통해, 제안한 방법은 일정 오차 범위 이내에서 정확성을 보존하면서 시뮬레이션 시간을 단축하였고, 이를 통해 C3 이외의 다양한 복합 체계에 대한 탐색적 분석이 가능할 것으로 기대한다.

• 한국시뮬레이션학회논문지
• /
• 제4권1호
• /
• pp.13-24
• /
• 1995

In general, simulation and analytic method are used for real system analysis. However, or date, there has been only the theoretical works on each approach. Therefore it is required that we study on the relationship between each approaches to obtain more reliable and correct system analysis results. In this paper, using SPN(Stochasitc Petri Net) formalism, we propose the method of output prediction of the DEVS(Discrete Event system Specification) simulation. For this we suggest a transformation algorithm which transform SPN form DEVS formalism based on the event scheduling world view and a verification algorithm for it. We then show an example to apply it to the real system, such that the Grocery Store System.

• 대한의용생체공학회:학술대회논문집
• /
• 대한의용생체공학회 1995년도 춘계학술대회
• /
• pp.87-91
• /
• 1995

Combined models, specified by two or more modeling formalisms, can represent a wide variety of complex systems. This paper describes a methodology for the development of combined models in two model types of discrete events and continuous process. The methodology is based on transformation of continuous state space into discrete one to homomorphically represent dynamics of continuous processes in discrete events. As an example, a combined model of human heart is developed which Incorporates conventional differential equation formalism with Zeigler's DEVS(Discrete Event Specification System) [4]formalism.

• 정보보호학회논문지
• /
• 제18권6B호
• /
• pp.219-232
• /
• 2008

A novel idea of protocol security analysis is presented based on trusted freshness. The idea has been implemented not only by hand but also by a belief muitisets formalism for automation. The key of the security analysis based on trusted freshness is a freshness principle: for each participant of a cryptographic protocol, the security of the protocol depends only on the sent or received one-way transformation of a message, which includes a trusted freshness. The manual security analysis method and the belief multisets formalism are all established on the basis of the freshness principle. Security analysis based on trusted freshness can efficiently distinguish whether a message is fresh or not, and the analysis results suggest the correctness of a protocol convincingly or the way to construct attacks intuitively from the absence of security properties. Furthermore, the security analysis based on trusted freshness is independent of the idealization of a protocol, the concrete formalization of attackers' possible behaviors, and the formalization of concurrent runs of protocols.

• 대한의용생체공학회:의공학회지
• /
• 제16권4호
• /
• pp.415-424
• /
• 1995

Combined models, specified by two or more modeling formalisms, can represent a wide variety of complex systems. This paper describes a methodology for the development of combined models in two model types of discrete event and continuous process. 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 combine model of the DES and the CS within a framework. The structure employs the DEVS formalism for the DES models and differential or polynomial equations for the CS models. To employ the proposed structure to specify a DEVS/CS combined model, a modeler needs to take the following steps. First, a modeler should identify events in the CS and transform the states of the CS into the DES. Second, a modular employs the formalism to specify the system as the DES. Finally, a moduler developes sub-models for the CS and continguos states of the DES and establishs one-to-one correspondence between the sub-models and such states. The proposed formal structre has been applied to develop a DEVS/CS combined model for the human cardiovascular system. For this, the cardiac cycle is partitioned into a set of phases based on events identified through observation. For each phase, a CS model has been developed and associated with the phase. To validate the DEVS/CS combined model developed, then simulate the model in the DEVSIM + + environment, which is a model simulation results with the results obtained from the CS model simulation using SPICE. The comparison shows that the DEVS/CS combined model adequately represents dynamics of the human heart system at each phase of cardiac cycle.

• 한국수학사학회지
• /
• 제23권2호
• /
• pp.59-74
• /
• 2010

'수학교육철학' 이라는 이름은, 기존의 원론적인 수학철학 이론전반의 검토를 포함하되, 주로 교육적 입각점에서 비판적으로 검토하는 논의전개 양태를 두루 지칭한다. 따라서 이 같은 수학교육철학은, 새로운 고유의 수학철학 정립을 궁구하기보다는, 교육에 최적인 수학철학 이론의 모색 내지는 요청을 우선 목표로 한다는 점에서 기존의 원론적인 수학철학 논의와 성격을 달리한다. 본 소고는 그 중에서도 단초적 시론으로서, 대학교 이공계열 필수과목인 초급미분방정식 교육과정에 나타난 한 사례의 소개 및 그것을 통한 내용이해의 효율성과 수학철학 유형의 정성적관계 (qualitative relation) 를 사변적으로 일별해 보는 것으로 제한한다.

• 건축역사연구
• /
• 제12권3호
• /
• pp.65-86
• /
• 2003

After 1960s, a radical change was taken place in the modern urban theories which were developped by many architects and planners like Ebenezer Howard, Tony Garnier, Le Corbusier, Ludwig Hiberseimer, and Patrick Abercrombie. Many contemporary architects like Kevin Lynch, Aldo Rossi, Christopher Alexander, Colin Rowe, Rem Koolhaas, and Bernard Tschumi have a view that modern urban theories lost their abilities to organize and control new realities so that new urban theories was needed in order to cope with urban problems in the 1960s. In this study, we are to examine contemporary urban theories in comparison with modern urban theories and to clarify the role of discourse of language in its emergence. In consequence we can detect four main themes in the process of transformation from modern urban theories to contemporary urban theories : from functionalism to formalism, from historicism to archeology, from space to placeness, and from hierarchical organization to network. And we can prove that such themes basically depend on the discourse of language.

• 대한산업공학회지
• /
• 제23권4호
• /
• pp.669-686
• /
• 1997

In this research, an object-oriented Petri net model for representing a flexible process plan is proposed, which is hierarchically multi-faceted for supporting planning, scheduling, and shop floor control functions. The multi-faceted process plan model consists of the following: a) an object model which represents on object-oriented data model, b) a static model which represents a process flow model with process alternatives, and c) a dynamic model which represents a process activity model with resources alternatives, of a flexible process plan. Petri nets allow the static and the dynamic process plan models to be represented in a unified formalism with an ease of model transformation. The multi-faceted process plan model suggested in this paper, is illustrated with a prismatic port in comprehensive detail.