• 전자공학회논문지A
• /
• 제32A권4호
• /
• pp.1-14
• /
• 1995

A new stochastic Petri nets model, called Stochastic Petri Nets Reward Model(SPNRM) is used for modeling and evaluating the performance of telecommunication protocols. We have developed a SPNRM of the TDX-10 Internal protocol, which has a packet data exchange facility between DCEs, Especially a timer and retransmission handling model is presented for error control of the data transmission phase. The stochastic Petri nets package(SPNP), a software package for SPNRM used in this paper, has been used to generate numerical results by analytical-numerical method rather than simulation. From the steady state solution of the net, it is possible to calculate automatically the performance measure of the protocol medeled with both end-to-end and link-by-link method, which are the mean response times and the throughputs.

• Clinical and Experimental Reproductive Medicine
• /
• 제48권2호
• /
• pp.163-173
• /
• 2021

Objective: This study aimed to characterize a validated model for predicting oocyte retrieval in controlled ovarian stimulation (COS) and to construct model-based nomograms for assistance in clinical decision-making regarding the gonadotropin protocol and dose. Methods: This observational, retrospective, cohort study included 636 women with primary unexplained infertility and a normal menstrual cycle who were attempting assisted reproductive therapy for the first time. The enrolled women were split into an index group (n=497) for model building and a validation group (n=139). The primary outcome was absolute oocyte count. The dose-response relationship was tested using modified Poisson, negative binomial, hybrid Poisson-E_max, and linear models. The validation group was similarly analyzed, and its results were compared to that of the index group. Results: The Poisson model with the log-link function demonstrated superior predictive performance and precision (Akaike information criterion, 2,704; λ=8.27; relative standard error (λ)=2.02%). The covariate analysis included women's age (p<0.001), antral follicle count (p<0.001), basal follicle-stimulating hormone level (p<0.001), gonadotropin dose (p=0.042), and protocol type (p=0.002 and p<0.001 for short and antagonist protocols, respectively). The estimates from 500 bootstrap samples were close to those of the original model. The validation group showed model assessment metrics comparable to the index model. Based on the fitted model, a static nomogram was built to improve visualization. In addition, a dynamic electronic tool was created for convenience of use. Conclusion: Based on our validated model, nomograms were constructed to help clinicians individualize the stimulation protocol and gonadotropin doses in COS cycles.

• 운동과학
• /
• 제21권2호
• /
• pp.231-242
• /
• 2012

본 연구의 목적은 운동부하검사에서 일반적으로 많이 사용하는 Bruce protocol을 이용한 최대하 운동의 대사반응, 주요 시점의 심박수 기록 및 1,200 m 달리기 기록을 이용하여 최대산소섭취량을 추정하는 모형을 개발하고 모형간 추정의 타당도를 분석하는 데 있다. 연구대상은 성인 남성 255명(1,200 m 달리기는 133명)이며 Bruce protocol을 이용하여 최대운동부하검사를 실시하였고, 3분인 1단계와 6분인 2단계 종료 시점의 대사반응을 측정하였다. 측정항목은 VO₂(㎖㎖/kg/min), VCO₂(㎖/kg/min), VE(L/min) 및 HR(bpm), HR가 150 bpm과 170 bpm에 도달하는 시간, Bruce protocol 6분과 3분 심박수 차이, 1,200 m 달리기 기록 등이었다. 신체자료와 최대하 운동 중 대사반응을 이용하여 최대산소섭취량을 산출하는 모형을 개발하기 위하여 다중회귀분석을 실시하였다. 모든 변수를 동시투입법으로 분석한 전체모형의 R은 0.642이고(p<.01) 추정의 표준오차(SEE)는 4.38 ㎖/kg/min, 변동계수(CV)는 10.8%이었으나(p<.01), 다중공선성이 나타났다. 단계별분석법으로 분석한 3분모형1과 모형2의 R은 0.341과 0.461이고, SEE는 6.05와 5.72 ㎖/kg/min, CV는 14.9와 14.1%로 나타났고(p<.01), 다중공선성이 나타나지 않았다. 6분모형1과 모형2의 R은 0.350과 0.456이었고(p<.01), SEE는 6.03과 5.74 ㎖/kg/min, 변동계수(CV)는 14.9와 14.2%로 나타났으며(p<.01), 다중공선성이 나타나지 않았다. 6분HR-3분HR 모형의 R은 0.150, HR150모형은 0.151, HR170모형은 0.154로 나소 낮게 나타났고, SEE는 6.36~6.37 ㎖/kg/min으로 유사하게 나타났고, CV도 15.7%로 유사하게 나타났다. 1,200 m 달리기 모형의 R은 0.444이고, SEE는 4.82 ㎖/kg/min, CV는 11.9%로 나타났다. 결론적으로 Bruce protocol을 이용하여 실시한 최대산소섭취량 추정 방법 중 실용적인 유용성과 간편성을 고려하면 대사반응을 이용한 6분모형과 3분모형이 적합한 모형으로 나타났고, 심박수 모형과 달리기 모형은 추정의 정확도가 다소 낮게 나타났다.

• 한국정보과학회논문지:정보통신
• /
• 제35권6호
• /
• pp.465-473
• /
• 2008

MQV 프로토콜은 가장 효율적인 Diffie-Hellman 키 교환 프로토콜로 여겨지고 있으며, 미국 NSA를 비롯한 많은 기관들에서 표준으로 채택되었다. Crypto 2005에서 Hugo Krawczyk는 MQV의 약점들을 보였으며, MQV를 변형한 HMQV를 제안했다. HMQV는 MQV와 비슷한 계산량을 요구하는 반면 다양한 안전성을 만족하며, 랜덤 오라클 모델에서 안전성 증명이 가능하다. 이 논문에서 HMQV가 제공하는 다양한 안전성을 만족하면서도 랜덤 오라클을 사용하지 않는 Diffie-Hellman 키 교환 프로토콜을 제안한다. 지금까지는 랜덤 오라클을 사용하지 않으면서 HMQV가 제공하는 다양한 안전성을 보장하는 Diffie-Hellman 키 교환 프로토콜은 존재하지 않았다.

• 한국정보과학회논문지:정보통신
• /
• 제27권1호
• /
• pp.22-29
• /
• 2000

본 논문에서는 유럽의 ETSI(European Telecommunication Standards Institute)에서 표준화를 진행 중에 있는 유럽형 고속 무선 근거리 통신망인 HIPERLAN(HIgh PErformance Radio Local Area Network) 타입 1의 채널접근제어 프로토콜인 EY-NPMA(Elimination Yield - Non-preemptive Priority Multiple Access)프로토콜의 성능을 분석하였다. 본 논문에서는 EY-NPMA 프로토콜의 분석을 위해 시스템 모델을 설정하였으며, 채널접근 시도에서 성공할 확률과 경쟁 단계의 평균 길이를 분석하였다. 또한 M/G/1 대기행렬 모델을 사용하여 정규화된 지연시간과 처리율을 근사화 하였으며, 이러한 분석결과를 시뮬레이션을 통해 검증하였다.

• 한국통신학회논문지
• /
• 제24권9A호
• /
• pp.1425-1433
• /
• 1999

본 논문은 ETSI에 의해 정의된 무선 LAN(Wireless LAN)의 표준안인 HIPERLAN(HIgh PErformance Radio LAN) 타입 1의 매체 접근 제어 프로토콜에 관하여 해석적으로 분석한다. HIPERLAN의 채널 접근 계층(Channel Access Control layer)에서 사용하는 EY-NPMA(Elimination Yield-Nonpreemptive Priority Multiple Access)의 채널 경쟁 단계 중에서 제어 단계(Elimination phase)와 양보 단계(Yield phase)의 무선 가입자 모델에 대하여 분석한다. 그리고, 분석 결과를 이용하여 전송 단계(Transmission phase)에서 패킷 전송의 성공확률을 해석적으로 구한 후, 시뮬레이션을 이용한 성능 평가를 통하여 분석 결과를 검증한다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2002년도 춘계학술대회논문집
• /
• pp.253-258
• /
• 2002

This paper proposes a methodology for development of protocol models. The methodology attempts to employ two modeling environments in models development, NS2 and DEVSim++, which will interoperate during simulation. NS2 is a widely used network simulator in protocol research, which employs an informal modeling approach. Within the approach time and state information of protocol models are not explicitly described, thus being hard to validate model. On the other hand the DEVS formalism is a mathematical framework for modeling a discrete event system in a hierarchical, modular manner. In DEVS, model's time and state information is described explicitly, By using DEVS formalism, models can easily be validated and errors in the modeling stage can be reduced. However, the DEVS simulator, DEVSim++, supports a small amount of models library which are required to build simulation models of general communication network. Although NS2 employs an informal modeling approach and models validation is difficult, it supports abundant models library validated by experimental users. Thus, combination of DEVS models and NS2 models may be an effective solution for network modeling. Such combination requires interoperation between DEVSim++ simulator and NS2 simulator. This paper develops an environment for such interoperation. Correctness and effectiveness of the implemented interoperation environment have been validated by simulation of UDP and TCP models.

• 디지털콘텐츠학회 논문지
• /
• 제2권1호
• /
• pp.31-40
• /
• 2001

현재 네트워크 관리를 위해서 SNMP(Simple Network Management Protocol), CMIP(Common Management Information Protocol), RMON(Remote network MONitoring) 등의 많은 표준안이 있다. 이것들 중 특히 RMON은 대규모 네트워크의 서브네트워크를 관리하기 위해서 개발되었지만, RMON 기능을 이용하기 위해서는 RMON 기능을 가진 허브나 라우터의 추가적인 장비도입이 필요고, 더욱이 이러한 장비의 가격이 고가이므로 네트워크 관리자에게는 관리비용의 부담이 크다는 단점이 있다. 본 논문에서는 PC 상에서 가상 장비 드라이버(VxD)를 이용하여 LAN 세그먼트의 교통량을 감시하는 PC 기반 RMON 에이전트 시스템을 제안한다. 이 시스템은 LAN 세그먼트 관리를 위한 새로운 장비의 도입이나 관리비용의 부담을 감소시킬 수 있다.

• 정보처리학회논문지A
• /
• 제9A권4호
• /
• pp.479-484
• /
• 2002

본 논문은 인터넷으로 연결된 내장형 시스템을 효율적으로 개발하기 위하여 메소드 호출과 시그널을 매핑하는 방법을 이용하여 SDL과 CORBA 시스템을 통합하는 모델을제시하였다. SDL과 CORBA를 기반으로 하는 두개의 시스템이 통신하기 위해서는 SDL 시스템의 통신 프로토콜과 CORBA 통신 프로토콜간의 변환 인터페이스가 필수적으로 요구된다. 본 논문에서는 두 시스템간의 통신 인터페이스 및 통신 프로토콜의 변환을 위하여 IDL을 사용하였으며 IDL 컴파일러에서 프로토콜 연동을 위한 인터페이스를 자동 생성하도록 하였다. 본 모델을 이용할 경우 SDL로 작성된 서버 시스템의 하부에 미들웨어를 채용할 수있어 서버 시스템의 실행환경 및 위치에 관계없이 분산 시스템 상에서 서비스가 가능해 진다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권7호
• /
• pp.3447-3469
• /
• 2019

It is well-known that the cooperative communication and error control technology can improve the network performance, but most existing cooperative MAC protocols have not focused on how to cope with the contention process caused by cooperation and how to reduce the bad influence of channel packet error rate on the system performance. Inspired by this, this paper first modifies and improves the basic rules of the IEEE 802.11 Medium Access Control (MAC) protocol to optimize the contention among the multi-relay in a cooperative ARQ scheme. Secondly, a hybrid ARQ protocol with soft combining is adopted to make full use of the effective information in the error data packet and hence improve the ability of the receiver to decode the data packet correctly. The closed expressions of network performance including throughput and average packet transmission delay in a saturated network are then analyzed and derived by establishing a dedicated two-dimensional Markov model and solving its steady-state distribution. Finally, the performance evaluation and superiority of the proposed protocol are validated in different representative study cases through MATLAB simulations.