基于状态检测的TCP应用服务端安全测试

针对由API函数实现的TCP协议不具安全性，以及常规安全检测仅对连接初始状态进行安全测试的局限性，提出基于连接的全程状态监控的安全测试方法：1）提出了基于全程的连接监控和检测的方法，以改善系统的安全性；2）运用有限状态机的理论和方法对TCP协议进行分析，并结合状态转移序列的安全路径和临界循环路径以及时钟检测技术，提出了TCP服务端的安全测试模型；3）给出形式化描述和验证机制，在形式化定义的基础上，分析了检测方法的正确性；4）设计了TCP服务端的安全状态检测算法，进行了相应的试验验证。基于全程状态检测的安全测试对于中间过程中的安全攻击有很好的检测效果。     

基于状态机模型设计协作式工作流系统

研究如何运用协作式工作流实现有效的计算机支持协同工作。以一个教学管理信息系统的设计为例,描述了以状态机模型为基础设计和实现协作式工作流的方案。主要研究了协作式工作流的特点、建模方法和实现策略。结果表明,采用状态机为流程建模,结合轻量级工作流引擎的设计方案和基于状态设计模式的实现方法,能让此类开发工作变得更为简单有效。     

OSPF路由协议及其实现算法

随着网络规模的不断扩大，路由器在沟通子网连接和实现信息交换方面的重要作用逐渐被人们所认知。介绍了OSPF(Open Shortest Path First)路由协议的特征、实现算法和工作原理等内容。OSPF已成为目前Internet广域网和Itranet企业网采用最多，应用最广泛的路由协议之一。OSPF路由协议是由IETF(Internet Engineering Task Force)IGP工作小组提出的，是一种基于SPF算法的路由协议。     

协议一致性测试系统中执行器的设计与实现

提出一种用于协议一致性测试系统的执行器的结构，并具体描述了执行器中各个模块的实现方法，最后使用该执行器对Linux AS4．0操作系统中IPv6邻居发现协议实现进行了一致性测试并给出了测试结果。结果表明：测试主机操作系统上实现的邻居发现协议符合标准协议规范。     

利用框架设计模式开发嵌入式网络协议

为了规范地开发嵌入式网络协议，设计了一个软件框架，它将UML状态机的事件、定时器、状态、状态机等核心数据结构整合为一体，提供了实现UML状态的各种接口。项目开发结果表明，该软件框架清晰地反映了状态机各个状态之间的嵌套层次关系，能够将嵌入式网络协议的UML状态图高效地转化为该网络协议的实现代码，成功地生成特定的嵌入式网络协议。     

基于RTT优先位图匹配结合的邻居选择P2P拓扑

为解决随机的拓扑结构P2P流媒体系统中主干网络压力大、启动延迟长和帧丢失率高等问题,提出了一种基于往返时延(RTT)优先位图结合的邻居选择的算法.该算法利用Tracker服务器存储整个网络中所有节点之间的RTT信息和Buffer-Map的位图信息,节点向Tracker服务器发送邻居请求,Tracker服务器根据节点的RTT信息和位图信息及邻居筛选函数为节点生成最佳的邻居列表返回给节点.仿真实验证明:相对于随机的邻居选择算法,该算法有效地降低了节点的启动延迟、播放延迟和帧丢失率.     

基于有限状态机的电网设备状态库研究

在电网调度运行的实际生产中,需要明确电力设备的初始状态,防止发生恶性误操作事件。当前,设备状态由D5000系统采集或调度电话直接联系场站核对,存在一定的不准确性。文章阐述了基于有限状态机的电网设备状态库,其严格遵守状态转移函数,具有强逻辑,且可以与D5000系统的量测设备库进行实时校核,为设备状态的量测提高了冗余性,提高了安徽电网的安全水平。     

基于一维五邻居混沌CA的光学流密码系统

根据一维五邻居混沌细胞自动机(CA)特性及其进化序列的随机性统计测试结果，提出一种基于一维五邻居CA光学流加密方法。由于CA规则化的阵列结构和级连特性，适合于起大规模集成电路(VLSI)和光学系统实现，相应给出一种光学硬件实现方案。一维五邻居混沌CA比一维三邻居CA具有更复杂的动力学行为，应用多邻居CA进行加密有更强抵御攻击能力。模拟分析显示这种基于一维五邻居CA的加密算法具有结构简单、运算速度快等优点，是一种理想的并行加密方法。     

IPv4的ARP与IPv6的邻居发现协议之比较

从IPv4转向IPv6的原因众所周知.在基于TCP/IP的网络中,地址解析(以及逆向地址解析)是一个十分重要的问题.IPv4中使用了ARP和RARP两个协议来解决.IPv6对于这个问题使用一种新的协议,即邻居发现协议,这些功能包括在ICMPv6中,其中邻居宣告和邻居请求合在一起代替了IPv4中的ARP协议.对于ARP和RARP已有了成熟的技术,而IPv6的邻居发现协议的开发与实现正在实验阶段,本文的目的是对IPv6的有关地址解析问题作一个探讨,并对它与IPv4的ARP和RARP在功能上技术上进行比较,以此可以通过ARP/RARP的技术特点,来指导将来从IPv4转向IPv4的有关技术问题.     

一个新的经济型状态化简软件

介绍以隐含最大相容类集为基础的经济型状态化简新算法。该算法是从最大隐含相容类集得出最小闭覆盖的初始候选集，通过对初始候选集的不断调整，得到化简结果。通过与一个具有代表性的经济型算法软件的比较发现，用该算法实现的软件，除少数情况外，可对大量状态机进行更有效的状态化简。     

空间数据库中反k最远邻查询方法

在欧式空间下反最远邻查询算法的研究已取得了很多成果,但反尼最远邻查询问题还未得到有效解决。本文提出一种反k最远邻查询算法,有效地解决了反足最远邻查询问题,查询算法采用了过滤一提炼的解决模型。在过滤阶段,提出了反远中垂线裁剪方法。该裁剪法是通过做中垂线来过滤不是查询点的反七最远邻的点。在提炼阶段,提出了反远范围尼查询提炼方法。该提炼方法是通过判断对象点是否在设定的范围外来验证该点是否是查询点的反女最远邻。最后通过实验验证了所提算法的有效性。     

时空数据库中基于TPR-树的反向最近邻查询

为研究动态环境下解决反向最近邻查询的算法,采用TPR-树索引结构给出了解决动态环境下的最近邻查询算法,并提出反向最近邻查询算法.该算法可有效解决平面上连续移动点的反向最近邻查询.     

Internet与IN互通的关键技术 --SIP和BCSM的映射

在研究了 SIP的基础上 ,提出了采用叠加方式实现 SIP协议状态自动机与 IN呼叫状态模型BCSM之间的映射 ,具体分析了此方式的实现 ,从而解决了 Internet和 IN互通的关键技术 .     

基于近邻密度改进的SVM不平衡数据集分类算法

针对不平衡数据集数据分布不均匀及边界模糊的特点,提出基于近邻密度改进的SVM(NDSVM)不平衡数据集分类算法.该算法先计算多数类内每个样本的近邻密度值,然后依据该密度值选出多数类中位于边界区域、靠近边界区域的与少数类数目相等的样本分别与少数类完成SVM初始分类,最后用所得的支持向量机和剩余的多数类样本完成初始分类器迭代优化.人工数据集和UCI数据集的实验结果表明,与WSVM、ALSMOTE -SVM和基本SVM算法相比,本文算法分类效果良好,能有效改进SVM算法在分布不均匀及边界模糊数据集上的分类性能.     

模型驱动在数控系统开发中的应用研究

开放式数控系统的研究已经成为目前数控系统研究的热点,模型驱动开发技术是目前软件开发研究的先进技术。为研究模型驱动技术在数控系统软件开发中的应用,作者分析了当前数控系统设计开发中的一些问题,在开放式数控系统软件常用的开发技术基础之上,采用MDD（Model-Driven Developmen）软件设计的思想和开放式模式设计软件的模型结构,分析设计了数控系统的软件开发途径,提出了判断引擎和模式转换规则库相结合的数控模式仲裁模块设计,并利用有限状态机理论、利用Matlab和Stateflow工具箱建立了工作模式仲裁模块的行为状态模型,通过Matlab Simulink仿真环境可以实现对建立的行为模型进行了验证。通过在MATLAB中调试和进行模型的有效验证,可以建立一个无逻辑错误的可执行模型,可以仿真数控系统的运行情况,检验模型是否按照期望的模式在运行。通过这种方法设计开发软件,可使描述文档的问题尽早发现,也使软件的修改更新工作变得简单易操作,而软件的开放性特征也得到了很好地体现。     

基于目标分割与SVM的人数统计

该文实现了垂直摄像头下的实时人数统计。为减少场景中伪目标区域对人头检测的影响,首先利用背景建模法提取前景目标,并根据发色信息筛选前景目标。然后采用线性SVM训练得到的头部分类器识别头部,并将头部中心点作为运动人体的特征点,利用最近邻匹配法进行数据关联,完成行人的跟踪计数。不同场景下的视频测试结果表明,该方法能较准确地实现人数统计。     

基于模糊聚类的纺织设备运行状态评定研究

应用模糊数学理论,构建了纺织设备运行状态判定的模糊聚类方法体系,建立了纺织设备运行状态判定的隶属函数,并以HR521长网式精练机为例进行实证研究,为纺织企业设备运行状态的判定提供了一种新的科学方法．研究结果表明：用模糊数学理论建立判定模型解决纺织企业设备运行状态判定问题是可行的,该HR521长网式精练机的运行状态处于一般状态,且介于一般状态的中间,当前只需要进行项修,而没必要进行大修和更新．     

基于相空间优化近邻点的跳频预测方法研究

提出了一种基于混沌相空间重构理论的优化近邻点局部线性化跳频预测方法。根据相点的总体分布情况以及预测点与周围相点的加权距离确定近邻点，同时剔除“伪近邻点”，进而确定跳频预测方程。实验结果表明：该方法精度高且稳健，性能显著优于一般的预测方法。     

协议软件实现的面向对象方法及其应用

为了克服协议软件设计与实现中的复杂性,对协议软件状态机建模过程和消息处理过程进行研究,提出一种基于有限状态机机制和事件驱动机制的面向对象方法,用以设计事件发生器、事件分发器和消息格式转换器,同时分离协议栈消息处理逻辑和状态逻辑,使其便于复用和扩展,由此改善协议软件的设计。将新方法应用于GSM(Global System for Mobile Communications)通信协议栈的软件设计,并对所设计的软件进行测试,结果显示所设计软件可靠性和稳定性良好。