论文部分内容阅读
OSPF协议是一种动态路由协议，它利用内部的链路状态数据库来维护和计算路由，它的路由算法是本协议的关键部分，本文给出了路由算法的Petri网模型，并使用控制流和数据流测试相结合的一种方法，在此基础上产生测试序列。
基于Petri网模型的OSPF路由算法的测试序列生成
【摘 要】
：
OSPF协议是一种动态路由协议，它利用内部的链路状态数据库来维护和计算路由，它的路由算法是本协议的关键部分，本文给出了路由算法的Petri网模型，并使用控制流和数据流测试相结合
【机 构】
：
内蒙古大学计算机学院
【出 处】
：
内蒙古大学学报(自然科学版)
【发表日期】
：
2001年3期
其他文献
采用Lattice公司的可编程逻辑器件ispLSI1016设计出可扩量程的数字频率计，给出了设计过程及部分模块的电路结构.
对于复Hilbert空间上的正常算子 ,当H是可分的空间时 ,与其相关的广义特征函数展开形式为f =limn→∞a→∞ nj=1 ∫{ ｜z｜ a} ∩Mj(Ujf) (z) φj(z)dμ(z) f∈H其中 φj(z)
“眼睛向下”，把“外围战”转变为“攻坚战”。坚持“眼睛向下”，敢于触及教工的现实思想，不兜圈子，不绕弯子，开门见山，见人见事，有什么问题解决什么问题。这样，一个问题一个问题地解
在内蒙古草原区选择暖温型(阿贵庙)和中温型(黑山头)两个草原站点对其植物的科属组成，区系地理成份，生活型，水分生态类群和C3/C4光合功能群进行对比.植物的科属组成反映出物种多
中学诗歌教学应该在学生读懂的基础上培养学生的体会和感悟能力,诵读和涵泳是诗歌有效教学的重要方法。诵读和涵泳是确保诗歌教学有效性的基石,培养学生的鉴赏能力是提高诗歌