http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
방사선 치료 환자의 자세 및 Device에 따른 RPM 신호 분석을 통한 호흡 안정성의 통계적 고찰
박명환,서정민,최병기,신은혁,송기원,Park, Myung-Hwan,Seo, Jeong-Min,Choi, Byeong-Gi,Shin, Eun-Hyeok,Song, Gi-Won 대한방사선치료학회 2011 대한방사선치료학회지 Vol.23 No.2
Purpose: This study statistically analyzed the difference of the stability of maintaining a respiratory period shown according to position and use of a device to search the tendency and usefulness of a device. Materials and Methods: The study obtained respiratory signals which maintained a respiratory period for 20 minutes each supine and prone position for 11 subjects. The study obtained respiratory signals in a state of using a belly board for 7 patients in a bad condition of a respiratory period in a prone position to analyze a change in respiration and the stability before and after the use of a device. Results: The supine part showed 54.5%, better than the prone part of 36.4% in a case that the stability for maintaining a respiratory period was in a good condition as a fixed respiratory period was well maintained according to the position. 6 patients (85%) showed a maintenance pattern of a respiratory period significantly different before the use and 4 patients showed a significantly good change in the stability for maintaining a respiratory period as a result that belly boards were used for 7 patients that the maintenance of a respiratory period was not in a good condition on a prone position. Conclusion: It seemed that this study could contribute to the maintenance of respiratory period and of respiratory stability as the optimal position for maintenance of respiration and the use of a device such as a belly board were decided through statistic analysis of respiratory signals and its application even if patient position and use of device were decided by the beam arrangement a treatment part of a patient, location of a target, and an expected plan.
박명환,방기석,최진영,이정아,한상용,Park, Myung-Hwan,Bang, Ki-Seok,Choi, Jin-Young,Lee, Jeong-A,Han, Sang-Yoong 한국정보과학회 2000 정보과학회 컴퓨팅의 실제 논문지 Vol.15 No.11
본 논문에서는 가상 프로토타입핑의 주요 명세 언어인 Statechart 명세를 프로세스 알제브라의 일종인 ACSR(Algebra of Communicating Shared Resources)로 변환하는 규칙을 제안한다. Statechart는 사용하기 편리하고 이해하기 쉬운 명세 언어이지만 수학적인 semantics의 정의가 되어 있지 않아 명세의 정확성을 검증하기가 매우 어렵다. Statechart 명세를 ACSR로 바꾸게 되면 Statechart에 수학적인 semantics를 주게 되고 VERSA를 이용하여 Statechart 명세를 수학적으로 검증할 수 있게 된다. 따라서, 두 언어의 장점, 즉 Statechart의 편리함과 ACSR의 정확성을 모두 얻을 수 있다. In this paper, we give a formal semantics for Statechart via a translation into Algebra of Communicating Shared Hesources(ACSR). Statechart is a very rich graphical specification language, which is suitable to specify complicated reactive systems. However, the incorporation of graph into specification and rich syntax makes Statechart semantics very complicated and ambiguous. Thus, it is very difficult to verify the correctness of Statechart specifications. Also, we propose the formal verification method for Statechart specifications by showing equivalence relation between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra.
박명환(Myung-Hwan Park),방기석(Ki-Seok Bang),최진영(Jin-Young Choi),이정아(Jeong-A Lee),한상용(Sang-Yoong Han) 한국정보과학회 2000 정보과학회 컴퓨팅의 실제 논문지 Vol.6 No.6
본 논문에서는 가상 프로토타입핑의 주요 명세 언어인 Statechart 명세를 프로세스 알제브라의 일종인 ACSR(Algebra of Communicating Shared Resources)로 변환하는 규칙을 제안한다. Statechart는 사용하기 편리하고 이해하기 쉬운 명세 언어이지만 수학적인 semantics의 정의가 되어 있지 않아 명세의 정확성을 검증하기가 매우 어렵다. Statechart 명세를 ACSR로 바꾸게 되면 Statechart에 수학적인 semantics를 주게 되고 VERSA를 이용해서 Statechart 명세를 수학적으로 검증할 수 있게 된다. 따라서, 두 언어의 장점, 즉 Statechart의 편리함과 ACSR의 정확성을 모두 얻을 수 있다. In this paper, we give a formal semantics for Statechart via a translation into Algebra of Communicating Shared Resources(ACSR). Statechart is a very rich graphical specification language, which is suitable to specify complicated reactive systems. However, the incorporation of graph into specification and rich syntax makes Statechart semantics very complicated and ambiguous. Thus, it is very difficult to verify the correctness of Statechart specifications. Also, we propose the formal verification method for Statechart specifications by showing equivalence relation between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra.
Sb-based Heterostructure에서의 Electrochemical Etching에 관한 연구
박명환(Myung-Hwan Park),성정민(Jeong-Min Sung),오재응(Jae-Eung Oh),서광석(Kwang-Seok Seo) 대한전자공학회 2007 대한전자공학회 학술대회 Vol.2007 No.11
The semi-insulating Sb-based buffer is a key factor in the performance of Sb-based low power and high frequency devices due to a large lattice mismatch between the substrates and the channel layers. Regarding the leakage characteristics in the buffer regions, the electrochemical etching effect is analyzed in the Sb-based hetercstructures. The saturated IDS is decreased and Rsh is increased because the electrochemical circuit is formed due to the chemical reaction with exposed metals and etching areas.
박명환(Myung Hwan Park),한명수(Myung Soo Han),이석준(Seog June Lee),안치용(Chi Yong Ahn),윤병대(Byung Dae Yoon),오희목(Hee Mock Oh) 한국하천호수학회 2002 생태와 환경 Vol.35 No.3
The CellCaSi, a porous silicate material, was tested for the removal of phosphorus(Pas phosphate) n water. The effect of the CellCaSi was investigated on the basis of both particle size(under 1, 2 and 4㎜) and added amount(0, 1, 2.5, 5, and 10g/ℓ) of the CellCaSi. The removal efficiency of phosphorus was highest with a particle size of under 1㎜ and also increased with an increasing amount of the CellCaSi. The pH change showed little effect on the phosphorus removal of the CellCaSi. The calcium ion was eluted from the CellCaSi into the water, while the aluminium and iron were not. The eluted calcium ion was combined with dissolved phosphorus and then precipitated. The highest removal efficiency of phosphorus was obtained by the combined addition of the CellCaSi, calcium chloride, and ferric chloride. That is, the phosphorus concentrations of 0.10 and 1.0 ㎎/ℓdecreased to 0.03 and 0.47 ㎎/ℓ by the addition of the CellCaSi(1 g/ℓ), calcium ion(30 ㎎/ℓ), and ferric ion(1 ㎎/ℓ) at day 8 after treatment. The water qualities at the end of the experiment were as follows:pH was 8.1 and conductivity was 318 ??S/㎝ for raw and potable waters).