• Journal of the Korea Society for Simulation
• /
• v.21 no.2
• /
• pp.31-39
• /
• 2012

Simulation Framework is a basic software tool used to develop simulation applications. This paper describes the development of a discrete event simulation framework based on DEVS(Discrete EVent System Specification) formalism, using MATLAB language which is widely used in technical computing and engineering disciplines. The newly developed framework utilizing MATLAB object oriented programming combines the convenience of MATLAB language and the sophisticated architecture of the DEVS formalism. Hence, it supports the productivity, flexibility, extensibility that are required for the simulation application software development of the weapon systems engagement. Moreover, it promises a simulation application the increased the computation speed proportional to the number of CPU of a multi-core processor, providing the batch simulation functionality based on MATLAB parallel computing technology.

• Journal of Fashion Business
• /
• v.1 no.4
• /
• pp.34-48
• /
• 1997

Dresses of the 1950s and 60s when the range and changes of fashion were wide and heavy were closely related with various styles of that time's architecture from the form, use of material, structure to the color. In this, study, characteristics of formalism and brutalism, main architectural streams of that period, such as line, structure, function, material, texture and color are analyzed in detail and these characteristics and those of dress are compared and analyzed to see if there are common aesthetic senses between them. It is particularly noteworthy that at that time formalistic architecture represented joy and abundance through enriched creation of appearance and flowing, symbolic linear beauty while the brutalistic produced young and vivid liveliness through functional, reasonable and moderate beauty, and this young and joyful atmosphere coincided exactly with frank, lively aesthetic senses of the young generation's fashion. Therefore, we can see common significance in the following fact ; architectural modes and fashion art of the 1950s and 60s were the result of more humane and enriched expressions from economical growth, and also product of that time's desire to adapt itself realistically to the rapid, complicated pop culture resulted from mass production.

• Proceedings of the Korean Society of Medical Physics Conference
• /
• 1999.11a
• /
• pp.305-308
• /
• 1999

• Journal for History of Mathematics
• /
• v.14 no.2
• /
• pp.61-68
• /
• 2001

Rationality in mathematics is discussed by analyzing historical facts concerning infinitesimality. Several views containing Platonism, formalism and falsificationism are suggested to analyze rationality.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1994.06a
• /
• pp.0.1-0
• /
• 1994

• ETRI Journal
• /
• v.15 no.3
• /
• pp.35-45
• /
• 1994

In this paper we develop an approximation formalism on the queue length distribution for general queueing models. Our formalism is based on two steps of approximation; the first step is to find a lower bound on the exact formula, and subsequently the Chernoff upper bound technique is applied to this lower bound. We demonstrate that for the M/M/1 model our formula is equivalent to the exact solution. For the D/M/1 queue, we find an extremely tight lower bound below the exact formula. On the other hand, our approach shows a tight upper bound on the exact distribution for both the ND/D/1 and M/D/1 queues. We also consider the $M+{\Sigma}N_jD/D/1$ queue and compare our formula with other formalisms for the $M+{\Sigma}N_jD/D/1$ and M+D/D/1 queues.

• Journal of Engineering Education Research
• /
• v.18 no.5
• /
• pp.3-10
• /
• 2015

Researchers in science and technology has broadened the scope of research in order to solve complex problems, academic exchange has also been actively carried out. If the paper which is a mean of interdisciplinary approach has a limited term and the formula, it can act as barriers to access for many researchers in various fields. This paper proposes a cross-validation method for eliminating documentary barriers based on discrete event system formalism. We expect that our proposed method will improve a cross-validation considering researchers in another fields.

• Journal of Institute of Control, Robotics and Systems
• /
• v.9 no.4
• /
• pp.310-319
• /
• 2003

As the importance and the need for network security are increased, many organizations use the various security systems. They enable to construct the consistent integrated security environment by sharing the network vulnerable information among IDS (Intrusion Detection System), firewall and vulnerable scanner. The multiple IDSes coordinate by sharing attacker's information for the effective detection of the intrusion is the effective method for improving the intrusion detection performance. The system which uses BBA (Blackboard Architecture) for the information sharing can be easily expanded by adding new agents and increasing the number of BB (Blackboard) levels. Moreover the subdivided levels of blackboard enhance the sensitivity of the intrusion detection. For the simulation, security models are constructed based on the DEVS (Discrete Event system Specification) formalism. The intrusion detection agent uses the ES (Expert System). The intrusion detection system detects the intrusions using the blackboard and the firewall responses to these detection information.

• Korean Journal of Computational Design and Engineering
• /
• v.18 no.2
• /
• pp.138-147
• /
• 2013

The liquefaction process system is regarded as primary among all topside systems in LNG FPSO. This liquefaction process system is composed of many types of equipment. LNG equipment on offshore plants has quite different demands on the equipment compared to traditional onshore LNG plants, so the reliability analysis of this process system needs to be performed. This study investigates how DEVS formalism for discrete event simulation can be used to reliability analysis of the liquefaction cycle for LNG FPSO. The reliability analysis method based on DEVS formalism could be better model for reflecting the system configuration than the conventional reliability analysis methods, such as fault tree analysis and event tree analysis.

• Journal of Korean Society of Transportation
• /
• v.14 no.1
• /
• pp.101-116
• /
• 1996

Increased attention has been paid in recent years to the need of traffic management for alleviating urban traffic congestion. This paper presents a discrete event modeling and simulation framework for analyzing the traffic flow. Traffic simulation models can be classified as being either microscopic and macroscopic models. The discrete event modeling and simulation technique can be basically employed to describe the macroscopic traffic simulation model. To do this, we have employed the System Entity Structure/Model Base (SES/MB) framework which integrates the dynamic-based formalism of simulation with the symbolic formalism of AI. The SES/MB framework supports to hierarchical, modular discrete event modeling and simulation environment. We also adopt the Symbolic DEVS (Discrete Event System Specification) to developed the automated analysis methodology for generating optimal signal light policy. Several simulation tests will demonstrates the techniques.