• 한국정보통신학회논문지
• /
• 제20권11호
• /
• pp.2131-2136
• /
• 2016

산업 4.0 이전의 많은 제조 방식들이 단순히 생산 라인의 단점을 극복하는 것이 목적이라면, 산업 4.0은 생산 설비 스스로 작업 방식을 결정하여야 한다. 이러한 과정 속에서 FMS, AMS, MAS 등의 제조 방식들이 발전하여 왔으나, 이러한 제조방식들은 기계, agent, 자원 공유 등의 이유로 교착상태가 발생할 수 있다. 이를 해결하기 위해 여러 연구가 진행되어 왔지만, 사람의 개입으로 인해 제조 방식이 동적으로 재구성되는 상황에서 발생되는 교착상태를 방지하는 연구는 미비하다. 본 논문에서는 동적으로 재구성되는 상황의 모델을 제시하며, 이러한 상황에서 발생하는 교착상태를 방지하는 기법을 제안한다. 제안하는 기법은 사람이 개입한 기계의 제조 시간이 변경될 경우 주변 기계들에게 오차 시간 메시지를 브로드캐스트함으로써 생산 제조 시간을 조절한다. 이를 통해 생산 라인의 상황이 변화하더라도 교착상태는 방지할 수 있을 것이라 예상된다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2007년도 추계학술대회 및 제23회 정기총회
• /
• pp.226-227
• /
• 2007

항만 물동량의 증가로 자동화 항만 시스템에 대한 연구가 활발히 진행되고 있다. 본 연구는 선형 모터 기반 이송 장비인 LMTT 시스템의 자동화 운용에 있어 충돌 및 교착상태를 방지하기 위해 Random Access Sequence Dynamic Programming(RAS DP)를 이용한 최적 경로 탐색 알고리즘을 제안한다. 제안하는 알고리즘은 실시간으로 각 shuttle car의 최적 경로를 탐색한다.

• 전자공학회논문지CI
• /
• 제48권3호
• /
• pp.76-81
• /
• 2011

침입방지시스템은 내부 시스템 보안 또는 외부 공격의 문제를 해결하기 위한 중요한 솔루션이다. 이러한 침입방지시스템을 도입 시 가장 우선적으로 고려해야 될 사항으로는 다양한 기능보다 안정성이다. 본 논문은 침입방지시스템 보안모델의 사용자 인증기능에 대한 안정성 검증을 위하여 칼라 페트리 네트를 이용하였다. CPN은 분산되어있고, 동시 발생적이며, 결정적 또는 동기화 방식의 비결정적인 시스템들에 대하여 그래픽적인 모델링 언어로 표현이 가능하다. 이런 칼라 페트리 네트는 각 처리 단계에 대하여 모든 가능한 상태와 발생 그래프로 표현된다. 침입방지시스템 보안 모델의 안정성은 칼라 페트리 네트를 이용한 모든 상태표현과 발생그래프의 분석결과가 무한반복 혹은 교착상태가 없으므로 검증되었다.

• 한국시뮬레이션학회논문지
• /
• 제19권4호
• /
• pp.67-75
• /
• 2010

교착이란 일반적으로 병행과 자원공유 모듈에 의한 서브 시스템에서 발생한다. 사이폰과 트랩은 패트리 넷의 교착 상태를 잘 나타낸다. 사이폰은 많은 연구자들에게 교착을 감지하고 방지하는데 사용되어진 개념이다. 그러나 모든 사이폰 서브넷을 감지하는데는 많은 시간과 노력이 필요하다. 추이적 행렬은 플레이스와 트랜지션간의 관계를 표현하므로 추이적 행렬과의 관계를 분석하여 모든 사이폰 서브 넷을 감지하는 알고리즘을 제안한다. 또한 제안한 알고리즘의 성능을 사례를 들어 검증한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권3호
• /
• pp.255-263
• /
• 2000

다단계 상호 연결망은 대규모 멀티컴퓨터의 대표적인 연결망 구조이다. 브로드캐스트와 멀티캐스트 통신은 캐쉬 관리, 리덕션, 베리어 동기화와 같은 협동 통신을 지원하기 위한 기반 기술이다. 본 논문은 대규모 멀티컴퓨터 시스템을 구성하기에 적합한 웜홀 스위칭하는 양방향 베니언 망에서 동작하는 멀티캐스트 기법을 제안한다. 제안하는 기법은 간단한 하드웨어하에서 교착상태를 일으키지 않고 두 번의 전송 단계를 거침으로써 멀티캐스트와 브로드캐스트를 수행한다. 또한, 원하는 목적 노드의 주소를 큐브로 병합하고, 헤더는 단일 큐브로 인코딩된다. 출력 링크에 경쟁이 발생하면 가장 상위 입력 링크로 부터 들어온 플릿에게 우선 순위를 줌으로써 교착상태를 방지한다. 제안하는 기법을 시뮬레이션을 통해서 통신지연 시간의 관점에서 다른 기법과 비교 평가함으로써 제안하는 멀티캐스트 기법의 성능이 우수함을 보였다. 또한, 제안하는 브로드캐스트 기법은 팬아웃이 $2^m({\geq} {\sqrt{N}}$ 인 최소의 정수, N 은 시스템 크기)인 멀티캐스트의 성능과 유사한 월등한 성능을 낸다는 것을 보였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 하계학술대회 논문집 D
• /
• pp.2495-2497
• /
• 2003

본 논문에서는 다수의 AGV를 이용한 물류자동화 시뮬레이션에 대해 연구하였다. 각각의 AGV가 독립적으로 명령을 수행하도록 가상의 AGV를 제안하고 이미 연구된 AGV의 주행경로 표현방법, 경로망 구성방법을 이용하였다. 작업요구시 주어진 작업을 가장 빨리 수행 할 수 있는 AGV를 선정하고 최적 경로 계획을 수행하였다. 그리고 작업을 수행 중인 AGV는 경로 합류점에서의 교착상태(dead lock)와 충돌이 발생할 수 있는데 이를 방지하기 위한 통제구역을 정의하고 교통제어를 수행하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.105-108
• /
• 2004

다단계 보안데이터베이스 시스템에서 기본적인 병행수행 제어 기법들은 비밀채널과 교착상태등과 같은 문제들이 발생하였다. 이에 직렬화 순서를 동적으로 재조정함으로서 해결하려는 방안이 있었지만, 알고리즘의 복잡성으로 인해 오버 헤드와 많은 수행시간이 필요하게 되었고, 이에 따라 많은 양의 시스템 자원과 높은 사양의 시스템을 요구하게 되었다. 또한 이러한 방법은 다중 버전을 사용함으로서 추가적인 관리비용이 높게 되었고, 각각의 트랜잭션이 지연 및 재수행이란 불필요한 과정을 반복하게 되었다. 따라서 본 논문에서는 제안한 알고리즘은 데이터베이스의 용도에 맞게 직렬화 순서를 보장하여 스케줄을 관리하는 요청 2단계 로킹기법(Request Two-phase Locking)으로서 이는 2단계 로킹기법의 기본원리에 요청로크를 사용함으로 보다 효율적으로 병행제어를 할 수 있다. 여기서 요청로크는 각각의 트랜잭션 스케줄에 로크획득 및 해제를 병행수행제어의 필요에 따라 유동적으로 할 수 있으며, 읽기로크, 쓰기로크, 요청로크라는 3가지 로킹모드를 통해 대처방안을 마련함으로서, 충돌을 방지하며, 충돌연산의 특성에 따라 직렬화 순서를 동적으로 조정함으로 블록킹을 막는 병행제어를 응용하여 병렬성을 유지한다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2009년도 추계학술발표논문집
• /
• pp.574-577
• /
• 2009

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

• 한국항행학회논문지
• /
• 제23권1호
• /
• pp.1-7
• /
• 2019

본 연구에서는 항공기 지상 이동 fast-time 시뮬레이터를 개발하였다. 시뮬레이터는 FCFS (first-come first-served) 스케줄러로부터 생성된 스케줄을 사용하여 항공기를 지상 이동시키는데, 항공기의 움직임을 모사하기 위해 1차원 등속 이동 운동 모델을 적용하였다. 공항 내 항공기 충돌 위험이 발생하는 상황을 분석하여 총 6개의 상황으로 분류하였으며 충돌 감지 및 회피 알고리즘을 구현하여 분리 거리를 유지하고 교착 상태를 방지 하도록 하였다. 인천국제공항의 실제 운용상황을 모사한, 72대의 항공기가 포함된 시나리오에 대하여 테스트를 실시하였다. 충돌 감지 및 회피 기능을 사용하지 않은 경우, 다양한 위험 상황이 확인되었으며, 충돌감지 및 회피 알고리즘을 사용하면 위험 상황이 없어지는 대신 추가적인 지연이 발생함을 확인하였다. 또한 회피 알고리즘에서 3가지 통행 우선순위 부여 방식을 구현하여 각 방식에 따른 지연 대수와 평균 지연 시간을 비교하였다. 남은 거리 또는 남은 시간에 따라 우선 순위를 부여하는 방식이 각 상황별 최소 지연을 선택하는 방식에 비하여 전체 추가 지연이 작아짐을 확인하였다.