论文部分内容阅读
给出了广义随机着色Petri网（GSCPN）和基于GSCPN的Web服务模型,实现了Web服务QoS和数据的表示,并给出了基于GSCPN的服务组合运算方法。用模型的层次化方法来降低模型的复杂性,一定程度上减轻了模型状态爆炸问题。分析了组合运算的性质,探讨了模型的性质和QoS分析方法。
基于广义随机着色Petri网的Web服务组合模型
【摘 要】
：
给出了广义随机着色Petri网（GSCPN）和基于GSCPN的Web服务模型,实现了Web服务QoS和数据的表示,并给出了基于GSCPN的服务组合运算方法。用模型的层次化方法来降低模型的复杂性,一
【机 构】
：
上海对外贸易学院商务信息学院,华东理工大学计算机科学与工程系
【出 处】
：
计算机科学
【发表日期】
：
2012年4期
【基金项目】
：
国家自然科学基金（60473055 60773094）, 上海市曙光计划（07SG32）, 上海市高校“085工程”项目, 上海市教委科研创新项目（12ZS170）资助
其他文献
压缩感知理论是一种全新的信息处理方式，是近来国际上热门的研究方向，在信号处理等其他领域中具有很好的应用前景。结合压缩感知理论和传统的视频编解码技术，设计提出了一种基于
提出了一种基于形态学的OCT图像的边缘检测方法,即对原始图像预处理,增加图像的对比度和边缘特性,使用形态学腐蚀和膨胀两个基本算子进行,选取了合适的结构元素,最后采用canny算法提取边缘。实验结果表明,经过改进的数学形态学方法处理的图像边缘特性的提取效果显著增强,且效率高、处理速度快。与经典的边缘检测算子和传统形态学边缘检测算法相比,该算法优势更加明显,边缘提取质量显著提高,且速度有显著提升。
云环境下独立任务包数据密集型应用已出现在多个领域。鉴于多数据中心环境和＂按需付费＂的资源使用模式,这类应用在数据选择方面面临着新的挑战,主要表现为如何从内容相同但位置
针对IP路由器的FIB（Forwarding Information Base）极限问题和分布式IP地址查找中的通信延迟问题,提出了SD-Torus（Semi-Diagonal Torus）直连网络。按照＂临近存储＂的原则,将路由表划
通过数据概化，在多维属性的属性值概念分层上构造少量的具有抽象语义的元组来替换大量具有详细语义的原始元组，从而汇总数据表，这称作表语义汇总。给定原始数据表及其多维属性的
针对汽车GPS通信系统在近距离定位上的精度问题,设计了一种近距离高精度定位辅助系统,并实现了周围汽车高效实时的通信。该系统利用超声波测距技术获得汽车之间的距离,并计算相对角度。通过有效的通信初始化算法与动态更新算法,将此数据与设备通信地址进行绑定,生成完整的节点信息。对节点信息进行处理,实时构建汽车周围环境的二维平面图,从而实现汽车近距离选择性通信的目的。
在复杂环境下,由于行人密度大以及运动随机性,导致运动目标(行人)难以检测和跟踪,造成人员计数误差。提出一种MB-LBP(Multi-scale Block Local Binary Pattern)特征提取和粒子滤波相结合的运动目标检测与跟踪算法来解决此问题。该算法首先用AdaBoost提取MB-LBP特征训练生成分类器进行人头检测,并根据人头目标尺寸变化范围去除部分误检,然后用改进的粒子滤波算法
在分析电子战系统和电子战交战过程的基础上,采用对象、类、类型层次式的方法,首先概括电子战系统中的实体、状态、属性、关系等要素,然后提出电子战系统的本体论,最后将本体
机载航空电子系统设计采用综合化系统体系结构,可实现计算系统及其计算资源和计算设施的＂物理集成＂;以及机载嵌入式软件系统的＂功能集成＂;提供对系统计算功能的动态配置管理和实
访问控制模型定义了安全系统访问控制的整体框架。现有的访问控制模型大多是静态授权模型,尽管可以通过扩展来实现局部动态性（比如可以通过定义条件来实现角色的临时激活等）,但