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

시뮬레이션 프레임워크는 시뮬레이션 응용 프로그램의 개발을 지원하는 기반 소프트웨어이다. 본 논문은 공학용 프로그래밍 언어로 광범위하게 사용되는 매트랩을 이용하여 개발된 이산사건시뮬레이션 프레임워크의 개발 과정을 기술하고 있다. 매트랩 객체지향프로그래밍을 토대로 새롭게 개발된 프레임워크는 매트랩 언어의 편리성과 이산사건시뮬레이션 형식론(DEVS: Discrete EVent System Specification Formalism)이 가지는 뛰어난 개발 방법론을 결합시킴으로써 무기체계 교전 시뮬레이션 프로그램 개발에서 요구되는 생산성, 유연성, 확장성을 제공한다. 더불어 매트랩의 병렬컴퓨팅 기술을 적용한 배치(Batch) 시뮬레이션 기능을 제공함으로써 몬테카를로 시뮬레이션 수행시 컴퓨터 환경에서 지원되는 CPU 코어의 수에 비례하여 응용 프로그램의 연산성능을 향상시킨다.

• 패션비즈니스
• /
• 제1권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.

• 한국의학물리학회:학술대회논문집
• /
• 한국의학물리학회 1999년도 Japanese Journal of Medical Physics
• /
• pp.305-308
• /
• 1999

• 한국수학사학회지
• /
• 제14권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.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1994년도 춘계초청 강연회 및 임시총회
• /
• pp.0.1-0
• /
• 1994

• ETRI Journal
• /
• 제15권3_4호
• /
• 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.

• 공학교육연구
• /
• 제18권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.

• 제어로봇시스템학회논문지
• /
• 제9권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.

• 한국CDE학회논문집
• /
• 제18권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.

• 대한교통학회지
• /
• 제14권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.