분산 제어 시스템의 구조 제안 및 성능 평가를 위한 모의 실험

김평수(Pyoung Soo Kim),권욱현(Wook Hyun Kwon) 대한전기학회 1995 대한전기학회 학술대회 논문집 Vol.1995 No.11

만성적으로 림프부종이 있던 하지에 발생한 Stewart-Treves 증후군

김평수 ( Pyoung Su Kim ),이주흥 ( Joo Heung Lee ),양준모 ( Jun Mo Yang ),이일수 ( Eil Soo Lee ) 대한피부과학회 2008 대한피부과학회지 Vol.46 No.7

Angiosarcoma arising from chronic lymphedema is referred to as Stewart-Treves Syndrome. It typically occurs as a complication of long-lasting lymphedema of the arm, after mastectomy and/or radiotherapy for breast cancer. Angiosarcoma associated with lymphedema of the lower extremity is rare. We report a case of angiosarcoma of the leg in a patient with a 15-year history of lymphedema due to cervical cancer operation and radiotherapy. (Korean J Dermatol 2008;46(7):924~927)

프로세스 알제브라를 이용한 AUTOSAR 소프트웨어 행위의 시간 특성 검증 기법

김진현(Jinhyun Kim),강인혜(Inhye Kang),김평수(Pyoung-Soo Kim),강성원(Sungwon Kang) 한국정보과학회 2011 정보과학회논문지 : 소프트웨어 및 응용 Vol.38 No.11

오늘날의 자동차 전장 시스템은 사용자의 기능에 대한 요구의 중가로 점점 복잡해지고 있다. 그리고 이러한 복잡도의 증가는 많은 기능이 소프트웨어로 구현되는 자동차 전장 시스템의 안전성애 심각한 영향 주고 있다. 시스템의 안전성을 향상시키기 위해 ISO 26262와 같은 국제 안전성 표준에 따른 개발과 AUTOSAR와 같은 공개 표준 플랫폼의 사용이 요구된다. ISO 26262는 고수준 안전성 등급을 위해 정형기법 사용을 권고한다. 본 논문에서는 AUTOSAR 소프트웨어 모델에 정형기법을 적용시키는 방법을 제시한다. 특히 소프트웨어 컴포넌트가 통합될 때 발생하는 시간적 오류 검출하기 위해 AUTOSAR의 시스템 시간 관점(System Timing View)에서 소프트웨어 행위를 정형적으로 영세하고 검증하는 기법을 제시한다. AUTOSAR로 개발된 소프트웨어 시스템의 시간적 행위 명세를 위해 정형명세 언어인 Algebra of Communicating and Shared Resources(ACSR)을 사용한다. ACSR은 소프트웨어의 실시간성 배타적 자원 사용 자원 가용성에 기반의 실행 등을 기술할 수 있는 실시간 시스템을 위한 프로세스 대수로서 ACSR로 명세 된 모델은 VERSA를 통해 자동 검증될 수 있다. 또한 자동차 정속주행장치의 사례 연구를 통해 적용 가능성을 보인다. Nowadays the complexity of automotive systems is increasing due to various and diverse functional requirements from the users. The growth of complexity can cause serious problems to the safety of automotive electronic systems because their functions are mainly implemented by software. The development in compliance with international standards for safety such as ISO 26262 and the use of open and standardized software platform such as AUTOSAR are demanded to improve the safety of automotive systems. ISO 26262 recommends use of formal methods for high-level safety-integrity systems. This paper proposes applying formal methods to AUTOSAR software models. In particular we provide formal specification and verification of software behaviors from AUTOSAR System Timing View to detect errors that are often happened when software components are integrated. In this paper we propose a formal verification method for timing analysis of AUTOSAR software models from the viewpoint of System Timing View of AUTOSAR timing extension. For the timing analysis we use ACSR(Algebra of Communicating and Shared Resources) a process algebra which can effectively specify important characteristics of real-time systems such as timing mutually and exclusively time-consuming use of resources execution based on resource availability. Models in ACSR can be automatically verified by VERSA a formal verification tool for ACSR. Furthermore we conduct a case study on car cruise control system to show feasibility of our approach.

반대측 경부 림프절로 전이된 초기 설암의 치험례

권명희(Myung-Hee Kwon),김성일(Sung-Il Kim),김평수(Pyoung-Soo Kim),임대호(Dae-Ho Leem),신효근(Hyo-Keun Shin),고승오(Seung-O Ko) 대한구강악안면외과학회 2009 대한구강악안면외과학회지 Vol.35 No.5

Likely to be the most common oral cancer, squamous cell carcinoma(SCC) of the tongue accounts for about 20% of all oral and pharyngeal cancers. SCC of the tongue frequently arises in the lateral border, and if it metastasize, it occurs on submandibular gland and neck lymph nodes. Location of the primary lesions and neck lymph node metastasis affect the prognosis and decrease survival rate of patients with carcinoma of the tongue. The authors experienced the patient with contralateral neck lymph node metastasis of SCC of the tongue. The patient came to our department with chief complaint of elevated lesion on left lateral border of the tongue. The mass was diagnosed as T2N0M0, Stage II invasive SCC of oral tongue. Computed tomography(CT) & magnetic resonance imaging(MRI) which were taken before the operation showed no significant finding of metastasis. Surgical mass removal and preventive neck dissection on the left side were done. While follow up PET/CT, contralateral neck lymph node metastasis(right side, level II) was detected, and re-operation(Rt. side RND) was done. There are few studies concerning the contralateral neck lymph node metastasis related with SCC of the tongue. The purpose of this report is to introduce the uncommon case of contralateral neck lymph node metastasis occurred in the T2-stage of SCC of the tongue treated by surgical resection.

양뺨에 발생한 발진성 연모 낭종

정규동 ( Kyu Dong Jung ),조혜진 ( Hye Jin Cho ),김평수 ( Pyoung Su Kim ),김현제 ( Hyun Je Kim ),이동윤 ( Dong Youn Lee ),이주흥 ( Joo Heung Lee ),양준모 ( Jun Mo Yang ),이일수 ( Eil Soo Lee ) 대한피부과학회 2009 大韓皮膚科學會誌 Vol.47 No.4

Eruptive vellus hair cysts (EVHC) are characterized by multiple, small, discrete red or brown colored papules that usually occur on the chest and extremities. Their etiology is unknown. A variant form of EVHC that occur exclusively on the face is rare and it is very characteristic for its location and color. We report here on a facial variant of EVHC that occurred on the face of 23-year-old woman with asymptomatic, skin-colored to bluish tiny papules. The lesions first appeared at the age of 22-years. (Korean J Dermatol 2009;47(4):498~500)

사설교환기의 실시간 커널 구현 및 성능분석

정순효(Jeung Soon Hyo),배기권(Bae Ki Kwon),김평수(Kim Pyoung Soo),원채희(Won Chae Hee) 한국정보과학회 1991 한국정보과학회 학술발표논문집 Vol.18 No.2

기존의 사설교환기는 모니터가 주 프로세서에 위치하여 시스템 전체의 실행을 감시, 제어하였으나 주 프로세서의 성능 향상과 시스템의 대용량에 따른 보다 체계적이고 효율적인 시스템 운영체제의 필요성이 대두되고 있다. 따라서 본 논문은 사설교환기의 실시간 운영체제를 제공하는 커널을 구현 하였으며, 본 커널을 사용하는 시스템 호출의 종류와 타스크의 상태를 실시간으로 관리하는 스케줄링 및 각종 관리자에 대하여 기술하였다. 또한 각종 실시간 운영체제의 기능들에 대한 순수 수행 시간을 구함으로써 이 기능들을 응용 프로그램에서 사용했을 때 시스템 흐름의 수행 시간의 측정으로 사설교환기의 실시간 운영체제의 성능을 분석하였다.

전산화단층사진을 이용한 하악지구조분석

고광준,안 융,김평수,진우정 大韓顎顔面成形再建外科學會 1999 Maxillofacial Plastic Reconstructive Surgery Vol.21 No.4

This study was conducted for the purpose of suggestion of the new technique of sagittal split ramus osteotomy pararell to the true sagittal plane. This pararellism is the important concept of the sagittal split ramus osteotomy to reduce the condylar sagging including mandibular hypomobility, tempormandibular disorder, occlusal relapse and other complications. We used 26 adult dry manibles(52 rami), and obtained the computed tomographs through the sagittal, horizontal and coronal sections. The results were obtained as follows. 1. On sagittal section, mean area of S1 was 8.63±2.10㎠, S2 was 8.93±1.94㎠, S3 was 9.49±2.15㎠, S6 was 10.72±2.22㎠. The wider area of sagittal section, the more lateral section, But, no singnificant differency between the areas of the sagittal sections(P>0.05). 2. On horizontal section, The distance between the inferior alveolar canal and the lateral cortical plate of the mandibular ramus were 6.73±1.24mm minum, 7.70±1.44mm maximum. 3. On coronal section, Outer mandibular angle were 4.84±2.37˚right side, 4.93±2.12˚left side. 4. The design of the ideal true sagittal split ramus osteotomy is that posterior border of osteotomy must be limited vertically, at the right posterior point of lingula mandibularis and anterior of osteotomy must be extended to mandibular body, anteroinferiorly.

캐비티내 포획 공간이 격납용기 직접가열 현상에 미치는 영향에 관한 연구

이동환,김평수,김무환 울산대학교 1996 공학연구논문집 Vol.27 No.1

원자력발전소에서 가상되는 중대사고중 격납용기 직접가열 현상은 격납용기의 안정성을 위협하는 현상으로써 냉각재 상실사고 등의 1차계통의 사고시 가입되어 있는 용융노심물이 캐비티를 거쳐 격납용기로 분사되어 급격하게 많은 에너지를 방출하는 현상이다. 그러므로 이러한 격납용기의 안전성을 확보하기 위하여 본 연구에서는 격납용기로 분사되는 용융노심물을 감소시킬 수 있는 캐비티내에 포획 공간를 설치하여 이에 대한 실험과 수치적으로 해석하였다. 울진원자력발전소의 캐비티를 1/30 축소하여 포획 공간의 용적을 변화시키면서 실험하였다. 전산 수치해석은 1.2에 도출된 실험 관계식을 적용하여 울진 원자력발전소에 설치된 포획 공간의 영향을 평가하였다. 연구결과로부터 포획 공간은 캐비티 외부로 방출되는 용융노심믈을 감소시킴으로써 격납용기 직접가열 현상시 격납용기내부의 압력과 온도를 완화시켜 격납용기의 안전성에 큰 역할을 하고 있음을 알 수 있었다. Direct Containment Heating, DCH, may occur during a core melt-down accident if the primary system pressure is still high at the time of vessel breach in a Nuclear Power Plant(NPP). Therefore, DCH is a most important phenomena to consider when assessing the integrity of the containment of severe accidents. This work consists of experimental and numerical analyses of the effects of capture volumes in the cavity on DCH NPP unit 3&4. We used three types of capture volumes to investigate the effect of size on the capture volume. Numerical analysis is performed by using CONTAIN 1.2 to examine the effect of capture volume on DCH phenomena in full scale at Ulchin unit 3&4