本文選題：普適計算　切入點：本體　出處：《大連理工大學》2014年碩士論文

【摘要】：近年來,隨著移動互聯以及智能計算技術的高速發(fā)展,很多智能感知和計算設備嵌入到物理環(huán)境中,使得普適計算、物聯網等領域得到了迅猛地發(fā)展。信息空間與物理空間的融合使得人們可以在任何地點、任何時間以任意方式獲得自己想要的應用和服務。智能家庭(Smart Home)是普適計算領域的一個典型應用。根據領域服務的需要,環(huán)境中嵌入了各種各樣的傳感設備,用于感知環(huán)境、資源以及用戶活動的情境狀態(tài)。這些情境信息被傳入到普適計算的控制系統(tǒng),系統(tǒng)根據一般性規(guī)則以及用戶的個性化規(guī)則提供最終的服務,進而滿足用戶的活動需求。 然而,由于普適計算環(huán)境的動態(tài)性、開放性,服務的注冊、更新、移除和交互行為很難預測,增加了服務協(xié)調的復雜性。不合理的服務邏輯不僅難以滿足用戶的需求,也可能為用戶帶來負面的干擾。造成上述干擾的本質原因在于服務缺乏對自身以及周邊環(huán)境的深入了解,無法發(fā)現并獲取導致不一致現象的必要的信息�；谡Z義的知識模型可以深度挖掘服務的隱含信息,除了功能信息外,還可以包括對周邊環(huán)境的影響和資源的狀態(tài),進一步增加服務交互的深度和廣度。本文采用語義推理規(guī)則,實現普適服務之間的協(xié)調管理。 本文首先詳細分析了國內外針對普適計算領域的研究現狀,重點關注服務的沖突與協(xié)調方面的研究�；谏鲜鲅芯�,本文以智能家庭領域為背景,基于本體OWL,構建了情境本體模型,融入了服務與環(huán)境中各種資源交互時所需要的信息。其次,基于W3C提出的網絡服務頂層本體規(guī)范,分析和設計了普適服務的頂層功能模型OUL-S,該模型重點關注普適服務與環(huán)境交互中所需要的信息。進而,基于上述模型,本文分析了智能家庭中的若干不一致場景,并歸納中普適服務協(xié)調的三方面需求,設計了語義推理規(guī)則,實現在不同情境下執(zhí)行合理的服務策略。最后,采用本體構建及語義網規(guī)則推理工具對上述方法進行驗證。 本文的研究表明,基于語義的推理規(guī)則可以很好地與本體模型結合,推出有效的解決方案,較好地協(xié)調普適服務交互過程中存在的問題。
[Abstract]:In recent years, with the rapid development of mobile interconnection and intelligent computing technology, many intelligent sensing and computing devices are embedded in the physical environment, which makes pervasive computing, the Internet of things and other fields have been rapidly developed.The fusion of information space and physical space allows people to obtain their desired applications and services at any time and anywhere.Smart Home (Smart Home) is a typical application of pervasive computing.According to the needs of domain services, a variety of sensing devices are embedded in the environment to sense the situational state of the environment, resources and user activity.These situational information are introduced into the pervasive computing control system, and the system provides the final service according to the general rules and the user's personalized rules, and then meets the user's activity needs.However, due to the dynamic, open, service registration, update, removal and interaction behavior of pervasive computing environment is difficult to predict, which increases the complexity of service coordination.Unreasonable service logic is not only difficult to meet the needs of users, but also may bring negative interference to users.The essential reason for these disturbances lies in the service's lack of in-depth understanding of itself and the surrounding environment, and the inability to detect and obtain the necessary information that leads to inconsistencies.The semantic knowledge model can deeply mine the hidden information of the service, besides the function information, it can also include the influence on the surrounding environment and the state of the resources, and further increase the depth and breadth of the service interaction.In this paper, semantic reasoning rules are used to realize the coordination and management of universal services.In this paper, the current situation of research on pervasive computing at home and abroad is analyzed in detail, focusing on the conflict and coordination of services.Based on the above research, this paper builds a situational ontology model based on ontology owl in the context of intelligent home domain, which integrates the information needed in the interaction between services and various resources in the environment.Secondly, based on the top-level ontology specification proposed by W3C, the top-level functional model OUL-Sof pervasive services is analyzed and designed. The model focuses on the information needed in the interaction between pervasive services and environment.Then, based on the above model, this paper analyzes some inconsistent scenarios in intelligent home, sums up the three requirements of universal service coordination, designs semantic inference rules, and implements reasonable service strategies in different situations.Finally, ontology construction and semantic web rule reasoning tools are used to verify the above methods.The research in this paper shows that the semantic-based reasoning rules can be well combined with the ontology model, and an effective solution can be developed to better coordinate the problems existing in the process of universal service interaction.
【學位授予單位】：大連理工大學
【學位級別】：碩士
【學位授予年份】：2014
【分類號】：TP393.09

【參考文獻】

相關期刊論文 前10條

1 楊冬;周華春;張宏科;;基于一體化網絡的普適服務研究[J];電子學報;2007年04期

2 鮑愛華;張維明;袁金平;姚莉;;一種基于規(guī)則的OWL-S本體語法一致性維護方法[J];國防科技大學學報;2009年03期

3 朱俊崗;;淺析物聯網背景下的智能家居發(fā)展[J];中國公共安全(綜合版);2012年13期

4 王海鵬;周興社;張濤;;面向普適計算環(huán)境的資源描述方法[J];計算機工程與應用;2009年03期

5 王海;范琳;李增智;;基于語義規(guī)則的Web服務發(fā)現方法[J];計算機工程與應用;2010年28期

6 鄭譽煌;李迪;葉峰;;智能空間的情景感知沖突研究[J];計算機工程與應用;2010年33期

7 蔣發(fā)群;李錦濤;蘇曉麗;葉劍;朱珍民;;基于上下文感知的普適服務框架[J];計算機工程;2008年13期

8 呂慶聰;干露;曹奇英;;普適計算服務組合技術綜述[J];計算機應用研究;2009年02期

9 王勐;金晶;;物聯網智能家居的發(fā)展前景[J];科技傳播;2013年08期

10 盧濤;劉曉伶;;普適服務沖突檢測方法研究[J];哈爾濱工程大學學報;2013年11期

相關博士學位論文 前1條

1 呂慶聰;普適計算語義服務發(fā)現與服務組合研究[D];東華大學;2009年

，

本文編號：1705530