《面向容錯web服務組合的可靠性模型研究》是依託哈爾濱工業大學,由舒燕君擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名:面向容錯web服務組合的可靠性模型研究
- 依託單位:哈爾濱工業大學
- 項目類別:青年科學基金項目
- 項目負責人:舒燕君
《面向容錯web服務組合的可靠性模型研究》是依託哈爾濱工業大學,由舒燕君擔任項目負責人的青年科學基金項目。
《Web服務組合的套用可靠性研究》是2019年9月浙江大學出版社出版的圖書,作者是賈志淳,邢星。內容簡介 《Web服務組合的套用可靠性研究》在廣泛調研和充分論證的基礎上,結合當前Web服務的國內外研究現狀,從體系結構、組合服務的建模、組合...
《基於服務質量的高性能容錯計算機可用性模型研究》是依託哈爾濱工業大學,由左德承擔任項目負責人的面上項目。項目摘要 面向事務處理的高性能容錯計算機主要套用於國家關鍵行業,該類計算機要求一方面具有極強的事務處理能力,另一方面具有極高...
在面向具體套用問題方面,研究了監控服務系統可靠性,給出了監控服務系統可靠性方法,探索了套用機率模型檢驗技術到基於服務接口的校園能耗設備監控方法和智慧型交通流和路徑規劃,以及商品評論推薦。此外,針對雲渲染任務調度、異構Hadopp網路的...
《面向領域的MANET服務訪問可靠性研究》是依託清華大學,由趙曦濱擔任項目負責人的面上項目。項目摘要 本課題針對當前大型離散製造車間中構造MANET套用系統時存在的服務訪問可靠性問題,深入分析了在車間通訊套用環境中傳統網路與MANET的不同之...
《基於多主體認知邏輯模型檢測的Web服務組合驗證》是依託華僑大學,由駱翔宇擔任項目負責人的面上項目。項目摘要 面向服務的體系架構將成為最主流的軟體工程實踐方法之一。由於服務及其協同的動態性、開放多變的網際網路運行環境、以及松耦合的...
3.5基於推理Petri網的Web服務組合兩階段算法示例 3.6本章小結 第4章可信Web服務組合的形式化驗證 4.1Web服務組合的行為特性驗證 4.2web服務組合的可靠性驗證 4.3實驗結果與分析 4.4本章小結 第5章Web服務組合事務模型及異常恢復 ...
本項目將針對實時Web服務組合這一時間系統的不確定規劃問題,探索語義Web架構下實時模型檢測的形式化方法。本項目擬基於時間自動機的形式化理論,研究面向實時Web服務組合的不確定規劃方法。首先,構建通用的時鐘操縱模型,為時間系統形式驗證...
因此,為了緩解或消除可靠性牆問題,本項目計畫基於課題組在計算機系統結構、容錯技術等方面的研究成果和技術積累,面向未來E級計算的高效能需求,研究可靠性牆瓶頸模型和理論,以及輕量級檢查點/恢復、基於硬體冗餘的可擴展容錯和基於套用特徵...
本課題針對Web服務軟體的動態配置及可信性保障,以動態自適應配置作為處理服務失效的手段,採用機率模型檢驗方法保證配置的正確性和可靠性,研究Web服務軟體的監控、動態配置、形式驗證以及失效服務預測等問題。項目在Web服務組合可靠性建模與...
在此背景下系統地研究面向服務Web套用中的服務組合與進化問題將具有重要意義。(1)對服務需求,建立服務需求業務模型和結構化視圖;進行不確定服務需求分析,構建可度量服務需求空間、機率分布函式。(2)在提高Web服務發現效率及有效性方面,...