http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
임상연구 : 후두경을 이용한 이중관 기관지 튜브 삽관 시 심혈관계 반응을 억제하는 Remifentanil의 적정 용량
신형용 ( Hyoung Yong Shin ),서보병 ( Bo Byoung Seo ),이용철 ( Yong Cheol Lee ),김진모 ( Jin Mo Kim ),김애라 ( Ae Ra Kim ),장영호 ( Young Ho Jang ),배정인 ( Jung In Bae ),홍지희 ( Ji Hee Hong ) 대한마취과학회 2007 Korean Journal of Anesthesiology Vol.53 No.1
Background: The purpose of the present study was to determine the optimal dose of bolus remifentanil to attenuate hemodynamic changes to laryngoscopic double-lumen endobronchial intubation. Methods: A total of 80 ASA I or II patients requiring double-lumen endobronchial intubation were randomly assigned to receive normal saline (NS) or one of the three different doses (0.5μg/kg (group R0.5), 1.0μg/kg (group R1.0) or 2.0μg/kg (group R2.0)) of remifentanil. Study drugs for each group were administered over 30 seconds after induction of anesthesia with thiopental sodium and rocuronium. Laryngoscopic endobronchial intubation was carried out 90 seconds after the administration of study drug. Arterial blood pressure and heart rate were recorded at preanesthetic baseline, preintubation, postintubation, and every one minute during the initial 5 minute period after intubation. Results: Mean arterial pressure at postintubation period increased significantly compared to baseline value in group NS, R0.5, and R1.0, but there were no significant changes in group R2.0. Heart rate showed significant increase in comparison to baseline value at every postintubation period in group NS, R0.5, R1.0, with no significant changes in group R2.0. Conclusions: We suggest that 2.0μg/kg of remifentanil attenuate the hemodynamic changes to double-lumen endobronchial intubation without adverse effect. (Korean J Anesthesiol 2007; 53: 48~53)
서선애(Sun Ae Seo),오승욱(Seung Uk Oh),조승모(Seung Mo Cho),이남희(Nam Hee Lee),차성덕(Sung Deok Cha),권용래(Yong Rae Kwon) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.2Ⅰ
모형 검증을 통한 시스템 명세의 정형적인 검증은 상태 폭발 문제로 인해 많은 어려움을 겪고 있다. 여러 개의 병렬 프로세스로 구성된 시스템에서 지수적으로 증가하는 상태의 갯수로 인해 현실적으로 모형 검증을 적용하는 것이 불가능한 경우가 많다. 이런 문제점을 해결하기 위해서 시스템을 모듈 단위로 생각하여 정형 검증을 시도하는 많은 연구가 수행되고 있다. 병렬성을 중요한 특성의 하나로 하는 Statecharts 또한 널리 사용되고 있음에도 불구하고 아직 모듈을 바탕으로 검증을 수행하려는 시도가 그리 많지 않다. 본 연구에서는 내장 소프트웨어 시스템에 널리 사용되는 Statecharts 명세를 모듈을 바탕으로 검증하는 방법을 제시하고자 한다. 먼저 Statecharts에서의 모듈을 정의하고, 그와 같은 정의를 바탕으로 여러 개의 모듈로 구성되어 있는 Statecharts 명세의 모듈 기반 검증 방법을 제안한다. 여기서 사용되는 모듈 기반 검증은 환경에 대한 가정이 만족된다면 모듈은 반드시 주어진 성질을 만족한다는 가정-보중 추론(Assume-Guarantee Reasoning)을 이용한다.