• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2007년도 한국지능정보시스템학회
• /
• pp.277-285
• /
• 2007

본 연구는 시맨틱웹 응용의 중심 기술인 웹 온톨로지의 표현과 추론을 위해 서술 논리와 규칙언어를 기반으로하는 웹 온톨로지 모델링 방법을 제안한다. 현재 웹 온톨로지 표현 언어인 OWL DL은 서술 논리에 근거하여 표현되는 것이나, 기계나 온톨로지 공학자가 OWL로 기술된 온톨로지를 직관적으로 이해하고 공유할 수 있는 형식적이고 명시적인 온톨로지의 지식 표현은 부족한 실정이다. 따라서 본 연구는 시맨틱웹이 목적하는 웹 온톨로지 구축을 위한 웹 온톨로지 모델링 방법으로 웹 온톨로지 모델링 계층을 제안하고, 제안된 각 계층에 따라 서술 논리의 TBox와 ABox의 구조와 SWRL을 기반으로 지식을 표현하는 웹 온톨로지 모델링 방법을 제안한다. 제안된 웹 온톨로지 모델링 방법의 성능 검증을 위해 제안 방법에 따라 웹 온톨로지를 구축하였고, SPARQL과 TopBraid의 DL Inference를 이용하여 구축된 웹 온톨로지의 성능을 검증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
• /
• pp.430-432
• /
• 2001

기존의 언어교육시스템을 위한 가상환경에 대한 연구는 주로 피교육자에게 줄 수 있는 시각적인 효과에 초점을 두고 있다. 그러나, 환경의 논리적인 변화를 얼마나 효율적으로 표현으로 피교육자에게 전달할 수 있는가하는 연구는 아직 취약하다. 논리적인 모순이 존재하는 가상환경은 피교육자에 대한 흥미유발을 반감시킬 수 있으므로, 가상환경의 논리적인 모델링 기술의 개발이 필요하다. 논리적인 모델링이 된 가상환경에서 자연현상은 가상세계 전반에 걸쳐서 광범위하게 영향을 미치며, 피교육자에게 가장 큰 영향을 미치게 되므로 그 구현은 특히 중요하다. 또한, 논리적인 모델링이 된 가상환경에 접속한 피교육자의 입장에서 볼 때, 피교육자의 행동이 가상환경에 아무런 영향을 주지 못하거나 혹은 가상환경의 변화가 피교육자에게 영향을 주지 못한다면, 학습의 흥미나 몰입감이 떨어질 수 밖에 없으므로, 가상환경과 내부의 물리적객체의 상호작용의 처리 또한 중요한 문제이다. 본 논문에서는 가상환경과 그 내부의 물리적객체들간의 상호작용의 처리를 견지에 두고, 지식표현방법의 하나인 스크립트를 이용하여 가상환경에서의 자연현상 처리방법을 개발하도록 한다.

• 한국전자통신학회논문지
• /
• 제14권6호
• /
• pp.1129-1138
• /
• 2019

변전소는 변전설비들이 제한된 장소에 집중되어 구조적으로 복잡하기 때문에 송전선로나 배전선로 상에서 고장발생 시 고장파급효과를 최소화하기 위한 보호협조 시스템을 설계하기가 쉽지 않다. 본 연구에서는 변전소 전력공급 신뢰성에 핵심적인 영향을 미치는 모선 방식과 보호협조 기초논리를 분석하였으며 EMTP-RV 기반으로 변전소 내부 및 외부 고장을 정확하게 검출하기 위한 변전소 보호협조 논리를 모델링하였다. 변전소 보호협조 기본 논리로서 변전소 내부 고장 검출을 위한 비율차동 보호계전 논리와 외부고장을 추론하기 위한 과부하 보호계전 논리가 모델링되었다. 끝으로, EMTP-RV를 이용하여 개발된 보호협조 논리 모델링을 기반으로 154kV 변전소를 모델링한 후, 수개의 고장모의를 통해 EMTP-RV 모델링 결과의 유효성을 확인하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.256-258
• /
• 2001

최근 컴퓨터 응용 기술의 발달로 비디오 데이터에 대한 처리의 필요성이 증가하고 있다. 비 정형화된 비디오에 대한 검색을 효율적으로 처리하기 위해서는 비디오의 논리적 구조와 의미적 내용을 표현할 수 있는 비디오 모델링 기법이 필요하다. 본 논문에서는 비디오의 논리적 구조는 물론 비디오 내에 포함된 의미적인 내용을 표현하기 위한 비디오 모델링 방법을 제안한다. 제안하는 모델링 기법은 의미적 내용을 효과적으로 표현하지 못하는 기존의 구조 모델링의 문제점을 해결하고 의미적인 내용들간의 시공간적 관계를 정의한다. 또한 시공간적 관계를 통한 의미적 내용에 대한 검색을 효과적으로 수행할 수 있도록 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (중)
• /
• pp.1221-1224
• /
• 2003

비즈니스 룰은 이윤을 획득하기 위한 상용 시스템에서는 반드시 명확하게 기술되어야만 하며 시스템에서 비즈니스 룰의 충돌은 시스템에 대한 신뢰도를 떨어뜨리는 요인이 될 뿐만 아니라, 시스템의 계획 당시에는 예측하지 못했던 크고 작은 경제적인 손실을 발생하게 한다. 일반적으로 비즈니스 룰은 애매모호함을 가지고 있는 비정형 언어로 기술되는 경우가 많아서, 설정된 비즈니스 룰간의 충돌을 예측하기가 매우 어려울 뿐만 아니라, 개발 중에 룰이 추가되는 경우에 기존의 룰과의 충돌을 예측하기란 매우 어려운 일이다. 본 논문에서는 이 문제를 해결하기 정형 명세를 이용한 모델링을 사용하였다. 수학, 논리학에 기반을 둔 정형 모델링 방법으로 비즈니스 룰을 명확하게 표현하고, 해당 룰을 내포한 시스템 모델링을 구현하였다. 그 결과 작성된 비즈니스 룰의 충돌 여부를 판단할 수 있게 되었다. 시스템 개발 초기에 구현 후에 발생할 수 있는 문제를 미연에 발견하여 시스템 모델 혹은 비즈니스 룰의 수정하여 신뢰할 수 있는 시스템을 개발할 수 있도록 도움을 주고자 한다 본 논문에서는 명확한 표현을 위해서 비즈니스 룰을 일차 논리로 기술하고 룰과 모델링을 위해서 일차논리 기반의 정형 명세 언어인 Z 를 사용하였다.

• 한국지능시스템학회논문지
• /
• 제8권6호
• /
• pp.1-11
• /
• 1998

본 논문에서는 원자력 발전소 증기발생기를 위한 논리 프로세서에 기초한 모델링 방법에 대하여 다룬다. 증기발생기의 모델링은 여러 가지 요소들 중 특히, 열역학성 특성에 기인한 수축(shrink)과 팽창(swell)의 현상을 가지는 비최소위상 특성에 의해 수학적 모델링에 어려움이 있다고 알려져 있다. 이러한 어려움을 극복하기 위해서 본 논문에서는 기존의 신경회로망과는 달리 전문가의 지식을 포함할 수 있으면서 효율적인 학습이 가능한 구조를 가진 논리프로세서(logic processor)를 이용하여 증기발생기 모델링을 행하였으며, 다양한 시뮬레이션을 통하여 제안된 방법의 유용함을 보였다.

• 한국시뮬레이션학회논문지
• /
• 제29권2호
• /
• pp.63-72
• /
• 2020

다양한 무기체계 중 대표적인 지상 무기체계인 전차는 각국의 핵심 전력 중 하나로, 전차의 운용 개념과 효과도 분석을 통해 과학적 분석 기반의 비용 효과적인 연구개발을 할 수 있다. 이를 위하여 교전 시뮬레이션 기술이 활용될 수 있는데, 전차 무기체계를 모델링함에 있어 전차의 기동, 통신 등과 같은 물리적인 요소뿐만 아니라, 운용교리를 반영한 효과분석을 위하여 전차장 등의 의사결정을 모델링하는 논리 모델도 중요하다. 이 논문에서는 무기체계 통합시뮬레이션 소프트웨어(AddSIM)에서 제공하는 무기체계 모델의 표준 아키텍처인 기본체계모델(Base System Model, BSM)에 맞추어 전차 교전 시뮬레이션에 필요한 전차 BSM 설계방법에 대하여 논한다. 특히 논리 모델을 인간 의사결정 모델에 근거하여 세분화하였으며, DEVS 형식론이라는 수학적 형식론에 기반한 정형적인 모델링 방법으로 모델링하였다. 그 결과 전차 BSM을 계층적이고 모듈화된 형태로 제안하였다. 제안하는 방법은 향후 우리 군의 전차 운용 개념 연구와 전차의 효과분석 등에 활용될 것으로 기대된다.

• 한국정보과학회논문지:데이타베이스
• /
• 제30권3호
• /
• pp.237-251
• /
• 2003

이 논문에서는 비디오 데이타의 논리적 구조와 의미적 내용을 효과적으로 검색하기 위한 비디오 검색 시스템을 제안한다. 제안하는 검색 시스템은 비정형화된 비디오 데이타를 원시 데이타 계층, 내용 계층 그리고 키프레임 계층의 세 계층으로 구성하는 계층화된 모델링을 사용한다. 계층화된 모델링에 존재하는 내용 계층은 비디오 데이타에 대한 논리적인 계층 구조와 의미적 내용을 표현한다. 제안하는 검색 시스템은 모델링에 따라 텍스트 기반의 검색은 물론 시각적인 특징 기반의 유사도 검색을 지원한다. 또한 시공간 관계에 기반한 의미적 내용 검색과 유사도 검색을 지원한다.

• 전자통신동향분석
• /
• 제11권2호통권40호
• /
• pp.45-59
• /
• 1996

종래의 현대제어이론은 플랜트의 수학적 모델링이 매우 중요한 역할을 한다. 그러나 비선형 시스템, 선형 시변 등과 같은 복잡한 프로세서는 수학적 모델링을 구성하기가 어렵고 또한 적절한 제어기를 설계하기가 쉽지 않다. 이에 비해, 퍼지제어는 선형시스템은 물론 비선형 시스템 대해 매우 유용한 것으로 알려지고 있다. 본 고는 퍼지논리에 대한 기본적인 개념과 퍼지제어기술에 대하여 서술하였다.

• 한국신뢰성학회:학술대회논문집
• /
• 한국신뢰성학회 2000년도 춘계학술대회 발표논문집
• /
• pp.247-253
• /
• 2000

본 논문은 정보 여분(Information Redundancy)에서의 에러 검출 코딩(Error Detect Coding) 기법을 이용하여 3-out-of-6 자체 검사기를 설계하고, 주기적인 코드(Frequency Coding) 주입을 통해 고장-안전 제어 논리를 모델링 했다. 고장-안전 제어 논리 모듈과 TMR(Triple Modular Redundancy)의 단일 모듈간에 대해서 신뢰성 병렬 수치 해석을 수행하였고, 이때 고장-안전 제어 논리가 기존의 하드웨어 여분 기법보다 시스템 소모비용과 기능적 오버헤드가 감소되어 기능신뢰성이 증가되는 결과를 얻었다.