• Proceedings of the Korea Multimedia Society Conference
• /
• 1998.10a
• /
• pp.31.1-36
• /
• 1998

본 논문은 하이퍼미디어 시나리오 수행시간 예측 방법을 고찰한다. 시나리오 수행 시간 정보는 사용자가 본인의 시간 사용 계획 수립이나, 정보 제공자가 효율적인 정보 감상 스케쥴을 수립하여 제시하는 데 중요한 역할을 담당한다. 그럼에도 불구하고 이러한 정보를 얻는 방법에 대한 연구는 [1]과 [2]에 소개된 두 가지 밖에 없다. 이 두가지 방법은 모두 변형된 페트리 넷을 이용하여 시나리오를 모델링 한 다음, [1]은 몬테칼로 시뮬레이션 방법을 적용하고 [2]는 통계적 기대값을 이용한다. 본 논문에서는 이 두가지 방법을 소개한다.

• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.883-886
• /
• 1998

We introduce a high level synthesis methodlogoy for automatic synthesis of asynchronous circuits form a language based on CSP. The input language is a high level concurrent algorithmic specification that can model complex concurrent control flow, logical and arithmetic computation and communications between them. This specification is translated into petri net which has actions. These actions are refined to synthesize the controllers and to allocate the data resources. We use the automatic synthesis through signal transition graphs (STGs) that allows to take advantage of logic synthsis methods to optimize the circuit.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2008.06a
• /
• pp.11-16
• /
• 2008

본 논문은 온톨로지(ontology) 작성에 사용되는 RDF(Resource Description Framework) 모델을 CPN(Colored Petri Net) 모델로 변환하여 표현하는 방법을 제안하고, 페트리 넷 시뮬레이션으로 RDF의 의미를 해석하여 RDF 질의문에 답할 수 있음을 보인다. 또한, 어떠한 RDF 모델도 CPN 모델로의 변환이 가능하다는 제안 방법의 완전성과 무결성을 소개하고, 제안한 방법으로 구축된 CPN 모델에서 RDF 질의에 대해 정확하게 결과를 구하는 방법을 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.187-190
• /
• 2004

시스템 설계가 시스템 요구 사항을 만족하지 않으면 시스템 구현 후 처음부터 다시 설계 및 구현을 해야 함으로 시스템 설계 단계에서 설계한 시스템이 요구 사항을 만족하는지 검증하는 것이 매우 중요하다. 일반적 시스템 요구 사항 중에는 시스템이 항상 막힘없이 작동 (live)해야 한다는 것과 시스템 자원의 총합이 한계값을 넘지 말아야 한다 (bounded)는 것이 있다. 본 논문에서는 이동물체 데이터베이스 시스템이 구조적으로 live하고 bounded 한지 검증하는 페트리 넷 방법을 소개한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.11
• /
• pp.2609-2614
• /
• 2013

Adoption of RFID has become widespread including logistics, drug supply-chain, and healthcare. To adopt RFID, we need to evaluate performance and feasibility of RFID S/W such as EPC Information Service (EPCIS), which demands a variety of test datasets of RFID business events. This paper proposes a novel method for creating RFID business events dataset by means of the simulation of RFID infrastructure. Proposed model provides a flexible representation capability since this is based on well-known petri-net. In addition, it can also be useful when determining adoption of RFID as it supports simulation of RFID environment.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.3
• /
• pp.626-634
• /
• 2012

It is required that system can seamlessly identify and manage change history and comprehensive assessment of several types of data as well as individual information of feeding and water environment for scientific and systematic management of fish farming environment and fish farmer. In this study, we implemented the system which can present and simulate current status of water quality and feeding based on th historical data of them, and check changes of state step by step using visual C++. In addition, we proposed the entropy model which can be comprehensive analysis about water quality and feed status information based on knowledge of fisheries. It can be the foundation to create high-level environment model reflecting the more diverse fisheries knowledge such as disease.

• The KIPS Transactions:PartB
• /
• v.9B no.5
• /
• pp.615-624
• /
• 2002

The concept of a hyperpresentation, as an extension of a hypermedia, is the presentation in which time-varying multimedia presentations are dynamically linked together and a hyperlink's context can be changed over time at any time during a continuous presentation. While this concept provides users with a flexible and powerful tool for their descriptions of the multimedia presentation, inconsistency problems in the synchronized presentations connected by hyper links can be introduced. This paper introduces a method of describing the hyperpresentation using Petri Net and proposes a methods of detecting inconsistent hyper link loop in the hyperpresentation description.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.1239-1241
• /
• 2015

ETL(Extraction, Transformation, Loading)작업은 데이터웨어하우스 시스템 구축 및 유지관리 뿐만 아니라 차세대 정보시스템 구축의 핵심 프로세스에 해당한다. 특히 차세대 정보시스템 구축에 있어서 ETL 작업의 성능은 시스템오픈의 성패를 좌우하는 중요한 요소이다. 일반적으로 차세대시스템 구축의 데이터 전환을 위해 수행되는 ETL작업은 대용량데이터에 대한 다양한 형태의 데이터변형 과정을 수반하며 반드시 정해진 시간안에 완료되어야 한다. 또한, 수 많은 원천 집합을 추출하여 타겟시스템의 형태에 맞게 변형 및 적재하는 작업은 한정된 컴퓨팅 자원내에서 수행되어야 한다. 따라서 자원성능을 고려한 ETL작업 스케줄 최적화는 데이터전환 작업에 있어 필수적인 고려사항이 된다. 이 연구에서는 가용한 물리자원을 최대한 활용하여 ETL 프로세스의 처리능(throughput)을 최대화 하는데 초점을 맞추어, ETL프로세스를 페트리넷을 이용해 모델링하는 기법을 제시한다. 이 모델에는 ETL 프로세스가 수행될 서버의 컴퓨팅자원이 토큰화(tokenize)되어 포함된다. 이 모델을 기반으로 가용자원을 최대한 활용하면서도 자원병목이 발생하지 않는 수준으로 ETL 작업이 수행될 수 있도록 프로세스를 제어할 수 있는 방안을 제시한다.

• The KIPS Transactions:PartD
• /
• v.19D no.4
• /
• pp.281-292
• /
• 2012

A wide variety of smartphone applications is increasing the usage time of smartphone. Due to the increased time, it becomes difficult to providing stable services to users with limited battery capacity. The past works have been performed the power management of mobile device toward long-lasting battery development or low-power electric devices. However as the complexity of software embedded into system are increased, the research interests of the software power analysis is also increased. Among these studies on the software power analysis, model-based analysis technique is one of major interests because it can be able to analyze the power consumption before the development of source codes, then the analysis result can be used in the development of the software system, This paper suggests a model-based power analysis technique using UML state machine diagram. Our proposed technique estimates the power consumption by the simulation of Perti-net which is transformed from the state machine diagram.

• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.157-167
• /
• 2000

As the requirements of a software system become large and complex, it causes some problems such that requirements specification using formal methods becomes larger in its size and less understandable. In order to solve such problems, the concepts of modularity and object are adopted to specify the requirements. In addition, top-down and compositional approach to handle such requirements are also adopted. In our paper, we suggest an object-oriented Petri net, called HOONet, to hierarchically specify and verify the complex requirements by incorporating the concepts of modularity, object, abstraction and refinement into a formal method. Our HOONet method supports the incremental specification and verification of partially described or not yet fully analyzed requirements. We also show the applicability of our method by modeling and verifying the requirements of a reactor safety control system.