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

최근 몇 십년간 이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하여 왔다. 그럼에도 불구하고 실용 엔지니어들은 실세계의 시스템을 모델링에 적용하는데 어려움을 겪기도 하는데 이는 DEVS가 많은 상태와 사건들을 구조화되지 않은 형태로 명세해야 하는 것 때문이다. 본 논문은 집합 이론을 바탕으로 그러한 사건 및 상태집합들을 구조화된 형태로 표현하는 Structured DEVS 형식론과 이와 연관된 DEVS 다이어그램을 제안하고자 한다. 위상, 변수, 포트 등의 개념을 사용하여 집합들을 명세한 구조적 DEVS 형식론은 원래의 DEVS 형식론과 동등함을 증명하였다. DEVS 다이어그램을 이용하여 구조적 DEVS 형식론으로 표현된 예시 모델이 쉽게 객체지향 시뮬레이션 환경에서 구현될 수 있음을 보임으로써 제안된 형식론이 효과적임을 보였다.

• 한국건설관리학회논문집
• /
• 제5권2호
• /
• pp.47-54
• /
• 2004

최근 수년 동안에 국내에서는 많은 초고층건물들이 완공되었다. 지금도 다수의 초고층건물들이 시공되고 있으며, 심지어 100층 이상 규모의 초고층건물까지도 기획 중에 있다. 이러한 초고층건물공사의 현장관리 측면에서 중요성이 강조되는 관리항목들 중 하나는 시공 과정 중에 발생하는 자원의 수직이동을 관리하는 것이다. 특히 짓고자 하는 건물의 높이가 높아질수록 작업원들이 각자의 작업층으로 이동하는데 걸리는 시간은 길어지며, 자칫하면 이것이 현장의 작업능률과 생산성을 떨어뜨리는 원인이 될 수 있다. 이에 본 연구에서는 초고층건물공사 수행 시 작업원의 수직이동을 체계적으로 관리하기 위한 한 가지 방안으로서 이산형 시뮬레이션을 사용한 작업원의 수직이동계획 프로세스를 제안하였으며, 계획 프로젝트인 MT 130 타워공사를 대상으로 이것의 적정성을 검토하였다.

• 한국시뮬레이션학회논문지
• /
• 제29권3호
• /
• pp.73-82
• /
• 2020

4차 산업혁명에 있어 무선 센서 네트워크(Wireless Sensor Networks; WSNs)는 사람의 개입 없이 다양한 환경에서 데이터를 수집하고 분석하는 중요한 요소이다. 센서 네트워크는 토폴로지와 라우팅 프로토콜에 따라 네트워크 수명에 크게 영향을 받는데, 그중 라우팅 프로토콜은 일단 한 번 구축되면 운영 중에 변경하기 위해 많은 자원(에너지 등)이 소모된다. 네트워크 구축 전 동작과 성능을 예측하기 위해 다양한 시뮬레이터들이 제안되었음에도 불구하고, 라우팅 프로토콜들에 초점을 맞춰 시뮬레이션할 수 있는 도구는 부족한 현실이다. 본 논문은 DEVS(discrete event system specification)를 사용하여 다수의 라우팅 프로토콜을 시뮬레이션할 수 있는 WSN 모델을 제안한다. DEVS 기반의 제안 모델은 코디네이터 모델에 라우팅 프로토콜의 알고리즘을 구현하게 되면 모델의 구조와 변경 없이 다양한 상황에 대하여 시뮬레이션할 수 있다. 제안 모델의 정상적인 동작 확인을 위해 WSN의 대표적인 프로토콜인 LEACH와 Dijkstra를 사용하여 보고서 전달 수와 네트워크의 에너지 소모를 비교하였다. 그 결과 제안 모델은 두 라우팅 프로토콜에서 정상적으로 동작함을 확인하였다.

• 한국정보통신학회논문지
• /
• 제15권11호
• /
• pp.2313-2320
• /
• 2011

조선소에서 판넬블록 생산공정은 가장 많은 물량을 처리해야 하는 중요하고 복잡한 공정이 고, 모든 선박 및 해양구조물의 하부는 반드시 판넬블록 생산 공정을 거쳐야 하기 때문에 판넬블록 생산공정은 병목공정으로 평가된다. 공정의 생산성을 극대화하기 위해 본 논문에서는 디지털 선박생산에서 가장 중요한 기술 중의 하나인 시뮬레이션과 최적화기법을 활용하여 조선생산실행시스템(SPEXS)을 개발하였고, 판넬블록조립장 적용사례로 SPEXSPanel을 구축하여 향상된 일정계획을 수립하는 효과를 보였다. 더불어 SPEXS-Panel은 지속적인 개선을 통해 야드 생산성 향상에 도움을 줄 수 있을 것으로 기대된다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권5호
• /
• pp.2186-2203
• /
• 2020

Security administrators of companies and organizations need to come up with proper countermeasures against cyber-attacks considering infrastructures and security policies in their possession. In order to develop and verify such countermeasures, the administrators should be able to reenact both cyber-attacks and defenses. Simulations can be useful for the reenactment by overcoming its limitations including high risk and cost. If the administrators are able to design various scenarios of cyber-attacks and to develop simulation models from their viewpoints, they can simulate desired situations and observe the results more easily. It is challenging to simulate cyber-security issues, because there is lack of theoretical basis for modeling a wide range of the security field as well as pre-defined basic components used to model cyber-attacks. In this paper, we propose a modeling method for cyber-security simulations by developing a basic component and a composite model, called Abstracted Cyber-Security Unit Model (ACSUM) and Abstracted Cyber-security SIMulation model (ACSIM), respectively. The proposed models are based on DEVS(Discrete Event systems Specification) formalism, a modeling theory for discrete event simulations. We develop attack scenarios by sequencing attack behaviors using ACSUMs and then model ACSIMs by combining and abstracting the ACSUMs from a security perspective. The concepts of ACSUM and ACSIM enable the security administrators to simulate numerous cyber-security issues from their viewpoints. As a case study, we model a worm scenario using ACSUM and simulate three types of simulation models based on ACSIM from a different security perspective.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2005년도 추계학술대회 및 정기총회
• /
• pp.108-112
• /
• 2005

유비쿼터스 컴퓨팅의 기반 설비인 센서 네트워크는 많은 수의 센서 노드들로 구성되며, 각 센서 노드의 하드웨어는 매우 작은 규모이다. 또한 센서 네트워크는 구축 목적에 따라 네트워크 토폴로지 및 라우팅 방식이 결정되어야 하고, 이와 더불어 센서 노드의 하드웨어와 소프트웨어도 필요에 따라 다양하게 변경되어야 한다. 따라서 센서 네트워크가 구현되기 전에 시스템 동작과 성능을 예측할 수 있는 센서 네트워크 시뮬레이터가 필요하다. 기존의 센서 네트워크 시뮬레이터들은 특별한 응용을 위한 특정 기반의 하드웨어와 운영체제에 국한되어 개발되었기 때문에 다양한 센서 네트워크 환경을 지원하기에는 한계가 있으며, 센서 네트워크 설계상의 주요 요소인 전력소모량과 실행 시간에 대한 분석이 포함되지 않았다. 따라서 본 연구에서는 특정한 응용이나 운영체제에 제한을 받지 않으면서 다양하게 센서 네트워크 환경을 설계 및 검증할 수 있고, 더불어 전력소모량과 실행시간 추정도 가능한 시뮬레이터를 개발하는 것을 목표로 하였다. 이를 위해 본 연구에서 개발한 시뮬레이터는 기계명령어-레벨(machine instruction-level)의 이산-사건 시뮬레이션(discrete-event simulation) 기법을 이용함으로써 실제 센서 노드의 프로그램 실행 및 관련 동작들을 세부적으로 예측하는 데 사용될 수 있도록 하였다. 시뮬레이션의 작업부하(workload)인 명령어 트레이스(instruction trace)로는 ATmega128L 마이크로컨트롤러용으로 크로스 컴파일된 인텔 핵스-레코드(.hex) 형식을 사용한다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 춘계 학술대회 논문집
• /
• pp.169-169
• /
• 2001

With the aid of fast computing power, resampling techniques are being introduced for simulation output analysis (SOA). Autocorrelation among the output from discrete-event simulation prohibit the direct application of resampling schemes (Threshold bootstrap, Binary bootstrap, Stationary bootstrap, etc) extend its usage to time-series data such as simulation output. We present a new method for inference from a regenerative process, regenerative bootstrap, that equals or exceeds the performance of classical regenerative method and approximation regeneration techniques. Regenerative bootstrap saves computation time and overcomes the problem of scarce regeneration cycles. Computational results are provided using M/M/1 model.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1996년도 춘계공동학술대회논문집; 공군사관학교, 청주; 26-27 Apr. 1996
• /
• pp.631-634
• /
• 1996

This paper describes an intelligent user interface to define simulation models from the process and resource models. It also explains an automatic program generator of discrete event simulation model for shop floor control in a flexible manufacturing system. Especially, the paper is focused on the design and development of methodology to automate simulation modeling from the system description. Describing a shop floor control system in simulation is not an easy task since it must resolve various decision problems such as deadlock resolution, part dispatching, resource conflict resolution, etc. The program generator should be capable of constructing a complete discrete simulation models for a multi-product and multi-stage flow shop containing the above mentioned problems.

• 산업공학
• /
• 제13권3호
• /
• pp.521-527
• /
• 2000

A simulation model is developed for planning maintenance, and it can be used in the procedure of Reliability-Centered Maintenance. System availability and the total cost of system operation are predicted by discrete event simulation. These two kinds of output are useful to determine the interval of preventive maintenance. This paper describes simulation logic, and focuses on modeling the maintenance effects and the relations of maintenance works. An example is described for illustrating the simulation model.

• 산업경영시스템학회지
• /
• 제20권44호
• /
• pp.153-161
• /
• 1997

This paper has proposed the modelling by simulation in order to evaluate the performance of process through discrete event simulation using SIMAN language in flexible manufacturing systems. The production system is assumed to be a job shop type of system under the batch production of discrete products. In this paper, the input data is the workstation(process) time, the number of workstation(process), a probability distribution, the number of simulation runs. Also, transient period is considered. In the case study, this paper deals with three products in real flexible manufacturing systems. Finally, a number of simulation runs were executed under different experimental conditions to obtain preliminary statistics on the following performance measures: operating rate of facility and average system operating rate, transient period, central processing unit, average system throughput, and average waiting time in queues.