排序方式: 共有41条查询结果,搜索用时 15 毫秒
1.
提出了一种可以缓解状态空间爆炸的抽象原则,对模型设计过程中的辅助变量、报文字段、自动状态机数量进行科学约简,在尽量不影响验证结果准确度的前提下,降低了模型的复杂度.在此基础上,提出了一种半自动化建模框架,只需用户提供少量必须的输入,不需要学习语法,就可以自动生成具有统一规范的模型,方便研究人员查阅和使用.实验结果表明,采用所提的抽象原则和半自动化建模框架创建的模型,可以验证网络协议的相关属性. 相似文献
2.
圈构造算法是Mesh光网络中p圈法设计的前提。根据简单p圈的特点,针对圈构造算法问题,提出将原来圈上边变为跨接边的图扩展算法。该圈扩展算法构造的圈具有保护性能优良,并且包含所有原来的圈上的点。在圈扩展算法和Local-map概念的基础上提出了基于Local-map的p圈启发式算法,该算法在Local-map中运行固扩展算法,这样既能提高p圈的保护性能,又能使p圈位于局域范围内,保证快速恢复。对比分析Local-map和DFS两种找圈算法的实验结果,该方案构造的圈恢复速度快,容量利用率高,比较适合网状光网络中的p图设计。 相似文献
3.
WDM光网络中一种不共享风险的路由算法 总被引:1,自引:0,他引:1
在共享风险链路组的约束下,提出了一种共享路径的联合路由算法。该算法使用一种新的K对路由来选择最小代价的工作路由和风险分离的保护路由对。仿真表明,该算法能启发式地接近最佳性能,并能在资源利用率、阻塞率和保护切换时间之间进行性能折中。 相似文献
4.
5.
在WDM光网络中,物理层上存在使信号传输质量恶化的因素,当信号质量劣化到一定程度会导致连接失败,因此有必要在选路和波长分配RWA(Routing and Wavelength Assignment)算法中考虑物理层的传输损伤。连接公平性问题是指网络中长路径连接请求的阻塞率表现比短路径差,文中分析传输损伤约束的引入对连接公平性的影响,提出基于传输损伤的动态RWA算法:固定波长配额FWQ(Fixed Wavelength Quota)算法和非固定波长配额UFWQ(UnFixed Wavelength Quota)算法。 相似文献
6.
7.
8.
研究了WDM网中双故障导致的多链路失效问题,提出了一种共享子通路保护算法。共享子通路保护为每条业务请求计算一条最短的工作路由,并为工作路由上每段子通路各计算两条共享风险链路组分离且代价最小的保护路由。仿真表明,共享子通路保护不仅能有效地保护双故障导致的多链路失效,而且能在资源利用率(阻塞率)和保护切换时间之间进行性能折衷。 相似文献
9.
研究了具有抗毁性能的波分复用光网络中的子通路保护路由算法问题,提出了一种递归式子通路保护算法,目的在于引入一种更为灵活有效的方法来对工作通路进行分段,并为各个工作子通路计算相应的保护子通路,算法中采用了递归的思想来计算工作子通路和保护子通路.相比传统的等分子通路保护算法,该算法能够在故障恢复时间和波长资源利用率两者之间取得更好的折衷。 相似文献
10.
本文研究了WDM网状网中双链路失效的动态共享链路保护设计问题,提出了一种新的启发式算法TBP (Two Backup Paths) 和一种改进的启发式算法OBP (One Backup Path).两种保护算法都能根据当前网络状态动态地动态调整链路代价,所选路由都是最小代价的路径.文本还研究了双链路失效的保护切换时间,详细描述了保护切换过程.仿真表明,(1)两种算法都能有效地保护双链路失效;(2)TBP的性能优于OBP;(3)与其他算法相比,TBP具有最快的保护切换时间. 相似文献