http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
실시간 시스템에서 공유자원의 효율적 사용을 위한 혼합형 우선순위 작업자 모델
박홍진(Hong Jin Park),천경아(Kyung Ah Chun),김창민(Chang Min Kim) 한국정보처리학회 1999 정보처리학회논문지 Vol.6 No.12
To support multimedia application such as a multimedia communication systems and multimedia broadcasting, an operating system need to predict their timing-constraints. So, In this real_time systems, we must solve the priority inversion problem that may make the behavior of unpredictable systems and need a real-time server model that provides a better preemptability and minimizes a system overhead. In current real-time systems, the single thread server model, the worker model and the dynamic server model are being used for synchronization but they cannot propose an effective structure for managing shared resources. In this paper, the priority inheritance protocol is used to solve the priority inversion problem and the hybrid prioritized worker model is proposed, which can provide a more effective structure and a faster response time minimizing a system overhead. The hybrid prioritized worker model is to combine the static and the dynamic prioritizes worker model, and have a better performance than other models in response time which is an important factor in a real-time system.
우선순위 계승 프로토콜을 이용한 실시간 서버 모델 연구
천경아(Kyung-Ah Chun),박홍진(Hong-Jin Park),김영찬(Young-Chan Kim),전성익(Sung-Ik Jun) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.2Ⅳ
실시간 어플리케이션의 시간제약성을 예측하기 위해서는 우선순위 계승 프로토콜(priority inheritance protocol)을 이용하여 우선순위 반전 문제(priority inversion problem)를 해결하여야 한다. 그리고 이를 바탕으로 시스템의 오버헤드에 영향을 끼치지 않으면서 서버에 대한 보다 나은 선점가능성을 제공할 수 있는 실시간 서버 모델이 필요하다. 그러나 기존 시스템의 실시간 서버 모델은 높은 선점가능성과 낮은 오버헤드간의 트레이드오프를 해결하지 못하고 있다. 따라서, 본 논문에서는 이러한 문제점을 해결한 연관 우선순위 작업자 모델(Associative prioritized worker model)을 설계하였다.
내장형 시스템의 명세를 위한 컴포넌트 지원 Statechart 도구 구현
박홍진(Hong-Jin Park),김남규(Nam-Gyu Kim),천경아(Kyung-Ah Chun),김영찬(Young-Chan Kim) 한국정보과학회 2000 한국정보과학회 학술발표논문집 Vol.27 No.1A
최근의 내장형 시스템은 점점 대형화되고 복잡성이 증가하고 있다. 또한 시스템의 생명주기는 매우 빠른 속도로 단축되고 있는 추세이다. 이에 따라 발생될 수 있는 에러율이 증가하고 있으며 이를 해결하기 위해 많은 비용과 시간에 소비될 수 있다. 따라서, 시스템 설계단계부터 신뢰성과 안정성을 보장하며 신속하게 명세를 표현할 수 있는 정형 명세 기법이 필요하다. 본 논문은 신속하면서 견고한 정형 명세 개발을 위해 컴포넌트를 지원하는 Statechart 도구를 구현한다. 본 논문에서 개발된 도구를 이용하면 이미 작성된 정형 명세를 최대한 재사용함으로 새로운 시스템 설계의 개발시간을 단축시킬 수 있는 장점을 지닌다.
실시간 시스템을 위한 Statechart에서의 동작 우선순위 기법
천경아(Kyung-Ah Chun),박홍진(Hong-Jin Park),김영찬(Young-Chan Kim) 한국정보과학회 2000 한국정보과학회 학술발표논문집 Vol.27 No.1A
Statechart는 기존 상태추이도를 확장한 것으로서, 반응시스템을 명세하기 위해 제안된 가시적 정형기법이다. 그러나 statechart에서의 비결정성은 실시간 시스템에서의 예측가능성에 심각한 문제를 유발할 수 있다. 또한, 이를 해결하기 위한 기존의 우선순위 표현방법은 statechart의 비결정성을 완전히 해결하지 못하고 있을 뿐 아니라 실시간 시스템에서 요구하는 다양하고 동적인 우선순위 변화를 표현하기 부적합하다. 이와 같은 문제점을 해결하기 위하여 본 논문에서는 미리 예측가능하고 동적으로 우선순위를 변화시킬 수 있는 동적 우선순위 개념을 제안하다.
흥미영상 : (18)F-FDG PET/CT로 진단된 충수 선암종
공은정 ( Eun Jung Kong ),조인호 ( Ihn Ho Cho ),천경아 ( Kyung Ah Chun ),원규장 ( Kyu Chang Won ),이형우 ( Hyung Woo Lee ),김홍진 ( Hong Jin Kim ) 대한핵의학회 2006 핵의학 분자영상 Vol.40 No.3
A 53-year-old man underwent (18)F-FDG whole body PET/CT because of the detected liver mass on abdominal CT. The PET/CT showed a huge liver mass (9×9㎝, SUV: 12.12) in the right lobe and a focally hypermetabolic lesion in the right lower quadrant of abdomen (SUV: 9.12). At first, we suspected that the focal hypermetabolic lesion in RLQ was the physiologic uptake of ureter or a metastatic lesion of small bowel. We repeated the abdominal PET/CT next day. The focally hypermetabolic lesion was identified as the appendiceal mass. He underwent right hemicolectomy and right lobectomy of the liver. It was confirmed that the lesion was appendiceal adenocarcinoma with liver metastasis. Cancer of the appendix is an uncommon disease that is rarely suspected before surgery. But, we suggest that PET/CT is useful to identify the small lesion like appendiceal malignant mass. (Nucl Med Mol Imaging 2006;40(3):188-189)