페트리넷과 문항반응이론을 이용한 웹 기반 학습 시스템 설계

정화영(Hwayoung Jeong),홍봉화(Bonghwa Hong) 한국통신학회 2008 韓國通信學會論文誌 Vol.33 No.12D

본 연구는 웹 기반 학습 시스템을 설계하였으며, 학습자에게 효율적인 학습 문항 제시를 위하여 문항반응이론을 적용하였다. 적용된 기법은 문항난이도와 문항변별도를 고려한 2-모수 로지스틱 모형이며, 산출된 문항정보함수 값은 학습자의 학습과정에 피드백 하였다. 이러한 과정에서 학습 시스템은 10개의 학습 프로세스로 구성하였으며, 각 프로세스의 운용에 대한 설계 및 분석을 위한 방법으로 페트리넷을 이용하였다. In this research, we designed web based learning system. To propose the efficient learning question to learner, we applied the item response theory. This method is 2-parameter logistic model that consider item discrimination and item difficulty. And we made it to feedback item information function value to learner during the learning course. In this process, learning process was consist of 10 learning process. And we used PetriNet for design and analysis of each process operation.

Role 기반 Petri Net을 이용한 공격의 표현 방법에 대한 연구

양대엽,김이룩,신승훈 한국정보기술융합학회 2010 정보기술융합연구 Vol.2 No.1

최근 웹을 통한 서비스 증가와 더불어 이와 관련된 공격이 증가하고 있다. 또한 웹 공격 형태는 공격을 성공시키기 위하여 여러 가지 공격을 사용하는 방법을 시도하고 있다. 이와 같이 웹 공격이 다양화 되고 있는 추세이지만 웹 공격을 분류하고 특성을 파악하기 위한 연구는 미비하다. 공격 시나리오의 표현 및 특성의 표현은 공격의 취약성 분석 및 공격에 대한 방어 대책을 마련하기 위한 설계에 필수적인 요소이다. 이를 위해 다양한 요구사항 분석 모델이 이용되고 있으나 복잡한 시나리오간의 결합을 표현할 수 있는 모델은 제한적이다. 본 논문에서는 동시성과 시각적인 장점을 가진 페트리 넷을 역할 기반으로 구성하여 웹 공격의 효과적 표현 모델을 제공하고 알려지지 않은 공격에 대한 시나리오를 효과적으로 표현하고, 공격이 가능한 웹 공격 시나리오를 다양하게 생성하여, 제안하는 표현 방법을 검증한다.

페트리넷을 이용한 워크플로우 명세의 완료가능성 및 무결성 검증

정희택(Hee Taek Ceong),이도헌(Do Heon Lee) 한국정보처리학회 2000 정보처리학회논문지 Vol.7 No.7

A study on workflow as an automated business processing system is done recently. This paper proposes a method to verify commitability and integrity of workflow specifications, which include various dependencies between parallel tasks, using petri nets. For this, firstly, we describe briefly workflow specification method using workflow graphs. Secondly, we propose a method to convert a workflow graph into a petri net to verify workflow specifications. Thirdly, we suggest the commitability verification method using petri nets to check whether workflow specifications can commit or not and the integrity verification method to check whether invalid components exist or not. Lastly, we implement the proposed verification method and propose a defect extraction method.

사용자 컨텍스트와 페트리넷을 이용한 모바일 상의 라이프 스토리 생성

이영설(Young-Seol Lee),조성배(Sung-Bae Cho) 한국정보과학회 2008 정보과학회 컴퓨팅의 실제 논문지 Vol.14 No.2

사람들은 자신의 삶을 기록하고자 하는 욕구를 충족시키기 위하여 일기를 쓰거나 사진을 찍어 기록을 남긴다. 사람이 경험한 일을 자동적으로 이야기 형태로 만들어 기록으로 남길 수 있다면 그것을 통해서 자신의 경험을 다른 사람과 공유할 수 있고, 쉽게 자신의 과거 경험을 돌이켜 볼 수 있을 것이다. 본 논문에서는 모바일 기기를 통해서 얻을 수 있는 사용자 컨텍스트를 바탕으로 사람이 경험한 일들을 이야기 형식으로 구성하는 방법을 제안한다. 여기서는 사용자가 수행한 행위나 경험한 사건을 인과적이거나 시간적 순서로 연결해주기 위하여 Petri Net을 이용하였다. Petri Net은 동시적이고 병렬적으로 발생하는 사건이나 시스템을 모델링하는 방법으로 현실 세계의 일부를 모델링하는데 뿐만 아니라, 비선형적인 스토리 라인을 표현하는데도 적합한 방법이다. 제안한 방법의 가능성을 보이기 위하여 모바일 기기 사용자를 대상으로 수집한 사용자 컨텍스트를 바탕으로 스토리를 생성하는 사례를 보이고 유용성을 평가한다. People use diary or photograph for recall-ing their memory in order to satisfy their desires for recording their lives. If the experienced events are organized to a story, S/he can share her/his experience with others, and recall her/his significant events easily. In this paper, we propose a method that generates a story with Petri net and user contexts collected from mobile device. Here, we use Petri-net as a representation method that links human activities or experience causally. It is appropriate solution for modeling parallel events in real world, and for representing non-linear story line. In order to show the usefulness of the proposed method, we show an example of generating a story of user's experience with user contexts from mobile device and evaluate them.

대기행렬 페트리넷을 이용한 웹서비스 시스템 분석 방법

심규박(Kyubark Shim),임재걸(Jaegeol Yim),이계영(Gyeyoung Lee),김진석(Jinseog Kim) 한국멀티미디어학회 2011 멀티미디어학회논문지 Vol.14 No.11

IPTV 시스템의 페트리넷 표현

임재걸(Jae-Geol Yim),이계영(Gye-Young Lee),우진석(Jin-Seok Woo) 한국컴퓨터정보학회 2012 한국컴퓨터정보학회 학술발표논문집 Vol.20 No.1

융합 시스템의 표본으로 주목받고 있는 IPTV는 라디오 전파 방송이 아닌 인터넷을 통하여 사용자들에게 멀티미디어 콘텐츠를 제공한다. IPTV 응용 분야에는 VOD(Video On Demand) 서비스, 교육, 문화, 오락 등 다양한 양방향 응용 서비스가 포함된다. 본 연구에서는 이러한 IPTV 시스템을 페트리 넷으로 표현하고, CPNTools를 이용하여 페트리 넷을 분석함으로써 IPTV 시스템이 막힘없이 운행됨을 검증한다.

베이지안 네트워크와 페트리넷을 이용한 모바일 상황정보로부터의 블로그 자동 생성

이영설(Young-Seol Lee),조성배(Sung-Bae Cho) 한국정보과학회 2010 정보과학회 컴퓨팅의 실제 논문지 Vol.16 No.4

블로그는 가장 널리 퍼지고 있는 개인화 웹 서비스로서 전세계의 많은 사람들이 이용하고 있다. 이런 블로그의 내용은 대부분 일상 생활에서 겪은 경험이나 감정을 표현하고 있는 것들이다. 따라서 모바일 기기로 수집된 개인의 생활에 대한 정보를 모아 자동으로 블로그를 만든다면 그것을 바탕으로 보다 쉽게 자신만의 블로그를 만들 수 있을 것이다. 이미 모바일 상황정보를 바탕으로 블로그를 자동으로 만들기 위한 몇몇 연구가 이루어지고 있다. 본 논문에서는 모바일 기기에서 수집된 정보를 바탕으로 사용자의 상태를 추론한다. 그리고 추론된 결과를 바탕으로 페트리 넷 스크립트를 이용하여 스토리 형태로 텍스트를 생성한 후, 최종적으로 사진과 지도상의 이동 패턴을 합쳐 사용자의 생활을 보여주는 블로그를 구성한다. Weblog is one of the most spread web services. The content of the weblog includes daily events and emotions. If we collect personal information using mobile devices and create a weblog, user can create their own weblog easily. Some researchers already developed systems that created weblog in mobile environment. In this paper, user’s activity is inferred from personal information in mobile device. The inferred activities and story generation engine are used to generate text for creating a weblog. Finally, the text, photographs and user’s movement in Google Map are integrated into a weblog.

게임 환경에서의 지능형 다중 에이전트 개발

김동민 ( Dongmin Kim ),최진우 ( Jinwoo Choi ),우종우 ( Chongwoo Woo ) 한국인터넷정보학회 2015 인터넷정보학회논문지 Vol.16 No.6

다중 에이전트 시스템에 대한 연구는 최근 다양한 분야에서 활성화 되고 있으며, 복잡한 시스템의 제어 및 최적화에 관한 연구가 진행되어 왔다. 본 논문에서는 게임 환경에서의 NPC(Non-Player Character) 시뮬레이션을 위한 다중 에이전트 시스템을 개발한다. 시스템 개발의 목적은 동적 이산사건 영역의 상황을 추론하여 신속하고 정확한 판단을 제공하고 에이전트 시스템의 최적화 과정을 보다 손쉽게 도와주는데 있다. 이를 위한 에이전트 시스템의 기본 모델은 페트리넷을 활용하여 구조를 단순화 하고 퍼지 추론엔진을 사용하여 다양한 상황을 결정할 수 있도록 하였다. 본 연구 시스템의 실험은 NPC간의 가상 전장 상황을 묘사하며, 퍼지 규칙이 적용된 에이전트와 유한 상태 기계로 구현된 NPC를 시뮬레이션 하여 에이전트의 승률과 생존율을 산출하였다. 실험 결과 퍼지 규칙 기반 에이전트의 승률과 생존율이 유한 상태 기계로 구현된 NPC보다 더 높은 것으로 나타났다. Recently, research on the multi-agent system is developed actively in the various fields, especially on the control of complex system and optimization. In this study, we develop a multi-agent system for NPC simulation in game environment. The purpose of the development is to support quick and precise decision by inferencing the situation of the dynamic discrete domain, and to support an optimization process of the agent system. Our approach employed Petri-net as a basic agent model to simplify structure of the system, and used fuzzy inference engine to support decision making in various situation. Our experimentation describes situation of the virtual battlefield between the NPCs, which are divided two groups, such as fuzzy rule based agent and automata based agent. We calculate the percentage of winning and survival rate from the several simulations, and the result describes that the fuzzy rule based agent showed better performance than the automata based agent.

상황인지 시뮬레이션 프레임워크 개발을 위한 계획수립기에 관한 연구

김태형,최진우,우종우 한국지능정보시스템학회 2010 한국지능정보시스템학회 학술대회논문집 Vol.2010 No.11월

본 논문에서는 상황인지 소프트웨어를 제작하고 제작된 상황인지 소프트웨어를 시뮬레이션 해 볼 수 있는 통합 개발 프레임워크를 제안한다. 상황인지 기술, DEVS(Discrete Event System Specification), 페트리넷(Petri-Net)등의 기반기술이 사용되는 상황인지 시뮬레이션 통합 개발 환경은 소프트웨어 개발자들이 보다 편리하고 빠르게 상황인지 시스템을 구축하고, 실제보다 적은 시간만으로 앞으로 구축될 시스템을 미리 실험할 수 있는 환경을 제공한다. 통합 개발 프레임워크는 상황인지를 위한 추론 기능을 가지는 에이전트 및 시뮬레이션 기능을 플러그인 및 라이브러리로 제공하며, 통합환경 내에서 제공하는 도구를 사용해 사용자들이 보다 편리하게 개발 및 실험을 할 수 있게 하여준다. 이를 위해 본 논문에서는 상황 아키텍처를 위한 모델 표현 계층, 멀티 에이전트 시스템을 위한 연산 계층, 환경과의 상호작용을 위한 인터랙션 계층, 시뮬레이션 계층의 4-계층구조의 통합개발환경을 설계하였으며, 이중 상황인지 시스템에서 얻은 상황추론 결과를 이용하여 계획수립을 할 수 있는 계획수립기의 개발을 우선적인 목표로 서술하였다.

확률적 페트리네트 기반의 워크플로우 최적화 모델링

임경택,박세권,명광식,김도일 중앙대학교 산업경영연구소 2000 산업경영연구 Vol.9 No.1

워크플로우에서는 기업이 정한 목표를 달성하고, 기업의 현재의 불확실성과 불안정성을 제거하고, 현재의 치열한 경쟁을 극복하고, 장래에 보다 나은 기업이 되기 위해서, 기업의 모든 재 구성원과 자원들 사이에 존재하는 이질적 요소를 조정·조화시킨 후, 유기적으로 결합하여, 조직의 목적을 이루는 것이 중요하다. 본 논문은 크게 두 가지에 초점을 두고 있다. 첫 번째, 프로세스를 최적화시키기 위한 조정 기준을 제시한다. 이 전의 연구들에서는 프로세스를 조정 할때, 대부분 분석가의 직관과 경험에 의존했었다. 그러나, 본 연구에서는 이러한 분석가의 직관과 경험에 의존한 프로세스 조정을 최대한 줄일 수 있는 몇가지 간단하면서도, 강력한, 정량화 된 기준을 제시한다. 두 번째, 워크플로우에, 시간을 소요하는 처리와 하지 않는 처리로 구분 할 수 있으며, 처리 시간을 확률 함수로 파악함으로써 현실세계에 가까운 모델링을 할 수 있는, GSPN(Generalized Stochastic Petri-net)을 적용한 프로세스 모델링 방법을 제시한다. This paper proposes a method to analyze and design for workflow systems called GSWN(Generalized Stochastic Workflow Net), which is based on stochastic Petri-net, and an algorithm for workflow process optimization based on simulation analysis. The proposed modeling method was developed by adding workflow characteristics to stochastic petri-net. The proposed algorithm is consist of 4 major steps such as GSWN step, GSWN to matrix step, block establishing step, and process optimizing step.