论文研究基于VxWorks生成树协议的实现 .pdf

针对EFSM中状态迁移不确定导致的协议一致性测试序列生成困难的问题, 提出了一种协议一致性测试序列生成算法。该算法基于互异代表系理论为每个协议状态变迁赋权值, 再基于分支界限法搜索生成的协议测试序列,

研究内部节点受限的最小生成树问题：给定一个赋权无向完全图[G=V,E]，假定[w:E→R]为边集[E]的权重函数且满足三角不等式，给定点集[V]的一个子集[RR?V]，目标是寻找图[G]的一个满足[R

当今，智能网技术在全球范围内的应用正在迅速发展，原因在于其能为用户方便地提供丰富的增值业务。快速增加和不断拓展新的业务，是智能网体系一个很重要的目标。就此提出了一种基于智能网体系的交互式语音应答系统业

针对HEED协议中簇首与基站通信能量消耗过大的问题，在HEED协议的基础之上，提出了一种簇间路由的算法ICRP。网关GW从若干个簇首中选出它的中心簇首和中间簇首，通过ICRP最终将WSN划分成若干个L

基于SCVP协议的身份认证过程的研究，杨瞩远，宋美娜，本文主要研究了SCVP协议的通讯机制，对SCVP协议的消息体结构进行解析，揭示其实现证书路径构造和证书路径验证的过程，分析了协议的�

为进一步提高数据测试算法性能，提出一种基于控制流图支配树的测试数据灰度编码进化生成算法。利用三角分类程序示例构建数据测试的数据流控制流图，并利用其支配树关系构建测试数据的数据流分析，建立程序变量间的支

VxWorks BSP私有命令组的添加与实现，史先勤，谷新尧，针对嵌入式系统调试和升级的不方便之处，本文提出了在BSP中建立私有调试命令和升级命令的方法，并实现了这些命令，这些命令包含了

基于xml的无限分级树的应用研究，王盛，，无论是在Web开发还是应用程序开发过程中，采用树型结构显示某个功能，甚至架构整个系统，对用户而言是既方便，又直观，但运用无限

基于VxWorks板级支持包的开发与设计，李茜，姜秀柱，本文以复合型工业网关—TC700的设计过程为背景，结合摩托罗拉公司的处理器MPC850，阐述了在VxWorks嵌入式系统下，板级支持包BSP的开

针对目前网络教学中网络课程开发存在的问题，提出并设计了一个网络课程自动生成系统。该系统为教师开发网络课程提供了一个方便、快速的软件工具，大大减少开发成本。用面向对象的分析与设计方法，使用UML对系统进