论文研究基于有色Petri网的web服务组合建模与研究 .pdf

提出了一种基于二维平面靶标的标定点匹配方法。该方法规定靶标中标定点由外向内螺旋排序，靶标图像中通过图像处理方法提取出来的标定点遵循同样的排序规则进行排序，按照标定点排序序列对其进行匹配。通过仿真实验和

一种基于Petri网的现场总线建模方法，杨晓川，郭磊，对于复杂的协议机制，其中协议形式化描述是技术难点所在点所在。Petri网是一种离散系统的建模与分析工具，在网络协议描述方面有良�

论文研究-基于多色Petri网的产品开发过程建模.pdf,  为了更好地描述产品开发过程,支持产品开发过程管理和优化,提出

基于Petri网的数字系统的建模及其硬件实现方法已经得到了广泛的研究，然而现有的方法主要适用于同步电路，由此提出了一种基于Petri网的数字系统建模和VHDL实现的新方法。首先定义了一种广义同步自控网

防空反导作战系统是一个复杂的军事系统，具有同步、并发、冲突等特点。应用着色Petri网技术对联合反TBM作战系统进行建模，符合联合反导作战系统的特点，能够有效地分析联合反导作战系统的静态结构和动态行为

分析了服务间的组合语义和QoS语义，研究了组合服务的发现与选择过程，并提出了高性价比的服务推荐原则。在组合服务的描述中借鉴了进程代数的思想，对顺序组合、选择组合和并发组合等语义进行了刻画，这些语义是服

提出了一种支持Web服务动态组合的框架,并在此基础上对Web服务组合中的服务优化选择问题建模,根据用户设置的QoS约束条件,将服务优化选择问题分成3类,并分别给出了相应的服务选择算法。实验证明算法在保

Web服务组合的目的是实现单一服务无法满足的复杂功能，而保证组合的正确性以实现服务增值是十分必要，因此组合之后的正确性验证是Web服务组合的一个重要研究方向。从Web服务交互行为方面描述多Web服务组

云计算环境下服务组合具有规模大、复杂性高、失效类型多以及资源动态变化等特征，因此安全、可信的服务组合方案是云环境下海量服务资源灵活部署、按需提供的最大挑战。对区块链共识机制、智能合约及可编程特征进行深

随着Web服务的日益丰富，如何动态地从大量候选服务集中选择出整体性能高的组合服务已成为服务组合优化领域亟待解决的问题。为稳定、高效地解决大数据集下的服务组合问题，提出一种柯西烟花算法。该算法在搜索过程