• 한국콘텐츠학회논문지
• /
• 제3권4호
• /
• pp.55-62
• /
• 2003

본 논문에서는 무선망에서 핸드오프 호의 분실확률을 줄일 수 있는 호 제어 기법을 제안한다. 제안한 기법은 진행 중인 시스템 용량인 유효로드와 임계치를 이용하여 호의 수락 여부를 결정하며 측정된 유효로드가 미리 정해진 임계치보다 크면 신규 호는 차단시키고, 핸드오프 호는 큐잉을 허용한다. 호 수락 제어 기법의 성능분석을 위하여 추계적 페트리 네트의 확장인 SRN 모델이 개발된다. SRN 모델링 기법은 성능분석을 위하여 필요한 마르코프 체인의 복잡한 해석적 분석대신 보상 개념에 의한 손쉬운 성능분석 수행방법을 보여준다.

• 한국콘텐츠학회논문지
• /
• 제8권1호
• /
• pp.300-307
• /
• 2008

전력관리는 전력상태 전환과 시스템 부하 (workload)에 의존성이 있다. 시스템 모델은 전력상태 전환과 시스템 큐에 대한 추계적 모델들로 구성된다. 본 논문에서는 다양한 전력관리 기법을 위한 추계적 모델들을 개발한다. 추계적 프로세스에 기반한 전력관리 모델은 시스템 큐와 다양한 모델링 기능을 표현할 수 있는 페트리 네트의 확장형인 SRN (Stochastic Reward Nets)을 이용하여 개발된다. 적응적 타임아웃기반 전력관리 SRN 모델을 개발하고 기존 전력관리 기법인 greedy, N-Policy 기법과 전력소모 및 성능비교를 수행한다.

• 한국멀티미디어학회논문지
• /
• 제5권6호
• /
• pp.704-711
• /
• 2002

멀티미디어 이동 통신 시스템은 음성 교환 및 패킷 교환의 실시간과 비실시간의 세 종류 서비스 클래스에 의해 특징지어 진다. 셀에서의 무선 채널은 이들 서로 다른 서비스 클래스의 호에 할당되어 지며 서로 다른 서비스 요구사항을 만족해야 한다. SRN은 추계적 페트리 네트의 확장형으로 모델에 적절한 reward(보상)을 부여함으로써 원하는 성능지표를 쉽게 계산할 수 있는 모델링 도구이다. 본 논문에서는 멀티미디어 이동 통신 시스템의 채널할당과 성능분석을 위한 SRN 모델을 제시한다. 본 논문의 기여도는 성능분석을 위해 필요한 마르코프 체인의 복잡한 해석적 분석대신 종류별 서비스 클래스에 대한 채널할당을 수행할 수 있는 페트리 네트 모델링 기법을 제시하고 모델에서의 보상 개념에 의한 손쉬운 성능분석 수행 방법을 제시하는데 있다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2011년도 춘계 종합학술대회 논문집
• /
• pp.569-570
• /
• 2011

fault와 에러를 구분하여 정의한 후, 에러처리를 위한 시스템 상태를 fault, 에러, 회복, benign, mon1, mon2의 상세 상태로 분류하고, 이들 상태를 묘사해 줄 수 있는 추계적 페트리 네트를 이용하여 시스템 에러 처리를 모델링 한다. 시스템이 수십년이 지나면 궁극적으로 다운되는 비신뢰도를 모델로 부터 구할 수 있음을 보여준다.

• 한국콘텐츠학회논문지
• /
• 제9권1호
• /
• pp.45-52
• /
• 2009

본 논문에서는 통신망의 큐잉망 모델을 링크 고장을 고려한 신뢰도 모델과 함께 개발한다. 가상연결을 갖는 통신망에서 링크 고장시의 신뢰도 분석이 수행된다. 확장된 추계적 페트리 네트인 SRN은 시스템 분석을 위한 다양한 모델링 기능을 제공해 주며 적절한 보상율을 모델에 할당해 줌으로써 원하는 성능지표를 쉽게 구할 수 있다. 재경로를 갖는 신뢰도 분석을 위하여 모델 규격을 정하고 자동으로 모델을 생성하고 그 해를 구하는데 SRN 모델링이 적합함을 보여준다. 링크 고장에 따른 다양한 재경로 설정과 신뢰도 분석을 위하여 SRN을 이용한 마르코프 모델이 개발되고 그 해가 구해진다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2007년도 추계 종합학술대회 논문집
• /
• pp.197-200
• /
• 2007

동적 전력 관리는 서로 다른 전력소모를 갖는 전력상태들을 시스템 구성 요소에 할당하고 상황별로 전력상태를 관리함으로써 시스템의 전력 소모를 현저하게 줄여줄 수 있다. 전력관리의 주 기능은 구성요소의 상태천이를 언제 수행하느냐 이며 이를 위하여 추계적 프로세스에 기반한 동적 전력관리 모델을 개발한다. 동적 모델은 시스템 큐와 다양한 모델링 기능을 표현할 수 있는 페트리 네트의 확장형인 SRN(Stochastic Reward Nets)을 이용하여 개발되며 성능분석을 함께 수행한다.

• 디지털융복합연구
• /
• 제11권12호
• /
• pp.479-485
• /
• 2013

가상화는 다중의 온라인 서비스를 소규모의 컴퓨팅 자원에 배치하는 혁신적인 접근방식이다. 가상화된 서버 환경은 가상머신 (virtual machine: VM)으로 불리는 플랫폼의 다중 성능사이에 공유되는 컴퓨팅 자원들을 허용한다. 서버 가상화를 통해 응용 서버는 가상머신 으로 인캡슐 되었으며 CPU나 메모리 자원 풀에 API와 함께 재배치되었다. 네트워킹과 보안은 네트워크 가상화라는 새로운 소프트웨어 추상화 계층으로 이동하기 시작했으며, 가상 네트워크를 생성함으로써 여러 응용에 대하여 네트워킹과 보안을 빠르게 배치할 수 있게 되었다. SRN은 추계적 페트리 네트의 확장형으로 시스템 분석을 위한 함축된 모델링 기능을 제공한다. 본 논문에서는, 가상 스위치를 기반으로 한 네트워크 가상화 SRN 모델을 개발하고 모델에서 관심 있는 성능지표인 스위칭 지연과 처리율에 대한 수치결과를 가상 스위치 용량과 실행 중인 가상머신 수에 따라 구한다. 이들 성능지표는 SRN 모델에서 적절한 보상율을 제공하는 함수의 기댓값으로 표현되어 그 해가 구해진다.

• 한국정보통신학회논문지
• /
• 제18권11호
• /
• pp.2634-2639
• /
• 2014

시스템 및 네트워크의 안정적인 서비스를 위한 기본적인 구조로 다양한 이중화 방식이 있다. 또한 시스템 및 네트워크의 성능을 분석하기 위하여 페트리네트에서부터 Stochastic Reward Net(SRN)에 이르기까지 다양한 성능 분석 모형이 존재한다. 본 논문에서는 정상 상태에서 하나의 액티브 서비스 유닛과 하나의 스탠바이 서비스 유닛을 가진 2N 이중화 방식을 SRN으로 모형화 한다. 성능 분석 소프트웨어인 추계적 페트리네트 패키지 SPNP를 사용하여 2N 이중화 방식의 가용도를 분석한다.

• 산업공학
• /
• 제8권2호
• /
• pp.161-169
• /
• 1995

In this paper, a threshold policy is considered for the Markovian queueing system with server vacations. The threshold policy considered in this paper has the following form: "when the number of customers present in the system increases to N, the server is turned on and serves customers until the system becomes empty". In this paper, we show how the finite capacity or finite population queueing system under a threshold policy can be modeled by the stochastic Petri net. The performance evaluation of the model is carried out using the software called "SPNP". Some examples are also presented in which it is shown that how the optimal threshold policies can be obtained under a linear cost structure.

• 정보처리학회논문지C
• /
• 제8C권1호
• /
• pp.97-104
• /
• 2001

본 논문에서는 무선망에서 채널할당을 받은 호가 무선 패킷 데이터를 서비스하는 경우의 성능분석 수행을 위한 계층 모델을 제안한다. 제안된 계층 모델로는 상위계층으로 무선자원 관리를 위한 채널할당 모델을, 하위계층으로 에러발생을 고려한 패킷 재전송 프로토콜 모델을 고려하였으며 이들 모델은 모델링 도구인 SRN을 이용하여 각각 개발한다. 추계적 페트리 네트의 확장형인 SRN은 시스템 성능분석을 위한 간결한 모델링 기능을 제공해 주며 모델에 적절한 보상률(reward) 기능을 부여함으로써 원하는 성능지표를 구할 수 있다. 이들 두 계층간의 상호 연관된 매개변수의 값인 서비스 시간과 패킷 발생률은 고정점 반복순환(fixed-point iteration) 기법을 사용하여 구한다. 즉 상위계층의 호 서비스 시간은 한 호당 K개의 패킷전송을 완료할때 까지 소요되는 시간인 하위계층 모델의 지연시간으로 구할 수 있고, 하위계층 모델의 패킷 발사율은 상위계층의 새로운 호와 핸드오프 호의 발생률로부터 구할 수 있다.