http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
김문회 건국대학교 산업기술연구원 1994 건국기술연구논문지 Vol.19 No.-
실시간 분산처리 시스템에 대한 수요가 급속히 증가하고 있다. 그러나, 이러한 시스템의 개발은 체계적인 개발방법론과 이를 지원하는 개발환경의 미비로 인해 미미한 실정이다. 본 논문에서는 이에 대한 대책으로 검증지향 하향식 개발방법론에 기본을 둔 개발환경을 제시한다. 개발환경은 고급 명세언어인 RSL/RT를 기반으로 RSL/RT 번역기, 정적 분석기, 동적 모의실험기 생성기 그리고 실행시간 분석기로 구성되어 있다. 이 자동화 도구들에 대한 설계 및 구현과 그 기능을 기술한다. Demands on real-time distributed systems are rapidly increasing. Development of these systems, however, has been slow due to the lack of systematic development methodologies and supporting development environments. In this paper, we present a development environment supporting the verification-oriented top-down methodology in order to overcome these difficulties. The environment is based on a high-level specification language, called RSL/RT, and consists of a set of automated tools: RSL/RT translator, Static analyzer, Dynamic simulator generator, and Run-time analyzer. Design, implementation, and functionalities of these automated tools are also described.
박용우,김문회 건국대학교 산업기술연구원 1998 건국기술연구논문지 Vol.23 No.-
Currently, application areas of real-time systems using computers are rapidly increasing. However, development of real-time systems is slow because of the lack of a systematic approach. The heart of the systematic approach is an appropriate model for real-time systems which can abstract temporal and functional behaviors of real-time systems. Many models have been proposed Among them, the TMO (Time-triggered Message-triggered Object) model developed at UCI satisfies above-mentioned requirements. In this paper, we present the design of the C++T(C++Time) language that can specify the TMO model and the process modeling a scenario we propose using the TMO model and programming it. Finally, we conclude by describing additional thoughts on the C++T specification language.
투명태양전지 응용을 위한 실리콘 웨이퍼의 절단면 패시베이션 방법 연구
김문회,김미정,신재관,양정엽 한국물리학회 2023 새물리 Vol.73 No.3
We investigated the passivation method of the laser-cut surface of a Si wafer. Wet and dry passivation processes were performed through dip-coating and plasma-enhanced chemical vapor deposition (PECVD), respectively. Dip-coating method of the laser-cut surface of the Si wafer with the Nafion solution reduced the passivation characteristics because the Nafion solution penetrated toward the center of the Si wafer surface. In the PECVD-based dry process, the SiNx thin film was well deposited on the laser-cut surface of the Si wafer, and the passivation performance was improved. The minority carrier lifetime was improved with increasing SiNx thin film thickness from 20 to 60 nm, owing to the increase in the number of dangling Si–H bonds of the cut surface of the Si wafer. The minority carrier lifetime mapping via photoluminescence measurement confirmed that the laser-cut surface of the Si wafer was well passivated. In addition, the minority carrier lifetime was rapidly increased at the laser-cut area of the Si wafer coated with a 50 nm-thick SiNx thin film. 실리콘 웨이퍼 레이저 절단면의 패시베이션 연구를 진행하였다. 패시베이션은 용액을 이용한 습식공정과 플라즈마화학기상증착 (plasma enhanced chemical vapor deposition, PECVD)를 이용한 건식공정으로 진행하였다. Nafion 용액을 실리콘 웨이퍼 절단면에 딥코팅 (dip coating)한 결과 용액이 웨이퍼 중앙 쪽으로 침투하여 패시베이션 특성 증가가 잘 나타나지 않았다. 실리콘 웨이퍼의 절단면만 노출하여 PECVD로 SiNx 물질을 20 nm에서 60 nm까지 증착하여 패시베이션 한 결과 SiNx 박막의 두께가 증가함에 따라 절단면의 실리콘 댕글린본드 (dangling bond)와 수소 결합의 증가로 소수 캐리어 수명이 증가하는 것을 확인하였다. 절단면 부위만 패시베이션이 되는지 확인하기 위하여 소수 캐리어 수명을 매핑 (mapping)한 결과 50 nm SiNx 두께에서부터 절단면 부위에 소수 캐리어 수명이 급격하게 증가하는 것을 확인하였다.
미숙 흰쥐의 과도배란에 따른 난소의 조직학적 형태와 난모세포의 배란 및 수정에 estrogen의 전처치가 미치는 영향
김문회,서병희,이재현,Kim, Moon-Hwoe,Suh, Byung-Hee,Lee, Jae-Hyun 대한생식의학회 1985 Clinical and Experimental Reproductive Medicine Vol.12 No.2
Systemic extrogen therapy promotes multiple preantral follicular development in immature mice. Estrogen pretreated ovaries might therefore be a useful source of cells for in vitro studies of oocytes maturation. Silastic capsules (5.0 mm length; 3.18 mm outer diameter, 1.57 mm inner diameter) filled with diethylstilbesterol were implanted subcutaneously in experimental mice (ICR) for up to 6 days. Ovarian weight and histology in diethylstilbesterol pretreated and control animal were assessed before and after pregnant mare serum gonadotrophin treatment and after human chorionic gonadotrophin. The following results were obtained; 1. Ovarian weight was significantly increased by 6 days of diethylstilbesterol pretreatment. Subsequent ovarian weight gain in response to pregnant mare serum gonadotrophin and human chorionic gonadotrophin was increased. 2. Diethylstilnbesterol pretreatment stimulated the developed healthy preantral follicles. 3. Forty eight hours after pregnant mare serum gonadotrophin treatment, a larger number of the antral follicles which developed in diethylstilbesterol pretreated animals showed signs of atresia, whereas in the control ovaries there was a higher incidence of premature luteinization. 4. Forty eight hours after human chorionic gonadotrophin, numerous corpora lutea and occasional luteinized unruptured follicles were present in both control and diethylstilbesterol ovaries. 5. Ovulation rate, fertilization rate and subsequent preimplantation development in vitro were not adversely affected by diethylstilbesterol pretreatment. However, there was considerable variation in the ovulation rate the number of animals with more than 60 ovulations was greater in the diethylstilbesterol gorup (52.4%) as compared to the control (33.3%).