软件能力可信研究综述

能力可信是可信计算研究领域中的重要研究内容,它要求系统的功能是可信赖的,如今,系统的开发方式,系统规模、应用模式已发生巨大变化,这使得获得功能的可信赖性的任务更具挑战性,首先综述能力可信的概念、内涵等,详细介绍了能力可信的性能指标,从缺陷分析、可靠性模型、恢复技术三个方面讨论了能力可信的研究现状、和存在问题,最后对能力可信的未来发展趋势进行了探讨.     

一种有腿机器人步态轨迹生成算法

目前存在一类有腿机器人,由于其底层动力学控制参数难于获取,行走设计无法使用已有的控制方法,现有的基于建模的步态存在缺乏完善规划,固定规划步态与实际步态相差较大的问题,针对这个问题,提出一种使用曲线拟合生成步态轨迹的想法,通过引入遗传算法,让机器人能自主的搜索良好的行走步态轨迹,在四足步行机器人平台上取得了良好的实验结果.     

基于STEP的协同设计版本存储控制策略

计算机支持的协同设计的版本管理应保存整个设计过程中产生的所有版本,以便查询和检索。在对版本信息的存储方式中,完整版本存储的存取速度快,但占用存储空间大、冗余信息多,差值存储需要的存储空间少,但存取速度慢、安全性低。该文基于STEP数据交换标准,提出2个差值存储模型,通过构造版本存储阈值函数,将差值存储与完整存储相结合,有效实现了空间效率和时间效率的平衡。     

具有能量补给的无线传感器网络分簇路由算法

提出一种具有能量补给的无线传感器网络分簇路由算法PHC。在PHC中,传感器节点通过周围环境获取能量补给。PHC综合考虑节点自身的能量起伏变化以及能量补给水平,修正了现有的簇头选择机制和非簇头节点的归属机制,使能量消耗平均分配到整个网络中。通过仿真表明,PHC在考虑了能量补给的同时,改善了无线传感器网络中能量消耗的均衡性,延长了网络的生命周期,网络中最终存活节点和整体残留能量提高了20%。     

基于椭圆曲线盲签名的安全数字时间戳方案

时间戳能为电子文件或电子交易提供准确的时间证明。该文在时间戳相对认证和时间戳绝对认证2种机制的基础上,提出一种新型的基于椭圆曲线盲签名的安全数字时间戳方案,该方案能有效解决前向时间伪造,防止签名者和TSS合谋作假所引起的后向时间伪造。     

多Agent负载均衡在入侵检测系统中的应用

针对在高速网络环境中实现入侵检测系统的动态负载均衡问题,提出一种基于多Agent的负载识别和基于改进遗传算法的动态负载均衡策略,实现入侵检测系统中的智能负载均衡,给出相应的系统模型,并以实验结果证明其有效性。     

基于水利信息网络的对等计算平台

我国水利行业对计算力需求不断增加,该文利用P2P技术汇聚PC的空闲CPU资源,来提供低成本的高计算力。针对水利信息网络的现状,以XtremWeb计算平台为基础,构造了基于广域网和局域网的两层XtremWeb网络,并采用多服务窗排队理论进行建模和分析,得到模型的相关参数。给出洪水淹没范围计算的具体实例,采用XtremWeb网络进行实验。实验结果表明,随着Worker数量的增加,实际计算耗时快速下降,系统吞吐量接近线性增长。     

基于主观逻辑的信任搜索算法

针对现有信任模型中信任搜索算法不能准确有效地对信任进行搜索与合成,利用主观逻辑理论对信任进行量化与计算,提出基于主观逻辑的信任搜索算法.算法由两个关键技术组成:信任路径提取算法与信任路径合成算法.仿真实例验证了该算法在信任合成时减少了信任网络中冗余信息对信任合成的影响,提高了信任搜索效率,使得合成结果更加准确.     

XEN网络I/O完全虚拟化机制的可扩展性研究

研究多虚拟机和多处理器结构对XEN虚拟机中网络I/O完全虚拟化机制可扩展性的影响。实验结果表明,当虚拟机数量不断增加或处理器数量超过限度时,网络性能会下降。该文分析了影响可扩展性的关键因素,即虚拟机调度机制和事件通道机制。