• 한국시뮬레이션학회논문지
• /
• 제17권3호
• /
• pp.75-83
• /
• 2008

여러 개의 작업이 동시에 작동 할 때 서로 다른 작업에서 공유자원을 사용하기 위하여 상대방의 작업이 끝나기를 기다리는 상태를 교착상태라 하며 이는 시스템의 효율성과 경제성 제고에 가장 중요한 문제 중 하나이다. 지금까지 이러한 교착상태 확인은 도달성(reachability)기법이나 서브 넷(Subnet)으로 분리하여 분석하는 기법 등이 가장 많이 사용되었으나, 분석에 필요한 시간과 노력, 복잡성과 효율성에 있어서 효과적이지 못한 단점을 가지고 있다. 본 연구는 패트리 넷(Petri Net)에서 모든 플레이스(Place) 간의 관계를 나타내는 추이적(Transitive)행렬을 이용하여 교착상태가 나타날 가능성이 있는 자원공유 플레이스를 분석하여 교착상태를 검증하는 정책을 제시한다. 이를 위하여 교착상태를 확인할 수 있는 자원공유 플레이스의 관계를 정의하고, 유연생산시스템 모델을 이용하여 제안한 알고리즘의 성과를 검증한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(A)
• /
• pp.425-427
• /
• 2012

본 논문에서는 상황인지 시스템에서 규칙들간에 발생하는 충돌을 실행 이전에 탐지하기 위한 기법을 소개한다. 사용자가 새로운 규칙을 입력하면, 이벤트, 조건, 액션 정보를 단계적으로 분석하여, 동일한 이벤트가 상이한 서비스를 요구하는 규칙들을 탐지한다. 이는 실행 중에 발생되는 충돌을 감소시킴으로써, 동적 충돌 탐지 및 해결 대상을 감소시킨다. 제안된 기법은 규칙 기반 상황인지 미들웨어 상에 구현되었다.

• 대한산업공학회지
• /
• 제20권1호
• /
• pp.53-69
• /
• 1994

Deadlock in flexible manufacturing systems (FMS) which refers to the stop state of job flow in the system can be commonly occurred in operating FMS. This state mainly due to bad movements of jobs and commonly job routings should be avoided to maximize the utilization of high-capital resources in this study, the deadlock generated from the conflict between flow objects competing to occupy space resources in FMS is investigated. Capacity Designated Directed Graph (CDG) is constructed to represent the space resources and flow object routings. From the characteristics of CDG, an algorithm for the detection of the deadlock possibility is proposed. Finally two deadlock avoidance rule are proposed and implemented in the control on Automated Guided Vehicle system in an FMS.

• 환경영향평가
• /
• 제3권1호
• /
• pp.69-76
• /
• 1994

GIS 기법을 이용한 환경영향평가 방법론을 설명한다. 도시(Kirovsk, Apaity, Murmank, 북극지역)에서의 생태적 갈등영역의 탐지에 대한 작가의 경험 뿐 아니라 모스크바 지역에서의 금속성 비료이용의 결과평가의 경험에 대한 특성을 단수하게 설명한다.

• Journal of Information Processing Systems
• /
• 제6권3호
• /
• pp.375-384
• /
• 2010

Trajectory modeling is foundational for 4D-Route modeling, conflict detection and air traffic flow management. This paper proposes a novel algorithm based Vincenty's fomulas for trajectory calculation, combined with the Dijkstra algorithm and Vincenty's formulas. Using flight plan simulations our experimental results show that our method of En-route trajectory calculation exhibits much improved performance in accuracy.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2005년도 춘계학술대회 논문집
• /
• pp.1159-1164
• /
• 2005

현재 철도청이 운용중인 열차운행관리 시스템(Railway Traffic Management System, RTMS)은 서울, 대전, 부산, 순천 그리고 영주 등으로 총 5개 지역본부로 분산되어 있어 업무의 중복을 줄이고, 자동화(Automation)된 열차집중제어장치(Central Traffic Control, CTC)를 구축하기 위해 지역본부를 대전으로 통합하는 프로젝트를 진행중이다. 본 논문은 철도청 사령실 통합 신호설비 구축 프로젝트에 의거하여 열차 경합을 검지 또는 예측하고 운영자에게 최소의 시간 내에 최적의 해소 대책을 제시함을 목적으로 하는 열차 경합 검지 시스템을 구현하는 과정에서 작성되었다. 여기에서는 열차 경합 검지에 대한 개요와 검지 가능한 경합 종류에 대해 기술하고, 실제 구현된 알고리즘의 기본적인 내용, 프로세스의 구성도 및 시뮬레이션 결과를 설명하려고 한다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.1466-1474
• /
• 2007

In large station with high density traffic, trains is hardly controlled by CTC but by station dispatcher because CTC has difficulties in monitoring all states of affairs happening within the station such as departs and arrivals of many trains from different lines and shunting trains between yards and platforms, etc. Therefore station dispatcher has to make quick decision about how to schedule all trains including trains to arrive and depart before long. And such decisions become harder when an unexpected delay occurs. This study suggests a mathematical model and algorithm about how to detect in advance and resolve efficiently the conflicts occurring within a station and it will be shown how to reduce delay using our approach by means of analysing the schedule of ChyungRyangRi station.

• 한국항행학회논문지
• /
• 제16권1호
• /
• pp.122-130
• /
• 2012

항공기 분리보증은 자유비행의 핵심요구사항이다. 본 논문에서는 위임권한 확대, 공역 효율성 문제 등 자유비행의 실증적 문제해결을 위해 자율형 운항 알고리즘을 제안하고, 제안된 알고리즘과 포텐셜 필드 알고리즘을 모델링하여 두 가지 조건의 시나리오 상황에서 항공기 성능 데이터를 활용, 알고리즘 성능 및 충돌해결과 운항 자율성 효과 등을 측정하였다. 실험결과 자유비행 공역 하에서 자율형 운항 알고리즘이 포텐셜 필드 알고리즘보다 알고리즘 성능, 충돌해결, 운항 자율성 효과 측면에서 우수하였다.

• 한국IT서비스학회지
• /
• 제6권2호
• /
• pp.177-188
• /
• 2007

Policy-based Network Management (PBNM) has been presented as a paradigm for efficient and customizable management systems. The approach chosen is based on PBNM systems, which are a promising and novel approach to network management. These systems have the potential to improve the automation of network management processes. The Internet Engineering Task Force (IETF) has also used policy concepts and provided a framework to describe the concept as the Policy Core Information Model (PCIM) and its extensions. There are policy conflicts among the policies that are defined as the policy information model and they are not easily and effectively detected and resolved. In this paper, we present the brief description of PBNM and illustrate the concepts of policy core information model and its policy implementation for a network security. Especially we describe our framework for detecting and resolving the policy conflicts for network security.

• International Journal of Aeronautical and Space Sciences
• /
• 제14권3호
• /
• pp.272-281
• /
• 2013

Traffic Collision Avoidance System (TCAS) is designed to enhance safety in aircraft operations, by reducing the incidences of mid-air collision between aircraft. The current version of TCAS provides only vertical resolution advisory to the pilots, if an aircraft's collision with another is predicted to be imminent, while efforts to include horizontal resolution advisory have been made, as well. This paper introduces a collision resolution algorithm, which includes both vertical and horizontal avoidance maneuvers of aircraft. Also, the paper compares between the performance of the proposed algorithm and that of algorithms with only vertical or horizontal avoidance maneuver of aircraft.