暂无评论
针对在描述可重构服务承载网(RSCN)差异化服务需求时无法定量描述其安全属性的问题,提出了一种RSCN可生存性模型。模型基于随机Petri网构建,首先构建RSCN的非马尔可夫随机Petri网模型,再基
为了解决BPEL组合服务的正确性保证问题，提出一种基于Petri网改善组合服务的正确性的集成方法。提出将BPEL程序转换成由PNML表示的Petri网的规则，实现由BPEL程序转换成Petri网和基于
基于Petri网和逻辑Petri网，提出了S-组合逻辑Petri网的概念。深入研究了S-组合逻辑Petri网的活性继承问题，给出了S-组合逻辑Petri网活性的判定定理和算法，并分析了S-组合网中几种
论述基于Petri网的Socks协议分析，通过对Socks协议的分解，给出了Socks协议各阶段的流程，并建立相应的Petri网模型，从而完成对Socks协议运行机制和实现原理的分析。
通过分析西安宽带多媒体城域网主要流量源以及骨干链路流量的特征，提出了基于概率密度分布的城域网流量的总体描述，刻画了流量聚合过程的一般规律。采用统计学理论分析了城域网上典型流量聚合过程，揭示了城域网流量
讨论了最大速度恒定连续Petri网（CCPN）的分解方法以及如何通过子网分析得到原网的性质。首先给出基于库所归属的分解方法，实现了CCPN的分解。为了保证通过子网分析原网的正确性，对合成网的动态不变性
无线局域网安全机制研究与分析，史云志，孙礼，本文重点介绍了无线局域网中采用的主要安全机制：WEP(WiredEquivalentPrivacy)、TKIP(TemporalKeyIntegrityPr
SDH网络的常见网元,很基础的材料,需要的可以下载
讨论基于自动机/形式语言模型的离散事件系统（DES）的可测性问题。可测性即为根据系统的可观事件和状态输出的信息估计系统的当前状态。定义了四种可测性：强可测性，弱可测性，强周期可测性，弱周期可测性。给出
码率控制是视频压缩编码技术的一个重要部分。在许多应用中，视频序列都要求在恒定比特率的信道中传输，而压缩后的视频序列中的数据量通常是变化的，因此，需要通过码率控制技术来解决。对JVT-G012提案中的码
暂无评论