發(fā)布時間：2018-03-29 07:59

  本文選題：模糊時序petri網(wǎng)　切入點：服務(wù)依賴關(guān)系　出處：《沈陽理工大學(xué)》2015年碩士論文

【摘要】：我國擁有世界上最豐富的制造業(yè)資源,但我國的制造業(yè)所使用的粗獷的制造方式卻極大的限制了制造業(yè)資源的利用率。但“物聯(lián)”嚴(yán)重不足的情況導(dǎo)致了大量制造企業(yè)資源閑置,如何匯聚全球制造資源與能力實現(xiàn)優(yōu)化配置成為一個亟待解決的問題�？茖W(xué)家們借鑒云計算思想提出了云制造概念,本文對云制造技術(shù)進行了深入的研究,能夠?qū)υ浦圃旆⻊?wù)進行合理的組合并精簡,可以極大改善我國制造業(yè)資源得不到充分利用的問題。本文使用模糊時序petri網(wǎng)來描述和研究云制造服務(wù)組合方法,論文主要工作如下:第一,提出了基于權(quán)值函數(shù)來調(diào)節(jié)可信度原值和統(tǒng)計可信度值的云制造服務(wù)Qos可信度計算方法。該方法可以保證在服務(wù)注冊的可信度較快速且平滑的收斂于真實可信度,能夠很好的避免基于統(tǒng)計的Qos可信度計算方法前期波動較大的問題。第二,在介紹了云制造服務(wù)之間基于模糊計算的基本的依賴關(guān)系的基礎(chǔ)上,提出了基于云制造服務(wù)基本依賴關(guān)系的服務(wù)依賴關(guān)系圖生成算法。該算法明確定義了服務(wù)的各種基本依賴關(guān)系,可以更加精確的把所有的云制造服務(wù)有機的結(jié)合在一起形成一張巨大的服務(wù)依賴關(guān)系圖。第三,提出了基于時序petri網(wǎng)的服務(wù)組合驗證算法。在正反向推理后,如果算法成功返回會得到一個服務(wù)依賴關(guān)系子圖,驗證算法利用時序邏輯來準(zhǔn)確的描述子圖的流程,并用時序邏輯推理這個嚴(yán)謹(jǐn)?shù)臄?shù)學(xué)方法來對子圖檢驗是否存在死鎖進而判斷子圖的活性和可達性,保證服務(wù)流程的正確性。
[Abstract]:China has the most abundant manufacturing resources in the world. However, the rough manufacturing methods used in China's manufacturing industry have greatly restricted the utilization of manufacturing resources. However, the serious shortage of "material connection" has led to a large number of manufacturing enterprises' resources being idle. How to pool global manufacturing resources and capabilities is an urgent problem to be solved. Scientists put forward the concept of cloud manufacturing based on cloud computing, and the cloud manufacturing technology is deeply studied in this paper. The method of cloud manufacturing service composition can be described and studied by using fuzzy time series petri net, which can greatly improve the problem that the manufacturing resources in our country are not fully utilized. The main work of the thesis is as follows: first, In this paper, a new method for computing the reliability of cloud manufacturing services (Qos) based on weight function is proposed, which adjusts the original and statistical confidence values of cloud manufacturing services. This method can ensure that the reliability of service registration can converge to the real credibility quickly and smoothly. It can avoid the problem that the Qos reliability calculation method based on statistics is volatile in the early stage. Secondly, based on the introduction of the basic dependencies between cloud manufacturing services based on fuzzy computing, A service dependency graph generation algorithm based on the basic dependency relationship of cloud manufacturing services is proposed, which clearly defines all kinds of basic dependencies of services. All cloud manufacturing services can be combined to form a huge service dependency graph. Thirdly, a service composition verification algorithm based on temporal petri nets is proposed. If the algorithm returns a service dependency subgraph successfully, it verifies that the algorithm uses temporal logic to accurately describe the flow of the subgraph. The rigorous mathematical method of temporal logic reasoning is used to check the existence of deadlocks on subgraphs to determine the activity and reachability of subgraphs and to ensure the correctness of service flow.
【學(xué)位授予單位】：沈陽理工大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2015
【分類號】：TP393.09;TP301.1

【參考文獻】

相關(guān)期刊論文 前7條

1 曹利培;孔娟;劉靜;;Web服務(wù)組合形式化驗證方法研究[J];計算機工程與應(yīng)用;2009年25期

2 戰(zhàn)德臣;趙曦濱;王順強;程臻;周學(xué)權(quán);聶蘭順;徐曉飛;;面向制造及管理的集團企業(yè)云制造服務(wù)平臺[J];計算機集成制造系統(tǒng);2011年03期

3 沈斌;齊黨進;樊留群;Horst Meier;;基于面向服務(wù)體系結(jié)構(gòu)的制造企業(yè)協(xié)同化工程支持技術(shù)[J];計算機集成制造系統(tǒng);2011年04期

4 羅永亮;張霖;陶飛;張雪松;任磊;;云制造模式下制造能力建模關(guān)鍵技術(shù)[J];計算機集成制造系統(tǒng);2012年07期

5 李京生;王愛民;唐承統(tǒng);盧治兵;;基于動態(tài)資源能力服務(wù)的分布式協(xié)同調(diào)度技術(shù)[J];計算機集成制造系統(tǒng);2012年07期

6 劉衛(wèi)寧;劉波;孫棣華;;面向多任務(wù)的制造云服務(wù)組合[J];計算機集成制造系統(tǒng);2013年01期

7 李研;周明輝;李瑞超;曹東剛;梅宏;;一種考慮QoS數(shù)據(jù)可信性的服務(wù)選擇方法[J];軟件學(xué)報;2008年10期

，

本文編號：1680242