• 한국정보과학회논문지:데이타베이스
• /
• 제32권2호
• /
• pp.111-119
• /
• 2005

전자카타로그는 상품에 관한 풍부한 의미를 포함하며 온톨로지가 적용될 여지가 높은 영역이다. 온톨로지는 사물의 본질과 사물간의 관계를 나타내는데, 전자카탈로그를 형식적(formal)인 온톨로지로 표현하는 것은 전자상거래 영역에서 중요하다. DL(Description Logic)은 현재 사용되는 여러 온톨로지 언어의 이론적 기반을 제공한다. 본 논문은 DL 언어를 사용해 전자카타로그를 형식적으로 온톨로지 모델링 한다. 기본적인 모델링 구성요소 집합은 화장 개체 관계(Extended Entity Relationship)로 개념적으로 나타내고, DL 언어로 대응해서 변환한다. EER로 나타낼 수 없는 부가적인 의미적 지식은 직접 DL언어로 표현한다. 논문에서 제시하는 모델링 언어는 언어의 표현력과 복잡도를 고려할 때, 현실적으로 추론에 적합하다고 알려져 있는 SHIQ(d) 언어 범위에 기반하고 있다. 모델링한 온톨로지 e-카타로그의 활용 이해를 돕기 위해 시나리오를 제시하고, 실제 DL 추론 도구를 통해 그 시험적 검증을 한다.

• 정보처리학회논문지B
• /
• 제13B권2호
• /
• pp.139-148
• /
• 2006

협업적 제품 설계 환경에서는 여러 설계자가 작업에 참여하기 때문에 설계자간의 원활한 의사 소통이 필수적인 요소이다. 즉, 제품 설계에 내재되어 있는 다른 설계자의 설계의도를 파악할 수 있어야 하고, 각 설계자마다 사용하고 있는 상이한 모델링 용어에 대한 의미적 처리가 필요하다. 시맨틱 웹에서 온톨로지는 의미 정보를 명시적으로 표현할 수 있기 때문에 데이터와 서비스에 대한 통합되고 일관된 접근을 가능하게 한다. 따라서 제품을 여러 설계자가 설계하는 협업적 환경에서 온톨로지를 사용한다면 조립체내의 내포된 공학적 관계들, 공간적 관계들, 그리고 접합 관계들이 명확하게 표현되고, 추론을 통해 설계자의 의도가 파악되어 설계자간의 의사소통이 원활하게 이루어질 수 있다. 본 논문에서 는 조립체를 온톨로지를 이용하여 표현함으로써 협업적 환경에서 조립체 설계정보를 공유할 수 있는 시맨틱 조립체 모델링 프레임워크를 제안한다. 시맨틱 조립체 모델링 프레임워크에서는 조립체 관계 모델(Assembly Relationship Model, ARM)을 OWL(Web Ontology Language)와 SWRL(Semantic Web Rule Language)로 표현한다. 이를 통해 조립체 내에 내포된 공학적 관계들, 공간적 관계들, 그리고 접합 관계들이 명확하게 표현되고, 추론되어 설계 의도가 파악된다.

• 정보보호학회논문지
• /
• 제19권4호
• /
• pp.91-103
• /
• 2009

암호알고리즘 및 암호함수를 하드웨어적 또는 소프트웨어적으로 구현한 암호모듈을 암호모듈검증체계 (Cryptographic Module Validation Program, CMVP) 내에서 시험 (또는 인증, 검증)을 받기 위해서는 암호모듈에 대한 유한상태모델(Finite State Model, FSM) 이 개발되고 제공되어야한다. 그러나 FSM을 체계적으로 모델링하고 분석하는 지침은 개발자와 시험자의 경험이므로 잘 알려져 있지 않다. 본 연구에서는 CMVP내에서 암호모듈의 검증을 위해 요구되는 FSM의 모델링, 분석지침, 천이시험경로 생성알고리즘을 제시하고 모델링도구인 CM-Statecharter를 개발하였다. FSM은 UML 2.0의 상태도를 이용해 모델링한다. 상태도는 FSM의 부족한 점 을 보완하고 암호모듈의 FSM을 정형적이고 쉽게 명세할 수 있는 모델이다.

• 한국정보처리학회논문지
• /
• 제7권1호
• /
• pp.166-180
• /
• 2000

ITU-T, ISO 등에 의해 제정된 표준권고안은 통신망 구성요소들간의 단순한 통신규칙을 정의하는 것 외에 통신망 관리에 필요한 자원들의 속성과 동적 특성에 대한 추상화된 표현, 그리고 통신망 구성요소들에 대한 관리기능을 포괄적으로 규정하고 있다. 그러나 표준통신망 구성요소중 관리객체에 동작에 영향을 미치는 능동적 요인들과 동작절차 및 그에 따른 통지 발생 등의 과정들이 ‘BEHAVIOUR" 템플릿내에 자연어를 이용하여 매우 포괄적이며 간략히 기술되어 있어, 관리객체의 동작 조건이나, 결과 등이 명확히 표현되지 못하는 문제점을 가지고 있다. 또한 관리객체의 동적 특성은 능동적 특성외에 시간지원 특성에 따라 동작 절차가 달라질 수 있다. 반복적이고 주기적인 정적인 시간 기념 뿐만 아니라 다른 관리자의 속성에 따라 사용권한이 결정되거나 특정기간 동안에만 권한이 부여되는 동적인 시간개념이 첨가된다면 관리객체의 능동적 특성이 더욱 강화될 수 있다. 본 논문에서는 정적인 시간관리객체의 활동을 제어하는 표준권고안의 스케줄링 관리객체에 동적인 특성을 추가하였으며 관리객체 기술의 표준인 GDMO 표현법에 의해 동적특성을 지원하는 스케줄링 관리객체를 기술하였다. 또한 관리객체의 동적 특성 기술을 위해 새롭게 정의한, 동적 시간지원 기능이 추가된 BDL을 이용하여 동작절차를 기술하였다. 그리고 동적 시간지원 특성을 지원하는 관리객체를 대리자 관리 기능 모델에 적용하여 체계적이고 정형적인 기술방법임을 제시한다.

• Ecology and Resilient Infrastructure
• /
• 제2권2호
• /
• pp.137-146
• /
• 2015

하천 본류와 구하도 사이의 횡적 연결성은 하천-홍수터 생태계에서 생태적 기능을 유지하는데 매우 중요하다. 본 연구는 2차원 평균수심 유한요소 모형인 River2D를 사용하여 만경강에서 직강화로 인해 격리된 구하도의 연결성을 가상으로 복원하고 평수기와 홍수기 조건에서 어류 서식처 변화를 평가하였다. 평가 대상 어종은 정수성 어종인 붕어 (Carassius auratus)와 유수성 어종인 피라미 (Zacco platypus)를 선정하였다. 물리서식처모의 결과에 의하면, 연결성 복원 전후의 붕어와 피라미의 가중가용면적 (weighted usable area, WUA)은 복원 후에 증가하였으며 양방향 복원이 일방향 복원보다 어류 서식처 복원에 효과적이었다. 또한 가중가용면적의 증가율은 평수기보다 홍수기에 더 높았다. 특히 피라미의 경우 홍수기에 구하도의 연결성이 양방향 복원되었을때 구하도 내의 가중가용면적이 복원 전 대비 약 4배로 크게 증가할 것으로 예측되었다. 본 연구 결과 만경강에서 본류와 구하도의 연결성이 복원되었을 때 정수성 어류와 유수성 어류의 서식처가 모두 증가할 것으로 예상되며, 일방향 복원보다 양방향 복원이 더 효과적인 것으로 나타났다. 또한 복원된 구하도는 홍수기 때 어류의 피난처 역할을 할 것으로 기대되었다.

• 한국컴퓨터산업학회논문지
• /
• 제5권8호
• /
• pp.791-800
• /
• 2004

e-Commerce와 가상 조직의 확산으로 e-비즈니스 활성화에 따른 기업 환경의 변화로 인해 기업간의 협업이 증가하면서 수많은 비즈니스 프로세스들의 범위는 기업 내부가 아닌 기업과 기업간으로 확대되었다. 기업간 거래는 서로 다른 시스템과 서로 다른 비즈니스 프로세스 모델을 가지고 있으므로 상호운용성에 대한 문제점이 존재하기 때문에 기업간 협업을 위한 비즈니스 프로세스 모델을 위해 표준화된 스키마가 제공되어야 한다. ebXML은 그 규모나 위치와 관계없이 각 기업들로 전 세계 전자상거래 시장을 형성하며 XML 기반 메시지 교환을 통하여 각 비즈니스들을 실행한다. 따라서 ebXML을 기반으로 거래 기업간의 비즈니스 프로세스 자동화를 목적으로 e-비즈니스를 위한 거래 기업간 협업 모델링 시스템을 설계 및 구현한다.

• 정보처리학회논문지D
• /
• 제12D권3호
• /
• pp.365-374
• /
• 2005

B2B 전자거래 환경에서는 다양한 공급자들의 부품 라이브러리를 통합하여 단일 인터페이스를 제공하는 중개 시스템이 요구된다. 그런데 각부품 라이브러리들은 서로 이질적이어서 자동 통합하기 어렵다. 기존의 온톨로지 기반 자동 정보 통합 연구에서는 온톨로지들이 서로 다른 방식으로 작성되는 것을 방지하기 어렵기 때문에 이질성 해결을 위한 매핑이 복잡해지고, 따라서 제한적인 수준에서의 자동 정보 통합 결과를 얻을 수 있었다. 본 논문은 이러한 문제점을 해결하기 위해서 Guarino의 상위 온톨로지 이론을 바탕으로 부품 라이브러리 온톨로지 개발에 이용할 수 있는 지식 모델링 프레임워크를 제안한다. 이 프레임워크는 존재론적 본성에 기반한 엄밀한 논리적 의미와 적용 원리가 부여된 부품 라이브러리 지식 모델링 프리미티브를 제공함으로써 온톨로지 개발자들이 대상 도메인의 지식을 체계적으로 분류하고 일관되게 구조화할 수 있도록 도와준다. 결과적으로, 작성되는 온톨로지들이 서로 비교 가능하고 균질해져 온톨로지 간 매핑이 단순해지고 정형화된다. 이를 바탕으로 온톨로지 자동 병합 알고리즘을 쉽게 개발할 수 있다.

• 정보관리학회지
• /
• 제21권3호
• /
• pp.141-160
• /
• 2004

최근 의학정보 분야에서는 임상의 지식관리와 의학정보 검색의 효율화를 위한 수단으로 온톨로지의 개념 모델링을 이용한 의학용어 시스템에 관심이 모아지고 있다. 본 연구는 우리나라의 의학정보 분야에 이러한 시스템의 응용이나 새로운 시스템 개발애 기초적인 자료제공을 목적으로 , 정보 모델링과 온톨로지의 이론에 대해 고찰하였고, 외국의 의학정보 분양에서 온톨로지를 이용한 용어 시스템이 개발된 4가지 대표적인 사례를 분석하여 비교하였다. 연구결과 비형식적인 수준의 온톨로지로 파악된 MeSH의 의학용어 표준화와 UMLS의 용어 개념화, 형식적인 수준의 온톨로지인 ON9의 의학 온톨로지 통합의 이론화, 그리고 GALEN의 의학지식의 의미 모델과 형식화로 핵심적 특징을 요약할 수 있었다. 온톨로지의 응용은 목적하는 시스템에 따른 수준적 차별화가 이루어져야 하 것이고, 본 연구의 분석 결과가 참고 될 수 있을 것이다.

• 정보처리학회논문지D
• /
• 제13D권1호
• /
• pp.117-124
• /
• 2006

UML(Unified Modeling Language)은 객체지향 모델링을 위한 언어이다 UML에 포함되어 있는 AD(Activity Diagram; 활동 다이어그램)는 워크플로우 시스템의 모델링에 적합하지만 수행 과정의 평가가 수학적이지 못하므로 수행 과정을 직관적으로 파악해야 하는 단점이 있다. 그러나 EMFG(Extended Mark Flow Graph)는 이산적인 시스템의 모델링에 적합할 뿐 아니라 수행 과정을 수학적으로 평가할 수 있다. 따라서 본 연구에서는 EMFG를 사용하여 모델링된 AD의 수행 동작을 평가하려고 한다. 우선 AD를 EMFG로 변환하는 방법에 대하여 제안하고, 변환된 EMFG의 수행을 평가함으로써 모델링된 AD의 수행완료 가능성을 평가한다. 그리고 컴퓨터 시뮬레이션을 통하여 이를 입증한다. 제안한 알고리듬은 대규모 워크플로우 시스템을 모델링한 AD의 수행완료 가능성도 쉽게 평가할 수 있는 장점이 있다.

• Industrial Engineering and Management Systems
• /
• 제14권1호
• /
• pp.88-93
• /
• 2015

In this paper, we identify the characteristics of modeling and simulation (M&S) for military and defense and propose the method of verification, validation, and accreditation (VV&A) using the identified characteristics. M&S has been widely used for many different applications in military and defense, including training, analysis, and acquisition. Various methods and processes of VV&A have been proposed by researchers and M&S practitioners to guarantee the correctness of M&S. The notion of applying formal credibility assessment in VV&A originated in software engineering reliability testing and the systems engineering development process. However, the VV&A techniques and processes proposed for M&S by the research community have not addressed the characteristics and issues specific to military and defense. We first identify the characteristics and issues of military/defense M&S and then propose techniques and methods for VV&A that are specific for military/defense M&S. Possible approaches for the development of VV&A are also proposed.