尋物器之設計與實作

The Design and Implementation of Object Locator

周庭碩(Ting-Shuo Chou)

指導教授 ： 張韻詩

國立清華大學/電機資訊學院/資訊工程學系/碩士(2007年)

https://doi.org/10.6843/NTHU.2007.00108

摘要

尋物器是一種幫助其使用者尋找他們在家中遺失的家庭用品或個人物品的電子設備。利用日益廣泛的RFID技術，本篇論文以RFID技術為基礎提出尋物器的三種設計藍圖並且實作其中一種設計的原型。利用RFID技術的尋物器有以下的優點：可擴充性、可再用性和不需時常維護的特點。本篇論文亦提出一個數學模型來分析不同設計的尋物器所消耗能量和找尋物體所花的時間。分析的結果可以給尋物器的開發者作為參考。最後，本篇論文實作一種可將UML狀態圖轉譯成形式驗證語言的編譯器。利用這個編譯器，系統開發者可以輕鬆的驗證任何用狀態圖描述的系統設計。

關鍵字

尋物器 ； RFID技術

並列摘要

An object locator is a device designed to assist its user in finding misplaced household and personal objects in a home. This thesis describes alternative designs and a proof-of-concept prototype of object locators based on the RFID technology. Advantages of such locators include extensibility, reusability and low maintenance. The numeric model provided here can be used to determine figures of merits, including costs, search time and energy consumption. The results of analysis based on the model can serve as design guides. This thesis also describes a parser that translates state diagrams into a model checking language. The parser is useful to developers who want to formally verify designs specified by state diagrams.

並列關鍵字

object locator ； RFID technology

參考文獻

Rajeev Alur and Thomas A. Henzinger, “Reactive modules”, Formal Methods in System Design 15:7-48, 1999. A preliminary version appeared in the Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS), IEEE Computer Society Press, 1996, pp. 207-218.

Getting I. “The Global Positioning System. IEEE Spectrum” 30, 12 (December 1993), 36–47.

Per K. Enge, Michael F. Ruane and Rudolph M. Kalafus, “Differential Operation of the Global Positioning System”, IEEE Communications Magazine vol. 26 no. 7 July 1988

Harter A. and Hopper A., “A New Location Technique for the Active Office”, IEEE Personal Communications 4, 5(October 1997), 43–47.

Nissanka B. Priyantha, Anit Chakraborty, and Hari Balakrishnan, “The Cricket Location-Support System”, 6th ACM MOBICOM, August 2000