http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
LOTOS 시뮬레이션을 이용한 프로토콜 검증에 관한 연구
이명직(Myung Jik LEE),박종민(Jung Min PARK),김동규(Dong Kyoo KIM),이남희(Nam Hee LEE) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2
본 논문에서는 프로토콜 명세 Specification단계에서 시뮬레이션을 통하여 프로토콜의 기능을 검증해주는 도구 개발을 다루고 있다. 사용되는 프로토콜 명세는 ISO에서 기준으로 택하고 있는 FDT(Formal Discription Language)중 LOTOS(Language of Temporal Odering)로 표기된 명세를 사용하고 이 명세에 대한 시뮬레이션 방법은 일반적인 ASA(Action Set and Accept) type을 사용한다. 명세에 대한 검증은 시뮬레이션의 결과로 부터 본 논문에선 제공하는 검증 방법을 이용하여 원하는 서비스가 받아지는 가를 검사 함으로써 이루어 진다.
Temporal Logic에 대한 그래프 모형 자동생성 시스템의 구현에 관한 연구
박종민(Jong-Min Park),이명직(Myung-Jik Lee),최경희(Kyung-Hee Choi),이정태(Jung-Tae Lee),홍만표(Man-Pyo Hong) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.2
본 논문에서는 [3, 11]에서 제안된 그래프 모형의 구성방법 및 그의 간소화 알고리즘을 구현하는 시스템에 대하여 연구하였다. 본 시스템의 적용 예로서는 두 개의 프로세스와 synchronizer로 구성된 문제에서 Propositional Temporal Logic으로 표현된 프로그램 사양의 그래프 모형을 구성하여 보였다.
문덕환,이명직 인제대학교 1999 仁濟醫學 Vol.20 No.1
부산지역 일부 지하칠역 내ㆍ외를 대상으로 중금속 오염정도를 조사하여 파악함으로써 지하철을 이용하는 일반시민과 현장에서 근무하는 근무자의 생활환경권 및 중금속 오염의 저감대책수립에 대한 기초자료를 제공할 뿐만 아니라 시민 건강관리에 일조가 되고자 1995년 10월7일부터 1996년 3월까지 부산지역 10개 지하철역을 대상으로 하여 5개 중금속(Pb, Cr, Cd, V, Ni)에 대하여 원자흡광분광광도계를 이용하여 정량하였다. For the puepose of preparing the fundamental date on heavy metal concentration in air of subway station, and contributin the health improvement of people who using and working in subway, the author determined atmospherip heavy metal concentration in and outside of 10 subway station in pusan area by of of flameless atomic absorption spectrophotometer from Oct. 1995 to Mar. 1996. The results were as follows ; 1.The inside and outside average concentration of subway stations ; Lead: 0.7365㎍/㎥, 0.4417㎍/㎥ Chromium : 1.9177㎍/㎥, 0.5991㎍/㎥ Cadmium: 0.0177㎍/㎥, 0.0085㎍/㎥ Vanadium : 0.0971㎍/㎥, 0.0466㎍/㎥ Nickel: 1.5067㎍/㎥, 0.4685㎍/㎥ 2.As a result of statistical analysis, the inside average concentration of heavy metals except cadmium were higher than the outside (P<0.05). 3.In the inside average concentration of heavy metal following time, lead was high in A.M.(P<0.05). The others were high on night, but only vanadium showed significance (P<0.05).