移動情境感知系統的實時性與可靠性

《移動情境感知系統的實時性與可靠性》是依託北京大學，由曹永知擔任負責人的面上項目。

基本介紹

• 中文名：移動情境感知系統的實時性與可靠性
• 項目負責人：曹永知
• 項目類別：面上項目
• 依託單位：北京大學

項目摘要

近年來，隨著感測器技術的發展，通過感測器獲取的情境信息日益豐富，情境感知作為普適計算和物聯網中融合物理空間與信息空間的關鍵技術受到了廣泛關注。為了確保系統中計算實體能夠精準地獲取、傳送、理解和使用情境信息，從而為用戶提供更好的服務，以進程代數為代表的形式化方法被用於情境感知系統的研究。然而，隨著信息技術的飛速發展，各個套用領域，尤其是安全關鍵系統和業務關鍵系統，對情境感知系統的實時性和可靠性要求越來越高。為此，本項目從情境感知系統基於進程代數的定性研究轉向定量研究。我們建模和分析分散式套用場景下的移動情境感知系統，針對這類系統中情境和訊息的實時性以及噪音環境下系統的可靠性需求，分別建立時間和噪音情境感知演算，進而定義並研究系統行為等價、時間性質驗證、可靠性度量及改進等。同時，我們將研究成果套用於基於位置服務的建模與分析。本項目的研究有助於形式化描述、開發和驗證情境感知系統的實時性和可靠性。

結題摘要

近年來，隨著感測器技術的發展，通過感測器獲取的情境信息日益豐富，情境感知作為普適計算和物聯網中融合物理空間與信息空間的關鍵技術受到了廣泛關注。為了確保情境感知系統中計算實體能夠精準地獲取、傳送、理解和使用情境信息，從而為用戶提供更好的服務，以進程代數為代表的形式化方法被用於情境感知系統的研究。特別地，基於ambient演算，英國Siewe等人最近創建了一種情境感知演算CCA，用於建模和分析具有移動性和情境感知能力的系統。然而，隨著信息技術的飛速發展，各個套用領域，尤其是安全關鍵系統和業務關鍵系統，對情境感知系統的實時性和可靠性要求越來越高。為此，本項目從情境感知系統基於進程代數的定性研究轉向了定量研究。我們對分散式套用場景下的移動情境感知系統進行了較為系統深入的研究，主要研究內容包括情境信息及情境感知系統的建模、情境信息的推理、情境信息及情境感知系統的驗證等，得到了一些有意義的原創性成果。本項目的研究成果可用於形式化描述、開發和驗證情境感知系統的可靠性。