论文部分内容阅读
协议的形式化建模有助于提高其一致性测试集的自动化生成与完备程度，在分析BGP4＋协议的基础上。提出了适用于复杂路由协议形式化建模的混合模型建模法，并基于有限状态机与SDL两种形式描述技术完成了该协议的形式化建模。
基于多协议扩展边界网关协议BGP4＋的形式化建模研究
【摘 要】
：
协议的形式化建模有助于提高其一致性测试集的自动化生成与完备程度，在分析BGP4＋协议的基础上。提出了适用于复杂路由协议形式化建模的混合模型建模法，并基于有限状态机与SDL两
【机 构】
：
深圳大学现代教育技术与信息中心
【出 处】
：
计算机系统应用
【发表日期】
：
2006年12期
其他文献
将准零刚度隔振器应用于船舶机械隔振浮筏,构造单层准零刚度隔振浮筏,建立了系统的6自由度动力学方程,利用数值方法对系统响应进行了分析,并评估了系统的隔振性能。结果表明,
目的：探讨采用全膝关节表面置换术（TKA）治疗晚期骨关节炎的手术方法和临床疗效。方法：对90例晚期骨关节炎患者采用TKA治疗,手术前和手术后2周分别进行膝评分和膝功能评分,评价手
目的：通过对汕头地区哮喘患儿过敏原的分布状况进行调查分析,为本地区儿童哮喘的预防和治疗提供依据。方法：应用屋尘螨、粉尘蟎等18种常见过敏原的标准化提取液对579例支气管哮
比较氧化铅和伊凡斯兰（evans blue,EB）灌注后血管定量研究的优劣,寻找最适的微血管定量分析模型。取15只健康成年SD大鼠,随机分为荧光显影组A（EB一维组）、荧光显影组B（EB三维组）和
为了使企业WEB应用能够支持全球客户，软件开发者应该开发出支持国际化的WEB应用。本文讨论了J2EE平台下WEB应用国际化中的字符编码问题，并给出了比较完整的解决方案。
本文介绍了LMDS系统的基本组成,并对该系统的应用特点和技术特点加以论述.通过对LMDS系统的应用研究,提出了该系统的组网模型以及相应的网络规划,为了合理优化网络性能,对网
为了通过稀土元素的掺杂提高Ⅰ型笼状物材料的热电性能,本文采用高温、高压的方法合成了有Yb元素掺杂的Ba-AgSi基及Ce元素掺杂的Ba-Au-Si基Ⅰ型笼状物热电材料。X射线衍射分
目的 研究分析综合护理干预在脑出血患者微创锥颅血肿清除术中的应用效果.方法 选 2014 年 4 月至 2016 年 4 实行微创锥颅血肿清除术患者 86 例.均分对照组和观察组.给予对
目的分析腰-硬联合麻醉在无痛分娩中的应用效果及对活跃期的影响。方法纳入此研究中的84例研究对象均为我院于2014年6月至2015年10月期间收治的分娩产妇,通过随机数字表发法