《基於分布謂詞檢測的環境顯式化建模與處理技術研究》是依託南京大學，由黃宇擔任項目負責人的面上項目。
基本介紹
- 中文名：基於分布謂詞檢測的環境顯式化建模與處理技術研究
- 項目類別：面上項目
- 項目負責人：黃宇
- 依託單位：南京大學
項目摘要,結題摘要,
項目摘要
為了支持面向開放環境的網構軟體系統的構建，本項申請研究開放環境顯式化建模與處理技術，引入了分布謂詞檢測技術作為基本技術手段，從環境狀態及其變化建模、環境時序特性規約、環境特性運行時檢測這三個方面展開深入地研究。並在此基礎上研究環境顯式化建模與處理支撐平台，為網構軟體系統提供開發和運行支持。.本項申請在基本問題和技術路線方面，延續上一期青年基金的初步探索；同時在上一期項目取得單點技術突破的基礎上，進一步研究如何形成一套系統化的分布異步環境感知方法；為環境感知套用的構建提供全面充分的支持。
結題摘要
隨著網路互聯技術的發展，軟體運行環境逐漸由封閉、靜態、可控變得開放、動態、難控。為此我們需要將對環境的感知和應變從套用邏輯中儘可能地分離出來予以顯式的處理。開放環境固有其分布性，而現有的環境顯式化建模與處理技術未能充分考慮環境的分布性。為此，本項研究以分布謂詞檢測為基本技術途徑，系統研究如何顯式化地建模與處理分布環境，在環境數據分發、環境變化建模、環境特性規約與檢測、環境感知中間件與套用開發等方面取得了良好的進展。
