• 한국멀티미디어학회논문지
• /
• 제5권6호
• /
• pp.730-744
• /
• 2002

최근의 정보시스템의 전형적인 형태인 웹기반 정보시스템(WBIS)은 계속적으로 재구성되어 야만 사용자의 욕구를 만족시킬 수 있으며 수익을 창출할 수 있다. 이를 위해, 시스템의 항해구조를 모델링하고 분석해야 하며 로그파일을 통해 사용자의 행동을 모델링하여 시스템의 재구성시에 활용해야한다. 이에 따라, 본 논문에서는 쇼핑몰을 포함한 WBIS의 재구성(또는 튜닝)을 위한 항해구조의 모델링 및 사용자행동 모델링 방법을 제시한다. 항해구조의 모델링을 위해 구조모델, 상태전이 모델 및 패트리넷 모델 및 분석방법을 제시하였다. 또한, 사용자행동 모델링을 위한 로그분석을 위해, 사용자행동 모델링 알고리즘을 제시하고 이를 구현하였다. 끝으로, 재구성 휴리스틱을 제시하였으며 제시한 방법들은 사례 WBIS에 적용하였다.

• 정보처리학회논문지C
• /
• 제13C권2호
• /
• pp.177-184
• /
• 2006

핸드오버는 이동통신 단말기가 기지국과 기지국 사이를 이동해도 끊김없이 데이터 송수신이 가능하도록 해주는 기술이다 핸드오버 종류는 크게 두 가지로 구분되는데 네트워크 링크의 변경 없이 라디오 링크 연결만 변경되는 것을 수평(horizontal) 핸드오버라 하고, 서로 다른 네트워크 환경을 이동하는 것을 수직(vertical) 핸드오버로 정의할 수 있다. 본 논문은 SDR(Software Defined Radio)을 기반으로 W-CDMA망과 WiBro망을 동시에 지원하는 기지국내에서의 수직 핸드오프 프로토콜을 제안하고, 제안된 프로토콜을 상태천이도 및 페트리 넷을 이용하여 검증하고 또한 NS-2 시뮬레이터를 이용하여 제안된 프로토콜의 성능을 평가하였다

• 한국게임학회 논문지
• /
• 제20권1호
• /
• pp.133-142
• /
• 2020

디지털 기능성 게임 시장은 스마트폰, 태블릿 PC등의 스마트 플랫폼으로 급격히 확대되면서 중요성이 커지고 있다. 게임이 디지털화되면서 교실 안에서 이루어지는 일방향적 교수법에서 양방향성이 가능한 단계로 발전해 가고 있다. 본 논문에서는 스마트 기기에 익숙한 초등학생들이 디지털 보드 게임을 통해 음악가와 연관된 음악적 지식을 습득하는 게임을 설계 및 개발하였다. 음악가와 연관된 음악가의 업적 카드를 수집하며 해당 음악가에 대한 정보를 얻어 학습하며, 초등학생들은 게임이 끝날 때까지 반복적으로 연관된 음악 지식을 얻게 된다. 개발된 게임은 게임 플레이의 흐름이 원활히 작동이 되는지 페트리넷을 활용하여 시뮬레이션을 진행한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -2
• /
• pp.955-958
• /
• 2002

A workflow is a flow of work supported by computers. An instance of a workflow is called case. Companies need to constantly refine their current workflows in order to meet various requirements. The change of current workflows is called dynamic change of the workflow. Since Ellis et al. proposed three change types, Flush, Abort, and Synthetic Cut-Over in 1995, various change types have been proposed. A promising change type is Migrate proposed by Sadiq et al., because Migrate changes workflow definitions immediately and makes the redo of cases minimum. However, the formal modeling and time-dependent analysis of Migrate has not been done. This paper proposes a method of computing change time of Migrate dynamic changes for time-dependent analysis. Change time is a measure for evaluating dynamic changes. We first show a Petri-nets-based model of Migrate dynamic changes. Then we present a method of computing change time based on the net model. Finally, we apply the method to 270 examples, and show experimental results, and comparison with Ellis et al..'s three change types.

• 한국인지과학회:학술대회논문집
• /
• 한국인지과학회 2000년도 춘계 학술대회
• /
• pp.311-321
• /
• 2000

본 논문에서는 정신분석과 두 종류의 정서이론, 인공지능과 신경회로망 그리고 퍼지 페트리 네트 등을 사용하여 사람의 인지과정을 모방한 인지모형시스템을 개발하였다. 먼저 프로이트의 정신분석을 사용하여 정신의 구조를 그래프로 표현한 후 이것을 '마음의 지도'라 명명하였다. 인지모형시스템을 구현하기 위한 첫 번째 작업으로 동적인 추론을 할 수 있는 지능 모델인 KNBN(Kohonen Network based Belief Network)을 제안하였다. KNBN으로 표현한 마음의 약도 내에서 연결강도 값으로 사용할 상대적 데이터를 만들기 위한 근거로서는 '정서'를 사용하였는데, 플라칙의 진화론에 근거한 정서이론과 오토니의 인지적 정서이론을 결합하여 데이터로 만든후 이 수치를 연결강도로 사용하였다. 이 두 개의 정서이론을 결합하는 알고리즘을 만들기 위해 페트리네트를 변형한 퍼지 페트리네트를 제안하였다. 또한 오토니가 주장하는 정서의 인지구조를 사람들이 그대로 이해하는지 여부를 알기 위해 대학생 100명을 대상으로 설문지를 사용해 정서의 인지구조에 대해 조사하였고 그 결과 값에 근거하여 두 개의 정서이론 결합 알고리즘을 만들었다. 이것으로 정서 발화에 대한 상대적인 수치가 산출되었고, 이것을 KNBN으로 표현한 마음의 약도에 결합하기 위해 0과 1사이의 수치로 정규화 하였다. 이렇게 정규화된 데이터를 이용해 인지 모형 시스템을 개발하였다.

• 정보처리학회논문지D
• /
• 제10D권7호
• /
• pp.1189-1196
• /
• 2003

IT 산업의 발달로 인해 조직의 자동화된 업무 흐름인 워크플로우에 대한 관심과 연구가 활발해지고 있다. 본 논문에서는 워크플로우 설계시 자주 사용되는 기본 구조와 다양한 병행 처리 구조론 개념적인 설계가 가능한 EMFG(Extended Mark Row Graph)로 먼저 표현한 후 워크플로우를 모델링한다. 모델링된 EMFG를 시뮬레이션하여 워크플로우의 완료 가능 여부를 알 수 있는 수행완료 가능성 검증 방법과 수행완료 후에 나타날 수 있는 논리적 오류 검증 방범을 제안한다. 제안한 워크플로우의 EMFG 모델링 및 분석 방법을 사용하면 시각적이고 정형적인 설계가 가능하고 직관적인 수학적 해석이 가능하다.

• 한국산학기술학회논문지
• /
• 제9권2호
• /
• pp.449-454
• /
• 2008

멀티미디어 네트워크상의 응용의 요구가 빠르게 증가함으로써 모바일 환경의 서비스를 제공하는 것이 중요하다. 모바일 환경에서 동기화의 제약조건을 만족하는 멀티미디어 서비스를 얻고 미디어 스트림 사이에서 지연시간과 서비스 품질을 개선시키기 위해서는 새로운 규격 모델이 제안되어져야 한다. 본 논문에서는 효율적인 서비스 품질과 지연시간을 서술할 수 있는 새로운 규격 모델로써 모바일 동기화 모델을 제안한다. 또한 적응적인 전송지연 시간의 효과를 최소화할 수 있는 동적인 동기화 방법인 멀티미디어 동기화 알고리즘을 제안한다. 제안된 모델은 기존의 연구보다 손실율과 재생률과 같은 서비스 품질을 향상시켰다.

• Nuclear Engineering and Technology
• /
• 제33권1호
• /
• pp.1-11
• /
• 2001

In contrast with conventional fieldbus researches which are focused merely on real-time performance, this study aims to evaluate the real-time performance of the communication system including fault-tolerant mechanisms Maintaining performance in presence of recoverable faults is very important in case that the communication network is applied to a highly reliable system such as next generation Nuclear. Power. Plant (NPP). If the tie characteristics meet the requirements of the system, the faults will be recovered by fieldbus recovery mechanisms and the system will be safe. If the time characteristics can not meet the requirements, the faults in the fieldbus can propagate to the system failure. In this study, for the purpose of investigating the time characteristics of fieldbus, the recoverable faults are classified and then the formulas that represent delays including recovery mechanisms are developed. In order to validate the proposed approach, we have developed a simulation model that represents the Korea Next Generation Reactor (KNGR) NSSS Process Control System (NPCS). The results of the simulation show us the reasonable delay characteristics of the fault cases with recovery mechanisms. Using the simulation results and the system requirements, we also can calculate the failure propagation probability from fieldbus to outer system.

• 한국정보처리학회논문지
• /
• 제6권4호
• /
• pp.977-987
• /
• 1999

현행 교통 신호 제어기는 사전에 계획된 신호 시간 체계 또는 시간대별로 선택되는 방법을 취하고 있다. 이와 같은 신호 체계는 교통 상황 변화에 적절하게 대응하기 어려운 문제점을 갖고 있다. 특히, 혼잡 상황과 같은 문제들은 이진 논리로써 해결하기 어렵다. 따라서, 본 논문에서는 교통 혼잡 상황에 신속하게 대처할 수 있는 신호기 제어 시스템을 제안하였다. 본 논문에서 제안한 제어기는 불확실성 및 퍼지환경에서 작동한다. 따라서, 도로의 혼잡 상황을 퍼지 논리를 사용하여 표현하고 퍼지 추론기에 의해 신호 시간을 결정하도록 하였다. 본 논문에서 제안한 신호기 제어 시스템의 타당성을 검증하고자 페트리네트를 이용하여 모델링 하였다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2015년도 추계학술대회
• /
• pp.256-257
• /
• 2015

시장의 세계화와 정보통신의 발전에 의해, 운송망의 길이가 길어지고, 복잡화되었다. 이 때문에 운송신뢰성에 대한 연구의 필요성이 높아졌다. 본 연구에서는 트럭운송 시에 발생할 수 있는 예상치 못한 위험 사건의 결함나무분석(FTA)를 통해 정의하며, 각 위험사건간의 관계를 표현하여 실패율을 사례를 이용하여 구한다. 이를 통해 중간 위험사건 4가지에 대한 페트리네트를 통해, 인과관계를 고려한 순서와 시간에 따른 위험사건의 발생을 고려한 신뢰성을 신뢰도 함수를 이용하여 도출한다. 물류 운송시스템에 대한 신뢰성을 공학적인 방법론을 사용하여 수리적으로 도출한다는 점에서 연구의 의의가 있다.