• Journal of Korea Multimedia Society
• /
• v.5 no.6
• /
• pp.730-744
• /
• 2002

A Web-Based Information System(WBIS), a typical structure of recently information systems, should be dynamically restructured in order to satisfy user's need and make a profit. Thus, we should analyze and modelize the navigational structure of WBIS and utilize it by modeling the navigational structure of behavior of user through log-file as system restructuring. In this paper, we propose the modeling method for navigational structure and user behavior to restructure WBIS including shopping mall. Also, we suggest the structural model, state transition model, Petri net model and analysis method and analyze and implement modeling algorithm for user behavior to analyze log-file of it. Then, we propose some restructuring heuristic and apply the methods to the example of WBIS.

• The KIPS Transactions:PartC
• /
• v.13C no.2 s.105
• /
• pp.177-184
• /
• 2006

A handover is a technology that enables data transmission and receipt seamlessly while a mobile station moves from the current base station to another base station. The handover is basically classified into two types; a horizontal handover which changes a radio link only without changing a network link, and a vertical handover which changes both in heterogeneous networks. In this paper, we propose a vertical handover protocol in a dual base station which supports both of W-CDMA and WiBro networks based on SDR (Software Defined Radio), verify the rightness using a state transition diagram and a Petri-net, and evaluate the performance of the proposed protocol using NS-2 simulator.

• Journal of Korea Game Society
• /
• v.20 no.1
• /
• pp.133-142
• /
• 2020

Digital educational game market is growing as it expands to smart platforms such as smart phones and tablet PCs. As games have become digital in the classroom evolving to two-ways. In this paper, it designed that enables elementary students to acquire musical knowledge related to musicians through digital board games. By collecting achievement cards of musicians associated with. Elementary students repeatedly gain relevant musical knowledge in the end. The developed game was simulated using Petri net to check the gameplay flow.

• Proceedings of the IEEK Conference
• /
• 2002.07b
• /
• 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.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2000.05a
• /
• pp.311-321
• /
• 2000

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

• The KIPS Transactions:PartD
• /
• v.10D no.7
• /
• pp.1189-1196
• /
• 2003

Owing to the developed If industry, many people are more and more interested in Workflow which is an automated business processing system. In this paper, we present basic structures and various parallel processing structures of a workflow using EMFG (Extended Mark Flow Graph) that makes conceptional design available. And then, We design a workflow with EMFG. We propose the commitability verification method to check whether a workflow can complete or not and the logical bug verification method to find whether invalid components exist or not by using simulation result of it. The proposed EMFG modeling and analysis method for a workflow make it possible to become a visual and formal design. Also, it makes intuitional and mathematical analysis possible.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.2
• /
• pp.449-454
• /
• 2008

As demand for the application in multimedia networks is increasing rapidly, it is important to provide these services in Mobile Environments (ME). Obtaining to multimedia services which satisfy synchronization constraints in ME and improving the delay time and Quality of Service(QoS) between media streams to be presented, new specification model has to be proposed. In this paper we propose Mobile Synchronization Model(MSM) as a new specification model for describing efficiently the QoS and the delay time. Also, we propose the multimedia synchronization algorithm where is a dynamic synchronization method that minimizes the effects of adaptive transmission delay time. The proposed model has higher the guarantee of QoS such as the loss rate and the playout rate than it of the previous work.

• Nuclear Engineering and Technology
• /
• v.33 no.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.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.4
• /
• pp.977-987
• /
• 1999

The current traffic signal control systems are operated depending on the pre-planned control scheme or the selected control scheme according to a period of time. The problem with these types of traffic control systems is that they can not cope with variant traffic flows appropriately. Such a problem can be difficult to solve by using binary logic. Therefore, in this 0paper, we propose a traffic signal control system which can deal wit various traffic flows quickly and effectively. The proposed controller is operated under uncertainty and in a fuzzy environment. It show the congestion of road traffic by using fuzzy logic, and it determines the length of green signal by means of a fuzzy inference engine. It modeled using petri-net to verify its validation.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2015.10a
• /
• pp.256-257
• /
• 2015

The trend of globalization and the development of the communication-Information technology not only complexified the supply chain, but also, led to the needs of the high quality of logistics service for customers. I t defines risks that can occur in truck transport under unexpected situation with Fault Tree Analysis(FTA) and calculates failure rate concerning relationship between each risks. Based on the 4 kinds of middle failure events that defined in FTA, Reliability function which is regarded about risks sequentiality and time flow is resulted in. I t is meaningful that it calculates reliability of logistics and transportation system with engineering methodology.