《普適服務衝突識別方法研究》是依託大連理工大學,由盧濤擔任項目負責人的面上項目。
基本介紹
- 中文名：普適服務衝突識別方法研究
- 依託單位：大連理工大學
- 項目類別：面上項目
- 項目負責人：盧濤
項目摘要,結題摘要,
項目摘要
隨著行動電話、PDA、感測器等各種設備通過不同的平台和網路實現互聯，普適的數位化環境中的服務日益豐富，避免服務之間的衝突和干擾已成為服務系統需要解決的問題。本課題主要研究普適服務的衝突問題。普適服務具有主動性和情境驅動的特點，服務之間的很多衝突表現出隱式特徵和異步特徵。為此，我們提出建立仿真平台，邏輯上模擬普適服務的運行環境，從中識別衝突，為服務開發者設計、改進和驗證服務邏輯提供一種有效的方法和工具。課題的研究主要包括兩部分內容：建立普適服務的模擬系統，通過服務行為模型和事件環境模型等模擬多普適服務環境；分析衝突的產生原因和表現特徵，通過語義推理、服務行為追蹤、系統狀態回溯等方法識別不同類型的衝突。
結題摘要
隨著行動電話、PDA、感測器等各種設備通過不同的平台和網路實現互聯，普適的數位化環境中的服務日益豐富，避免服務之間的衝突和干擾已成為服務系統需要解決的問題。本課題主要研究普適服務的衝突問題。通過模擬仿真，識別潛在的衝突，為服務的開發者設計、改進和驗證服務邏輯、保持服務系統良好的運行狀態提供有效的方法和工具。普適服務通過布置在底層的大量感知設備獲取物理空間的信息，提供隨時隨地和透明的服務。普適服務、服務對象、服務環境共同構成一個信息物理融合系統。課題以信息物理融合系統的建模和仿真為主要方法，以面向輕微阿爾茲海默病患者的智慧型空間和基於物聯網的生產現場監測環境為主要背景，從服務邏輯分析驗證、服務環境監測、服務行為自協調和服務效果比較分析幾個方面展開研究。主要研究內容有五部分：基於語義推理的普適服務衝突發現和服務自協調；基於petri網的普適服務衝突發現；基於物聯網的生產現場活動監測；基於時間自動機的ECA規則檢測驗證；普適計算環境中服務效果比較分析。普適服務的邏輯採用事件-條件-動作規則（ECA規則）表示，通過建立智慧型空間中各實體要素的本體模型，從語義推理的角度發現服務之間的資源衝突和效果衝突；根據最大化效果、最小化干擾和防止衝突三個原則建立協調規則，實現服務之間的自協調；採用petri網模型，對服務規則、服務環境變化以及服務環境中各實體的活動建模，通過模擬的方法發現潛在的衝突；採用時間自動機模型，對具有時間約束的普適服務系統建模，發現由於規則互動而引起的服務衝突，對時間約束活動監測規則的完備性和準確性進行驗證；對生產現場活動的各個階段建立自動機模型，結合複雜事件處理技術實現對生產過程的監測；以物聯網環境下的醫院門診檢查路徑選擇為例，研究了物聯網信息服務和推薦服務在多用戶情況下服務效果問題。
