http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
박명환(Myung-Whan Park),김영미(Young-Mi Kim),김진현(Jean-Hyun Kim),강인혜(Inhye Kang),최진영(Jin-Young Choi) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.2Ⅰ
본 논문에서는 정형명세 언어인 Statechart의 의미론을 프로세스 알제브라로 설명하는 방법을 제시한다. 이렇게 함으로써 두개의 Statechart 명세간의 bisimulation 을 정의할 수 있게 된다.
방기석(Ki-Seok Bang),박명환(Myung-Whan Park),남원홍(Won-Hong Nam),최진영(Jin-Young Choi) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.2Ⅰ
Statechart는 다른 정형 명세와는 달리 그림으로 시스템을 명세하기 때문에 정형기법에 익숙하지 않은 사람도 이해할 수 있다. 또한 시스템의 동작을 보다 명확하고 가시적으로 시뮬레이션 할 수 있는 장점이 있다. 그러나 이 명세 방법은 시스템의 특성을 증명하는 정형 검증의 기능은 제공하고 있지 못한 것이 단점으로 지적되고 있다. 이러한 단점을 해결하기 위해 본 논문에서는 statechart로 기술된 명세를 정형 검증 언어인 SMV 및 PROMELA로 변환하여 검증하는 방법에 대해 논한다.
한병훈(Byung Hoon Han),유시용(Shi Yong Yoo),박명환(Myung Whan Park),이혜정(Hye Jung Lee) 한국생약학회 1979 생약학회지 Vol.10 No.3
In vivo antioxidant activities were screened over 30 kinds of crude drugs which are most frequently prescribed in oriental medicine. Of these, only Ginseng Radix, Cimicifugae Rhizoma, Zingiberis Rhizoma(steam dried), Alismatis Rhizoma, and Liriopes Tuber were shown to be positive in the activity.
질산염과 인산염 농도 변화에 따른 Cymnodinium sanguineum과 Skeletonema costatum의 성장과 생화학적 구성성분의 비교
이택견,박명환,신경순,장만 한국환경생물학회 2000 환경생물 : 환경생물학회지 Vol.18 No.4
Growth and biochemical composition were analyzed in Gymnodinium sanguineum and Skeletonema costatum grown in media containing various nitrate and phosphate concentrations. Concentrations of nitrate and phosphate in the growth media were 0, 0.3, 0.6, 0.9, 1.2mM and 0, 15, 30, 45, 60 μM, respectively. Growth of G. sanguineum was suppressed in the low concentration of nitrate and phosphate(below N=0.3mM and P=15μM), whereas growth of S. costatum did not changed. At the low concentrations of nitrate and phosphate, amount of intracellular protein and carbohydrate in G. sanguineum cells were largely decreased, whereas content of carbohydrate in S. costatum cells was increased little. Amount of neutral lipid and phospholipid in G. sanguineum didn't chagned, but concentration of glycolipid was largely decreased in the medium containing low concentrations of nitrate and phosphate. However the levels of TAG, glycolipid, and phospholipid did not changed in S. costatum cells. These results show that S. costatum is more adaptable than G. sanguineum in the low concentration of nitrate and phosphate.