集成移动IP与移动Ad Hoc网络的移动检测算法

移动IP借助定期广播的代理通告完成移动检测。与移动IP原本应用的无线局域网环境不同,在移动AdHoc网络中频繁的广播会造成广播风暴。现有的集成移动IP与移动AdHoc网络的方案中提出了多种性能优化的方法,但都没有从根本上解决此问题。论文提出了一种基于局部存储信息的移动检测算法。该算法借助路由协议的Hello信令在邻居节点间传递移动管理信息,帮助移动主机实现移动检测,从而避免移动代理周期性地广播代理通告给网络造成的性能开销。仿真结果表明,基于Hello信令的移动检测算法可以改善网络中数据通讯的传输性能。实际的测试床实现检验了算法功能的完备性。     

大数据在信息管理系统中的应用

随着信息化的不断发展,各大行业的信息管理系统能力不断提升.在网络化阶段,管理人员要构建统一的平台,方便用户及时获取数据信息,满足社会日益增长的数据需求."大数据"是一种建立在"网络数据采集"技术上的平台,具有"时效快、范围广"等特点,有非常广阔的应用前景.从"大数据"的使用特点出发,对大数据在信息管理系统中的应用价值进行了分析,并给出了应用策略,以满足新时期数据收集的需要,加强信息化时代的发展.     

测试非确定性系统的一种结构化方法

本文对非确定性的分布式系统的相容性测试提出一种新的方法，这种方法是经典的状态识别方法的一种扩展。我们提出了集合识别的概念，重新定义了区别序列和ＵＩＯ序列，最后我们给出了层次测试的方法。     

基于时间着色Petri网的SIP协议验证与分析

随着SIP(Session Initiation Protocol)被3G通信选择为下一代移动网络的会话控制机制,保证SIP协议设计和实现无缺陷、运行稳定可靠成为SIP协议应用过程中亟需研究和解决的关键问题。充分利用时间着色Petri网(Timed Colored Petri Nets,TCPN)在描述和分析具有复杂交互行为及时间约束的系统方面的优势,给出了SIP协议的层次TCPN模型,并集成多种模型分析技术,完成SIP协议设计的正确性验证;同时通过正则表达式完成协议模型的生成路径分析,指出其中存在的死锁状态并分析原因。提出了相应的协议设计改进方案,验证了设计方案的正确性,从而有效增强了SIP协议在实际应用中的可行性和可靠性。     

一种针对CP-nets并发模型的验证方法

状态爆炸问题导致CP-nets并发模型的正确性验证工作十分困难。提出了基于并发属性的模型化简方法和基于功能组合的模型抽象方法,用于对模型进行处理,移去与并发属性不相关的模型元素,提升模型的抽象层次,使模型状态空间规模得到显著降低,并在并发属性相关行为上与原模型保持一致;在处理后模型中运用状态空间分析、模型检测等验证方法完成模型验证,针对验证得出的模型错误,通过处理前后模型的对照关系在原模型中进行改正。这在一定程度上避免了状态爆炸问题并实现了模型验证。通过将上述方法应用于HMIPv6协议模型,验证了其有效性。     

基于网络流量半马尔柯夫模型的流量预测

引入了半马尔柯夫模型描述网络流量特性，并在该模型的基础上分析推导了相应的流量预测方法。分别对广域网和局域网不同时间尺度统计的实际流量数据进行分析和短期、长期预测，所有数据的实际预测精确度均小于预先设定的置信度。说明引入的模型能真实反映网络流量特性，基于该模型的流量预测方法具有良好的预测性能且适用于不同长度的预测。     

基于SDL和MSC模型的一致性测试生成方法

本文提出了一种基于协议的SDL和MSC描述的一致性测试生成方法。这种方法从协议的形式化描述出发，用形式化的语言定义测试目的和测试组，通过本文提出的算法自动生成一致性测试套。     

一种互操作测试的建模及测试选择方法

互操作性测试可以对设备互连互通互操作提供根本保证,一致性测试与互操作性测试既有相交的部分又各有不同.互操作性测试包括两个被测实现,其中一方有时称为QE(qualified equipment).根据被测的规范说明的不确定有限状态机模型和当前已有的互操作性测试经验构建概率不确定有限状态机,有效地刻画当前的互操作性测试状况.基于该模型采用宽度优先算法以及一定的策略生成包含所有状态的二叉树,然后基于得到的二叉树给出了包含不确定状态的互操作性测试序列的选择算法,通过示例展示了提出的算法的有效性,并以RIP协议的计数到无穷为例展示了提出的建模方法的应用.最后给出了结论以及下一步的研究工作.     

工作流过程建模中的形式化验证技术

工作流过程建模是一个复杂且易错的过程．若过程定义在投入运行之后被发现有错,则修复错误的代价相当高,这个问题引起了研究界和工业界的高度重视．因此,在建模阶段进行有效的过程验证是十分必要的．综述了工作流过程验证技术的发展现状,包括强调验证的重要性,叙述了需要验证的问题和复杂度;介绍了对验证方法的要求;讨论了过程合理性验证和化简验证技术等;并通过对研究现状的分析和对比,提出了仍然没有解决的问题和将来的工作．     

边界网关协议BGP4＋的一致性测试研究

随着互联网的快速发展，高效稳定的路由协议成为保障网络性能的重要因素。协议测试是保证协议实现的性能的有效手段。本文针对边界网关协议BGP4＋进行了一致性测试研究；对BGP4及其面向IPv6的扩展PGP4＋进行分析，给出了BGP4＋协议测试的有限状态机模型。运用形式化与非形式化相结合的方法生成了BGP4＋的测试例。最后给出了运用测试例对具体的协议实现进行测试的结果。