摘要：软件定义网络(SDN)通过分离数据与控制平台为网络提供高度开放性和可编程性。针对已有工作中SDN主动防御框架缺乏考虑网络瓶颈的问题,提出了基于SDN的分布式欺骗防御系统DDS。首先,使用多层划分算法根据物理网络的设备属性将其划分为不同区域。在此基础上为每个区域设计不同欺骗拓扑和针对攻击方侦查行为的欺骗策略,在攻击方已经成功入侵网络,但潜伏的主机位置不明的假设下,系统内的各个区域按照相应欺骗拓扑和策略执行欺骗任务。实验表明该系统能够有效干扰侦查行为,为防御方争取时间,而且区域划分将节点数量为10 000个的网络划分成3个区域时仅需11.9 ms。

摘要：可信计算能有效提高嵌入式实时操作系统的安全性,但现有的可信计算技术较难满足该系统实时性和低功耗的要求。为此,提出一种基于VxWorks内核的可信计算解决方案。设计嵌入式实时可信平台模块和可信软件栈,实现基于完整性度量证书的信任链传递结构和轻量级访问控制框架。实验结果证明,可信平台模块相比SW-TPM模块平均命令执行时间节省了65.81%,轻量级访问控制框架对系统内核的性能影响也较小,可满足嵌入式实时操作系统的应用要求。

摘要：针对移动智能终端即时通信安全问题,提出了一种不可信互联网条件下移动智能终端安全通信方法。该方法设计并实现了一种在服务器和通信信道均不可信情况下的可信密钥协商协议。理论分析表明,所提出的密钥协商协议可以确保通信双方所协商会话密钥的真实性、新鲜性和机密性等诸多安全特性。密钥协商完成之后,基于透明加解密技术即可以确保即时通信双方语音/视频通信信息的机密性和完整性。真实移动互联网环境下的测试也表明该方法是高效和安全的,密钥协商可以在1~2 s完成,攻击者无法获取即时通信的明文信息。

摘要：履带工程机械在工程实际中广泛使用,轨道链轨节承受整机绝大部分重量和全部的牵引驱动力,常见压缩压弯、扭曲、拉伸断裂等病害现象.文章在对链轨节受力情况理论分析的基础上,运用有限元法,分析链轨节结构的应力分布,获取了极值应力及位置.分析结果为改进结构的设计、加工方法和加工工艺提供了依据,为进一步使用电测和光学等试验方法测定其应力分布,进行疲劳试验,提高国产履带机构中链轨节力学性能和使用寿命有指导意义.

摘要：针对大数据的可信性验证问题,本文提出了一种大数据可信性验证方法以验证数据来源和数据内容的可信性.本文首先通过验证数据属主的身份证书来实现数据来源可信性的验证,再在简单随机抽样和可聚合的广播签名方案的基础上,设计了一个交互式质询-应答协议,使得用户只需抽样少量数据就能以高置信率验证数据内容的可信性.理论分析和实验结果表明,本文方法是安全的,且性能开销在合理范围内,能够实现大数据的可信性验证.

摘要：针对某型叉车起升机构中横梁弯角频繁出现的断裂现象进行了理论与数值分析,并对失效部位进行了试验检测。通过比较发现,数值分析与试验测试结果一致,即安全系数偏低,接近于1.0。然后,进一步数值分析了中横梁的基本尺寸参数(厚度b、高度h、弯角半径R)对横梁强度性能的影响。结果表明:厚度b是影响强度的最主要因素;弯角半径R对强度有较大影响;而高度h对结构强度影响较小。基于此,对中横梁结构尺寸进行了优化,最优化结构的应力大幅降至125MPa,较现有结构降低了约91MPa,安全系数显著提升至1.7左右,而结构质量基本不变,较好地解决了这类叉车门架横梁的失效问题,对类似的工程机械的设计研究和生产使用具有指导和借鉴意义。

摘要：文章针对已设计完成的16tC型压力机结构,利用有限元软件对压力机整机进行最大工况下的工作状态的模拟,得出该状态下压力机整机的力学性能,以校核该压力机的刚度与强度。采用计算机数值模拟结果对压力机结构进行优化。针对优化之后的设计模型,模拟多工况压力机的压装实验,采集多个荷载下压力机竖向压装的位移数据。利用数据拟合的方法对采集的数据进行拟合,近似得出16tC型压力机工作时的压装位移曲线。利用获得的压装位移曲线,修正压力机压装行程,提高压装精度。

摘要：虚拟集群的负载均衡机制对服务质量QoS(quality of service)造成影响,针对此问题,提出一种QoS驱动的负载均衡算法(QoS-aware adaptive load balancing algorithm,QALBA),设计QoS与负载均衡两个控制回路。QoS控制回路作为内层控制回路,根据服务的QoS要求驱动资源分配,保证虚拟机中应用层服务的性能;负载均衡控制回路作为外层回路,依据宿主机的资源利用率控制虚拟机的迁移,实现集群系统的宏观负载均衡;通过两个控制回路的协作,同时处理QoS保障与负载均衡问题。实验结果表明,该算法能够在保证服务的QoS的前提下有效均衡系统负载。

摘要：可信计算已经成为国际信息安全领域的新热潮,可信计算平台产品开始走向应用.对于信息安全产品,不经过测评用户是无法放心应用的.本文围绕可信计算平台的测评问题,从建立适合测试的可信计算平台形式化模型入手,建立了一种基于SPA的信任链数学模型,并给出了其复合特性的分析验证方法,通过分析发现远程证明过程存在对可信系统发生安全性危害的潜在因素.针对可信软件栈,研究了其测试用例自动化生成问题,提出一种改进的随机测试用例生产方法,提高了测试用例的质量.最后给出了一种可信计算平台测试原型系统及相关实际测试数据.测试结果表明,该方法发现了现有TCG可信计算平台在设计体系上存在着一些缺陷,同时也发现了若干现有可信计算平台产品存在的缺陷,为可信计算平台技术及产品的改进和发展提供了依据.

摘要：针对形式化建模方法导致的状态空间爆炸问题,提出了一种基于Petri网的高性能集群建模与性能评估方法.首先分析了高性能集群的系统架构,构建了模型的总体结构;然后针对集群系统建立了相应的任务产生子模型和调度子模型,并通过对Petri网进行着色,根据不同种类任务的执行特点设计了相应的任务处理模型.仿真结果表明,利用所建立的模型能够有效评估关键参数对集群性能的影响.