• Proceedings of the KOSOMBE Conference
• /
• v.1995 no.05
• /
• pp.155-159
• /
• 1995

A design method that can easily construct intelligent patient monitoring systems is proposed. To achieve the design method, the SES/MB concept and a discrete event-based logic control formalism based on a set theory is introduced. In this control paradigm the controller expects to receive confirming sensor responses to its control commands within definite time windows determined by DEVS model of the system under control. Because data to be used for rule-based symbolic reasoning are to be abstracted, several AI methods are applied the processes. These methods are applied to intelligent patient monitoring systems so that they facilitate transformation from low level raw data to high level linguistic data. Model-based system representations have advantages of reusability, extensibility, flexsibility, independent testability and encapsulation.

• Proceedings of the KOSOMBE Conference
• /
• v.1996 no.11
• /
• pp.74-79
• /
• 1996

This paper describes a methodology for the development of models of discrete event system(DES). 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 couple DES models within a framework. The structure employs the DEVS formalism for the DES models. The proposed formal structure has been applied to develop a DEVS model for the human cardiovascular system. For this, the cardiac cycle is partitioned into a set of phases based on events identified through VisSim simulation in the CS of the electrical analog model. VisSim is the simulation tool of visual environment for developing continuous, discrete, and hybrid system models and performing dynamic simulation. For each phase, a CS of the electrical analog model for the cardiovascular system has been simulated by VisSim 2.0. To validate this model, first develop the DEVS model, then simulate the model in the DEVSIM++ environment. It has same simulation results for the data obtained from the CS simulation using VisSim. The comparison shows that the DEVS model represents dynamics of the human heart system at each phase of cardiac cycle.

• Journal of KIISE:Software and Applications
• /
• v.26 no.8
• /
• pp.1028-1038
• /
• 1999

본 논문에선 LR 문법의 부분 클래스를 동치인 LL 문법으로 변환하는 방법을 제시한다. 이 변환이 적용 가능한 문법을 확장된k`-transformable 문법이라 정의한다. 변환된 문법은 left-to-right 커버의 성질을 만족한다. 기존 연구에서 제시한 변환 방법은 LR 문법의 부분 클래스인 {{{{k`-transformable 클래스와 PLR 클래스를 LL 문법으로 바꾼다. 이 논문에서 제시하는 새로운 변환 방법의 적용 가능한 문법의 범위는 k`-transformable 클래스와 PLR 클래스를 포함한다. 기존의 커버링 성질을 만족하는 LL로의 문법 변환은 보편적인 LR 파서의 행동을 시뮬레이션하여 얻어진다. 이 과정에서 쉬프트, 리듀스 행동 이외에 무한의 가능성을 가진 스택 스트링의 유한 표현을 위해 리덕션 심볼에 대한 예상 행동이 추가된다. 본 논문에서는 파싱 문맥을 나타내는 LR 아이템들을 기존의 스택 스트링 표현 형태에 추가하여 스택 스트링 표현법을 정제하고, 리덕션 심볼에 대한 예상 방법을 확장하는 정형식을 제시한다. 이에 근거하여 LL 커버링 문법이 존재하는 클래스를 확장된 {{{{k`-transformable 문법으로 확장시킨다.Abstract A new transformation of a subclass of LR(k`) grammars into equivalent LL(k`) grammars is studied. The subclass of LR(k`) grammars is called extended k`-transformable. The transformed LL(k`) grammars left-to-right cover the original LR(k`) grammars. Previous transformations transform k`-transformable and PLR(k`) into LL(k`). The new transformation is more powerful in that it handles the extended k`-transformable subclass of LR(k`), which strictly includes k`-transformable and PLR(k`) classes. The previous covering transformations into LL grammars are obtained by simulating the actions of the conventional LR parser. Specially, a predict action of reduction goals is added to the action set in order to finitely represent stack string. In this paper, the stack string representation is refined by adding LR items to represent a parsing context, and the prediction of reduction goal is extended by generalizing the prediction formalism. Based on them, the previous grammar classes with LL({{{{k`) covering grammars are extended to extended k`-transformable grammars.

• Nuclear Engineering and Technology
• /
• v.7 no.4
• /
• pp.267-275
• /
• 1975

The low-lying resolved resonance structure of U-233 is investigated in terms of the Adler-Adler multilevel formalism. The resonance capture and fission cross sections of U-233 below 60 eV are calculated using Adlers' effective resonance parameters. The infinite dilution resonance integrals of U-233 are computed with the use of the Alders' parameters adjusted to fit the cross section data. It is found that the agreement of calculations with experiments is generally good over most of the energy region covered. A transformation of the Adlers' multilevel parameters into an equivalent set of the single level pseudoparameters is made for the use of the existing computer codes which are useful in the reactor calculations but do not have capability to use the multilevel parameters. The results of this transformation are presented in the form of a table.

• Journal of the Korea Society for Simulation
• /
• v.27 no.3
• /
• pp.23-36
• /
• 2018

Discrete Event System Specification (DEVS) has been used for decades as it provides sound semantics for hierarchical modular specification of discrete event systems. Instead of the mathematical specification, the DEVS diagram, based on the structured DEVS formalism, has provided more intuitive and convenient representation of complex DEVS models. This paper proposes a clean room process for implementation and verification of a DEVS diagram model specification into a simulation software source code. Specifically, it underlies a sequence of transformation steps from conformance and integrity checking of a given diagram model, translation into a corresponding tabular model, and finally conversion to a simulation source code, with each step being inversely verifiable for traceability. A simple example helps developers to understand the proposed process with associated transformation methods; a case study shows that the proposed process is effective for and adaptable to practical simulation software development.

• The Bulletin of The Korean Astronomical Society
• /
• v.36 no.1
• /
• pp.54.2-54.2
• /
• 2011

It is the conventional wisdom that the Poynting-Robertson effect is essentially the outcome of the interplay between absorption and reemission processes. For a better understanding of the motion of charged particles around a compact star with strong radiation, we reached an alternative interpretation for the Poynting-Robertson effect based on the covariant formalism and found that it is attributed to the combination of the aberration and the Lorentz transformation of the radiation stress-energy tensor. As a general relativistic application of the Poynting-Robertson effect, we studied the dynamics of test particles around the spinning relativistic star with strong radiation. We discovered that the combination of the angular momentum and the finite size of the star generates "radiation counter drag" which exerts on the test particle to enhance its specific angular momentum, contrary to the radiation drag. The balance of the radiation drag and the radiation counter drag renders the particle to hover around the spinning luminous star at the "suspension orbit". The radial position and the angular velocity of the particle on the "suspension orbit" are determined by the angular momentum, the luminosity, and the size of the central star only, and they are independent of the initial position and velocity of the particle.

• Proceedings of the KOSOMBE Conference
• /
• v.1997 no.05
• /
• pp.145-149
• /
• 1997

This paper describes a methodology for the development of models of discrete event system. 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 coupled discrete event system models within a framework. The structure employs the discrete event specification formalism for the discrete event system models. The proposed formal structure has been applied to develop a discrete event specification model for the complex spectral density analysis of strip for urin analyzer system. For this, spectral density data of strip is partitioned into a set of Phases based on events identified through urine spectrophotometry. For each phase, a continuous system of the continuous model for the urine spectral density analysis has been simulated by programmed C++. To validate this model, first develop the discrets event specification model, then simulate the model in the DEVSIM++ environment. It has the similar simulation results for the data obtained from the continuous system simulation. The comparison shows that the discrete event specification model represents dynamics of the urine spectral density at each phase.

• Journal of Digital Convergence
• /
• v.12 no.6
• /
• pp.23-34
• /
• 2014

The objective for this research is to analyze the origin of the outbreak of a policy dilemma in the government's pursuance of policy aimed at tackling internet addiction among teenagers, as well as analyzing responsive strategy. Therefore, within this research and as the model of the dilemma being the analytical frame, the aspect of the dilemma has been analyzed through the transformation of contexts, conditions, policy values, alternatives, policy actors and policy decision makers. The major research results are as follows. First, each and every dilemma of 'transformation of context and condition', 'policy value and alternatives', 'policy actors' and 'policy decision makers' in processes of policy in preventing and resolving adolescent internet addiction, it acted as a decisive cause in forming the general dilemma of the policy. Second, the government's strategy in policy response within the policy dilemma conditions turned out to be a duplication of policy, occurrence of contradictions, typical response strategy and cyclical choices. Given these factors, the following characteristics have shown up as a result. First, as the problems in duplication of policy and contradictions occurred within a single policy, the government responded to this dilemma in a typical way, which brought about an even more serious dilemma. Second, the government put in effort to re-regulate two values (protection of adolescents and promotion of the video game industry), which are included in the response policy of adolescent Internet addiction. As a result, the policy dilemma has weakened with respect to the past. However, it has not solved the fundamental problems. This research, taking the results as a background, strives to provide implications for establishing a self-consistent groundwork, which combines policy values and vision for the government to pursue effective responsive policy on adolescent internet addiction, which is becoming more and more severe in the information society in which we live.