空袭目标生成仿真模型研究

空袭目标生成,是防空兵作战仿真中一项十分重要的内容,其是否合理、有效将直接影响作战仿真的真实性.从防空兵作战的实际出发,依据空袭兵器的作战规律探讨了空袭目标的随机抽样过程,构建了单个空袭目标、单一空袭目标流和混合目标流的生成模型.     

认知Ad Hoc网络的MAC层研究综述

MAC层是认知Ad Hoc网络一个很重要的研究领域。它决定频谱的感知策略和接入策略,在保证主用户不受影响的前提下,实现与主用户及其它认知用户的共存。文中综述了认知Ad Hoc网络MAC协议的设计要求以及当前面临的问题和挑战。然后对认知Ad Hoc网络进行了分类。对几种典型的MAC协议进行了分析和对比。最后展望了未来的研究方向。     

内网安全存取的双向验证

考察内部网络数据的安全传输与访问需要,通过对数据资源分布粒度和操作权限多重性的 分析,给出资源的操作模型,并提出双向验证的安全控制策略。最后,讨论了如何提高控制效率的措施。     

考虑非线性退化与随机失效阈值的剩余寿命预测

针对广泛存在的非线性退化设备,现有方法尚未考虑随机失效阈值对剩余寿命预测结果的影响。因此,通过对设备性能退化过程进行分析,提出了一种综合考虑非线性退化与随机失效阈值的剩余寿命预测方法。基于Wiener过程构建了考虑个体差异与测量误差的非线性退化模型;基于卡尔曼滤波算法建立状态空间模型以实现对退化状态的在线更新;基于极大似然法估计失效阈值分布系数估计方法,得到随机失效阈值的概率分布;基于随机失效阈值推导出剩余寿命的概率分布,实现对剩余寿命的在线预测。算例研究表明,所提方法可以有效地提升剩余寿命预测的准确性,具备一定工程应用价值。     

电偶腐蚀下非稳态扩散瞬时静电场分析

为分析在浓差极化条件下非稳态过程中的静电场分布情况，在斐克第二定律的基础上利用拉普拉斯变换求解电极表面氧浓度随时间的变化。通过法拉第定律分析受氧浓度控制下的电偶腐蚀电流密度，在此基础上利用电流元模型求解电解质溶液中任意位置处产生的瞬时电位及静电场强度，并通过实验验证结果的正确性。结果表明：浓差极化下的非稳态扩散传质产生的静电场及电位会随着时间的增加而逐渐减小，并最终达到稳态，且电流密度会随着氧的浓度减小而减小。     

一类随机非单调二元算子的随机不动点定理

利用Mann迭代技巧,讨论了不具有紧性条件的随机非单调二元算子方程随机不动点的存在唯一性,并给出了迭代序列收敛于解的误差估计,所得结果是某些已知结果的本质改进和推广。     

基于程序状态变迁的ASLR机制脆弱性分析方法

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

螺栓法兰连接结构有限元模型参数确定方法

螺栓法兰连接广泛用于各种工业结构中,为准确预测该连接在实际工作中发挥的作用,需要建立准确高效的有限元模型。针对有限元建模过程中模型各种参数的确定问题,综合使用数值仿真手段和试验手段分别对模型网格参数和接触参数的确定开展研究。参数确定后的螺栓法兰连接结构有限元模型在保证计算精度的前提下,计算效率得到显著提高。     

面向嵌入式火控软件的划分测试设计

根据嵌入式火控软件的数据特点 ,设计了相应的划分测试原则。并以某型坦克火控软件的实验数据对比了划分测试与随机测试的覆盖率 ,总结出对于该类软件划分测试具有一定的优势     

基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述，给出了资源泄漏缺陷状态机，定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中，按照资源泄漏缺陷状态机给出的转换条件进行状态计算，如果计算结果为故障，则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试，发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。