图规划分解方法的研究

文中提出基于命题间的关联图对规划进行分解,避免了实例化过多的操作,能够在一定程度上提高规划系统的效率。分解后的子规划问题由多个agent执行,这样利用了分布式系统的鲁棒性等特点,提高了规划系统的稳定性,并给出了子规划执行间的互斥解决。     

基于输出违例概率的时延向量测试质量评估

针对冒险引起的测试质量评估误差,本文提出了一种基于输出违例概率的测试质量评估方法.定义了到达时间窗口和输出违例概率的概念,使用输出违例概率来反映测试向量的小时延缺陷检测能力,有效地避免了忽略冒险引起的计算误差,从而准确的评估了向量对小时延缺陷的检测质量.实验结果表明,相对于基于输出偏移的国际同类方法,本文的评估方法不增...     

MPI＋OpenMP混合编程模型在大规模三对角线性方程组求解中的应用

分布式共享存储系统的特点是每个节点内是共享存储的,而节点间是分布式存储.为了更好地利用这种多级体系结构,讨论了MPI＋OpenMP混合编程模型的性能及实现方法,建立了大规模三对角线性方程组的MPI＋OpenMP混合并行算法,并在上海大学高性能计算集群上与单纯MPI算法进行了性能方面的比较.结果表明,MPI＋OpenMP混合并行算法具有更好的加速比和扩展性.     

无线自组网竞争类MAC协议分析及研究

无线自组织网络是一种无基础设施的移动网络,并且每个节点的业务多以突发业务为主,因此信道资源分配适用于采用竞争方式。本文在对无线自组网各种典型竞争类MAC协议进行分析及探讨的基础上,采用Opnet仿真建模环境,创建出各协议的状态分析模型,并在此基础上对各协议的性能优劣进行了比较总结。论文对无线自组网各协议仿真建模研究及选择高效适用的MAC技术方案具有实际参考价值。     

一种基于CAN-tree快速构建算法

增量关联挖掘领域是近几年数据挖掘研究的一个热点,而CAN-tree的提出是增量关联挖掘发展的一个重要里程碑.虽然CAN-tree适用于增量关联挖掘,但CAN-tree构建时间长,挖掘效率偏低;针对此问题,提出了一种基于CAN-tree快速构建算法,该算法增加基于哈希表的辅助存储结构,用于减少项目的查找时间,从而提高CANtree的构建速度;增加叶子地址表并修改节点结构及改child指针为parent指针,目的是减少剪枝时间和条件模式基的生成时间,从而提高数据挖掘效率.实验结果表明该算法有效.     

基于ZigBee的远程温度监测系统

提出一种基于ZigBee的远程温度监测系统,并介绍软硬件的设计思路。系统采用TI公司基于CC2530的ZigBee协议栈Z-Stack组成星形的无线传感器网络,终端节点驱动DS18B20温度传感器定期采集环境温度信息,并通过射频收发器将信息传递给协调器,协调器将信息融合处理将温度数据通过串口上传到服务器的Web服务站点。用户可通过互联网直接访问Web站点进行实时温度监控。     

格网定点式钉螺螺情信息系统的设计与实现

针对血吸虫病流行区人工实地查螺的特点,采用集成二次开发模式开发了一个基于GIS的螺情信息系统。探讨了一些关键技术,如ArcObjects组件库的应用,复杂地形格网图的绘制和编辑方法,基于胖客户机瘦服务器的信息管理机制,以及系统功能实现与地图无关的技术等。该系统的实现为研究局部钉螺孳生规律、建立以时间为主轴线的螺情信息链提供了基础,解决了血防工作中长期以来一部分工作未能实现信息化平台的问题,并在实践中取得了很好的应用效果。     

基于GEP的网络安全态势预测方法研究

网络安全态势预测是目前一个热门研究项目。本文利用基因表达式编程算法的时间序列预测功能,设计了一个网络安全态势预测模型（GEP-NSSP）。仿真实验结果表明了本方法的可行性。     

含传递角色和存在限制描述逻辑系统的匹配推理

分析了描述逻辑非标准推理的重要性和匹配推理的研究现状以及存在的问题。针对匹配推理在处理带传递属性角色符号的不足,研究含传递角色符号和存在量词描述逻辑系统EL+中的匹配推理。通过引入前向边给出EL+中概念的描述图和描述树,基于描述图和描述树给出EL+中两类匹配问题的匹配算法。说明算法的可靠性,并分析算法的复杂性。     

IPv6环境中动态防御体系的设计与实现

目前,IPv6技术的应用逐步广泛,在漏洞扫描、防火墙、入侵检测以及安全审计等传统安全技术的基础上,提出了一种基于IPv6的第二代网络的动态安全防御体系,确保新一代的网络安全,对体系的应用前景作了展望.