• Journal of the Korea Society for Simulation
• /
• v.8 no.1
• /
• pp.113-138
• /
• 1999

Driven by the explosive expansion and acceptance of the Internet and its multimedia front-end, the Web, a new generation of the modeling and simulation tools have come up with the name of Web-Based Simulation (WBS). Most of WBS libraries inherit its powerful advantages from Java. However, there are cases where explicit specification of models or interface objects is more desirable than the black-box programs. This paper presents an XML-based DEVS (Discrete Event System Specification) markup language for sharing simulation models on the Web. DEVS provides a system-theoretic formalism for the language while XML supports platform-independent data access. This paper focuses on the design of such a language.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2003.06a
• /
• pp.73-78
• /
• 2003

This paper proposes the simulator synthesis scheme which is based on the exploration of the total design space in attributed AND-OR graph. Attributed AND-OR graph is a systematic design space representation formalism which enables to represent all the design space by decomposition rule and specialization rule. In addition, attributes attached to the design entity provides flexible modeling. Based on this design space representation scheme, a pruning algorithm which can transform the total design space into sub-design space that satisfies the user requirements is given. We have shown the effectiveness of our framework by (ⅰ) constructing the design space of superscalar processor in attributed AND-OR graph (ⅱ) pruning it to obtain the ARM9 processor architecture. (ⅲ) modeling the components of the architecture and (ⅳ) simulating the ARM9 model.

• Journal of the Korean Society of Costume
• /
• v.5
• /
• pp.197-206
• /
• 1981

This study focuses upon the custom of the headgear as a part of historical research on our traditional student uniform. It covers from Sam Kuk period(三國鼎立時代) of which we have found written records of formal education through the period under Japanese colonialism: The followings briefly summerizes the results of this study; 1) The educational civilization. The formalism of national education had been similar to that of China. It's main contents consisted of Chinese literature and practice of confucianism. It's objectives had been the education of selected men of ability, most of whom were the offspring of the high class. The education contents after the civilizational period had been gradually modernized for the purpose of westernization. 2) The changes of students' headgear. They had worn the Nakwon of Julpoong style (折風形羅冠) in the Sam Kuk period. They had worn Bok-Doo in the unified Silla dynasty, and Sadaimoolla-Kun (四帶文羅巾), Pyungjung-Kun (平頂巾) and Pyungjung-Dookun (平頂頭巾) in Koryo dynasty. They had worn Yoo-Kun (儒巾), Bok-Kun (福巾) in Yi dynasty. The noticeable distinction under Japanese colonialism had been the custom uniformity from headgear to footwear. Middle school educatee had worn round cap and professional school and college educatees had worn square hats.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.179-183
• /
• 1999

최근 기업활동의 일부로서 물류의 중요성이 급속히 부각되고 있고, 물류의 전략 개발과 모델링 방면에서 많은 연구가 진행되었다. 본 논문에서는 이산 사건 시스템을 기술하는 언어인 DEVS 형식론을 이용하여 물류 시스템의 성능을 측정하는 시뮬레이터를 구현한다. 본 논문의 대상 시스템은 다수의 차량을 이용하여 다수의 창고에서 다종의 물건들을 다수의 판매처로 운송하는 시스템이다. 각각의 창고에서는 판매처에서 요구한 물건들을 적재하여 판매처에서는 원하는 물건들을 하차하고 정해진 시간 내에 배달되는지를 검증한다. 모델링된 시스템을 시뮬레이션화하기 위해 DEVSim++를 이용한다. DEVSim++는 DEVS 형식론을 C++ 언어로 표현한 것이다. 여러 가상의 데이터로 시뮬레이션한 결과 적절히 동작하는 것을 알 수 있었다. 향후 모델을 확장해서 전국적인 규모에서 시뮬레이션할 수 있는 무류 시뮬레이터를 구현하면 물류 관련 업무에서 필수적으로 쓰일 도구가 될 것이다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1997.04a
• /
• pp.75-80
• /
• 1997

본 연구에서는 대용량의 데이터를 고속으로 입출력할 수 있는 데이터 저장 시스템 이 가져야할 요구사항을 분석하고, 그것을 만족하는 시스템을 설계하였다. 본 논문에서는 우선 고속 대용량, 랜덤 억세스의 조건을 만족시키기 위해 여러 대의 하드 디스크를 병렬로 연결하여 입력되는 데이터들을 나누어 저장하도록 하였다. 그러나 하드 디스크의 성능은 디 스크 아암의 탐색동작에 의해 크게 영향을 받으므로 실시간 요구 조건을 만족시키기 위해선 단순히 디스크의 수를 늘이는 것 외에 디스크 아암의 탐색 동작을 효율적으로 제어할 수 있 는 방법이 필요하다. 그래서 본 논문에서 설계된 시스템에서는 시스템을 MCU(Master Control Unit), DDU(Data Distribution Unit), SCU(Slave Control Unit), DSU(Data Storage Unit)의 4부분으로 나누고, 각 디스크의 디스크 아암 탐색 동작을 독립된 SCU에서 제어하 도록 하였다. 설계된 내용이 주어진 요구사항들을 만족하는 것을 확인하기 위해, 본 논문에 서는 이산사건 시스템을 기술하는 수학적인 언어인 DEVS 형식론을 이용하여 제안된 시스 템을 기술하고 시뮬레이션하였다. 그리고 시뮬레이션되는 과정에서 생산되는 사건들의 궤적 을 분석하였다. 분석결과 제안된 시스템은 앞에서 제시한 여러 요구사항들을 잘 수용함을 보았다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.10a
• /
• pp.163-168
• /
• 1999

본 논문에서는 다수의 승강기들이 서로 협력하여 운영되는 대형 고층 빌딩의 승강기 시스템에 대해서 DEVS 형식론을 이용하여 모델링하고 시뮬레이션한다. 다수의 독립적으로 운영되는 승강기로 이루어진 기존의 승강기 시스템과는 달리, 제안된 시스템에서는 사용자의 요구에 따라 승강기의 스케쥴이 생성, 변경, 삭제되는 동적 스케쥴링 기능을 갖도록 하였다. 제안된 시스템은 승강기 시스템을 나타내는 ELEVATOR 모델과 시뮬레이션 수행에 필요한 실험장치인 EF 모델로 구성된다. ELEVATOR 모델은 빌딩을 나타내는 BUILD 모델, 승강기를 나타내는 ELEV 모델과 각 승가기의 스케쥴을 다이나믹하게 제어하는 SCHED 모델로 구성된다. EF 모델은 실험용 데이터를 생성하는 GENR 모델, 이동하는 승객의 데이터를 추적하고 결과를 수집하는 TRANSD 모델로 구성된다. 모델링된 시스템의 시뮬레이션을 위해 DEVSim++를 이용하여 구현하였다. DEVSim++는 DEVS 형식론을 C++로 구현한 것이다. 시뮬레이션을 통하여 제안된 시스템의 효율, 수행 시간을 기존의 승강기 시스템과 비교, 분석하였다.

• ETRI Journal
• /
• v.32 no.4
• /
• pp.530-539
• /
• 2010

As the conventional silicon metal-oxide-semiconductor field-effect transistor (MOSFET) approaches its scaling limits, quantum mechanical effects are expected to become more and more important. Accurate quantum transport simulators are required to explore the essential device physics as a design aid. However, because of the complexity of the analysis, it has been necessary to simulate the quantum mechanical model with high speed and accuracy. In this paper, the modeling of double gate MOSFET based on an adaptive neuro-fuzzy inference system (ANFIS) is presented. The ANFIS model reduces the computational time while keeping the accuracy of physics-based models, like non-equilibrium Green's function formalism. Finally, we import the ANFIS model into the circuit simulator software as a subcircuit. The results show that the compact model based on ANFIS is an efficient tool for the simulation of nanoscale circuits.

• Nuclear Engineering and Technology
• /
• v.34 no.3
• /
• pp.202-210
• /
• 2002

The details of the electronic structure of the perfect crystal provides a critically important foundation for understanding the various defect states in uranium dioxide. In order to understand the local defect and impurity mechanism, the calculation of electronic structure of UO$_2$ in the one-electron approximation was carried out, using a semi-empirical tight-binding formalism(LCAO) with and without f-orbitals. The energy band, local and total density of states for both spin states are calculated from the spectral representation of Green’s function. The bonding mechanism in Perfect lattice of UO$_2$ is discussed based upon the calculations of band structure, local and total density of states.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2005.05a
• /
• pp.34-39
• /
• 2005

The progress of silicon technology enables to implement a highly complex digital system on a given chip area. However, even the modern design environment is not so efficient to catch up with the progress of process technology. Design reuse is a promising approach to designing such a complex system in an efficient way. However, the rigidness and inflexibility of a model has been an obstacle to design reuse. This paper proposes a high-level model management methodology by introducing attributed AND-OR graph(AOG), a (formal semantics for representing the possible structure of a model. Using the formalism enables a designer to extract, extend and reuse the pre-modeled and pre-verified design. A complete process of constructing a cache operational model, extending the model and extracting executable models is exemplified to show effectiveness of the proposed framework.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2005.05a
• /
• pp.100-105
• /
• 2005

Development of complex discrete event simulators requires cooperation between domain experts and modeling experts who involve the development. With the cooperation the domain experts derive user requirement and modeling experts transform the requirement to a simulation model. This paper proposes a method for consistency verification of simulation model in DEVS formalism against the user requirement in UML diagrams. It also presents an automated tool, called VeriDEVS, which implements the proposed method. Inputs of VeriDEVS are three UML diagrams, namely use case, class and sequence diagrams, and DEVS Graph, all in Visio; outputs of a verification result is represented in PowerPoint files.