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

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.

[1] http://www.sharperimage.com/us/en/catalog/product/sku__SI676FUN
“Now You Can Find It!”

[2] http://www.sharperimage.com/us/en/catalog/product/sku__SI996GRY
Spare Locater Disc Set for “Now You Can Find It” Locater

[3] http://rt.openfoundry.org/Foundry/Project/index.html?Queue=128
OMocha project

[4]
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.

[5]
http://www.epcglobalinc.org/home EPCglobal

[6]
Sanjay Sarma, “Toward the 5¢Tag”, MIT Auto-ID Center, November 2001

[7]
Gitanjali Swamy and Sanjay Sarma, “Manufacturing Cost Simulations for Low Cost RFID systems”, MIT Auto-ID Center, February 2003

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

[9]
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

[10]
Want R., Hopper A., Falcao V., and Gibbons J., ”The Active Badge Location System” ACM Transactions on Information Systems 10, 1 (January 1992), 91–102.

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

[12]
Andy Harter, Andy Hopper, Pete Steggles, Andy Ward and Paul Webster, “The Anatomy of a Context-Aware Application”, In Proc. 5th ACM MOBICOM Conf. August 1999

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

[14]
Michael R. McCarthy and Henk L. Muller, “RF Free Ultrasonic Positioning”, Proceedings of the 7th IEEE International Symposium on Wearable Computers, 2003

[15]
Bahl P., and Padmanabhan V., “RADAR: An In-Building RF-based User Location and Tracking System.”, In Proceeding IEEE INFOCOM, March 2000

[16]
Bahl P., Balachandran A. and Padmanabhan V. “Enhancements to the RADAR User Location and Tracking System”, Technical Report MSR-TR-2000-12, Microsoft Research, February 2000

[17]
Konrad Lorincz and Matt Welsh, “MoteTrack: A Robust, Decentralized Approach to RF-Based Location Tracking”, In Proceedings of the International Workshop on Location and Context-Awareness at Pervasive 2005, May 2005

[18]
Myllymaki P., Roos T., Tirri H., Misikangas P. and Sievanen J., ”A Probabilistic Approach to WLAN User Location Estimation”, In Proc. The Third IEEE Workshop on Wireless LANs, 2001

[19]
J. Hightower, G. Borriello, and R.Want, “SpotON: An indoor 3-D location sensing technology based on RF signal strength,” Univ.Washington, Seattle, Tech. Rep. 2000-02-02, February 2000

[20]
P. Castro, P. Chiu, T. Rremenek, and R. R. Muntz, “A probabilistic room location service for wireless networked environments,” in Proc. ACM UbiComp, 2001

[21]
Leong Kin Seong, Ng Mun Leng and Cole Peter H., “The Reader Collision Problem in RFID Systems”, Auto-ID Labs, August 2005

[22]
Emerson, E. A. and Halpern, J. Y., “Decision procedures and expressiveness in the temporal logic of branching time”, Journal of Computer and System Sciences, no. 30, vol. 1, page 1-24, 1985

[23]
C. F. Hsu, H. Y. Liao, P. C. Hsiu, Y. S. Lin, C. S. Shih, T. W. Kuo and Jane W. S. Liu, “Smart Pantries for Homes,” In Proc. IEEE SMC, October 2006

[24]
H. C. Yeh, P. C. Hsiu, P. H. Tsai, C. S. Shih and Jane W. S. Liu, “APAMAT: A Prescription Algebra for Medication Authoring Tool,” In Proc. IEEE SMC, October 2006

[25] http://www.abiresearch.com/products/market_research/RFID_Readers
“The Market for RFID Readers”, ABI research