【摘 要】
：
本文主要研究多协议标记转换系统(MPLS)中的一个重要核心协议标记分发协议(LDP)的一致性测试问题.我们首先在形式化描述工具Petri网的基础上,提出更适合描述LDP协议的扩展Pet
【机 构】
：
内蒙古大学计算机学院,呼和浩特,010021
【出 处】
：
第三届全国CSCW暨第一届全国AIN学术会议
论文部分内容阅读
本文主要研究多协议标记转换系统(MPLS)中的一个重要核心协议标记分发协议(LDP)的一致性测试问题.我们首先在形式化描述工具Petri网的基础上,提出更适合描述LDP协议的扩展Petri模型概念,对LDP协议进行形式化描述,给出它的形式化模型.然后在此基础上结合自动测试集算法导出测试序列,来实现对协议的一致性测试.最后给出结论并提出将来进一步的工作.
其他文献
为了深入贯彻《中共中央国务院关于卫生改革与发展的决定》,按照卫生部“卫生监督自动化管理系统应用方案”的要求,全面提高卫生监督执法水平,北京市将从1999年下半年开始,对
尘毒作业场所危害程度分级挂牌,是现代企业职业安全卫生管理和职业健康教育的一种新方法.通过按照国家标准的要求对作业环境中的不良生产性因素(如:粉尘、毒物)进行测定,并对
本文在开发煤炭输出码头列车实时监控系统的串行通信协议时,建立了基于PRTRI网的串行通信协议模型,分析了通信协议中的死锁问题.最后实现了通信协议模型与程序结构的自动转换
本文基于Socket,在分布式协作专家系统开发工具BITAI-DEST项目中,设计实现基于TCP/IP的Multi-Agent通信原语.该通信原语基于UNIX和Windows平台,在实际使用中性能稳定、效率较
本文介绍了主动网的概念及主要的体系结构,总结了主动网技术在分布式仿真等领域的最新应用进展,提出了主动网络还需要解决的问题.
学校健康教育是关系到人才培养和提高全民健康水平的大事,是贯彻党的教育方针的重要组成部分.作为医学院校的学生,应积极建立科学、文明、健康的生活方式,形成有益于自身、社
随着生物医学模式的转变,人们对于疾病和健康有了新的认识,以病人为中心的护理突出整体护理观念,要让病人在住院期间积极参与治疗、护理、而获得疾病防治保健知识和自我护理
该文对1998年4月10日至5月10日到北京市某妇幼保健院进行婚前检查的900名青年男女和婚检科的43名医务人员进行了关于性病艾滋病的知识、信念及行为(KAP)的调查.结果表明,婚检
据美国ModernCasting等35次世界铸造生产调查报告,2000年世界十大铸造生产国中,我国名列第二.我国有色铸造合金在总产量中的比例为9.4％,比工业发达国家低11～28％.因此,我国虽是铸
经济全球化条件下,正在崛起的中国铸造企业,必须打破旧有的发展常规,大胆地、快速地导入和贯彻在管理方面的一系列国际标准和国外先进标准,实现现代化的管理创新,才能保持与