基于Java内存模型的并发程序模型检测

为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程Java并发程序中,这些代码乱序执行会引起很多难以发现的错误。现有的Java程序模型检测技术并没有考虑这些顺序改变的问题。因此,本文提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型,并利用模型检测工具进行穷举检测的算法。该算法可以发现原有技术无法发现的新问题,更好地检测高可靠性要求的Java并发程序。     

基于扩散激活模型的无线自组网分簇方法

传统的分簇方法很少同时考虑安全因素及其对网络性能的影响。针对此问题,提出了一种基于信任关系的分簇方法,该分簇方法结合人类记忆的扩散激发模型思想,能够根据有限的局部信息自动地对整个网络进行分割。试验结果表明,该文所提出的分簇方法在精确度方面与集中式的分簇方法非常接近。因此,在提高Ad Hoc网络性能的同时,还可提高其安全性。     

最小跳数路由无线传感器网络中的节点距离测量

无线传感器网络中的间接距离测量是一种性价比极高的距离测量方法,但目前测量精度还有待进一步提高。根据最小跳数路由无线传感器网络的行为特征,提出了一种基于最小跳数路由及其路由重复数的节点距离测量算法,与DV-hop算法相比,借助路由重复数较大地提高了距离测量精度。理论分析及仿真结果表明,该算法在节点密集分布的无线传感器网络中具有很好的效果。     

基于H.323协议的VoIP语音流量识别

通过分析H.323协议和H.323协议的会话流程,基于H.323协议的VoIP通信过程中出现的会话特征,提取出通信双方的元组信息来识别整个会话流量,设计出相应的流存储、搜索、更新方案和识别VoIP流量的算法。实验表明,该方法能够准确识别基于H.323协议的VoIP语音流量。     

基于节点性能估算的应用层组播算法

提出一种基于节点性能估算的应用层组播树构建和维护算法(PPE)。综合考虑节点的性能及其在组播树中的位置,尽可能使高性能的节点接近源节点,使低性能的节点接近叶子节点,以此来提高组播树的效率,降低端到端的延迟,减小链路压力和控制开销。仿真结果表明,PPE在大规模节点环境中能有效改善组播树的性能。     

基于梯度化邻居节点信息的传感器网络性能优化*

由于路由控制粒度粗,传统最小跳数路由无线传感器网络模型MHR存在数据汇聚可靠性差和能量有效性低等问题,需进一步完善。为改善传统MHR网络的性能,提出一种高效可靠的最小跳数路由无线传感器网络模型MHR-ER,在MHR网络的基础上,通过提取网络梯度化邻居节点信息作为路由精细化控制的依据,通过限制最小跳数梯度场梯度层次宽度以保证数据汇聚的高可靠性,通过限制数据分组的各跳转发节点数以提高数据汇聚的能量有效性。理论分析和仿真结果表明,与MHR网络相比,MHR-ER网络具有极高的数据汇聚可靠性和较好的能量有效性,有利于推动最小跳数路由无线传感器网络的实际应用。     

一种基于失效检测器的快速异步系统共识算法*

异步系统下的共识问题是容错方向中的关键问题。首先分析了几种基于失效检测器的共识算法,然后考虑减少响应时间,对现有算法提出改进。改进后的算法满足异步系统下共识问题的两阶段最低限度,并且在特定条件下可以在第一阶段快速作出响应。经实验证明,改进后的算法具有更快的响应时间和较少的通信量。     

网络测试数据存储MIB设计与实现

传统基于文件存储的大规模网络测试系统存在设计复杂、实时性差等不足．本文设计并实现了一个用于存储网络测试数据的管理信息库．基于该管理信息库存储数据的测试系统，使用标准的简单网络管理协议通信，可降低测试数据读写设计的复杂性，并保证测试数据传输的实时性，解决了网络测试系统文件存储方式存在的不足．     

一种基于网络业务流的流量监测分析算法

基于业务流的统计信息直接反映用户行为，最繁忙业务流获取与分析，对于网络流量分析和故障定位有指导作用。文章通过分析数据帧到来对哈希表的影响，借助一个记录表，对哈希表中的业务流进行排序，大大减少排序中的比较次数，提高监控系统处理性能．     

软件项目人员流动风险的定量评估和分析

提出了一种评估软件项目人员流动风险的定量模型,示例了该模型的使用,使用该模型不但可以直观地得到软件项目的人员流动风险值,而且可以利用该模型的各项及其系数分析人员流动风险产生原因,找到其控制策略。