排序方式: 共有60条查询结果,搜索用时 31 毫秒
51.
Digital Video Broadcast (DVB)网络可以作为Internet的运载网络传输IP数据包(IP over DVB),IETF于2002年专门成立了IPDVB工作组对此进行研究,其中对IPv6的支持是最近才出现的新课题.研究了IPv6 over DVB的传输模式,分析其应用于远程教育领域时的体系结构构成,并给出其传输子系统的构成方式.对三个核心子系统:发送端子系统、Windows接收端子系统和Linux接收端子系统,给出了具体的设计方案. 相似文献
52.
研究数据流与控制流相结合的测试方法,为进行比较,采用了三个不同的数据流标准,对于控制流选定操作符覆盖标准,提出了求可执行变迁序更列的算法,并且给出了关于测试方法,测试序列数目及错误覆盖能力的比较。 相似文献
53.
OSPF协议是一种动态路由协议,它利用内部的链路状态数据库来维护和计算路由,它的路由算法是本协议的关键部分,本给出了路由算法的Petri网模型,并使用控制流和数据流测试相结合的一种方法,在此基础上产生测试序列。 相似文献
54.
为了保证终端设备能够可信高效地通过接入路由器访问互联网,提出一种可信路由器发现协议,实现安全、高效的接入路由器身份认证过程,并基于着色Petri网(Colored Petri Nets,CPNs)为该协议建立关联的功能验证模型和性能分析模型,有效集成协议的安全性验证与性能分析过程,以确认该协议在保证安全能力的基础上可以有效提升接入路由器身份认证过程的性能。基于着色Petri网的安全性验证与性能评价集成分析方法为安全类协议的性能改进分析提供了一种更加便捷、有效的协议仿真分析方法。 相似文献
55.
Petri网的可达图与可达树的比较 总被引:1,自引:0,他引:1
Petri网的可达图和可达树都是用于分析Petri网的工具,章将展示如何用可产完成Petri风的各项分析,并将可达图与可达树相比较,证明可达图是较可达树更为有一种分析工具. 相似文献
56.
通用分布式路由协议测试系统的设计 总被引:1,自引:0,他引:1
协议测试系统是执行协议测试的基本组成部分,一个设计完善的系统既优化测试套的编写,又可以减少对硬件的需求,从而使得测试工作得以高效的运行.系统介绍了一个通用的分布式路由协议测试系统的设计与实现方法,详细描述了该系统的设计思路以及一些实现算法.通过对OSPFv3进行的两个从测的测试实验,验证了该系统的有效性,最后对该系统的特点进行了总结,并且提出了下一步应该考虑的工作. 相似文献
57.
各种非环的数据库模式有许多好的性质,特别是在分布式环境中,研究关系数据库的非环性程度是一个重要的课题,对Alpha Beta,Gamma,Berge这几各非环数据库模式,我们给出一组颁式算法,该算法的最坏消息复杂度是O(/N/),而最坏时间复杂度是O(/N/^2),/N/是给定的网络中结点的个数。 相似文献
58.
本文介绍了为AM—1062计算机配接国产5—8RG—5A型光电式纸带输入机接口的设计。给出了电路原理图和程序流程图,并作了必要的说明。接口中许多通常由硬件完成的任务改由软件完成,大大简化了接口电路的设计。 相似文献
59.
针对原有TTCN测试执行系统驱动器(Driver)的协议相关性进行研究,从调整其协议相关程度的角度讨论了降低Driver程序扩充和维护难度的问题.在保证软件功能和结构的基础上,先对所有协议进行无关化,再对某一类别的协议进行无关化,就可以达到降低Driver程序扩充和维护难度的目的.最后以直接基于IPv6的协议类别为例介绍了上述方法的实现及其效果. 相似文献
60.