论文部分内容阅读
提出了一种基于随机Petri的服务组合间可协调性研究方法。首先,给出了服务以及服务系统的定义;然后,在服务以及服务组合可协调性定义的基础上给出了可协调行分析算法;最后,以一个电子物流系统为例,在随机Petri网建模的基础下给出了服务组合间的可协调性研究方法。
基于随机Petri网的服务组合可协调性研究
【摘 要】
：
提出了一种基于随机Petri的服务组合间可协调性研究方法。首先,给出了服务以及服务系统的定义;然后,在服务以及服务组合可协调性定义的基础上给出了可协调行分析算法;最后,以
【机 构】
：
北京科技大学信息工程学院,清华大学计算机系
【出 处】
：
计算机科学
【发表日期】
：
2010年11期
其他文献
目的探讨结直肠癌肿瘤干细胞标志物CD133分子的表达与细胞周期蛋白表达有无关系,分析肿瘤CD133分子的表达变化是否影响血清肿瘤标志物癌胚抗原的水平。方法应用流式细胞术检
通过分析网格相关技术、制造网格国内外研究现状，对制造网格和网络化制造若干方面进行了对比，提出了制造网格的内涵，并对其在狭义和广义两个方面进行了详细阐述，进而提出狭义制造
业务流程的复用即利用已有的业务流程或者业务知识等建立新的流程模型,是工作流技术研究的一个热点。业务流程的复用能够降低流程定义的复杂度,提高流程定义的质量和效率。为
为揭示复杂系统中的结构与功能之间的联系,复杂网络中的社团发现成为一项最基本的任务。最近,李等人提出了一种用来评估社团质量的函数,称之为模块密度函数（即D值）,并利用一个
粒子群优化算法的局部搜索能力较差,搜索精度不够高,容易陷入局部极小解,且搜索性能对参数具有一定的依赖性。本文针对这些缺点,在借鉴遗传算法中杂交概念的基础上,进一步通
个人辅助agent是一种能够帮助用户解决工作环境中特定任务的认知agent。为个人辅助agent设计了一种记忆机制,用于表示和组织个人辅助agent的记忆。受基于案例推理思想的启发,
随着P2P网络、Ad hoc、无线传感器网络的深入研究，信任和信誉成为保障这类自治网络安全的一个重要手段。虽然信任信誉系统在自治网络中起到了重要的作用，但其采用了间接推荐等
随着无线传感器网络、GPS等技术的广泛应用,产生了易变数据这种区别于传统静态数据的新型数据类型,对数据处理方法提出了新的要求。在移动计算环境中,数据广播是一种有效的数据访问方式。针对易变数据的特点提出数据平均不确定率的概念并在此基础上提出一种易变数据在线广播调度策略CEDB-M。仿真实验表明该策略在无传输差错发生、有传输差错发生和多信道广播条件下在获得较优的访问延迟的同时有效降低通过广播读取易变数
模型检查实际程序设计语言编写的程序是近年来程序验证领域的研究热点之一，出现了一批针对C，C＋＋或Java语言的程序模型检查器原型。总结了程序模型检查中的主要问题及相关技术，以是
针对现有目标定位求解算法推导复杂和自适应粒子群算法仍存在收敛速度慢、计算量大的缺点,提出了一种基于速度自适应和变异自适应融合的改进粒子群算法。该算法在速度自适应