• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.50 no.1
• /
• pp.45-50
• /
• 2001

With increasing complexity of digital logic circuits, fast and accurate verification of functional behaviour becomes most critical bottleneck in meeting time-to-market requirement. This paper presents several techniques for accelerating a cycle-based logic simulation. The acceleration techniques include parallel pattern logic evaluation, circuit size reduction, and the partition of feedback loops in sequential circuits. Among all, the circuit size reduction plays a critical role in maximizing logic simulation speedup by reducing 50% of entire circuit nodes on the average. These techniques are incorporated into a levelized table-driven logic simulation system rather than a compiled-code simulation algorithm. Finally, experimental results are given to demonstrate the effectiveness of the proposed acceleration techniques. Experimental results show more than 27 times performance improvement over single pattern levelized logic simulation.

• The KIPS Transactions:PartA
• /
• v.14A no.3 s.107
• /
• pp.141-146
• /
• 2007

In this paper, we proposed an efficient FPGA-based simulation acceleration method based on FPGA compilation avoidance, which can effectively decrease the long debugging turnaround time incurred from the every debugging process in the functional verification. The proposed method had been experimentally applied to the functional verification for a microcontroller design. It had clearly shown that the debugging turnaround time was greatly reduced while the high simulation speed of the simulation acceleration was still maintained.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.367-369
• /
• 2002

본 논문은 GRID 상에서 HLA(High Level Architecture)를 기반으로 한 분산 객체 지향 wargame simulation의 디자인과 구현에 관해 기술한다. HLA는 DIS[1]의 뒤를 이어 제안된 아키텍처로서 simulation에 원활한 data교류와 동기화를 제공한다. 또한, GRID는 전세계에 펼쳐져 있는 자원들에 대한 관리와 접근, 사용을 위한 다양한 기능과 안전하고 편리한 security를 보장한다. 본 논문에서는 HLA를 사용해서 simulation에 튀어난 상호 연동 능력과 재사용성을 부여하고, GRID를 통해 대규모의 프로젝트를 위한 광범위한 자원을 보다 안전하고 효율적으로 사용할 수 있도록 하는 환경을 구현하였다. 우리는 이 simulation을 HDOWS-G(HLA-based Distributed Object-oriented War game Simulation on Grid)라 부르기로 한다.

• Journal of the Korea Society for Simulation
• /
• v.11 no.2
• /
• pp.67-75
• /
• 2002

This paper proposes a parallel simulation algorithm for bounded Petri nets in a single processor, which exploits the SIMD(Single Instruction Multiple Data)-type parallelism. The proposed algorithm is based on a data packing scheme which packs multiple bytes data in a single register, thereby being manipulated simultaneously. The parallelism can reduce simulation time of bounded Petri nets in a single processor environment. The effectiveness of the algorithm is demonstrated by presenting speed-up of simulation time for two bounded Petri nets.

• Perspectives in Nursing Science
• /
• v.9 no.2
• /
• pp.111-118
• /
• 2012

Purpose: This study investigated the effects of simulation-based nursing education (for the care of congestive heart failure patients) on self-directed learning competency, clinical knowledge and problem-solving ability among nursing students. Methods: A one-group, pre-post design was utilized with 87 nursing students as the subjects. The scenario of simulation-based nursing education was created using a high-fidelity patient stimulator, and consisted of four states ((1) assessment, (2) reviewing laboratory data and administering medications and treatments, (3) managing increased dyspnea and decreased urine output, and (4) handling the "getting better" state). The simulation-based nursing education included orientation, team-based learning, team-based practice, and debriefing. The data were analyzed using descriptive statistics, Pearson's correlation coefficients and paired t-tests. Results: The scores on the factors for self-directed learning competency (t=-2.57, p= .011), clinical knowledge (t=-6.85, p<.001), and problem-solving ability (t=-3.01, p= .003) increased significantly after the education intervention. Conclusion: Simulation-based nursing education is useful in improving self-directed learning competency, clinical knowledge, and problem-solving ability in nursing students.

• Economic and Environmental Geology
• /
• v.50 no.3
• /
• pp.239-250
• /
• 2017

Physically based landslide susceptibility analysis has been recognized as an effective analysis method because it can consider the mechanism of landslide occurrence. The physically based analysis used the slope geometry and geotechnical properties of slope materials as input. However, when the physically based approach is adopted in regional scale area, the uncertainties were involved in the analysis procedure due to spatial variation and complex geological conditions, which causes inaccurate analysis results. Therefore, probabilistic method have been used to quantify these uncertainties. However, the uncertainties caused by lack of information are not dealt with the probabilistic analysis. Therefore, fuzzy set theory was adopted in this study because the fuzzy set theory is more effective to deal with uncertainties caused by lack of information. In addition, the vertex method and Monte Carlo simulation are coupled with the fuzzy approach. The proposed approach was used to evaluate the landslide susceptibility for a regional study area. In order to compare the analysis results of the proposed approach, Monte Carlo simulation as the probabilistic analysis and the deterministic analysis are used to analyze the landslide susceptibility for same study area. We found that Fuzzy Monte Carlo simulation showed the better prediction accuracy than the probabilistic analysis and the deterministic analysis.

• International Journal of Quality Innovation
• /
• v.6 no.1
• /
• pp.74-97
• /
• 2005

IDEF0 is the IEEE standard for functional enterprise modeling and has been used for business process modeling or process mapping in US and Europe. But it does not reflect the potential benefits of modeling and simulation of the dynamic aspects of an enterprise or a system. On the other hand, simulation tools concentrate mostly on the simulation of material flows and are difficult to include information flows and control flows. Additionally, the simulation models that include elements such as queues, event generators and process nodes is a visual interactive representation for the model builder, but is inconvenient for the domain expert. In an attempt to fill that void, we provide an integration of business process and simulation models in this paper. An enhancement of the IDEF0, called parameterized IDEF0, is proposed and its conversion mechanism to network simulation model is developed. Using this methodology, business process models for alternative systems can be evaluated and compared through simulation on time, cost, and quality metrics. As an application of the proposed methodology, economic evaluation of EDI (Electronic Data Interchange) for time-based BPR (Business Process Redesign) is demonstrated. In addition to BPR, the developed methodology may be further integrated with ABC (Activity Based Costing), TQM (Total Quality Management), and economic evaluation of information systems.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.9 no.3
• /
• pp.25-32
• /
• 2006

Weapon systems composed of several subsystems execute various engagement missions in distributed combat environments in cooperation with a large number of subordinate/adjacent weapon systems as well as higher echelons through tactical data links. Such distributed weapon systems require distributed real-time simulation test beds to integrate and test their operational software, analyze their performance and effects of cooperated engagement, and validate their requirement specifications. These demands present significant challenges in terms of real-time constraints, time synchronization, complexity and development cost of an engagement simulation test bed, thus necessitate the use of high-performance distributed real-time simulation architectures, and modeling and simulation techniques. In this paper, in order to meet these demands, we presented a distributed real-time simulation system based on High Level Architecture(HLA) and Discrete Event System Specification(DEVS). We validated its performance by using it as a test bed for developing the Engagement Control System(ECS) of a surface-to-air missile system. The proposed technique can be employed to design a prototype or model of engagement-level distributed real-time simulation systems.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.11 no.4
• /
• pp.499-510
• /
• 1999

A computer program was developed for simulating performance(capacity, power consumption and etc.) of air-conditioners using compressor, fin-tube heat exchanger and capillary tube. The program consists of five modules, condenser, evaporator, compressor, capillary tube simulation modules and properties modules of refrigerant and moist air, The present program is focused on R22 only, however can be easily extended for other refrigerants such as R407C and R410A just by adding property modules. The compressor simulation module utilizes performance maps supplied by manufacturers-map-based model. The condenser and evaporator simulation modules are modeled using tube-by-tube method. Simulation results(capacity and power consumption) were compared with calorimeter test results of actual air-conditioners of window and split types, where more than 82% of the data lied within ${\pm}5$% of the predicted results.

• Water for future
• /
• v.13 no.4
• /
• pp.41-50
• /
• 1980

The prupose of this study are the theoretical examination of Gamma distribution function and its application to hydraulic engineering, that is studying the simulation of monthly streamflow by the Gamma distribtution function model(Gamma Model) based on Monte Carlo technique. In the analysis, monthly streamflow data in the Nak Dong River, the Han River, and the Keum River were used and the data were changed to modular coefficient in order to make the analysis convenient. At first, the fitness of monthly streamflow to 2-Parameter Gamma distribution was tested by Chi-square and Kolmogrov-Smironov test, by which it was found the monthly streamflow were fit well to this Gamma distribution function. Then, the Gamma Model based on the Gamma distribution and Monte Carlo Method was used in the simulation of monthly streamflow, and simulateddata showed that all their stastical characteristics were preserved well in the simulation. Consequently, it can be concluded that the Gamma Model is suitable for the simulation of monthly streamflow series directly by using the Mote Carlo technique.