基于时间Petri网的工作流模型分析

下载全文  总被引：27，自引：5，他引：27

工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的… …   相似文献

李慧芳  范玉顺 《软件学报》2004,15(1):17-26

网格数据复本管理的动态自适应软件体系结构

下载全文  总被引：3，自引：0，他引：3

单一策略的复本管理不能适应网格系统复杂、多变的环境.提出了软件体系结构驱动的动态自适应数据复本管理架构DSA-RM.在该架构中,软件体系结构描述作为核心元素被整个数据网格运行环境共享,适用于不同应用环境和虚拟组织的数据复本管理策略则可以按照描述规则封装为构件.DSA-RM以该描述… …   相似文献

陈磊  李三立 《软件学报》2006,17(6):1436-1447

动态骨架算法

下载全文  总被引：26，自引：0，他引：26

骨架是表示物体形状的一种有效形式.基于距离变换的骨架求解算法得到的骨架尽管准确光滑,但必须仔细地检查其连续性;而当骨架的结构较为复杂时,这种连续性检查会变得非常困难.结合Thinning技术和Snake模型,提出了一个平面二值图的动态骨架算法.首先利用Thinning技术生成连续… …   相似文献

车武军  杨勋年  汪国昭 《软件学报》2003,14(4):818-823

谓词μ演算和模态图的语义一致性

下载全文  

模态图是谓词μ演算的一种有效的图形表示形式.证明了谓词μ演算和模态图的语义一致性,详细讨论了谓词μ演算公式、嵌套谓词等式系和模态图之间的关系,并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法.  相似文献

刘剑  林惠民 《软件学报》2003,14(10):1672-1680

基于特征聚类的路由器异常流量过滤算法

下载全文  总被引：7，自引：3，他引：7

基于当前入侵检测技术在检测到攻击的情况下没有良好的反应策略过滤攻击流量这一问题,提出了基于攻击流量特征聚类的特征提取算法AFCAA(anomaly traffic character aggregation algorithm).针对一般DOS(denial ofservice)… …   相似文献

孙知信  唐益慰  张伟  宫婧  王汝传 《软件学报》2006,17(2):295-304

P2P网络搜索技术

下载全文  

随着P2P技术的蓬勃发展,作为P2P应用中核心的搜索技术成为研究人员关注的焦点.P2P网络的搜索技术与其结构有着密切联系,不同网络体系结构下的搜索技术各不相同.介绍了P2P技术近几年的研究进展,阐述了目前P2P系统中不同结构下核心搜索算法,探讨了P2P搜索技术的发展方向.… …   相似文献

王婕  王亚美  廖婧  赵婧文 《计算机系统应用》2013,22(1):13-15,47

基于分数余弦变换的数字图像水印算法

下载全文  

提出了一种基于分数余弦变换的数字图像水印算法。采用二值图像作为水印信息,作加密处理后,将其自适应地嵌入到变换域中一个幅值较大的系数上。实验结果表明这种算法可以很好的保持图像的质量,并且对常见的图像处理如噪声叠加、JPEG压缩、均值滤波、图像缩放以及图像裁剪等具有较强的鲁棒性。… …   相似文献

张永亮  李凌  张先庭 《计算机系统应用》2008,17(4):51-54

基于小波概要的并行数据流聚类

下载全文  总被引：1，自引：0，他引：1

许多应用中会连续不断产生大量随时间演变的序列型数据,构成时间序列数据流,如传感器网络、实时股票行情、网络及通信监控等场合.聚类是分析这类并行多数据流的一种有力工具.但数据流长度无限、随时间演变和大数据量的特点,使得传统的聚类方法无法直接应用.利用数据流的遗忘特性,应用离散小波变换,分层、动态地维护每个数据流的概要结构.基于该概要结构,快速计算数据流与聚类中心之间的近似距离,实现了一种适合并行多数据流的K-means聚类方法.所进行的实验验证了该聚类方法的有效性.… …   相似文献

陈华辉  施伯乐  钱江波  陈叶芳 《软件学报》2010,21(4):644-658

基于重写技术的程序开发与验证

下载全文  总被引：2，自引：0，他引：2

完整地介绍了一个基于重写技术的程序开发和验证系统,重点展示验证子系统的理论、方法 和技术.验证子系统使得系统能自动证明程序和规范中的优化规则及测试等式,从而进一步保 证程序开发过程的正确性.验证子系统所采用的主要技术是以成批证明方法和证据测试集为 特色的重写归纳方法.  相似文献

孙永强  陆朝俊  邵志清 《软件学报》2000,11(8):1066-1070

基于人机互动系统情感分析计算研究

下载全文  

由于人的情感包含大量的信息,特别是面部的表情与手势图像中存在大量干扰信息,造成了情感计算正确率下降,为此提出了一种从用户的面部表情与手势中系统地分析情感线索的方法。对面部表情与手势进行分析是感情丰富的人机交互系统的基本组成部分,采用非语言线索算法来判断用户的感情状态。从图像序列中… …   相似文献

杨杰  赵强 《计算机应用研究》2012,29(7):2763-2765