OSPF路由协议中邻居状态的实现技术

本文从建立OSPF邻居状态机的数学模型出发，依据其实现原理，列出了邻居状态机的各个状态和事件描绘了总的状态变迁图，并进一步对状态机的转换函数的实现做了优化处理，结合指针函数和二维数组等数据结构，根据OSPF邻居状态机机制，提出了实现的关键技术。     

基于OSPF协议的路由器安全

通过对OSPF协议建立邻居关系过程和明文验证的分析,说明了该协议中存在的安全漏洞。同时,说明了使用密文邻居验证的优点和实施步骤。     

IPv6邻居发现协议的一致性测试

Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分。本文简要介绍了邻居发现协议,提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法,实现了邻居发现协议一致性测试集的形式化,给论出了用测试例描述语言TTCN描述的测试例的实现,并对Windows2000下的IPv6邻居发现协议进行了一致性测试,给出了测试报告。     

基于遗传算法的低功耗有限状态机状态分配

提出一种通过状态分配来实现有限状态机的功耗和面积同时优化的方法．在分析现有成本函数的基础上，提出了一个新的成本函数，并利用遗传算法能进行多目标优化的能力来实现功耗和面积的同时优化．该算法用C语言实现，并对17个MCNC有限状态机标准电路进行测试．测试结果表明，与已有的功耗优化算法相比，文中算法在功耗和面积方面有一定的优势．     

基于扩展知识空间理论的技能自适应测试过程①

当前扩展知识空间理论只提出了技能测试,没有给出技能测试的详细过程。定义了问题函数、技能函数以及技能状态函数,完成了知识结构到技能结构的映射,给出了技能自适应测试的详细过程,实现了对受测者技能水平的测试。此外,引入了知识状态的邻居和边界,并对自适应测试过程中选题策略这一关键过程做了进一步优化,使测试更适合受测者的知识特点。     

基于扩展知识空间理论的技能自适应测试过程①

当前扩展知识空间理论只提出了技能测试,没有给出技能测试的详细过程。定义了问题函数、技能函数以及技能状态函数,完成了知识结构到技能结构的映射,给出了技能自适应测试的详细过程,实现了对受测者技能水平的测试。此外,引入了知识状态的邻居和边界,并对自适应测试过程中选题策略这一关键过程做了进一步优化,使测试更适合受测者的知识特点。     

面向多级逻辑的低功耗有限状态机状态分配

状态分配在低功耗有限状态机设计中已经被证明是很有效的方法.该文针对有限状态机多级组合逻辑实现提出了一个新的成本函数,并利用整体退火遗传算法来进行状态码的搜索,通过减少电路的开关活动性和组合逻辑部分的面积来达到功耗的降低.对25个有限状态机标准测试电路进行面积和功耗的测试表明:与已发表的针对面积和功耗优化的算法相比,该文所提出的算法不但在功耗降低上具有较大的改进,在面积改善上也具有一定的优势.     

运用状态机提高嵌入式软件效率

有限状态机是根据当前状态以及触发条件进行状态转换的一种机制,包含一组状态集（state）、一个起始状态（start state）、一组输入符号集（alphabet）、一个映射输入符号和当前状态到下一状态的转换函数（transition function）的计算模型。当输入符号串时,模型随即进入起始状态。要让状态机改变到新的状态,依赖于系统的转换函     

工作流状态机中状态模式的应用

为设计一个方便且可扩展性强的工作流引擎,将设计模式的思想运用了到工作流状态机中.介绍了状态模式的基本概念,阐述了状态与流程之间的关系,探讨了其在工作流状态机中的应用,最后给出了一个工作流状态机实现的具体例子,为工作流系统中运行服务模块的设计提供了解决思路.     

工作流状态机中状态模式的应用

为设计一个方便且可扩展性强的工作流引擎，将设计模式的思想运用了到工作流状态机中。介绍了状态模式的基本概念，阐述了状态与流程之间的关系，探讨了其在工作流状态机中的应用，最后给出了一个工作流状态机实现的具体例子，为工作流系统中运行服务模块的设计提供了解决思路。     

OSPF路由协议的认证分析

OSPF(Open Shortest Path First)路由协议的路由表是基于LSA(Link State Advertisement)计算出来的,为了保证计算出的OSPF路由表是正确的,就应该对传输过程中的LSA信息的完整性和可靠性进行认证。分析了RFC2328的OSPF路由协议的认证机制,包括简单口令认证和加密身份认证,并介绍了基于数字签名的OSPF,对实现和应用OSPF路由协议的认证机制提供了参考。     

动态处理OSPF配置参数的多机制模型研究与实现*

在原有动态模型的基础上,提出了动态处理OSPF配置参数的多机制模型,该模型充分利用原有模型的可扩展性,嵌入了多种处理机制,包括多层过滤机制、异步通信处理机制、有限状态机机制、MIB接口机制和MIB映射机制,从而提高了MIB的处理效率,增强了协议的稳定性、可靠性。     

日志分析法在一卡通系统测试中的应用*

针对一卡通系统测试中因输出结果数量大、系统关联复杂、测试准则构造困难等因素而导致的难以判断输出结果正确性的问题,提出了扩展日志分析法。介绍了实现该方法的系统结构和所使用的测试状态机,引入了一种自行开发的支持层次化状态机、具有执行自定义函数功能的状态机定义语言,增强了扩展日志分析法测试复杂大型系统的能力。该方法在一卡通系统测试中得到了应用。     

含自发事件的协议一致性测试例的生成

目前有许多基于有限状态机生成一致性测试序列的方法,但是这些方法还不能应用于含有自发事件的有限状态机。文中对UIO方法加以补充,使之适用于含自发事件的有状态机,并已将该方法应用于OSPF协议的一致性测试。     

一种VANET应用层协议的实现

车载自组织网络（VANET）在近几年成为最普及的移动ad hoc网络。随着交通业的发展,VANET已成为不断升温的研究热点,但关于VANET的应用大部分还处于理论阶段。如何把理论成果转化为实际应用成为现阶段的主要任务之一。介绍了VANET和一种VANET的应用协议一区域受限的本地化信息协议（LINGER）,论述了协议实现阶段的工作流程和状态划分。基于实现的LINGER协议代码库进行VANET应用程序开发,降低了开发难度,缩短了开发周期。     

一种改进的支持向量机的室内指纹定位技术

为提高室内定位算法定位的精度和实时性,提出一种改进的支持向量机(A-SVM)的室内指纹定位方法。利用SVM具有较好的学习和泛化能力的特点,把定位匹配转换为多分类问题。为克服SVM分类存在的片面性问题,提出基于SVM与反K近邻融合的位置指纹分类方法得到估计位置,并利用卡尔曼滤波对估计位置进行滤波处理。实验结果表明,算法有效减小了定位结果的波动性,与传统SVM相比具有较高的定位精度。     

IS-IS协议链路状态数据库同步与路由计算研究

IS-IS is one of the interior gateway protocol, widely used by telecom operators. There are many differences between Link State Database synchronization and routing computation and OSPF. This paper studies on the IS-IS protocol from the perspective of neighbor relationship establishment and synchronization, and compares it with OSPF protocol, trying to clarify the principle and pro- cess of Link State Database synchronization and routing calculation of IS-IS protocol, which has certain reference for the study of IS- IS routing protocol.     

NBMA网络上的OSPF协议的分析

基于OSPF协议对其在NBMA网络环境中，由于非广播特性所产生的问题进行了分析并提出了解决方案，通过理论分析和实验证明了手动指定neighbor全网状连接的拓扑结构、点到多点的网络类型以及子接口的应用是有效可行的。     

基于时空域信息融合的视频拷贝检测算法研究

为了有效利用视频独有的时空域特性来提高视频拷贝检测算法的鲁棒性和精度,提出一种基于时空域信息融合的快速拷贝检测算法。该算法包括基于时空域信息融合的指纹提取算法、基于倒排索引的匹配搜索算法和结合异步滑窗策略的基于匹配状态机的匹配搜索算法。指纹提取算法首先将视频分段形成时空域信息帧,然后对该信息帧进行分块,提取DCT系数后,利用其中值进行阈值化得到视频指纹。基于倒排索引的搜索算法根据指纹的二值性特点建立倒排索引表,然后通过索引表快速查询指纹。结合异步滑窗策略的基于匹配状态自动机的搜索算法,利用与最近邻之间的匹配状态来改变搜索范围和步长,而异步滑窗策略通过对在线和离线过程采用不同的提取策略,减少搜索量,加快搜索速度。实验结果表明,提取的指纹对噪声模糊、添加字幕、空间偏移、旋转、掉帧具有较好的鲁棒性,同时提出的搜索方案在时间效率上也有较大的提升。     

基于OSPF的动态配置支持系统研究与实现

在OSPF静态配置支持系统模型基础上，提出了基于OSPF的动态配置支持系统模型，该模型采取四层模块分级处理结构，各层对大量MIB变量的处理统一接口，规范MIB处理模式，并建立实时任务完成MIB存储和OSPF协议改变间的异步处理，还运行配置支持系统状态机，检测各层的MIB处理状况，加强和协调各层间的MIB处理。最后基于这种模型实现了动态配置支持系统DCSS-OSPF，还列出了TMS系统中DCSS-OSPF系统的边界处理。