• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 하계학술대회 논문집 D
• /
• pp.2458-2460
• /
• 2001

단일 로봇을 이용한 물체의 운반은 제어대상이 하나이기 때문에 제어가 쉽다는 장점이 있다. 그러나 로봇의 크기에 비해 물체의 길이가 길어지거나 부피가 커지고 무게가 증가할 경우, 물체의 균형을 유지하기가 힘들고 로봇의 속도가 감소하는 등의 문제가 발생한다. 본 연구에서는 페트리넷의 그래픽적인 모델링 방법을 이용하여 전체 작업을 모델링하여 로봇의 작업 상태를 쉽게 파악할 수 있도록 하였으며 명령체계상에서 발생할 수 있는 오류를 사전에 제거하려 하였다. 또한 시스템을 분산형 구조로 설계하여 시스템을 관리하는 별도의 시스템을 설정하지 않는 대신 퍼지 제어기를 이용하여 두 로봇의 협조 작업을 통해 물체를 운반할 경우 일어날 수 있는 애매한 상황에 대한 문제를 수학적인 모델링이 필요하지 않은 퍼지 제어기의 특성을 이용해 해결하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.610-612
• /
• 2001

시간 제약 조건을 가진 타임드 페트리넷으로부터 최적화된 비동기식 제어회로를 생성하기 위해서는 시간 분석을 통하여 도달 가능한 상태만으로 구성된 축소 상태 그래프를 생성하는 작업이 매우 중요하다. 본 논문에서는 기존의 방법들이 적용 가능한 타임드 페트리넷의 범주에 제약을 가하거나 혹은 회로의 합성과는 직접적인 상관없이 시간 분석을 위하여 대규모의 시간 상태 그래프를 부가적으로 생성하는 문제를 해결하기 위하여 타임드 페트리넷으로부터 축소된 시간 상태 그래프를 직접적으로 생성하는 방법을 제안 한다 실험 결과는 제안된 방법이 모든 범주의 타임드 페트리넷으로부터 빠른 시간 내에 합성에 충분한 축소된 상태그래프를 생성함을 보여준다.

• 전자공학회논문지CI
• /
• 제48권3호
• /
• pp.76-81
• /
• 2011

침입방지시스템은 내부 시스템 보안 또는 외부 공격의 문제를 해결하기 위한 중요한 솔루션이다. 이러한 침입방지시스템을 도입 시 가장 우선적으로 고려해야 될 사항으로는 다양한 기능보다 안정성이다. 본 논문은 침입방지시스템 보안모델의 사용자 인증기능에 대한 안정성 검증을 위하여 칼라 페트리 네트를 이용하였다. CPN은 분산되어있고, 동시 발생적이며, 결정적 또는 동기화 방식의 비결정적인 시스템들에 대하여 그래픽적인 모델링 언어로 표현이 가능하다. 이런 칼라 페트리 네트는 각 처리 단계에 대하여 모든 가능한 상태와 발생 그래프로 표현된다. 침입방지시스템 보안 모델의 안정성은 칼라 페트리 네트를 이용한 모든 상태표현과 발생그래프의 분석결과가 무한반복 혹은 교착상태가 없으므로 검증되었다.

• 한국항행학회논문지
• /
• 제16권1호
• /
• pp.109-115
• /
• 2012

인문학은 컴퓨터를 이용하는 매체로서는 매우 어려운 분야이다. 그러나 최근에는 많은 분야에서 융복합이 확산되고 있다. 본 논문은 인문학의 대중화를 위하여 IT를 이용한 기술적인 방법을 제시하고자 한다. 이를 위하여 인문학에 디지털 스토리텔링을 적용하기 위한 경로를 페트리넷으로 구현하였다. 이는, 문장이나 작품에서 나타나는 예시를 관련된 질문과 연계하기 위하여 각 구성은 디지털스토리텔링으로 구현하였다, 이러한 스토리텔링은 작가, 시놉시스, 배경, 구성, 감상 포인트, 독자의 리뷰로 구성되었다. 또한 본 연구는 이러한 문학적 데이터 경로 분석을 위하여 페트리넷을 이용하였다.

• 한국콘텐츠학회논문지
• /
• 제8권10호
• /
• pp.64-75
• /
• 2008

하이퍼-프레젠테이션 개념은 하이퍼-미디어 개념을 확장한 것으로, 동적으로 연출되고 있는 상황에서 링크개념을 설정하여 특정시점에서 원하는 다음 정보를 보기 위해서 비순차적으로 연출할 수 있도록 하는 방법이다. 이러한 비순차적인 연출방법인 하이퍼-프레젠테이션 개념을 도입함으로써, 자유로운 멀티미디어 데이터들의 연출이 가능하게 되었지만, 이러한 동기화 방법에 의해서 혼합된 여러 프레젠테이션들간에는 일관성 문제가 발생할 수 있다. 본 논문에서는 하이퍼-프레젠테이션 명시 프로그램의 일관성 검증을 위해서 petri-net을 이용한 하이퍼-프레젠테이션 명시 방법을 제시하고, 그것을 이용한 명시 프로그램의 일관성을 검증하는 방법을 제안한다.

• 정보교육학회논문지
• /
• 제7권3호
• /
• pp.309-317
• /
• 2003

웹 기반 교육 시스템은 정보의 일방적인 전달방식에서, 사용자와의 양방향적인 정보교환방식으로 변화되었다. 이에 따라, CGI(Common Gateway Interface)와 같은 서버측 언어와 데이터베이스를 이용하여 각 기능분리에 따른 3-계층 모델로 구현되어왔다. 그러나, 최근 CBSD(Component Based Software Development)기법이 많은 관심을 받으며, 이를 적용하려는 노력들이 나타나고 있다. 이에 따라, 본 연구에서는 컴포넌트 기반의 문제풀이 시스템을 구현하였다. 이를 위하여, 웹 서버측 컴포넌트 모델인 EJB(Enterprise Java Beans)를 이용하였으며, 컴포넌트들 사이의 메시지 흐름에 대한 정형적인 명세를 위하여 페트리 넷을 이용하였다.

• 한국정보처리학회논문지
• /
• 제5권5호
• /
• pp.1119-1129
• /
• 1998

본 논문은 하이퍼미디어 시나리오 수행 시간 예측 방법을 제안한다. 제안된 방법은 하이퍼미디어 시나리오의 흐름을 "확률분포표를 갖는 페트리 넷(Petri Net with probability Distribution Table : PNDT)" 으로 모델링하고, PNDT 모델에서 시나리오 진행을 몬테칼로 방법을 적용하여 시뮬레이션함으로써 시나리오의 시작부터 종료에 이르기까지의 소요 시간을 계산한다. 시나리오 수행 시간은 정보제공자와 사용자 모두에게 귀중하게 사용된다. 사용자는 이를 참조하여 시간 사용 계획을 세울 수 있고, 정보제공자는 이를 참조하여 사용자에게 가장 효율적인 감상 스케쥴을 작성하여 줄 수 있다. 그럼에도 불구하고, 지금까지 하이퍼미디어 시나리오 수행 시간을 예측하는 방법에 대한 연구는 전무하다.

• 정보보호학회논문지
• /
• 제20권1호
• /
• pp.123-128
• /
• 2010

공격 시나리오의 그래프 표현은 서버의 취약성 분석 및 공격의 방어를 위한 설계에 필수적인 방법이다. 이를 위해 다양한 요구사항 분석 모델이 이용되고 있으나, 복잡한 시나리오간의 결합을 표현할 수 있는 모델은 제한적이다. 본 논문에서 제안하는 역할 기반 페트리 넷(Role Based Petri Net)은 동시성과 시각적인 장점을 가진 페트리 넷을 역할 기반으로 구성하여 효과적 표현 모델을 제공하고 알려지지 않은 공격에 대한 시나리오를 효율적으로 표현할 수 있다.

• 전자공학회논문지CI
• /
• 제41권3호
• /
• pp.1-10
• /
• 2004

현재 이동물체 데이터베이스에 관한 연구가 활발히 진행되고 있다. 그러나 기존 연구의 대부분은 갱신 전략의 효율성 증대에 초점이 맞추어져 있고, 이동물체 데이터베이스 시스템의 사용자 요구사항 검증에 대한 연구 논문은 전무하다. 아무리 효율성이 좋은 갱신 전략이 적용되었더라도, 시스템 설계자는 시스템이 사용자 요구사항을 만족하는지에 대해 개발초기에 반드시 검증을 해 보아야 한다. 예를 들어, 이동물체가 n개이면, n개에 대한 데이터베이스 정보 갱신 작업과 새로운 정보를 사용자에게 제공하여주는 작업을 정해진 시간 내에 완료할 수 있는지 개발 초기에 검증해야 하는 것이다. 본 논문은 이동물체 데이터베이스의 요구사항 분석을 위하여, Design/CPN이라는 시뮬레이션 도구를 이용하여 페트리 넷 모형을 구축하고, 시뮬레이션을 통하여 사용자 요구사항을 검증하는 방법을 소개한다. 본 논문은 이동물체 데이터베이스의 사용자 요구 분석을 위한 최초의 시뮬레이션 모델을 제공하는데 의의가 있다. 이 시뮬레이션 모델은 본 저자가 이미 발표한 퍼지시간 페트리 넷 모형에 대해 거리기반 갱신전략과 분산 데이터베이스 모형을 첨가 확장한 것이며, n 개의 이동물체를 고려한 분석 결과를 소개한다. 또한, 본 모형은 Design/CPN이라는 시뮬레이션 도구로 구축되었기 때문에 시스템에 대한 자동분석이 가능하다. 본 모형의 응용 범위는 사용자 요구사항 분석에 국한된 것이 아니라, 갱신 비용과 정보의 정확도 간, 혹은 갱신에 소요되는 시간과 자원간의 상관관계를 분석하는 데에도 유용하게 쓰인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (3)
• /
• pp.172-174
• /
• 2004

무선 네트워크의 TCP 성능을 제고하기 위한 방법으로 ECN 방법이 심도 있게 연구되었다. 그러나, ECN 마킹을 위한 최적의 threshold에 대한 연구 결과는 찾아 보기 힘들다. 본 논문은 ECN 마킹을 위한 최적의 threshold를 찾는 식을 제시하고, ECN 전략을 적용하는 TCP의 페트리 넷 모형을 구축한 다음, 시뮬레이션을 통하여 제시된 식의 타당성을 검증한다. 또한 제시된 식의 실용화 방안도 제안한다.