模糊时序Petri网服务组合方法研究

发布时间：2018-03-29 07:59

本文选题：模糊时序petri网　切入点：服务依赖关系　出处：《沈阳理工大学》2015年硕士论文

【摘要】：我国拥有世界上最丰富的制造业资源,但我国的制造业所使用的粗犷的制造方式却极大的限制了制造业资源的利用率。但“物联”严重不足的情况导致了大量制造企业资源闲置,如何汇聚全球制造资源与能力实现优化配置成为一个亟待解决的问题。科学家们借鉴云计算思想提出了云制造概念,本文对云制造技术进行了深入的研究,能够对云制造服务进行合理的组合并精简,可以极大改善我国制造业资源得不到充分利用的问题。本文使用模糊时序petri网来描述和研究云制造服务组合方法,论文主要工作如下:第一,提出了基于权值函数来调节可信度原值和统计可信度值的云制造服务Qos可信度计算方法。该方法可以保证在服务注册的可信度较快速且平滑的收敛于真实可信度,能够很好的避免基于统计的Qos可信度计算方法前期波动较大的问题。第二,在介绍了云制造服务之间基于模糊计算的基本的依赖关系的基础上,提出了基于云制造服务基本依赖关系的服务依赖关系图生成算法。该算法明确定义了服务的各种基本依赖关系,可以更加精确的把所有的云制造服务有机的结合在一起形成一张巨大的服务依赖关系图。第三,提出了基于时序petri网的服务组合验证算法。在正反向推理后,如果算法成功返回会得到一个服务依赖关系子图,验证算法利用时序逻辑来准确的描述子图的流程,并用时序逻辑推理这个严谨的数学方法来对子图检验是否存在死锁进而判断子图的活性和可达性,保证服务流程的正确性。
[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.
【学位授予单位】：沈阳理工大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TP393.09;TP301.1

【参考文献】