선택한 단어 수는 입니다.
최소 단어 이상 선택하여야 합니다.
최소 단어 이상 선택하여야 합니다.
선택한 단어 수는 30입니다.
최대 10 단어까지만 선택 가능합니다.
최대 10 단어까지만 선택 가능합니다.
제안 방법
- 그러나 서로 다른 개념의 교착상태확인 알고리즘의 성능 분석 연구는 저자의 검색 노력에도 불구하고 어떠한 연구 결과를 찾아 볼 수가 없었다. 따라서 본 연구에서는 처음으로 서로 다른 개념의 교착 상태 확인 알고리즘의 분석을 위하여 가장 많이 연구되고 있는 사이폰, 관계행렬 그리고 본 연구팀에서 제안한 추이적행렬 알고리즘을 성능 분석하기 위하여 비교 모델을 설정하고 해결을 위한 복잡도와 이해도 그리고 신속성을 정성적, 정량적으로 비교분석한다.
- 여러 다른 개념을 통하고 통일 된 알고리즘 소스가 없어 물리적인 직접 비교 분석방법은 어렵다. 따라서 하나의 예시 모델을 선택하였고 3개의 서로 다른 알고리즘을 적용하여, 신속성, 복잡도 및 이해도와 같은 세 가지 비교 함수에 기초하여 비교하였다.
- 일반적으로 사이폰을 이용하여 교착상태를 확인하기 위하여서는 그림과 같이 주어진 패트리 넷 모델에서 사이폰가능성의 사이클 서브 넷을 구하여 사이클 서브 넷이 사이폰이나 트랩의 성질을 갖는지 여부를 판별하여 이를 이용하여 교착 상태를 분석한다. 사이폰 알고리즘을 이용하여 교착상태 확인 분석에는 두 단계를 거치는데, 먼저 사이클 상태를 찾아서 사이폰의 부분 넷을 구하고, 구하여진 서브 넷에서 사이폰의 성질 분석을 통하여 교착상태 확인을 꾀한다.
- 사이폰과 트랩을 이용한 교착상태 확인 알고리즘은 특별하게 표현되어진 알고리즘은 없어서 확인하여 가는 과정을 중심으로 작성하여 비교하기로 한다.
- 이 연구는 패트리 넷의 교착 확인 알고리즘의 효율성 분석에 초점을 두었다. 우리는 성능 평가를 위해 사이폰, DAPN과 추이적 행렬 알고리즘과의 세 개 형태의 알고리즘을 비교 분석하였다. 여러 다른 개념을 통하고 통일 된 알고리즘 소스가 없어 물리적인 직접 비교 분석방법은 어렵다.
- 이 연구는 패트리 넷의 교착 확인 알고리즘의 효율성 분석에 초점을 두었다. 우리는 성능 평가를 위해 사이폰, DAPN과 추이적 행렬 알고리즘과의 세 개 형태의 알고리즘을 비교 분석하였다.
- 추이적 행렬 알고리즘은[5,11,12] 패트리 넷에서의 자원 공유에 기초하여 모든 플레이스와 플레이스간의 관계를 정리하여 제안하였다. 특히 자원공유 플레이스를 중심으로 열과 행의 토큰 흐름의 값을 산정하여 비교하는 교착 상태 여부 판별식을 설정하여 교착상태를 감지하는 알고리즘을 제안하였다.
- 패트리 넷에서의 자원 공유에 기초하여 모든 플레이스와 플레이스간의 관계를 정리하여 제안하였다. 특히 자원공유 플레이스를 중심으로 열과 행의 토큰 흐름의 값을 산정하여 비교하는 교착 상태 여부 판별식을 설정하여 교착상태를 감지하는 알고리즘을 제안하였다.
- 페트리 넷을 관계 행렬로 정의하고 동시 작업 개념으로 이를 통합하여 자원분석을 통하여 교착 여부를 확인하고 방지하기 위한 알고리즘이 DAPN으로 제안되었다[6]. 플레이스와 플레이스간의 관계를 종합적으로 표현이 가능한 추이적 행렬을 이용하여 특히 자원 공유 플레이스에 기초하여 산술적인 해석으로 교착 상태를 확인하는 알고리즘을 추이적 행렬 알고리즘으로 제안되었다[11]. 교착 확인 알고리즘 제안에 있어서 좋은 알고리즘이란 상태 확인을 위한 계산 과정을 단순처리 과정으로 제안되고 이해가 용이하며 보다 짧은 계산 시간을 통해 모든 가능한 해결안을 얻도록 구성되어진 알고리즘이 효율성이 높다고 하겠다[12].
※ AI-Helper는 부적절한 답변을 할 수 있습니다.