• 한국시뮬레이션학회논문지
• /
• 제17권2호
• /
• pp.91-103
• /
• 2008

자동화 제조 시스템에 시뮬레이션 기법을 사용하기 인해서는 자재취급 시스템의 성과를 동적으로 측정해야만 한다. 다중 에이전트 기술은 제조시스템을 지능화 시키고, 분산처리 된 시뮬레이터 개발에 적합하다. 다중 에이전트 시스템은 하나의 조정 에이전트와 다수의 응용 에이전트들로 구성된다. AGVS 시뮬레이터에 있어 이슈는 운반차량의 대수 결정, 양단방향 흐름에서의 이동경로 결정등과 같은 set-up문제와 운영문제로 구분 지을 수 있다. 본 논문에서는 다중 에이전트 기술을 사용하고, 실시간 교착상태 해법 알고리즘이 포함된 시뮬레이터를 소개한다. 시뮬레이터는 잘 알려진 프로이드(Floyd) 알고리즘을 사용하여 AGVS의 최단 이동경로를 구성된다. 움직이고 있는 차량 에이전트는 조정 에이전트에 의해 실시간 제어로 작동되고, AGV는 경로확인 알고리즘을 사용하여 충돌과 교착상태를 피한다. AGV의 위치는 수평시간 계획법에 근거하여 동적으로 재계산된다. 충돌해소 알고리즘은 어떠한 배치 형태에서라도, 그리고 큰 규모의 문제에서도 AGVS의 운영 중의 주행문제 해결을 보장한다. 시뮬레이터는 AGV들의 AGVS 칸트차트를 통하여 작동정보를 받고, 표현한다. 제안된 알고리즘의 성과와 다중 에이전트 기술을 사용하여 개발한 시뮬레이터는 실험을 통하여 검증된다.

• 한국항해항만학회지
• /
• 제42권1호
• /
• pp.47-56
• /
• 2018

초대형선박의 등장으로 컨테이너 터미널 생산성의 한계에 직면하고 있으며 이를 해결하기 위한 새로운 개념의 터미널시스템들이 제안되고 있다. 본 논문에서는 개념설계 중인 레일기반 컨테이너 이송시스템을 대상으로 연구한다. 이는 레일 위를 움직이는 무인반송차인 플랫카와 천장형 레일을 따라 움직이는 셔틀크레인으로 구성된 시스템이다. 자동화된 컨테이너 터미널에서 컨테이너 수송 기능을 담당하는 무인반송차의 운영 시 교착과 같은 병목현상은 오랫동안 중요한 문제로 잘 알려져 있다. 따라서 초대형 선박과 같이 대량의 컨테이너 취급하는 신개념의 레일기반 컨테이너 이송시스템에서 발생 가능한 교착 현상을 정의하고 해결방안에 대해 논한다. 교착 현상은 이종장비 간 교착과 플랫카 간 교착문제로 구분하여 소개한다. 본 연구는 시뮬레이션 접근법을 사용하여 레일기반 컨테이너 시스템 모델을 개발한다. 개발된 시뮬레이션 모델의 실행을 통하여 수송구간에서 발생 가능한 교착 상태를 확인하고 이를 해소하기 위한 교착 회피 규칙을 개발한다. 시뮬레이션 실험을 통하여 교착발생 빈도를 기준으로 교착 회피 규칙들의 성능을 비교한다.

• 한국정보과학회논문지:데이타베이스
• /
• 제29권6호
• /
• pp.502-512
• /
• 2002

기존에 제안된 대부분의 중복 기법은 원본 트랜잭션을 완료한 후 비동기적으로 중복사본에 대한 갱신 요구를 방송하는 지연 갱신 기법을 가정하였다. 지연 갱신 기법은 즉시 갱신 기법에서 발생하는 빈번한 교착상태 발생 문제를 해결할 수는 있지만 데이타 일관성 유지가 사용자 책임이라는 단점을 갖는다. 최근 그룹 통신의 메시징 순서를 적용한 즉시 갱신 중복 기법들이 제안되고 있다. 이들 기법은 메시징 순서를 이용하여 교착상태 발생률을 줄였지만, 송신 노드는 갱신 요구 메시지를 방송한 후 전역 직렬성을 검증하는 낙관적 기법을 채택하기 때문에 동시성이 증가할수록 철회 트랜잭션의 실행 오버헤드가 증가한다는 문제점을 갖는다. 본 논문에서는 철회 트랜잭션의 갱신 매시지 방송과 실행 오버헤드를 줄일 수 있는 즉시 갱신 중복 기법을 제안한다. 제안한 기법은 갱신 요구 매시지를 방송하기 전에 전역 직렬성 검사가 이루어지기 때문에 완료 트랜잭션은 한번의 메시지 방송으로 처리할 수 있다. 뿐만 아니라, 철회 트랜잭션은 다른 노드로 방송할 필요가 없기 때문에 메시지 전송 횟수를 줄일 수 있으며, 철회 트랜잭션의 실행으로 인한 디스크 액세스 수와 로크 대기 시간을 줄임으로써 성능을 향상시킨다.

• 한국정보과학회논문지:데이타베이스
• /
• 제29권6호
• /
• pp.500-500
• /
• 2002

기존에 제안된 대부분의 중복 기법은 원본 트랜잭션을 완료한 후 비동기적으로 중복사본에 대한 갱신 요구를 방송하는 지연 갱신 기법을 가정하였다. 지연 갱신 기법은 즉시 갱신 기법에서 발생하는 빈번한 교착상태 발생 문제를 해결할 수는 있지만 데이타 일관성 유지가 사용자 책임이라는 단점을 갖는다. 최근 그룹 통신의 메시징 순서를 적용한 즉시 갱신 중복 기법들이 제안되고 있다. 이들 기법은 메시징 순서를 이용하여 교착상태 발생률을 줄였지만, 송신 노드는 갱신 요구 메시지를 방송한 후 전역 직렬성을 검증하는 낙관적 기법을 채택하기 때문에 동시성이 증가할수록 철회 트랜잭션의 실행 오버헤드가 증가한다는 문제점을 갖는다. 본 논문에서는 철회 트랜잭션의 갱신 매시지 방송과 실행 오버헤드를 줄일 수 있는 즉시 갱신 중복 기법을 제안한다. 제안한 기법은 갱신 요구 매시지를 방송하기 전에 전역 직렬성 검사가 이루어지기 때문에 완료 트랜잭션은 한번의 메시지 방송으로 처리할 수 있다. 뿐만 아니라, 철회 트랜잭션은 다른 노드로 방송할 필요가 없기 때문에 메시지 전송 횟수를 줄일 수 있으며, 철회 트랜잭션의 실행으로 인한 디스크 액세스 수와 로크 대기 시간을 줄임으로써 성능을 향상시킨다.

• 한국정보통신학회논문지
• /
• 제11권4호
• /
• pp.696-706
• /
• 2007

다중처리기 SoC(MPSoC) 플랫폼은 SoC 설계 분야에 새로운 여러가지 혁신적인 트랜드를 가지고 있다. 급격히 십억 단위의 트랜지스터 집적이 가능한 시대에 게이트 길이가 $60{\sim}90nm$ 범위를 갖는 서브 마스크로 기술에서 주요문제점들은 확장되지 않는 선 지연, 신호 무결성과 비동기화 통신에서의 오류로 인해 발생한다. 이러한 문제점들은 미래의 SoC을 위한 NOC 구조의 사용에 의해 해결될 수 있다. 대부분의 미래 SoC들은 칩 상에서 통신을 위해 네트워크 구조와 패킷 기반 통신 프로토콜을 사용할 것이다. 이 논문은 NOC 구조를 위한 칩 통신에서 교착상태가 발생되지 않는 것을 보장하기 위해 적극적 turn prohibition을 갖는 적응적 wormhole 라우팅에 대해 기술한다. 또한 5개의 전이중, flit-wide 통신 채널을 갖는 간단한 라우팅 구조를 제시한다. 메시지 지연에 대한 시뮬레이션 결과를 나타내고 같은 연결비율에서 운영되는 다른 기술들의 결과와 비교한다.

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

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

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권1호
• /
• pp.40-51
• /
• 1999

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.376-378
• /
• 1999

공간 데이터 수집과정을 통해 제작된 수치지도는 타일 기반의 교환 포맷으로 구성되어 있다. 이러한 타일 기반의 수치지도를 이용해서 공간 데이터베이스를 구축하기 위해 먼저 타일로 분리되어 있는 수치지도를 Seamless 수치지도로 재작성해야 하며 이를 위해 타일 합병 작업이 필요하다. 타일 합병 작업을 다수의 작업자가 동시에 수행할 경우, 작업의 선후 관계에 따라 작업을 잃어 버리거나 (작업손실(Lost-Work)) 또는 동일한 엔티티들에 대해 교차 잠금이 요청되어 교착상태(DeadLock)가 발생하는 등의 문제점들이 발생한다. 이러한 문제점들을 해결하기 위해 이 논문에서는 작업자 상호간의 메시지 교환을 통한 동시 합병 작업 알고리즘을 제시하고 그에 따른 수치지도 합병 처리기를 설계 및 구현한다.

• 정보처리학회논문지D
• /
• 제11D권1호
• /
• pp.115-122
• /
• 2004

소프트웨어 시스템 모델링에서는 정형적 기법으로 소프트웨어를 모델링하고 분석하여 소프트웨어 시스템이 가지는 문제점들을 구현에 앞서 미리 찾아 해결하고자 한다. 페트리 네트는 그래픽 정형 명세 언어로 병행적 시스템, 실시간 시스템, 통신 프로토콜 등의 소프트웨어 시스템 모델링 및 분석에 널리 이용되고 있다. 페트리 네트 분석에서, 교착상태(deadlock), 수행가능성(liveness) 등의 일반적인 시스템 특성 분석은 주로 도달성 분석을 통해 이루어지며 시스템 요구사항에 관한 고유 특성 분석은 모델 검사(model checking) 방법을 통해 이루어진다 하지만 도달성 분석과 모델 검사 방법에서는 기본적으로 시스템의 모든 가능한 상태들을 나열하여 분석하므로 모델의 규모가 커짐에 따라 상태가 기하급수적으로 증가하는 상태 폭발(state explosion) 문제가 발생한다. 이 논문에서는 상태 폭발을 회피하면서 시스템의 요구사항을 체계적으로 분석할 수 있는 새로운 방법을 제안하고자 한다. 먼저 분석하고자 하는 요구사항을 속성 네트로 나타낸 후, 시스템 모델과 속성 네트를 합성하여 분석한다. 이러한 합성 분석에서는 분석 대상 속성과 연관되지 않는 모델의 부분들을 축약 규칙에 따라 축약함으로써 분석 도메인을 점진적으로 줄어 나갈 수 있으며 요구사항 만족 여부를 간단히 검사할 수 있는 장점이 있다.

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

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