随机高级Petri网在异构系统中的应用

传统的随机高级Petri网(Stochastic high-level Petri nets,SHLPNs)通过将多个同构子系统压缩成一个子系统,并将具有相同标记分布的多个标识压缩成一个标识(复合标识),从而有效地减小模型规模和状态空间.但该方法仅适用于若干同构子系统组成的系统中,本文将这种方法扩展,通过引入非对称的变迁实施谓词和扩展的复合标识,精确地模型并分析异构系统,同时也保持了SHLPNs在化简模型和状态空间方面的优越性.     

基于IP网络的动态部分缓冲共享方案

本文基于IP网络提出了一种分组丢弃控制方案——动态部分缓冲共享.和已有的静态部分缓冲共享方案相比,新方案根据分组丢弃行为对控制阈值进行动态调整,从而对网络流量的变化具有更优的适应性.同时新方案也避免了复杂的阈值设置问题,任意设定的初始阈值都不会影响系统稳态性能.实验结果显示,新方案可以保证稳定的相对丢失率性能,并且在相同的流量条件下比原有方案具有更低的抖动延迟.     

基于HBM算法的高速反蠕虫引擎的设计实现

基于网络处理器的特点,提出了一种新的多模匹配算法HBM算法。在Intel网络处理器IXP2400上,设计实现了高速反蠕虫病毒引擎。实验表明,引擎达到了千兆以太网的性能要求,具有较好的实际应用价值。     

多服务器多队列系统调度方案的性能分析

本文讨论了多服务器多队列系统的调度、选择控制方案,并提供了这些方案的随机Petri网模型.这篇论文强调这些方案的设计和性能分析.为了掌握这类系统调度、选择控制方案的设计,我们讨论了方案性能优劣性的成因.本文的多服务器多队列系统模型、调度和选择控制方案和性能分析技术可以应用于这类系统的性能评价.     

一种区分服务综合方案的模型与性能分析

本文提出了一种将Internet网络分组传输延时和丢失控制的区分服务要求相结合的综合方案,它具有较强的通用性和灵活性.文章给出了PHB实现机制的一种基于随机Petri网模型的分析框架,并给出了性能指标的分析和数值结果.模型求解采用了一种分解、迭代的近似方法,可以有效降低求解复杂度.近似分析结果和模拟结果的比较证明,这种近似求解方法是可行的.     

基于随机Petri网的网络可信赖性分析方法研究

随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网络系统可信赖性建模分析的方法和步骤,着重研究了随机Petri网描述系统的服务失效模型和容错模型,并给出了网络系统可信赖性分析中主要指标的计算方法.最后对于应用随机Petri方法分析网络系统可信赖性时存在的问题以及研究现状作了分析和总结,并对今后研究的方向进行了展望.     

基于空间优化的决策树算法

通过增加一些规则来最终减少规则转换的冗余问题,并设计一种算法实现这种优化.在优化后的规则库、单维上用决策树方法查找,结果以位向量的方式存放,保持了算法的高速度,同时有效地节省了空间.     

基于Intel网络处理器的路由器队列管理: 设计、实现与分析

通过设计并实现的基于Intel网络处理器(IXP1200)和相对区分服务模型的队列管理服务模块和一种新的缓冲管理算法DPBS(Dynamic Partial Buffer Sharing),研究了系统同步、线程的任务分配、队列管理基本操作等几个关键问题。     

使用Petri网T－不变量求解子句的逻辑推论

本文研究了子句逻辑规则的Ｐｅｔｒｉ网模型的表示及使用Ｐｅｔｒｉ网分析方法进行逻辑推论．基于四值逻辑和冲突变迁的概念，表示了非Ｈｏｒｎ子句Ｐｅｔｒｉ网模型的构造，并使用Ｔ－不变量方法解决于句推论问题．另外，本文还显示了向前推论和向后推论在子句Ｐｅｔｒｉ网模型中的应用．     

基于完成时间的任务分配方案与性能分析

网络计算的迅速发展对网络资源的调度问题提出了新的挑战,用户对于服务质量的要求越来越高．大规模的复杂系统,如何能在现有硬件资源的基础之上提高整个系统的响应时间和吞吐量是当前的一个研究热点．基于完成时间的任务分配方案（SEF,OSEF）,以多服务器多队列模型为基础,通过这种方案与现有方案之间的性能比较和分析,利用随机Petri网进行模拟实验,结果表明这种方案是高效可行的．