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

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

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

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

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

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

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

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

战时弹药输送路径PSO决策分析

介绍了粒子群优化算法的基本思想和理论,阐述了基于粒子群优化算法的战时弹药输送路径决策分析的实现过程。通过实例应用,证实了粒子群优化算法对弹药输送路经决策问题是可行和有效的。     

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

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

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

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

航天服静电放电点燃能力实验研究

人—航天服系统产生的静电放电能否引燃航天服关系到载人航天飞机的安全性。通过实验研究了在纯氧和普通大气条件下 ,静电放电对各种航天服的引燃能力。实验表明 ,在普通大气条件下 ,静电放电不能引燃航天服材料。在纯氧条件下 ,点燃航天服材料所需的静电能量与静电放电的模型有关 ,机器模型的引燃能力最强。静电放电航天服点燃航天服材料所需的最小能量为 4 8mJ。     

基于单元体设计的装甲装备弹目交会建模方法

为了提高作战仿真效果的可信度,提出了一种基于单元体的解决思路,并通过弹头终点弹道特性、装备几何特征、弹头与目标的关系分析,建立了陆军作战仿真的弹目交会模型。试验测试结果表明:该模型能够仿真作战过程中的弹头命中点坐标,满足作战仿真系统的准确性、实时性要求。     

加权紧致非线性格式在热化学非平衡流数值模拟中的应用

高精度格式因其在较低的计算资源消耗下仍能保持足够的精度而在精细流动结构的模拟中具有独特优势。将显式5阶加权紧致非线性格式(WCNS-E-5)引入二维高温非平衡流计算,进行自由流速度5.0~5.7 km/s的高焓风洞和高空条件下的圆柱非平衡流场数值模拟,得到正确的流场参数分布、壁面压力和壁面热流等结果与实验值吻合较好。计算结果表明,WCNS-E-5格式较2阶的MUSCL格式具有更好的热流网格收敛特性。分析并针对算例条件初步解决了高阶格式在刚性化学反应流模拟中的鲁棒性问题,为进一步采用高阶格式开展流场结构更加复杂的热化学非平衡流数值研究奠定了良好基础。