基于蚁群系统WDM网络受限组播路由算法

通过在蚂蚁选路的概率中加入成本因素,只增加优秀路径上的信息素,实现了对现有蚁群算法的改进,加快了其收敛速度。将改进的蚁群优化算法与分层图相结合,提出了一种构造时延受限的最小代价组播树的并行算法。

概率非否认协议的模型检测分析

基于概率模型检测技术,建立了需要保证ε-公平性的非否认协议的概率模型,根据不同行为将主体建立有限状态机模型。使用概率模型检测器PRISM,验证了概率非否认协议的有效性、公平性和时限性。在恶意实体能力和网络环境等不同情况下,分析了破坏协议公平性的概率。