http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 류기열(Kee Yeol Ryu) (검색결과 2 건)
- 무료
- 기관 내 무료
- 유료
-
RFID에 기반한 유비쿼터스 환경에서의 어플리케이션 프레임웍 구조
김기현(Kee-Hyun Kim),이정태(Jung-Tae Lee),류기열(Ki-Yeol Ryu) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.1A
유비쿼터스 컴퓨팅 환경에서 공통적으로 필요로 하는 요구는 사물의 이동을 자동으로 인식하고 위치를 파악하는 것이고 이를 위해서 현재 RFID를 통한 사물의 인식이 각광을 받고 있다. 하지만 RFID에 기반한 어플리케이션은 일반 어플리케이션과는 달리 태그 인식에 의한 실시간 이벤트의 처리가 가장 중요하며, 이로 인해서 RFID 어플리케이션에는 실시간 이벤트 모니터링과 실시간 이벤트 처리, 비동기 이벤트 처리, 멀티 쓰레딩, 분산 처리 등이 반드시 필요하다. 이러한 RFID 어플리케이션의 특성 때문에 RFID 어플리케이션은 일반 어플리케이션과는 다른 구조가 요구된다. 이에 본 논문에서는 RFID 어플리케이션에서 공통적으로 요구되는 컴포넌트들을 추출하고 이를 효과적으로 결합하기 위한 프레임웍을 설계, 구현하였다.
-
백은옥(Eunok Paek),류기열(Kee Yeol Ryu) 한국정보과학회 1985 정보과학회논문지 Vol.12 No.1
이 논문은 一次論理에서의 정리를 융합(resolution)을 근거로 하여 증명하는 방법에 관한 것이다. 먼저 일차 predicate calculus의 제반 주요 개념들을 개략적으로 설명하고 융합 방법에 대한 소개와 함께 융합과정에서 성능을 높이기 위한 몇가지 기법을 소개하였다. LISP를 사용하여 구현한 시스템에 관해 간략히 설명하고 결론으로서 논문의 의의 및 앞으로의 방향을 제시하였다. This paper concerns the method of proving theorem in the first order predicate calculus based on resolution and its implementation. The overall review of the first order predicate calculus is given. This paper introduces the resolution refutation method and a few strategies for higher efficiency in the process of resolving. It describes this theorem proving system implemented by LISP.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
