http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
효율적인 성능 분석을 위한 확장된 Stochastic Petri Net 모델
유강모(Kang Mo Ryu),김성열(Seong Ryeol Kim),이철희(Chul Hee Lee) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.2
컴퓨터 성능분석과 프로토콜 검증의 도구로서 사용될 수 있는 GSPN(General Stochastic Petri Net)에 토큰의 타입, 아크의 라벨링, 트랜지션의 점화(firing)조건등의 속성을 부여하여 확장된 SPN을 정의하고 이 ESPN(Extended Stochastic Petri Net)을 이용하여 다중프로세서 시스템을 모델링하는 방법을 기술한다. 그리고 다중프로세서 시스템에서 시스템 크기의 증가에 따른 분석 과정에서의 상태폭발(State Explosion)과 복잡도(Complexity)를 줄여 용이한 분석을 위해 통합상태(Aggregation State) 개념을 이용하는 방법을 제시한다.