• 한국인터넷방송통신학회논문지
• /
• 제11권5호
• /
• pp.101-106
• /
• 2011

본 연구는 이산사건 시스템인 제조 시스템에 대하여 사용자 명세서에 따라 충실하게 동작하는 제어기를 설계하는 것이 목적이다. 특히, W. M. Wonham의 감독제어 이론을 기반으로 병렬처리가 가능한 패트리 넷을 이용한 제어기를 설계하는 것이다. 또한, 패트리 넷을 이용한 설계 시 고려해야 할 문제 중 공유하는 자원의 할당에 관한 문제를 다루고자 한다. 공유자원에 대한 처리를 사용자 명세서로 제시하고 제시한 패트리 넷으로 모델링하여 합성하면 제어기가 생성된다. 이렇게 생성된 제어기는 공유하는 자원이 있는 경우에 발생가능 한 교착상태(deadlock)와 기아상태(Starvation)에 대한 제어가 가능하다. 선행연구에서는 페트리 넷의 두 모델을 합성하는 방법으로 동기식 도달성 그래프를 제안하였다. 따라서 본 연구에서는 그 결과를 이용하여 교착상태와 기아상태를 예방한 제어된 시스템을 설계하여 제시하고자 한다.

• 산업경영시스템학회지
• /
• 제38권4호
• /
• pp.149-158
• /
• 2015

Up-to-date manufacturing companies have faced a market-driven environment of pull production order. There should be a difference in operating manufacturing resources according to the type, quantity, and delivery time of manufactured products, because the process situation in pull production is changed by customer orders. And it should be taken into account from the stage of preparing for production such as process design and the placement and utilization of manufacturing resources. However, the feasibility of production plans is limited because most of small manufacturing businesses make production/supply plan of the parts and products assuming that equipment abilities in scheduling is sufficient without managing process standard information systemically. In this study, a discrete event simulation system based on BOM (bill of material), that is F-OPIS (online productivity innovation system), is introduced and a case study on application of the system leading to improving productivities is presented. F-OPIS deals with a decision-problem on production management and it is specialized for small-and- medium sized manufacturing companies. The target company of this case study is a typical small-and-medium sized manufacturing company in Korea, that produces various machined parts. The target company adopts make-to-stock production management to prevent tardy delivery because of fluctuations in demand. Therefore, it is required to apply an efficient inventory control solution for improving productivities. In this paper, based on the constraints of working capacity of manufacturing resources, the bottleneck process is analyzed as production conditions are changed. Consequently, an improvement plan is proposed, that eventually enhances overall utilization rates of resources in the bottleneck process and reduces overall production lead-time and inventory level.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.322-324
• /
• 2015

네트워크 시뮬레이터인 NS-2(Network Simulator 2)는 다양한 인터넷 프로토콜을 분석 할 수 있는 이산 사건 시뮬레이터로 데이터 처리량과 패킷 지연 및 전력 소모 등을 구할 수 있다. 그러나 NS-2를 사용하여 실험 시 네트워크 토폴로지의 설정이 변경 될 때마다 Tcl 스크립트를 통해 단일적으로 밖에 대응하지 못한다는 불편함이 존재한다. 이 문제를 해결하기 위해 본 논문에서는 멀티프로세싱 기법의 NS-2 Batch Job 시스템을 제안한다. 쉘(Bash) 스크립트로 NS-2 내부 구조의 간섭 없이 자동화 일괄 작업(Batch Job) 시스템을 모듈 구조로 구현 및 적용시켰다. 또한 실험의 시간 효율을 극대화시키기 위해 멀티프로세싱 기법을 이용하여, 하드웨어 성능의 부하가 걸리지 않는 선에서 NS-2 시뮬레이션을 다중 처리할 수 있도록 만들었다. 성능 비교분석 결과, 제안하는 Batch Job 시스템을 적용하면 기존에 NS-2를 이용한 실험에 걸리는 시간에 비해 소요시간이 평균 48% 감소한 결과를 볼 수 있다. 이는 하드웨어 성능이 향상된다면, 부하가 걸리지 않는 상한까지 더 많은 개수의 NS-2 프로세스를 실행시킬 수 있기 때문에 더욱 큰 시간 효율을 보여줄 수 있다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2002년도 춘계학술대회 논문집
• /
• pp.474-477
• /
• 2002

Safety is very important to operate nuclear power plant. To guarantee the safety, nuclear power plant should be run without trouble. This paper presents the application of a failure diagnosis approach based on discrete event system theory to the pressurizer pressure control system for Pressurized Water Reactor. Also, this paper shows a scheme of failure diagnosis by distributed diagnoser.

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

본 연구는 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 가상전장 모델링 및 시뮬레이션 방법론을 제안한다. 기존 군체계에 관련된 모델링 기술은 물리적 모델링, 비쥬얼 모델링, 또는 개념적 모델링 등 개별 기능중심의 단편적 플랫폼 모델링에 그치고 있으며, 무기체계 분석 시뮬레이션도 개별 단위체 중심으로 평가되어져서, 다양하고 종합적인 그리고 상호운영성과 재사용성 등을 고려한 통합 모델링 및 시뮬레이션 환경을 제공하지 못하는 단점을 갖는다. 따라서 본 논문에서는 개별 전투병력에서부터 첨단 무기체계에 이르는 다양한 전장 요소들을 계층 구조적으로 통합함으로써 장에서 발생될 수 있는 개별 전투병력의 미시적 행동 특성뿐 아니라 분대/중대/대대/사단급 단위의 거시적 전략/전술에 대한 묘사까지도 가능한 가상전장 모델링 및 시뮬레이션 환경을 제안한다. 제안된 방법론은 분대 단위의 가상 전장 환경에 대한 사례연구를 통해 검증하였으며, 향후 연구로는 대단위 가상전장에 대한 묘사를 위한 HLA 분산 시뮬레이션 기술의 적용에 대한 연구가 필요할 것이다.

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

본 연구는 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 가상전장 모델링 및 시뮬레이션 방법론을 제안한다. 기존 군체계에 관련된 모델링 기술은 물리적 모델링, 비쥬얼 모델링, 또는 개념적 모델링 등 개별 기능중심의 단편적 플랫폼 모델링에 그치고 있으며, 무기체계 분석 시뮬레이션도 개별 단위체 중심으로 평가되어져서, 다양하고 종합적인 그리고 상호운영성과 재사용성 등을 고려한 통합 모델링 및 시뮬레이션 환경을 제공하지 못하는 단점을 갖는다. 따라서 본 논문에서는 개별 전투병력에서부터 첨단 무기체계에 이르는 다양한 전장 요소들을 계층 구조적으로 통합함으로써 전장에서 발생될 수 있는 개별 전투병력의 미시적 행동 특성뿐 아니라 분대/중대/대대/사단급 단위의 거시적 전략/전술에 대한 묘사까지도 가능한 가상전장 모델링 및 시뮬레이션 환경을 제안한다. 제안된 방법론은 분대 단위의 가상전장 환경에 대한 사례연구를 통해 검증하였으며, 향후 연구로는 대단위 가상전장에 대한 묘사를 위한 HLA 분산 시뮬레이션 기술의 적용에 대한 연구가 필요할 것이다.

• 전자공학회논문지S
• /
• 제36S권3호
• /
• pp.36-46
• /
• 1999

본 논문에서는 DSPN(Deterministic and Stochastic Petri Net)을 이용, 교차로에서의 차량 진입과 같은 이산 사건(discrete events)적인 상황을 해석하고, 교통신호기의 동작과 차량흐름을 모델링하였다. 교차로에서의 차량 흐름을 확률적 개념으로 표현하여, 차량 변화에 따른 교차로의 상황을 토큰의 변화로 나타내었다. GreatSPN을 사용한 모의 실험을 통하여, 모델링된 교통신호기하에서의 차량의 평균 지체시간을 분석하였다. 차량 지체시간을 이용하여 단위시간연장 교통량 대응 신호기와 본 논문에서 제안한 최대시간허용 교통량 대응 신호기의 성능을 비교 분석하여, 최대시간허용 교통량 대응 신호기가 단위시간연장 교통량 신호기보다 좋은 특성을 나타냄을 보였다. 2개의 교차로로 이루어진 시스템을 본 논문에서 개발한 기본 모듈들을 서로 연결하여 분석하였고, 이러한 성능 분석을 통하여 주위 여건에 적합한 새로운 교통신호기를 구현할 수 있음을 보였다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2001년도 춘계학술대회 논문집
• /
• pp.570-573
• /
• 2001

Safety is very important to operate nuclear power plant. To have the safety, nuclear power plant should be run without trouble. This paper presents the application of a failure diagnosis approach based on discrete event system theory to the Main Feedwater System for Safe Integral Reactor.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 합동 추계학술대회 논문집 정보 및 제어부문
• /
• pp.212-214
• /
• 2001

Siphons and traps are special structures of Petri nets with closely related to liveness for the deadlock analysis of Discrete Event Dynamic Systems. It can analysis the liveness of Petri nets using the siphon and trap without to check reachability.[1] Deadlock analysis approach we proposed is based on the notion of potential deadlock which are siphons that eventually become empty. And in this paper, we proposed a initial marking method by siphon to avoid and to prevent deadlock. It is shown that our approach is more efficient than classical state enumeration approach.

• 한국산업정보학회논문지
• /
• 제5권1호
• /
• pp.37-46
• /
• 2000

본 연구는 작업자 효율 균형화, 생산성 향상등과 같은 시스템 수행도를 개선하기 위해 자동차 부품 조립라인의 시뮬레이션 모델을 개발하였다. 시뮬레이션 모델은 완벽한 3D환경을 제공하는 이산사건모델링 도구인 QUEST를 이용하였으며, 이를 이용하여 현재의 생산라인의 수행도를 분석하였으며, 작업자효율을 균형화시키면서 생산성을 향상시킬 수 있는 방안을 제시하였다.