http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 박태규(PARK TAE KUE) (검색결과 4 건)
- 무료
- 기관 내 무료
- 유료
-
구하성,박태규,송호근,Koo Ha-Sung,Park Tae-Kue,Song Ho-Keun 한국정보통신학회 2006 한국정보통신학회논문지 Vol.10 No.8
안전성에 대한 이상적인 평가방법은 운영체제내의 모든 가능한 연산을 대상으로 실행 결과의 안정성 여부를 검사하는 것이다. 하지만 이는 현실적으로 불가능하다. 그러나 정형기법을 사용할 경우 운영체제 동작논리상의 안전성 보장 여부를 이론적으로 증명할 수 있다. 따라서 본 논문에서는 보안커널의 안정성 검증방법에 대하여 논하고, 정형검증의 대표적인 도구들에 대하여 비교분석을 수행하였다. 그리고 보안커널에 기반한 다중레벨 접근통제모델인 수정된 BLP(Bell & LaPadula) 모델을 검증하기에 적합한 PVS(Prototype Verification System) 검증도구를 선정하였다. 마지막으로 PVS 검증도구를 활용하여 정형명세를 작성하고, 작성된 정형명세의 검증을 통하여 수정된 BLP 모델이 안전한 보안모델이라는 것을 검증하였다. The ideal method of safety evaluation is to verify results of execution against all possible operations within operating system, but it is impossible. However, the formal method can theoretically prove the safety on actual logic of operating system. Therefore we explain the contents of the art of the safety verification of security kernel, and make a comparative study of various standardized formal verification tools. And then we assigned PVS(Prototype Verification system) of SRI(Stanford Research Institute) to verify the safety of a modified BLP(Bell & LaPadula) model, the core access control model of multi-lavel based security kernel. Finally, we describe formal specification of the revised BLP model using the PVS, and evaluate the safety of the model by inspecting the specification of the PVS.
-
-
-
젊은 습관성 음주자에서 도플러 심초음파를 이용한 좌우심실 이완 기능에 관한 연구
최석영(Seuk Young Choi),이승현(Seung Hyun Lee),김덕희(Deuk Hee Kim),이재성(Jae Seung Lee),박경식(Kyung Sik Park),김희식(Hee Sik Kim),박태규(Tae Kue Park),이동화(Dong Hwa Lee),김종연(Jong Yeun Kim) 대한내과학회 1998 대한내과학회지 Vol.54 No.4
N/A Objectives: It is well known that many chronic alcoholics manifest diastolic dysfunction of left ventricle in its early stage. But the effects of chronic alcohol drinking on right ventricular function are not well understood. Thus left ventricular filling impairment and its effects to right ventricular diastolic function were evaluated in young chronic alcoholics. Methods: For the evaluation of left and right ventricular diastolic function in chronic alcoholics, 30 young chronic alcoholics and 28 control subjects were studied by pulsed Doppler echocardiography at the left and right ventricular inflow. Peak E velocity, peak A velocity, E/A velocity ratio, acceleration time and deceleration time were measured as diastolic filling parameters. Results: 1) In the chronic alcoholics, the interventricular septum and posterior wall were thicker and left ventricular muscle mass was significantly increased than that in controls. 2) Among 30 cases of chronic alcoholics, 8 cases(26.7%) showed that the E/A ratio of the left ventricle was less than 1.0 and the deceleration time of the left ventricle was more than 240msec, where- as 12 cases(40.0%) showed that the E/A ratio of the left ventricle was less than 1.0. 3) Among 30 cases of chronic alcoholics, 8 cases (26.7%) showed that the E/A ratio of the right ventricle was less than 1.0 and the deceleration time of the right ventricle was more than 232msec, whereas 14 cases(46.7%) showed that the E/A ratio of the right ventricle was less than 1.0. 4) The HV E/A ratio was significantly correlated with the LV E/A ratio(r=0.697, p<0.001). 5) Blood pressure, ejection fraction, left ventricular mass, E/A ratio and deceleration time of both ventricles were not significantly different in comparison with the daily average amount, duration of ingestion, and total lifetime dose of alcohol. Conclusion: In all chronic alcoholics less than 50 years of age, the left ventricular systolic function was normal. But Doppler echocardiography showed that diastolic dysfunction of the left and right ventricles was present in 8 cases of 30 chronic alcoholics. Right ventricular diastolic dysfunction was closely related with left ventricular diastolic dysfunction. In conclusion, diastolic dysfunction of both ventricle in chronic alcoholics may be the earliest functional sign of preclinical alcoholic cardiomyopathy.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
