http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
RTO.k와 RTL을 이용한 실시간 시스템(무인자동차 시스템)의 정형적 명세
윤태명(Tae-Myoung Yoon),임형택(Hyung-Taek Lim),양승민(Seung-Min Yang) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.1
실시간 시스템 명세는 시스템의 높은 안전성(safety)과 신뢰성(reliability)을 보장하기 위해서 시스템이 실제로 구축되기 전에 설계 초기 단계에서 반드시 거쳐야 하는 과정이다. 이러한 시스템의 명세 방법은 시스템 행위의 올바름을 검증하는 기법만이 아니라 실시간성의 검증(verification) 기법까지 갖추어야 하고 그 성격상 정형적(formal)이어야 한다. RTO.k(Real-Time Object)모델은 이러한 성격을 가지고 있으나 시간 검증의 문제점이 있고 몇 가지 부분에 대해 비정형적(informal) 명세를 한다. 따라서, 본 논문에서는 실시간 특성을 고루 갖춘 무인자동차 시스템(Intelligent Vehicle System)을 설계하고 RTO.k로 명세한 후 제시된 문제를 해결하기 위해 시간 제약사항에 대해서 RTL(Real-Time Logic)로 변경하는 규칙을 제시한 후 적용하고, Z를 통해 비정형적 명세의 문제를 해결한다. 이는 시간 검증에 부가되는 비용을 절감할 수 있으며, Z와 같은 정형적 명세 방법을 써서 그 의미상의 애매성을 배제함으로서 해석의 효율성을 높일 수 있다.
윤태명(Tae-Myoung Yoon),임형택(Hyung-Taek Lim),양승민(Seung-Min Yang) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.2B
실시간 시스템은 높은 안전성(safety)과 신뢰성(reliability)을 요구한다. 이러한 시스템의 설계 및 명세에 있어 애매한 의미를 갖는 비정형적 설계 명세와 적합한 실시간 표현력 부족은 심각한 결과를 초래하게 된다. 더욱이 실시간 시스템 특성상 설계된 시스템의 런타임 모니터링(run-time monitoring)은 필수적이다. 이런 모니터링을 위해서는 더욱더 시스템 제약사항에 대한 정형적 명세(formal specification)가 필요하다. 비록 정형적인 설계 및 명세 방법들에 대한 연구 결과가 많이 제안되었지만 실시간 시스템의 특성 및 시스템에 부과된 다양한 시간성(timing property)과 신뢰성을 위한 제약사항의 표현에는 부족한 면을 나타내고 있다. 따라서 본 논문에서는 실시간 시스템의 정형적 명세를 위해 실시간 객체를 바탕으로 하는 명세 방법을 제시하고 시스템의 신뢰성을 높이기 위한 모니터 객체의 명세와 감시 대상 요소의 추출 방법을 제시한다. 이를 기반으로 시스템 제약사항의 런타임 모니터링시 분석(analyzing) 과정과 방법을 제시한다. 본 논문에서 제안된 실시간 시스템의 명세 방법 및 감시 요소 추출을 시스템 설계가에게 해당 시스템의 기능을 명확히 파악하게 하고 파악된 기능 및 감시 요소를 보다 정형적인 방법으로 명세하도록 도와준다. 또한 런타임시 제약사항을 보다 엄격하게 모니터링 할 수 있게 명세를 이용함으로써 불완전하고 비예측적인 외부 환경과 교신(interaction)하는 실시간 시스템의 안전성 및 신뢰성을 보장할 수 있다.
이동 통신 시스템에서 개별 사용자의 방향성을 이용한 거리 기반 위치 관리
김태수(Tae-Soo Kim),송의성(Ui-Sung Song),길준민(Joon-Min Gil),윤태명(Tae-Myoung Yoon),황종선(Chong-Sun Hwang) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.2Ⅲ
이동 통신 시스템에서 이동 단말의 위치를 추적하는 위치 관리는 중요한 문제이다. 본 논문에서는 셀 식별자를 이용하여 이동 단말의 이동성을 표현하는 새로운 위치 관리 모델과 기법을 설계한 후 이동 단말의 방향성을 고려한 위치 관리 기법을 제안한다. 제안하는 기법은 이동 단말의 방향 특성에 기반한 벡터 상쇄 연산을 통하여 위치 갱신을 수행하고 페이징 영역을 동적으로 이동 방향에 맞게끔 결정함으로써 기존의 거리 기반 위치 관리 기법보다 페이징 비용을 줄여 전체적인 위치 관리 비용을 감소시킨다. 기존의 위치 관리 기법과의 수치적인 성능 분석 결과는 제안하는 기법의 효율성을 보여준다.
신상철(Sang-Chul Shin),이화민(Hwa-Min Lee),윤태명(Tae-Myoung Yoon),유헌창(Heon-Chang Yu),정순영(Soon-Young Jung) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.1B
데이터베이스 관리 시스템은 데이터베이스를 효율적이며 편리하게 관리하기 위해서 사용되는 어플리케이션이다. 이를 위해서 데이터베이스 관리 시스템은 여러 가지 기능들을 사용자에게 제공한다. 이들 데이터베이스 관리 시스템 중에 하나인 MySQL은, 일반적인 데이터베이스 관리 시스템들이 지원해주는 몇 가지 기능들을 지원해주지 않아 사용자들은 불편함을 겪게 된다. 따라서 본 논문에서는 이들 기능들을 보완할 수 있는 기법을 제시하고, 제시된 기법에 따른 설계와 구현을 수행한다.
Mobile IPv6에서 프로파일 기반의 바인딩 갱신 전략
양순옥(Sun-Ok Yang),송의성(Ui-Sung Song),남성헌(Sung-hun Nam),윤태명(Tae-Myoung Yoon),황종선(Chong-Sun Hwang) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.2Ⅲ
미래에는 Mobile IP의 이동 노드 사용자가 증가할 것이기 때문에 보다 효율적인 이동성 관리 기법이 필요할 것이다. 특히 이동 노드의 수가 증가함에 따라 이동성을 지원하기 위한 바인딩 갱신 메시지 수는 증가한다. 따라서, 본 논문에서는 이동 노드의 이동성 패턴의 지역적 특성이 반영된 프로파일 정보를 이용하여 네트워크 상에서 바인딩 갱신 메시지의 라이프타임 값을 조정함으로써 바인딩 갱신 메시지의 수를 감소시킬 수 있는 프로파일 기반의 전략을 제안한다. 본 논문에서는 이동 노드의 과거 이동성 패턴 정보를 이용하여 이동 노드가 가지고 있는 프로파일의 평균 상주시간 정보를 라이프타임 값으로 설정하는 적응적 라이프타임과, 이동성 정보가 없는 경우에 기존 Mobile IPv6에서 사용하는 라이프타임 값을 그대로 사용하는 디폴트 라이프타임이 존재한다. 그리고, Mobile IPv6에서의 효율적인 라우팅을 위해 프로파일 정보에 기반한 두개의 라이프타임을 효율적으로 관리함으로써 바인딩 갱신 메시지와 바인딩 요청 메시지의 수를 감소시킬 수 있으며, 상당한 통신비용 절감효과를 기대할 수 있다.