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

고장과 복구를 함께 고려한 성능분석 SRN 모델을 계층모델링 기법을 이용하여 개발한다. 상위 계층모델은 고장과 복구에 관련된 시스템 상태를 나타내는 구조상태(structure state) 모델이고, 하위 계층모델은 주어진 구조상태에서 시스템의 상태를 표시할 수 있는 SRN 모델을 사용한다. 성능지표로 블러킹확률을 구한다.

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

컴퓨터 시스템의 성능분석을 위하여 페트리 네트 기반 모델이 널리 사용되어 왔으나, 신뢰도와 가용도 분석을 위한 페트리 네트 모델링은 폭넓은 관심을 갖지 못했다. 본 논문에서는 페트리 네트를 이용한 데이터베이스 시스템의 신뢰도 분석과 모델링 기법에 대하여 논의한다. 공유 메모리(Shared Memory), 프로세서, 버스, 데이터베이스(디스크)의 구성요소를 갖는 고장감내형(fault-tolerant) 데이터 베이스 시스템의 신뢰도 분석을 위한 페트리 네트 모델을 개발한다. 각 구성요소에 대한 고장을 고려하며, 데이터베이스 시스템이 동작중일 조건은 데이터베이스가 동작하고 컴퓨터 구성요소인 프로세서, 메모리, 버스가 동작중인 경우로 한다. 각 구성요소는 개별적으로 고장이 날 수 있으며, 시스템이 동작하는 한 복구할 수 있다. 이러한 고장 및 복구 조건을 고려한 시스템의 신뢰도 분석을 페트리 네트의 확장 모델이며 모델링 기능이 풍부한 마르코프 reward 모델을 이용하여 수행한다. Stochastic Reward Net(SRN)이 갖고 있는 variable cardinality, enabling 함수, 시간천이 우선순위 등의 기능을 이용하여 신뢰도 모델을 개발하는 기법을 제시한다.

• 한국정보통신학회논문지
• /
• 제19권12호
• /
• pp.2828-2835
• /
• 2015

본 논문에서는 다양한 다중화 모형과 논스톱 포워딩 기능이 네트워크 서비스의 가용도에 미치는 영향을 비교 분석한다. 다중화 모형 중 no redundancy, 2N redundancy, N-way redundancy, N-way active redundancy 모형에 대한 확률적 리워드 네트(Stochastic Reward Net, SRN) 모델을 설계하고, 각각의 모형에 대해 논스톱 포워딩 기능을 추가한 SRN 모델을 설계한다. 확률적 페트리 네트 패키지(Stochastic Petri Net Package, SPNP)를 활용하여 설계한 SRN 모델의 가용도를 구한다.

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

본 논문에서는 접속 (connection)과 패킷의 두 레벨 (level)을 함께 고려하는 IEEE 802.16 망에서의 무선 자원 관리 큐잉 모델을 개발한다. 상위 레벨인 접속 레벨에서는 대역폭 가용여부와 서비스 클래스별 우선순위 큐를 사용하여 접속 수락제어를 모델링하고 하위 레벨인 패킷 전송은 서비스 클래스별 임계치와 현재 가용한 대역폭의 두 항목을 동시에 고려한 동적 대역폭 할당 방법을 모델링 한다. 계층 모델은 페트리 네트의 확장형인 SRN (Stochastic Reward Nets)을 이용하여 개발되며 802.16서비스 클래스별 트래픽에 대한 대역폭 활용률과 처리율을 성능지표로 모델에 대한 수치결과를 구한다.

• 한국콘텐츠학회논문지
• /
• 제6권9호
• /
• pp.1-8
• /
• 2006

CDMA 시스템에서 핸드오프 호를 최소화하는 것은 사용자 만족도 평가에 매주 중요한 요인이다. 본 논문에서는 셀의 영역을 정규 영역과 소프트 핸드오프 영역으로 분할하고, 각각의 영역에서 서로 다른 가드채널 수를 갖게 함으로서 핸드오프 호를 최소화할 수 있음을 보인다. 이를 위하여 SRN을 기반으로 하여 정규영역과 소프트 핸드오프 영역으로 분할된 셀을 모델링하고, 성능 분석을 수행한다.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2002년도 봄 학술발표회 논문집
• /
• pp.643-648
• /
• 2002

A research for recycling the demolished-concrete as concrete aggregate has been concerned in all over the world. There, however, are some problems that qualities of recycled aggregates are not only largely different, but also mechanical properties of recycled aggregate concrete decrease a little in comparison with that of natural aggregate concrete. In this study, the resistance of freezing and thawing of concrete using source-concrete recycled aggregate(SRN) and demolished-concrete recycled aggregate(DRA) was investigated. Futhermore a research for improvement of freeze and thaw durability of recycled aggregate concrete was performed. Relative dynamic modulus of elasticity of SRN and DRA recycled aggregate concrete was dropped 60% before 150 of freezing and thawing cycle, and was much lower than that of control concrete. Relative dynamic modulus of elasticity of recycled aggregate concrete was increased to decrease water-cement ratio, but the freeze and thaw durability of recycled aggregate concrete was not enough improved. Futhermore, when metakaolin and silica fume were repalced, the freeze and thaw durability of recycled aggregate concrete containg metakaolin was more improved than that of silica fume.

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

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

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2010년도 춘계학술대회
• /
• pp.636-638
• /
• 2010

Task scheduling is an integral part of parallel and distributed computing. Extensive research has been conducted in this area leading to significant theoretical and practical results. Stochastic reward nets (SRN) is an extension of stochastic Petri nets and provides compact modeling facilities for system analysis. In this paper, we address task scheduling model using extended timed marked graph, which is a special case of SRNs. And we analyze this model by giving reward measures in SRN.

• Anatomy and Cell Biology
• /
• 제57권2호
• /
• pp.246-255
• /
• 2024

Knowledge of the superficial radial nerve (SRN) relationship and anatomic variations of the first extensor compartment (1st EC) will contribute to a better outcome of de Quervain tenosynovitis treatment. We dissected 87 embalmed cadaveric wrists to determine the relationship of the SRN, the 1st EC length, distance from the proximal and distal 1st EC borders to radial styloid process (RSP), abductor pollicis longus (APL) and extensor pollicis brevis (EPB) tendon slip numbers, and the presence of septum. Our results revealed SRN crossing over the 1st EC in 59.5%. The lateral branch of the superficial radial nerve to the 1st EC midline in most cases (61.9%) except for one specimen, where lateral antebrachial cutaneous nerve was the closest. Distances from proximal and distal 1st EC borders to the RSP were 19.7±4.1 mm and 7.6±1.8 mm, respectively. Extensor retinaculum (ER) width over 1st EC (1st EC length) was 14.8±3.2 mm. Complete and incomplete septa were found in 17.2%, and 42.5%, respectively. The most frequent APL tendon slip number in the compartment was two in overall 47 specimens (54.0%). Almost all compartments (85 specimens; 97.7%) contained one EPB tendon slip. We detected bilateral EPB absence in one cadaver. Moreover, we recorded a tendon slip from extensor pollicis longus traveling into 1st EC bilaterally in one cadaver and observed the EPB muscle belly extension into 1st EC in 9 wrists. Awareness of 1st EC anatomic variations would be essential for successful surgical and nonsurgical outcomes.

• 한국정보통신학회논문지
• /
• 제18권12호
• /
• pp.2864-2870
• /
• 2014

시스템 및 네트워크의 끊김 없는 안정적인 서비스를 위해 다양한 서비스 지원방안이 제안되었다. 대표적으로 복수의 서비스 시스템으로 안정적인 서비스를 지원하는 이중화가 있다. 다양한 이중화 시스템이 제안되었고 이러한 이중화 시스템은 서비스 지원 시스템의 개수에 따라 다양한 형태를 가진다. 본 논문에서는 복수의 이중화 시스템에 대하여 다양한 이중화 모델의 가용도를 분석하고자 한다. 가용도분석도구로는 복잡한 이중화 시스템을 비교적 간단히 분석 가능한 SRN기반의 SPNP를 이용한다. 본 논문은 다양한 이중화 모델을 설명하고 서비스 지원 시스템의 개수에 따른 이중화 모델의 가용도를 SPNP를 이용하여 비교 분석한다.