유연생산시스템은 많은 병렬적이고 동시 발생적인 기계들, 장치들, 수송 시스템들로 구성되며, 이러한 것들은 각각 버퍼들, 도구들, 라우터들로 나누어진다. 시스템에서 여러 생산품들의 병렬적인 흐름은 자원들을 이용하기 위해 서로 경쟁하게 되며, 유연생산시스템의 이러한 특징들로 인해 교착상태가 발생한다. 교착상태는 상대방이 점유하고 있는 자원을 서로 요구하는 과정에서 흐름이 멈추어진 상태를 말하므로, 이러한 교착상태의 탐지와 회피는 매우 중요한 문제이다. 이 사실에 근거하여 일반 플레이스와 자원공유플레이스 사이의 관계를 나타내는 DAPN(Deadlock Avoidance Petri Wet)을 정의하여 교착상태를 탐지하고 회피하기 위한 새로운 알고리즘을 연구하였다. 또한 제안된 알고리즘을 유연생산시스템의 특징을 가진 모델에 적용하여 그 결과를 제시한다.

본 논문에서는 원전 계측제어시스템 구축을 위해 개발된 원전용 PLC 시뮬레이터의 설계 사항에 관해 소개한다. 원전용 계측제어시스템은 원전이라는 특수한 환경과 제약으로 말미암아, 일반적인 시뮬레이터 개발보다 엄격한 요건을 만족해야 한다. 이러한 요건으로는 다양한 테스팅을 통하여 제어 프로그램의 안정성을 보장할 수 있어야 하며, 다수의 계측제어 프로그램들을 고속으로 동시에 실행할 수 있어야 한다. 본 논문에서는 이러한 문제점들을 극복하고자 PLC 제어 프로그램의 컴파일러를 제작하여 C 코드 변환을 하게 된다. 제안한 방법에서는 검증용 상용 도구를 변환된 코드에 적용해 제어 프로그램의 안정성 평가를 할 수 있으며, Compiled-Code 시뮬레이션 기법을 이용하여 고속으로 실행 가능한 시뮬레이터를 자동으로 생성할 수 있다는 장점이 있다.

도시지역이 급격히 확장됨에 따라, 인구 및 교통량이 증가되어 교통 혼잡이 큰 사회문제가 되고 있다. 일반적으로 다인승전용차로는 도로의 이용효율을 증대시킬 수 있는 방안으로 알려져 있으며, 도시부 교통문제 해소의 한 방안이다. 본 논문에서는 서울의 중심 도시고속도로인 올림픽대로의 교통 혼잡을 완화하기 위한 방안으로 다인승전용차로제의 도입 가능성을 시뮬레이션 툴인 Integration을 이용하여 과학적으로 분석 평가하였으며, 향후 이러한 분석기법이 다인승 전용차로제 도입 가능성 평가에 많이 사용될 수 있을 것이다.

서비스의 품질(QoS : quality of service) 보장 지원을 위해 라우터는 망 구성 정보 외에 링크 상태 정보를 기반으로 라우팅 경로를 설정한다. 따라서 라우터가 정확한 링크 상태를 파악하는 것은 최적의 라우팅 경로를 설정하는 데 있어 매우 중요하다. 그러나 라우터가 링크 상태 정보를 다른 라우터에게 알리기 위해 링크 상태 업데이트 메시지를 필요 이상으로 전송 할 경우, 이들 메시지의 생성, 처리, 전달 등에 의한 라우터 시스템 자원의 낭비에 기인한 성능 저하가 야기되며, 이와는 반대로 링크 상태 정보가 적절한 때에 업데이트 되지 않는 경우, 실제 수용 가능한 서비스 요구가 거절될 수 있다. 본 논문에서는 업데이트 메시지를 줄이면서 라우팅 성능을 향상 시키는 알고리즘을 제안하고, 시뮬레이션을 통하여 기존의 알고리즘과 비교해 성능 개선의 정도를 평가하였다.

유비쿼터스 컴퓨팅의 인프라가 되는 센서 네트워크는 매우 작은 하드웨어로 이루어지는 많은 수의 센서 노드들로 구성된다. 이 네트워크의 토폴로지와 라우팅 방식은 그 목적에 따라 결정되어야 하며, 하드웨어 및 소프트웨어도 필요한 경우에는 변경되어야 한다. 따라서 그러한 네트워크를 최적으로 설계하기 위해서는 시스템 동작을 확인하고 성능을 예측할 수 있는 센서 네트워크 시뮬레이터가 필요하다. 현존하는 몇몇 센서 네트워크 시뮬레이터들은 특정 하드웨어나 운영체제에 맞추어 개발되었기 때문에, 그러한 특정 시스템들을 위해서만 사용될 수 있다. 그리고 시스템 설계 상의 주요 이슈가 되는 전력 소모량 및 프로그램 실행 시간을 추정하기 위한 어떤 수단도 지원하지 못하고 있다. 이 연구에서는 응용이나 운영체제의 종류에 상관없이 다양한 센서 네트워크들의 설계 및 검증에 사용될 수 있는 시뮬레이터를 개발하였다. 이를 위하여, 시뮬레이터는 기계어-레벨 이산-사건 시뮬레이션 방식을 사용하였다. 따라서 이 시뮬레이터는 프로그램 실행 타이밍 뿐 아니라 실제 센서 노드 내부의 동작들도 세부적으로 분석하는 데도 사용될 수 있다. 이 연구에서 시뮬레이션의 작업부하인 명령어 트레이스로는 ATmega128L 마이크로컨트롤러용 크로스컴파일러에 의해 생성된 실행 이미지를 사용하였다.

UAV(Unmanned Air Vehicle) 시스템은 새로운 알고리즘과 소프트웨어 디자인에 바탕을 두고 빠르게 발전하고 있다. 빠르게 발전하는 현대의 UAV 시스템은 상황에 따른 효과적이고 지능적인 제어를 요구한다. 이에 본 논문에서는 UAV 시스템의 효과적이고 지능적인 제어를 위하여 이산사건 시스템인 조종사 모델과의 연동 모델링을 제안한다. 비행기 모델은 연속시간 시스템으로 표현되며, 자세한 표현력을 바탕으로 정량적이고 정확한 비행기 모델을 표현할 수 있다. 또한, 조종사 모델은 이산사건 시스템으로 표현되며, 각 사건과 시스템의 상태에 따른 정성적인 행동제어를 가능하게 한다. 본 연구는 한국항공대학교에서 개발한 이산사건 시뮬레이터인 DEJAVA(DEVS Java)와 연속시간시뮬레이터인 MATLAB 시뮬레이터 환경을 바탕으로 NASA에서 개발된 HL20 비행시뮬레이터와 지능제어시스템을 이용한 조종사 모델을 사용하여 구현되었다.

가상생산은 새로운 제품의 개발, 새로운 설비의 개발, 새로운 생산시스템의 개발에 활용할 수 있는 매우 유용한 기술이다. 이 기술을 사용하면 실제 생산활동이 수행되기 이전에 다양한 설계오류를 수정할 수 있다. 본 논문은 가상생산기술을 굴삭기 생산공정에 적용한 사례다. 굴삭기 상부 부품의 하나인 붐과 상판회전체의 최종 용접공정을 연구의 대상으로 선택하였다. CATIA를 이용하여 각 부품의 3D 모델과 치구의 3D 모델을 개발하였으며, IGRIP을 이용하여 용접공정의 3D 시뮬레이션 모델을 개발하였다. 이러한 3D 모델들을 치구의 설계검증과 로봇시스템의 동작경로 검증등에 활용하였다. 결과적으로 수동 용접공정을 로봇을 이용한 자동용접공정으로 전환하였으며, 그 과정에서 설계오류에 의해 발생하는 재 작업시간과 비용을 감축시켰다.

본 논문은 관계데이터베이스시스템을 이용하여 효율적인 미디어 출판을 위한 SuperSQL의 효과적 이용방법에 대해 논하고 있다. SuperSQL은 관계데이터베이스에서의 검색결과를 XML이나 HTML과 같은 다양한 미디어 형태로 변화시킬 수 있도록 SQL을 확장한 언어와 이를 처리하는 시스템이다. 본 논문에서는 SuperSQL의 다양한 미디어 출판시스템을 통합하기 위해 효과적인 미디어 출판이 가능한 새로운 미디어 출판 처리 방법에 관해 논의한다. 본 논문에서 제시하는 것은 첫 번째로 SuperSQL 질의처리 프로세서의 다양한 미디어 출판 프로세스들 간의 공통된 처리 프로세서를 통합함으로서 통합된 미디어 생성 프로세서를 생성하는 방법을 제안하고 있다. 다른 한 가지는 Trinity Data Model개념을 기반으로 하는 미디어 출판 프로세서를 각각의 특징에 따라 값과 구조, 미디어 추상테이블로 분리하여 처리하는 방법을 제안하였으며 또한 실험을 통해 본 제안 시스템의 유효성을 검증하였다.

최근 P2P서비스는 인터넷 통신량의 50%를 넘게 차지하고 있다. 순수 P2P 기반 모델의 질의 메커니즘이 메시지 범람을 사용하기 때문에 대규모의 질의 패킷이 생성되기 때문이다. 본 연구에서는 순수 P2P 모델과 복합 P2P모델에서 생성되는 질의 패킷의 수를 분석하였다. 그 결과 복합 P2P모델도 메시지 범람을 발생시킨다는 것을 발견하였다. 이러한 메시지 범람을 감소시키기 위하여 본 연구에서는 복함 P2P 서비스에서의 클러스터링 메커니즘을 제안하였다. 이러한 클러스터링 알고리즘을 적용하게 되면, 약 99.998%의 메시지 범람을 감소시킬 수 있다. 제안된 알고리즘은 전에 사용되었던 슈퍼노드를 저장하므로 써 조인 연산의 비용도 절감할 수 있게 하였다.

무선기기가 인터넷에 저장된 자료를 3G 통신을 이용해 내려 받는 경우, 사용자가 부담하는 비용은 인터넷에서 내려 받은 자료의 양과 비례한다. 본 논문은 무선기기(peer 라 호칭함)들이 애드 혹 네트워크를 구성하여 미리 내려 받은 자료를 다른 peer 들과 공유하는 방법을 소개한다. 예를 들어, 스포츠 경기장에서 선수나 경기에 관한 정보를 얻거나, 미술관에서 작품에 관한 내용을 공유하거나, 야외수업에서 선생님이 내려 받은 자료를 학생들이 무료로 그 내용을 공유할 수 있다. 이를 위해서는 무선기기가 3G 통신과 무선 LAN 통신이 가능해야 한다. 만약 무선기기 사용자가 다른 peer 와의 통신과정에서 익명성을 필요로 하고, 트래픽 분석(traffic analysis)을 어렵게 하고자 하는 경우, 본 논문에서는 애드 혹 네트워크 내에 있는 추가적인 두 peer를 이용하여 익명성을 보장하는 통신 방법을 기술한다. 애드 혹 네트워크에서 익명성을 제공하는 통신에 대한 모의실험을 수행한 결과, 통신시간에 대한 오버헤드가 익명성이 제공되지 않는 통신의 경우 보다 50% 이하였으며, 참여하고 있는 peer의 수가 증가하거나 peer 들이 넓은 영역에 흩어져 있는 경우 오버헤드는 더 줄어들었다.

사이버 공격에 대한 새로운 보안시스템의 성능을 검증하기 위해서는 실 네트워크상에서의 검증이 필요하다. 하지만 현실적으로 대규모 분산 네트워크 환경에서의 검증은 어렵다. 이에 성능 검증을 위해 대규모 가상 네트워크 시뮬레이션 시스템이 필요하다. 본 논문에서는 대규모 네트워크를 표현할 수 있고, 프로세스 기반 사건 중심 시뮬레이션 시스템인 SSFNet을 사용하였다. 하지만 대규모 분산 네트워크상에서 보안시스템의 시뮬레이션을 SSFNet에서 수행할 수가 없다. 확장된 SSFNet내에는 IDS(Intrusion Detection System)의 보안모듈이 구성요소로 추가되었다. 추가적으로 IDS는 Snort의 기능을 모델링하여 구현하였다. 네트워크 시뮬레이션의 패킷을 쉽게 조작할 수 있도록 자바언어를 사용하여 패킷조작기를 개발하였다. 최종적으로 개발된 IDS와 패킷 조작기를 기능 검증을 위해 시뮬레이션을 수행하였다. 확장된 SSFNet은 향후 대규모 네트워크의 보안 시스템 시뮬레이터로 사용할 수 있다.