ASLR机制脆弱性自动分析方法

地址随机化是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态;针对常见的内存泄漏与控制流劫持场景建立约束条件;通过求解内存泄漏状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果表明,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

自行火炮武器系统的寿命周期费用分析

随着技术的发展,寿命周期的研究正日益受到关注.评述了国内外寿命周期费用方面的研究现状,介绍了火炮寿命周期费用研究方法的内容及用途,探讨了费用估算的一般方法,在火炮寿命周期费用分解原则的基础上给出了火炮寿命周期费用分解结构,讨论了寿命周期费用研究方法急需解决的主要问题.     

软硬件协同设计分析

软硬件协同设计技术目前已在嵌入式系统设计中得到广泛的应用。介绍了传统的设计方法与软硬件协同设计方法,重点就软硬件协同设计的过程进行了描述,以嵌入式电视图像缩放为例研究了图像缩放的实现算法,讨论了软硬件协同设计对军工产品的重大意义。     

纳米SiO2改性聚合物锂离子电池的研究

研究了一种基于含氟聚合物的聚合物锂离子电池,考察了SiO2纳米粉对聚合物电解质隔膜的机械性能、吸液量以及电导率的影响,用电镜分析探讨了纳米改性聚合物电解质膜的微观结构;并以此纳米改性聚合物隔膜组装了小型的聚合物锂电池,研究了其电性能.     

基于Lagrange插值的非整数延时滤波器算法

针对LMS(Least Mean Square)阵列信号波束成形器延时精度低和结构复杂的缺点,提出了一种基于Lagrange插值的非整数延时滤波器算法.其本质是采用频域近似的原则,设计出一种小数延时滤波器,可以将数字信号直接延时小数倍采样周期,在精确延时专题中具有广泛用途.仿真实验表明,该滤波器可满足阵列信号波束成形中的各种延时精度要求.     

超重力下燃烧合成Al2O3-ZrO2（4Y）共晶陶瓷的自挤压工艺研究

引入自挤压工艺辅助超重力下燃烧合成制备Al2O3-ZrO2（4Y）共晶复合陶瓷,可有效地消除陶瓷制品的缩孔、缩松组织等缺陷,陶瓷致密性得到明显提高,同时又有效地抑制陶瓷裂纹萌生。XRD分析显示共晶陶瓷由α-Al2O3,t-ZrO2及少量的m-ZrO2三相组成,且随自挤压力增大,陶瓷中可相变的t-ZrO2的体积分数增加。SEM观察发现陶瓷的显微组织中的棒状共晶团随自挤压力的增大而细化,体积分数增加,且分布其上的t-ZrO2纤维直径变小,共晶团组织边缘处的ZrO2枝晶逐渐转变为细小的球晶,共晶团边界组织厚度逐渐减小,从而使陶瓷力学性能得以提升。     

论公安边防部队基层决策中的公众参与

公安边防部队基层决策中的公众参与，是指凡涉及公众利益而无需保密的重大决策，基层边防部队在决策的各个环节。都要吸收公众有序参与，并使决策充分反映民意。在国际金融危机和国内转型期条件下，基层边防部队要不断优化公众参与决策的环境，实行决策公开，推行决策听证，发挥网络优势，畅通民意反映渠道，并健全完善回应、考评、监督、纠错、问责等保障机制。实现公众参与决策健康持续进行。     

基于CAN总线的车辆控制系统设计与实现

CAN总线作为一种国际现场总线标准,被广泛地应用于车辆系统中.在介绍CAN总线的特点、帧结构的基础上,给出了基于CAN总线的车辆控制系统的最小系统节点电原理图及CAN总线通信协议的实现过程.经过台架和实车试验,验证了系统设计的正确性和可靠性.     

激波对超声速流中横向射流的影响

为了揭示激波对超声速流中横向射流的影响,在超声速流中利用长9mm、坡度为23°的斜坡产生激波。组合利用高速摄影仪和纹影仪拍摄激波入射在气体和液体射流的不同位置,以及相同位置不同喷注压降时的流场纹影和阴影图像。结果表明,激波对气体和液体横向射流的影响基本相同,都表现为入射激波增强了湍流度,扩大了燃料空间发展区域,增强了与主流的混合,激波入射在射流的前部比射流的后部影响大。     

武器装备一体化试验鉴定中两类风险管理

在制定武器装备试验鉴定方案时,厂家和部队双方很难协调生产方风险α、使用方风险β和试验成本之间相矛盾的问题。提出的一体化试验鉴定方法,引用F分布构造的统计量,根据试验具有继承性的特点,充分结合先验数据与现场试验数据对产品进行鉴定,证明了2类风险α、β与现场数据样本量n、先验数据样本量m等参数间的内在联系,运用MATLAB软件计算出一体化试验鉴定方法对应的各参数间量化数值表。