http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
朴明煥 대구보건대학 1994 대구보건대학 論文集 Vol.14 No.-
The CaSO₄:Tm-PTFE TLDs have been prepared and their energy dependences of TL intensity to X-rays have been investigated. The dose dependence of the prepared CaSO₄:Tm-PTFE TLDs is linear within the range of 10uGy-10Gy for X-rays and gamma rays. The spectral peaks of TL emission spectrum are at about 350㎜ 475㎜. The fading rate of the main peak has been found to be about 2% for 30days when CaSO₄:Tm-PTFE TLDs stored in the dark room at room temperature. The energy dependence of CaSO₄:Tm-PTFE TLD has been compensated by combining the TL responses of one bare TLD and five TLDs filtered with 10.㎜ Al, 0.2㎜ Cu, 0.5㎜ Cu, 1.5㎜ Cu, 2.0㎜ Pb respectively. The determined correction coefficients for filter combination are a_(0)=0.078, a₁=-0.009, a₂=-0.235, a₃=0.588, a₄=0.568 and a_(5)=0.180 respectively. From the results of these studies, the prepared TLD badge of six dosimeter combination may be useful as a radiation dosimeter for personal and environmental monitoring.
박명환 대구보건대학 2001 대구보건대학 論文集 Vol.21 No.-
We compared the inverter type X-ray equipment with the conventional single phase 2 peak for the output and quality obtained by changes of the added filter thickness and the tube voltage. The X-ray quality of X-ray generator showed increase for the tube voltage and the added filter. The half value layer and effective energy is increased the thicker the filter and the higher the kVp. The output and quality of the inverter type in comparison with the single phase 2 peak X-ray generator is increase.
Computation of the Steady State System Size Probability of Multiple-class M/G/1 Queue
박명환 漢城大學校 1991 論文集 Vol.15 No.1
본 논문은 여러 계층의 고객(Multiple-Class Customer)이 단일 server에 service의해 를 받는 대기행렬 모형에 관한 것으로 서로 다른 계층의 고객들의 도착이 별도의 도착율을 갖는 Poisson process를 따르며 service시간 분포 또한 개별적으로 일반적인 분포를 갖는 모형(multiple-class M/G/1 Queueing Model)을 다룬다. 이러한 모형의 계층별 평균체류시간(Mean Sojourn Time)등은 이미 분석이 되어 있지만 정상상태(Steady state)에서의 고객의 수에 대한 확률 Pij...k(어느 시점에 system내에 i명의 class-1고객, j명의 class-2고객, …, K명의 class-p 고객이 있을 확률)에 대해서는 분석이 되어있지 않다. 이러한 확률은 대기모형의 최적화 문제를 고려할때 다양한 형태의 비용함수가 고려될 경우(특히 비선형 함수인 경우) 그 필요성이 대두된다. 본 논문에서는 두 계층의 고객(two-class customer)이 있고 service원칙이 LCFS(Last Come First Served)를 따르는 모형의 정상상태의 고객수에 대한 확률을 계산하는 과정을 Busy Period내의 고객수의 변화를 분석함으로써 도출하였다. 세 계층 이상이 고려되는 모형의 경우는 두 계층 모형의 일반화된 상황으로 이해하여 계산과정을 증명없이 제시하였다.
박명환 대구보건대학 2002 대구보건대학 論文集 Vol.22 No.-
The computed radiography system has been changed by the film-screen, and X-ray equipment has been changed by the inverter type, which is more stable than the conventional type. I compared the exposure dose, HVL(half value layer) and effective energy of the inverter type X-ray equipments by computed radiography. The X-ray quality of X-ray generator showed increase for the tube voltage. The HVL and effective energy is increased the higher tube voltage. When a radiograph was taken under the same conditions in each radiography room, dose changed according to the equipments.
박명환,방기석,최진영,이정아,한상용,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.