http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
응급 의료 시스템의 자동 제어를 위한 CARDMI 프로세스 알제브라 기반 스케줄러에 관한 연구
우수정(Sujeong U),온진호(Jinho On),최정란(Jung-Rhan Choi),이문근(Moonkun Lee) 한국정보과학회 2008 한국정보과학회 학술발표논문집 Vol.35 No.1
현재 응급 의료 시스템에서는 환자의 소재를 파악하기 힘들 뿐만 아니라, 환자의 이송과정에서도 환자를 치료할 수 없는 병원에 이송하는 등의 문제점을 지닌다. 또한 이송을 위한 대기중인 구급차가 없거나, 환자의 병명에 따른 시한을 지키지 못함으로써 환자를 위급한 상태까지 이르게 하는 경우도 존재한다. 본 논문은 이러한 문제를 해결하기 위해 자동화된 중앙 관리 체계를 기반으로 한 u-EMS의 시공간 환경과 행위를 명세 및 분석하기 위한 CARDMI기반의 HAP 스케줄러를 제안한다. 이를 통해 응급 의료 시스템에서 발생할 수 있는 문제점을 u-EMS를 통해 환자를 적시적소에 EMS서비스를 제공할 수 있도록 스케줄링 하였다.
이동 프로세스 대수에서 행위의 의미 분석을 위한 정형기법
우수정(Sujeong U),온진호(Jinho On),이문근(Moonkun Lee) 한국정보과학회 2010 한국정보과학회 학술발표논문집 Vol.37 No.1B
분산 이동 실시간 시스템의 명세, 개발 및 검증을 위해 π-calculus, bigraph, Mobile Ambient, CARDMI등의 정형기법이 존재한다. 이러한 정형기법은 이동하는 에이전트 혹은 프로세스에 대한 명세 및 시스템의 안전성과 검증에 대한 분석을 지원하지만, 행위의 의미적 관점에서 분석 및 검증 방법을 제시하고 있지 않다. 본 논문에서는 정형기법으로 명세 된 시스템의 실행 데이터인 원시 데이터를 행위의 의미적 관점에서 시스템을 분석 및 검증이 가능한 Prism Analyzer를 제안한다. 제안된 Prism Analyzer는 특정 시스템에 대해 발생할 수 있는 다양한 행위를 온톨로지와 속성문법으로 정규화한 다양한 행위모델을 지닌다. 이러한 Prism Analyzer는 원시 데이터를 행위의 의미적 측면에서 개별적, 연속적, 복합적으로 분석 및 검증이 가능하고, Prism Analyzer에 정의된 다양한 행위 모델을 바탕으로 동일한 원시 데이터에 대해 행위 모델에 따른 다양한 분석 결과를 도출해 낼 수 있다.
SaaS 기반 이동형 개인 맞춤 소프트웨어 플랫폼을 위한 VM의 Host OS와 Guest OS의 네트워크 성능 측정 방법 개선
우수정 ( Sujeong U ),온진호 ( Jin-ho On ),최정란 ( Jung-rhan Choi ),최완 ( Wan Choi ),이문근 ( Moon-kun Lee ) 한국인터넷정보학회 2009 인터넷정보학회논문지 Vol.10 No.2
최근 들어 SaaS기반 이동형 개인 맞춤 소프트웨어 플랫폼에 관한 연구 및 개발이 활발해지고 있다. 이러한 플랫폼들은 다양한 사용자의 OS를 만족시키기 위해 최적화된 가상머신이 필수적으로 요구된다. 또한 다양한 Host OS에서 내부, 외부 네트워크간에 빠르고 안정적인 서비스를 지원 함으로서 사용자의 작업환경 이동성을 보장해야 한다. 이를 위해 가상머신은 다양한 관점에서의 성능 측정이 필요하다. 하지만 기존 연구에서 가상머신의 성능 측정은 Host 컴퓨터에 설치된 VM에 Guest OS를 설치하여 이를 하나의 컴퓨터로 간주하고, 외부의 클라이언트에서 네트워크 성능을 측정한다. 이는 이동형 개인 맞춤 소프트웨어플랫폼을 위한 가상머신 성능 측정에 적합하지 않다. 본 논문은 SaaS기반 이동형 개인 맞춤 소프트웨어 플랫폼을 위한 최적화된 가상머신을 선정하기 위해서 네트워크 성능 측정 방법과 측정된 결과 분석을 통한 최적화된 가상머신을 제안한다. Recently, there are a number of researches and developments for the personalized software platform for mobility based on SaaS. The platform requires an optimal virtual machine in order to satisfy the operating systems of various users for the software. In addition, the platform must guarantee the mobility of the users` working environments by supporting fast and secure services between internal and external networks in the platform operating systems. In order to verify the optimal behaviors of virtual machines for the platform, the performance of the virtual machines must be measured and analyzed in various perspectives. In the previous research, unfortunately, the performance of a virtual machine were conducted in the condition that a guest operating system was installed on the virtual machine and considered as a computer, by measuring the network traffic between the guest operating system and an external client operating system. This performance measurement was not suitable for a virtual machine for the platform since a number of different software must be handled in the virtual machine. In order to overcome this limitation, this paper presents a measurement method for network performance and proposes the most optimal virtual machine by the method.
가상머신의 Host OS와 Guest OS의 동시 사용을 위한 성능 측정 방법
온진호(Jinho On),우수정(Sujeong U),김원영(Wonyoung Kim),최완(Wan Choi),이문근(Moonkun Lee) 한국정보과학회 2007 한국정보과학회 학술발표논문집 Vol.34 No.2B
하드웨어의 급속한 성능증가와 서버의 동적인 활용을 위하여 가상화 기술의 연구 및 개발이 급격히 증가하고 있다. 이러한 가상화 기술의 성능을 측정하기 위한 기존의 방법들은 가상머신에 설치된 Guest OS 만을 고려하거나, 시스템이 설치된 하드웨어를 대상으로 통합적으로 평가되었다. 하지만, 여러 개의 Guest OS를 사용하는 경우/ Host OS와 Guest OS가 서로 통신할 경우에서는 이와 같은 측정 방법에 문제점이 발생한다. 본 논문은 Host OS와 Guest OS가 서로 통신할 경우 발생하는 Host OS의 자원 사용을 평가하여 Guest OS의 성능에 미치는 영향을 분석하고, 이러한 영향을 정확히 분석하기 위한 방법을 제안한다.
Timed CARDMI의 Real-time Java Virtual Machine 에서의 실현 가능성에 관한 연구
온진호(Jinho On),우수정(Sujeong U),이문근(Moonkun Lee) 한국정보과학회 2010 한국정보과학회 학술발표논문집 Vol.37 No.1B
Timed CARDMI는 실시간 속성을 만족해야 하는 분산/이동/실시간 시스템 In The Large 관점의 행위 및 시간속성을 분석하기 위해 정의된 정형기법이다. Timed CARDMI로 정의된 복잡한 시스템의 분석과 검증을 위한 CASE 툴인 SAVE는 RTOS 상에서 CARDMI가 지니는 다양한 행위와 시간속성들에 대한 분석, 명세, 검증, 시뮬레이션을 위한 도구로, 본 논문에서는 RTOS와 Timed CARDMI의 인터페이스 역할을 수행할 Real-time Java의 속성들이 Timed CARDMI의 다양한 시간속성, 행위들에 대한 실행 조건들을 만족하는지에 대한 효용성을 분석한다.