论文部分内容阅读
协议的形式化建模有助于提高其一致性测试集的自动化生成与完备程度，在分析BGP4＋协议的基础上。提出了适用于复杂路由协议形式化建模的混合模型建模法，并基于有限状态机与SDL两种形式描述技术完成了该协议的形式化建模。
基于多协议扩展边界网关协议BGP4＋的形式化建模研究
【摘 要】
：
协议的形式化建模有助于提高其一致性测试集的自动化生成与完备程度，在分析BGP4＋协议的基础上。提出了适用于复杂路由协议形式化建模的混合模型建模法，并基于有限状态机与SDL两
【机 构】
：
深圳大学现代教育技术与信息中心
【出 处】
：
计算机系统应用
【发表日期】
：
2006年12期
其他文献
目的：探讨采用全膝关节表面置换术（TKA）治疗晚期骨关节炎的手术方法和临床疗效。方法：对90例晚期骨关节炎患者采用TKA治疗,手术前和手术后2周分别进行膝评分和膝功能评分,评价手
为了使企业WEB应用能够支持全球客户，软件开发者应该开发出支持国际化的WEB应用。本文讨论了J2EE平台下WEB应用国际化中的字符编码问题，并给出了比较完整的解决方案。
本文介绍了LMDS系统的基本组成,并对该系统的应用特点和技术特点加以论述.通过对LMDS系统的应用研究,提出了该系统的组网模型以及相应的网络规划,为了合理优化网络性能,对网
为了通过稀土元素的掺杂提高Ⅰ型笼状物材料的热电性能,本文采用高温、高压的方法合成了有Yb元素掺杂的Ba-AgSi基及Ce元素掺杂的Ba-Au-Si基Ⅰ型笼状物热电材料。X射线衍射分
目的分析腰-硬联合麻醉在无痛分娩中的应用效果及对活跃期的影响。方法纳入此研究中的84例研究对象均为我院于2014年6月至2015年10月期间收治的分娩产妇,通过随机数字表发法