分布式工作流管理系统中的一种资源搜索策略

针对分布式工作流管理系统中的资源搜索问题，提出一种新的搜索策略。该方法利用聚类算法将网分簇管理，使得查找过程中的逻辑拓扑和物理拓扑相互匹配，在此基础上采用结合了兴趣度的蚁群算法提供查找线索。实验表明，该方法提高了工作流引擎服务的整体响应时间，在查找成功率、平均响应时间和平均消息数上较泛洪查找和传统蚁群算法都更具优势。     

混合内容分发网络的流媒体监控系统研究与实现

介绍一种应用于视频监控系统的混合内容分发网络HyCDN.该网络结合了CDN和P2P的互补优势,将P2P扩展性强的优点结合到稳定的CDN架构中.混合网络的域间利用边缘服务器相对稳定的特点结合了P2P应用层组播的树型分发技术;混合网络域内的逻辑拓扑的构造则是糅合了P2P树状拓扑和随机拓扑的特点,改善了节点动态性引发的问题并降低终端用户观看视频的延迟.文章详细阐述了在混合网域间和域内的技术思路和处理流程以及缓冲区的管理技术.利用仿真实验对系统的有效性进行分析.实验表明,该网络既克服了树状拓扑结构中节点动态性带来的数据传输延迟大的缺点,又较随机拓扑结构减少了控制开销.     

空标识可再生网的运算和性质分析

Lautenbach等人曾给出了一般网空标识可再生 (reproducibility of the empty marking)的充要条件,证明了一个网是空标识可再生的,必须存在含有源(fact)和汇(goal)变迁的非负T-不变,且由该T-不变所组成的变迁外延子网既不含有死锁(siphon),也不含有陷阱(trap).扩展了这个结论,证明了经合成、插入、删除、替换等运算后的网仍保持空标识可再生性.还进一步证明了空标识可再生网的逆网也是空标识可再生的;无环空标识可再生Horn网的T-不变一定可实现;一个含有源和汇变迁的无环P/T网是空标识可再生的,当且仅当其被T-不变所覆盖.这些结论可为复杂的逻辑推理及工作流逻辑网的畅通性检测提供更为有效的方法,最后给出了相应的算法.     

工作流网的混或检测和预防策略

独立的冲突和并发在基于Petri网的工作流建模中分别起到进程选择控制和保持系统高效执行的作用.但非独立的冲突和并发会导致不完整和不确定的冲突行为使得系统的冲突行为分析变得困难.这种现象被称为混或并经常出现在工作流网中.首先,将混或形式化为具有冲突和并发限制的一类特殊的标识子网,通过分析子网特征提出混或检测算法.其次,构建了基于广义互斥约束的混或预防监控器设计方案.最后,用一个工作流网实例对提出算法进行仿真,仿真结果表明,提出的方法能够有效地在工作流网中检测和预防混或.     

基于工作流网的银行业务库高安全门禁系统

银行业务库门禁系统是一种对安全要求极高的出入口控制系统,作为业务库的第一道安全防线,该系统比普通门禁拥有更多的约束条件、更复杂的流程。先对比普通门禁和业务库门禁系统,由此引出定理合理的工作流网中加入约束后仍然是合理的工作流网。然后通过工作流网对普通门禁和业务库门禁系统进行了系统模型的建立,再采用YAWL Editor工具分析了所构建系统的正确性,最后使用软硬件协同设计的方法改进并实现了业务库门禁系统。实验结果验证了定理的正确性,同时表明基于工作流网的方法有效降低了门禁系统的设计难度,并在具体实现之前确保了设计的正确性,提高了系统的开发效率。     

基于P2P的自组织网络路由算法研究*

针对传统的P2P采用泛洪的信息传输方式,网络带宽开销耗费较大,而结构化P2P覆盖网又难以在开销和效率方面做到较好的权衡。根据网络的动态性,有效地建立起一个可分层的树型自治系统,详细描述了该系统的构建目标和体系结构,并基于P2P计算模式动态构建该模型,给出相应的路由发现和更新算法。在理论及仿真实验的基础上对该路由模型的性能进行了验证。结果表明,该网络是一种可运行于任何环境,不受限于系统规模大小、节点能力强弱、节点出入频率,可通过动态调节保证路由效率的广域分布式系统。     

基于Petri网的网上股票交易系统模拟与验证

给出了基于时序Petri网下的网上证券交易系统,其模型过于复杂。由于Petri网本身很强的模拟能力,本文用P/T_系统,模拟了证券交易所的网上证券交易系统,进而用S-不变等方法对其进行了验证。     

发送-接收问题的Petri网建模与验证

发送者-接收者(S-R)问题可以看作处理共享通道一个有代表性的问题.通过对文献[1]中模型的分析,结合Petri网的特点和网络环境下的系统,给出了一个实用性更强、功能扩展的Petri网模型.该模型允许外部环境加以控制,允许接收者强制取消接收以及发送者(接收者)按定量模式工作,可解决远程控制,流量控制,提高在实际网络环境中的通信质量.建立与Petri网模型相关联的关联矩阵,并使用关联矩阵对模型进行了验证.     

Petri网与蚁群算法在CDN网络路由中的应用

CDN让用户以最快的速度从最近的地方获得所需的信息,它对QoS路由提出了更高的要求,单纯的采用蚁群算法或是依靠Petri网模型中变迁发生寻径的方法都不能较好的解决CDN路由问题。基于稳定的CDN网络构建图状拓扑结构,提出了一种将Petri网与蚁群算法相结合,考虑多个路由限制的优化QoS路由算法。实验仿真表明,该算法能有效地求解CDN网络中的路由问题。