安全关键软件安全性评估方法

软件安全性评估的目的是评价软件是否达到系统所要求的安全性,对于保证和确认软件的安全性具有非常重要的意义.阐述了安全性评估方法的发展历程及优缺点,分析了推动安全性评估方法发展的原因.总结了各类安全性评估方法的所需数据、安全性参数、评估对象及适用阶段,剖析了安全性评估方法目前存在的问题.在此基础上,对未来的安全性评估方法的研究重点提出了两点建议,供其他研究人员参考,期望能推动软件安全性评估研究领域的深入开展.     

电传动履带车辆转向行驶控制策略仿真研究

以双侧电机独立驱动这一典型电传动方案为研究对象,针对转向行驶控制的难题,提出了基于功率-转速复合调节的转向行驶控制策略,对驾驶员操控信号进行了解析,基于Matlab软件和RecurDyn软件建立了电传动车辆的机电一体联合仿真模型,对车辆典型转向工况进行了仿真试验,验证了转向行驶控制策略的有效性。     

压缩感知新技术专题讲座(三) 第6讲 压缩感知在语音处理中的应用研究

压缩感知CS(Compressive Sensing)作为一门新兴的技术,成为近年来人们广泛关注的研究热点。文中介绍了压缩感知理论的基本原理,在此基础上将压缩感知理论应用到语音信号处理中。首先研究了语音信号的稀疏性,说明了对语音信号进行压缩感知具有可行性;其次,采用随机滤波器组构造随机测量矩阵得到语音信号的压缩测量值;最后,研究了压缩测量值之间的相关性并将这种相关性作为稀疏度的一种度量方法用于控制随机滤波器阶数,实现了语音信号的自适应压缩感知。     

基于编队结构特征的海面舰船目标关联方法

为综合利用星载光学成像、星载电子侦察数据对海面舰船编队进行监测,提出了一种基于舰船编队结构特征的二次匹配目标关联算法,通过构造加权二分图进行最优匹配求解。仿真结果表明,该方法在目标定位精度差别较大、目标存在漏检测等情况下相比传统关联算法的匹配正确率有较大提高,证明了算法的有效性。     

水下传感器网络部署优化研究

水下传感器网络具有广阔的应用前景,但也存在能量有限、延迟较长、部署区域不连通和通信能耗大等问题,理论和实践证明传感器节点的优化部署是解决已上问题的有效方法。为此综合考虑水下传感器网络的工作环境及传感器特性,建立了提高网络可靠性的网络部署模型,给出了网络部署的成本函数及约束条件,并使用遗传算法对传感器节点和中转节点的部署成本及网络生命周期内的能量消耗进行优化。通过仿真实验表明,该模型收敛速度快,部署节点结果合理,达到了较好的优化网络的目的。     

体外预应力FRP片材加固混凝土结构的研究现状及发展

CFRP片材加固混凝土梁是一种新型的加固方法,但该方法存在着CFRP强度利用不高、对梁使用阶段性能改善不明显等问题,对CFRP施加预应力,不仅可以充分利用CFRP的强度,还能有效地改善加固梁的受力性能,进一步抑制梁的变形和裂缝的开展。体外预应力FRP片材加固混凝土结构近几年来在国外得到了广泛的研究与应用。对在该领域已有的研究成果从预应力的施工工艺、张拉控制应力、锚固措施、预应力损失和设计方法等方面进行了总结,可为今后开展相关的研究和应用提供借鉴和参考。     

基于HLA的地空导弹拦截仿真系统的开发

高层体系结构HLA建立一个通用的仿真框架,以解决不同仿真器、模型之间的互操作及仿真组件的可重用性问题.针对当前空防对抗的主要特点,在地空导弹拦截的数学模型的基础上,利用HLA技术框架,详细地叙述了地空导弹拦截仿真系统的开发过程.仿真试验表明该系统能有效评估地空导弹火力单元对来袭目标的有效抗击效率和火力范围,为地空导弹火力单元的部署和作战效能的改进提供辅助决策手段.     

基于Citespace的国内公共政策研究现状分析

推进社会经济发展和管理需要科学制定和实施公共政策对当前研究现状进行分析梳理,有利于该领域的发展,使公共政策的制定和执行更加科学有效。以CNKI数据库收录的5799篇国内公共政策研究期刊论文为样本,采用文献计量法和知识可视化分析工具CiteSpace,对国内公共政策研究的现状、演进与热点等进行深入探讨。结果表明,21世纪以来,公共政策研究进入了高潮,但作者、机构之间学术联系较弱,还处于比较分散的状态。研究热点主要集中在政策制定、合法性有效性评估、群众认可及产业应用方面,新的研究前沿将是开拓民主渠道、完善监督机制、推动政府决策科学化等方面。     

图像恢复中的稳健交替方向乘子法

交替方向乘子法在解决线性逆问题(包括图像恢复)中取得了良好的效果,但是其效果对惩罚参数的选择非常敏感,不利于具体的应用。提出基于惩罚参数自适应选择原理的稳健交替方向乘子法,对其优化条件和收敛性进行了详细分析。实验表明,在基于Parseval紧框架的图像恢复应用中,该算法不但对惩罚参数的选择表现出良好的稳健性,而且效果优于交替方向乘子法,并优于其他目前热门的算法。     

不可能差分分析时间复杂度通用计算公式的改进

研究Boura等和Derbez分别提出的不可能差分分析时间复杂度计算公式,根据实际攻击过程优化密钥排除的步骤,给出不可能差分分析实际攻击的时间复杂度计算的改进公式,进而利用两个分组密码算法模型将改进后公式计算的实际结果分别与Boura等的公式和Derbez的公式的计算结果进行对比,结果表明Boura等的公式计算结果既可能高于优化公式的实际分析计算的结果,也可能低于优化公式的实际分析计算的结果,而在轮子密钥独立时改进后公式的实际计算结果是Derbez公式的计算结果的2-1.2倍。