• Proceedings of the KIEE Conference
• /
• 2006.07a
• /
• pp.137-138
• /
• 2006

2005년 3월에 개시된 개성시범공단에 대한 남한으로부터의 전력공급은 우선 22.9kV 배전 방식으로 최대 15MW까지 확보되고 있으며 금년 말까지 154kV송전선이 건설되어 100MW 전력을 개성공단의 완공에 대비하여 공급할 것으로 알려지고 있다. 한편 정부는 작년 7월에 중대발표를 통하여 2GW의 대북 송전을 제안해 놓고 있으나 6자회담의 교착상태로 논의가 중단된 상태에 있다. 본 연구에서는 이상의 두 가지 경우를 연관시켜 기술적/경제적 측면에서 가장 현실적으로 타당하다고 판단되는 몇 개의 대안에 대하여 조류계산, 전압강하, 과도안정도 및 전압안정도 문제 등을 분석하여 주로 남한의 수도권 전력수급 안정에 미치는 영향을 검토하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06d
• /
• pp.306-307
• /
• 2011

경합 상황, 교착 상태 등과 같은 동시 프로그램의 오류는 기존의 순차 프로그램에 적용되는 테스팅 방법으로는 탐지 및 재현이 힘들다. 하이젠버그라 불리는 이러한 오류는 프로그램의 안정성 및 신뢰성을 떨어뜨리는 원인이 될 수 있으므로 반드시 탐지하고 재현해야 한다. 본 논문은 SAT-solver와 경합 상태 탐지를 위한 Happens-before 알고리즘을 사용하여 ANSI-C 프로그램 내 존재하는 이러한 오류를 탐지하고 재현할 수 있는 방법을 제안한다.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.3
• /
• pp.213-220
• /
• 2008

The object of this paper is to propose a method to deal with the problem of modeling user specifications in approaches based on supervisory control and Petri nets. However, most of Petri Net approaches are based on forbidden states specifications, and these specifications are suitable the use of tool such as the reachability graph. But these methods were not able to show the user specification easily and these formalisms are generally limited by the combinatorial explosion that occurs when attempting to model complex systems. Herein, we propose a new efficient method using FSSTP (Forbidden Sequences of State-Transitions Problem) and theory of region. Also, to detect and avoid the deadlock problem in control process, we use DAPN method (Deadlock Avoidance Petri nets) for solving this problem in control model.

• KDI북한경제리뷰
• /
• v.21 no.11
• /
• pp.46-56
• /
• 2019

2018년 싱가포르에서 북미 정상회담이라는 역사적인 이벤트가 성사되었다. 2019년 1월 1일, 김정은 북한 국무위원장이 "미국 대통령과 언제든 또다시 마주 앉을 용의가 있다"는 신년사를 발표했고 트럼프 대통령이 이에 화답하며 이후 양측 간 실무 협상이 이뤄졌다. 그 결과 2월 말, 양국 정상은 베트남 하노이 2차 정상회담에서 마주할 수 있었다. 그러나 회담은 별다른 성과 없이 결렬됐다. 6월에는 갑작스러운 남-북-미 DMZ 회동이 이뤄졌으나 북한이 갑작스레 수차례 미사일 도발을 감행하며 북미 관계는 다시 교착 상태에 빠지게 됐다. 이후 10월에는 북한 비핵화 협상을 위한 북미 양측의 실무접촉이 스웨덴 스톡홀름에서 진행됐지만 이 또한 뚜렷한 성과를 도출하지 못했다. 양측 모두 현재까지 제3차 북미 정상회담에 대한 가능성은 열어놓은 상태다. 본 경제자료에서는 2019년 북미관계 주요 내용을 정리하고자 한다. 첫 번째 장에서는 하노이 제2차 북미정상회담의 과정과 내용을 정리한다. 두 번째 장에서는 하노이 회담 이후 북미 관계를 살펴보고 남북미 정상 판문점 회동의 과정을 정리해 본다. 세 번째 장에서는 스톡홀름 북미 실무협상 전 북한의 미사일 발사와 함께 실무협상 전개의 주요사항을 정리한다. 본 자료는 다양한 언론 보도를 근거로 재구성하여 제공한다

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.48 no.3
• /
• pp.76-81
• /
• 2011

Intrusion prevention systems (IPS) are important solution about solved problems for inside system security or outsider attacks. When introduce this system, first consideration item is secured rather than multiple function. Colored Petri Nets (CPNs) used that in order to secured verification for user authentication function of intrusion prevention system security model. CPNs is a graphical modeling language suitable for modeling distributed, concurrent, deterministic or non-deterministic systems with synchronous. Like these CPNs was expressed every possible state and occurrence graph. Secured of IPS security model was verified because expression every state using CPN tool and as a result of analyzing the occurrence graph was without a loop or interruption.

• Journal of Navigation and Port Research
• /
• v.38 no.5
• /
• pp.493-501
• /
• 2014

An automated lifting vehicle(ALV) used in an automated container terminal is a type of unmanned vehicle that can self-lift a container as well as self-transport it to a destination. To operate a fleet of ALVs efficiently, one needs to be able to determine a minimum-time route to a given destination whenever an ALV is to start its transport job. To find a route free from any collision or deadlock, the occupation time of the ALV on each segment of the route should be carefully scheduled to avoid any such hazard. However, it is not easy because not only the travel times of ALVs are uncertain due to traffic condition but also the operation times of cranes en route are not predicted precisely. In this paper, we propose a routing method based on an ant colony optimization algorithm that takes into account these uncertainties. The result of simulation experiment shows that the proposed method can effectively find good routes under uncertainty.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.597-599
• /
• 1998

기존의 공중전기통신망들이 B-ISDN으로 통합, 발전되어 가는 과정에서 경제성 및 효율성 등의 이유로 인해 필연적으로 기존망과 새로 구현하는 망 사이의 연동과정이 필요하게 되며 가능한 기존망의 기능을 수용하면서 구현될 수 있는 방안이 마련되어야한다. 본 논문에서는 B-ISDN과 Internet의 망간 프로토콜인 B-ISUP와 TCP/IP의 연동 프로토콜을 설계하고 연동 프로토콜을 검증하기 위해 페트리네트(petrinet)의 확장인 프레디키디(predicate)/액션(action) 네트를 이용하여 모델링하였다. 또한 동작성 확인을 위해 도달트리(reachability tree)를 이용하여 설계한 프로토콜이 교착상태(deadlock)없이 정상적으로 수행됨을 보였다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.1
• /
• pp.40-51
• /
• 1999

이동 컴퓨팅 환경에서 이동 호스트는 무선 망의 제한된 대역폭을 효율적으로 사용하기 위하여 캐쉬를 사용한다. 지금까지 제안된 캐쉬 관리 방법에서의 문제점은 캐쉬에서 필요한 데이터를 즉각적으로 캐쉬하였을 때 이동 트랜잭션의 직렬성이 위배될 수 있다는 것이다. 또한 서버와 이동 호스트에서 수행되는 트랜잭션의 스케쥴링 방법을 다룬 연구들이 많지 않다. 그 중 록을 이용한 스케쥴링 방법에서는 트랜잭션의 스케쥴링을 위하여 서버와 이동 호스트 사이에서 부가적인 메시지 교환을 필요로 하고, 교착상태가 발생할 수있다는 문제점이 있다. 본 논문에서는 캐쉬를 사용하는 이동 컴퓨팅 환경에 적합한 트랜잭션의 스케쥴링 방법에 대하여 제안한다. 제안한 방법은 록을 사용한 방법에서 발생하는 부가적인 메시지 교환을 줄이기 위하여 타임스탬프를 이용하며, 서버에 다중버전을 유지함으로써 늦게 제출된 이동 트랜잭션이나 장기간에 걸쳐 수행되는 이동 트랜잭션의 완료율을 향상시킬 수 있다. 또한 이동 호스트의 타임스탬프에 따라 버전을 접근할 수 있게 하여 즉각적인 캐슁으로 인하여 발생할수 있는 문제점을 해결하고 , 수행되는 트랜잭션의 직렬가능한 수행을 보장한다.

• Proceedings of the KAIS Fall Conference
• /
• 2009.12a
• /
• pp.574-577
• /
• 2009

본 논문은 외판원 문제(TSP: Traveling Salesman Problem)를 이용하여 로봇중심의 FMC(Flexible Manufacturing Cell)에서 반송 로봇의 작업순서를 설계하는 방법을 제시하였다. 이를 위해, 먼저 다수의 설비와 반송 로봇으로 구성된 대표적인 로봇 중심의 FMC를 가상으로 설계한 후, 실험계획법을 이용하여 다양한 조건에서의 주요 반응변수들의 인과관계를 규명하였다. 실험결과, 처리량, 반송로봇의가동률, 그리고 Buffer의 평균 대기 작업물의 수가 주요 반응변수들로 선정되었으며, 이를 기반으로 순서기반 조합최적화 문제인 TSP로 로봇 작업순서를 설계하였다. 제안한 방법과 기존의 방법을 비교하기 위해서 시뮬레이션을 수행 한 결과 제안된 TSP 방법이 기존의 방법 보다 반송 로봇의 교착 (Deadlock) 상태를 방지하여 처리량 등 주요 반응변수들 모두를 향상 시키는 결과를 가져왔다. 더불어,이 방법은 본 연구에서 제시한 FMC 뿐 아니라 반도체나 LCD(Liquid Crystal Display) 생산 공정과 같이 반송 로봇에 의해 구성되어 있는 장치 산업분야에 적용가능하다는 측면에서 큰 효과가 기대된다.

• Journal of Institute of Control, Robotics and Systems
• /
• v.8 no.8
• /
• pp.706-712
• /
• 2002

In general, a deadlock in flexible manufacturing systems (FMSs) is caused by a resource limitation and the diversity of routings. However, the deadlock of industrial controllers such as programmable logic controllers (PLCs) can occur from different causes compared with those in general FMSs. The deadlock of PLCs is usually caused by an error signal between PLCs and manufacturing systems. In this paper, we propose a deadlock detection and recovery (DDR) algorithm to resolve the deadlock problem of PLCs at design stage. This paper employs the MAPN (modified automation Petri net), MTPL (modified token passing logic), and ECC (efficient code conversion) algorithm to model manufacturing systems and to convert a Petri net model into a desired LD (ladder diagram). Finally, an example of manufacturing systems is provided to illustrate the proposed DDR algorithm.