• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권4호
• /
• pp.282-296
• /
• 2010

OWL 온톨로지는 실세계의 도메인 지식을 모델링 하는데 적합하다. 또한 명백하게 정의된 지식으로부터 암시적인 새로운 지식을 추론할 수 있다. 하지만 이 모델링된 지식은 완전할 수 없다. 사람이 가지고 있는 모든 상식을 모델링 할 수 없기 때문이다. 온톨로지는 완전한 지식표현을 위한 무결성 제약조건과 예외 처리와 같은 비단조 추론을 지원할 방법이 없다. 디폴트 규칙은 온톨로지 안의 특정 클래스에 대한 예외를 처리할 수 있다. 또한 무결성 제약은 온톨로지에 정의된 클래스의 제한조건(restriction)에 인스턴스가 일관되게 할 수 있다. 본 논문에서는 Open World Assumption(OWA) 기반의 온톨로지와 Closed World Assumption(CWA) 기반의 비단조 추론을 지원하는 규칙의 지식베이스를 통합하여 Open World 와 Closed World 추론을 모두 지원하는 실질적인 추론 시스템을 제안한다. 이 시스템은 온톨로지에 정의된 불완전한 개념을 다룰 때 OWA기반이라서 발생하는 문제점을 ASP(Answer Set Programming)를 사용하여 해결방안을 제안한다. ASP는 논리 프로그래밍 언어로써 비단조 추론을 허용하며, 서술 논리 지식베이스에 CWA 기반의 질의를 가능하게 한다. 제안하는 시스템은 Protege에서 제공하는 Pizza 온톨로지를 예로써 비단조 추론이 필요한 경우를 보이고, 잘 알려진 온톨로지들로 성능 평가하여 본 시스템의 정당(sound)하고 완전(complete)함을 증명한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권2호
• /
• pp.120-134
• /
• 2000

본 논문에서는 객체 지향 분산 가상 컴퓨팅 환경인 DOVE에 대하여 기술한다. DOVE는 독립적인 분산 객체들이 메소드 호출을 통하여 서로 상호 작용하는 분산 객체 모델을 기반으로 설계되었으며, 다수의 이기종 머신들로 구성된 분산 환경을 하나의 논리적인 단일 가상 컴퓨터로 사용자에게 제공함으로써 원격지에 있는 분산 객체들이 하나의 가상 컴퓨터에 존재하는 것처럼 사용할 수 있도록 한다. 또한, 병렬성, 이기종 환경, 객체 그룹, 단일한 네임 서비스, 그리고 오류 허용 등의 지원을 통하여 병렬 프로그램 개발을 위한 투명성 있고 사용이 용이한 프로그래밍 환경을 제공한다. 병렬성은 다양한 메소드 호출, 객체 그룹을 통한 다중 메소드 호출, 다중 쓰레드 구조 그리고 여러 동기화 구조를 사용함으로써 효과적으로 지원되며, 자동화된 데이타 변환 코드 생성, IDL 컴파일러를 통한 stub와 skeleton 객체 생성 그리고 객체 관리자를 통한 객체 라이프 관리와 네임 서비스를 통하여 이기종 간 호환성 문제를 해결하였으며 투명성 있고 사용이 용이한 프로그래밍 환경을 제공한다. 자치성 있는 분산 객체와 다중 레이어 구조 그리고 분산화된 네임 서비스와 객체 관리 구조를 사용함으로써 확장성과 보수성이 향상되었으며, 비동기방식의 사건 및 예외 처리 통한 오류 탐지 및 확인 기능을 제공한다.

• 한국컴퓨터정보학회논문지
• /
• 제24권10호
• /
• pp.149-157
• /
• 2019

본 논문은 지능형 위치추적을 위한 위치트리거와 이동에이전트 시스템 기술을 적용하여, 상황인식 기반 위치서비스를 위한 위치트리거 시스템을 설계 및 구현한다. 또한, 트리거 및 조치 서비스 프로토콜 구현과 능동규칙 탑재 이동에이전트에 대한 실험을 통하여, 제안 시스템이 상황인식 기반 위치서비스의 특성에 따른 시스템 최적화 및 위치 기반 서비스 응용들에 대한 확장성과 유효성이 있음을 검증한다. 제안 시스템은 전력 사용자의 소비 패턴 및 행위 변화에 대한 시스템의 능동적 특성을 통한 자원 활용의 최적화 시스템 구축을 위한 예비 연구로써, 객체 위치 기반의 지능적 경고와 조치를 통한 환경 및 자원 활용 최적화와 다양한 위치서비스 응용 시스템 구축에 효과적으로 적용할 수 있다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제10권7호
• /
• pp.205-214
• /
• 2021

반도체 물류 공정은 스마트 제조를 위해 물류 자동화 시스템을 운영한다. 물류 자동화 시스템 중 하나인 OCS(OHT Control System)는 천장에 설치된 레일을 따라 이동하는 OHT(Overhead Hoist Transport)를 자율적으로 제어하는 시스템이다. 본 논문은 반도체 물류 공정에서 효율적인 작업 계획을 위한 실시간 스케줄링 시스템을 제안한다. 제안 시스템의 주된 역할은 OHT 할당 및 최적경로 생성이며, 전체 OCS에서 별도의 독립된 시스템으로 개발하여 시스템의 수정 및 확장이 용이하도록 구성하였다. 시스템 개발을 위해 반도체 물류의 기능 요구사항을 식별하고, 명령 유형에 따른 OHT 제어 시나리오를 정의하였다. 그리고 시스템 간 연동 확장성을 위해 국제반도체장비재료협회(SEMI) 규격을 적용하여 시퀀스 다이어그램과 인터페이스 메시지를 설계하였다. 기능 요구사항과 설계 문서를 바탕으로 개발된 스케줄링 시스템은 Main 시스템 및 데이터베이스와 실시간 연동되어 OHT의 최적할당 및 경로제어를 수행한다. 개발 시스템의 기능 검증을 위해 실제 반도체 물류 현장에서 OCS Main 시스템과 통합시험을 수행하였다. 6가지의 기본 시나리오와 2가지의 예외 시나리오에서 개발 시스템이 OHT 최적할당과 경로제어를 성공적으로 수행함을 검증하였다.