军用嵌入式软件结构覆盖测试技术

基于军用实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了各种平台软件尤其是嵌入式强实时软件的插装策略,分析了写文件、写内存、按位记录特征值、使用硬件的插装方式的优缺点。提出了有效的结构覆盖测试技术和测试方法。对实时嵌入式软件的测试,具有实际参考价值。     

美俄军事卫星系统发展现状与趋势

目前,世界各国意识到信息对战斗力生成的巨大作用,纷纷开始积极发展军用卫星体系。从通信卫星、侦察卫星、预警卫星和导航定位卫星四个方面入手,介绍了美俄军事卫星系统的具体型号、数量、发射时间、运行状况等情况,并分析了军事卫星系统的发展趋势。现代航天技术的发展,极大地改变着人类的生活方式,也必将影响未来战争的发展模式。     

基于HTCPN的飞机备件需求预测方法

针对航空兵部队飞机备件需求预测问题,提出了一种基于分层赋时着色Petri网(Hierarchical Timed Colored Petri Net,HTCPN)的飞机备件需求预测方法。根据飞机维修保障工作内容与流程,运用CPN Tools软件,构建飞机维修保障工作HTCPN总网仿真模型,以及故障维修工作HTCPN子网仿真模型。提出了备件需求量确定规则,建立了基于飞机出动架次率的备件需求预测模型。通过算例分析,验证了该方法的科学性和有效性。     

基于统一理论框架的故障诊断模型及学习进化方法

本文以概率图理论为基础,系统研究了基于这一理论框架的故障诊断模型,对模型的构建方法以及在不同场景下的模型演化方案进行了探讨,使得在统一理论框架下可实现多模式系统故障诊断、耦合故障诊断、动态故障诊断、故障预测等复杂情形的诊断。为了弥补单独利用基于模型的方法和基于数据的方法的缺陷,研究了诊断模型的学习进化策略,实现了诊断效果的改进和优化。另外,对模型后续的能力扩展和可能的研究方向进行了展望,为后续理论研究提供了参考。     

保障需求分析方法及其应用

针对当前在装备保障需求分析过程中缺乏合适的方法和工具的问题,提出一种基于能力与面向需求分析相结合的装备保障需求分析方法,并通过运用解释结构模型法,对分析结果的结构及相互关系进行科学构建。力求通过该方法的应用,能够辅助论证人员深刻理解和合理判断各种因素之间的相互影响关系,通过结构化和对比化的装备保障需求分析过程得到能正确反映保障需求的关系结构。从而为装备保障发展内容的分析打下良好的理论基础。     

MPI并行程序中通信等待问题的诊断方法及其应用

随着并行规模的扩大,现有通信等待问题的诊断方法存在内存开销大、测量时间开销大等问题。通过对现有通信等待问题诊断方法的深入分析,同时考虑测量开销可控的实际需求,建立基于热点函数的通信等待问题诊断模型。基于上述模型,总结出一种更精简、更实用的通信等待问题诊断方法。将该诊断方法分别应用到二维LARED集成、LARED-S、LAP3D等大规模MPI并行程序的通信等待问题诊断过程,应用效果表明本诊断方法可精确定位导致通信等待问题的关键代码段,给出的优化方案及性能提升空间对于后续的程序改进具有参考价值,其中根据诊断结果优化后的LARED-S程序性能提升32%,通信等待时间减少44%。     

回转体表面不同尺寸脊状结构的减阻数值仿真

将脊状表面减阻技术应用于水下回转体,对回转体表面不同尺寸的V型脊状结构在多个速度下进行了数值仿真计算,发现了脊状结构的尺寸对回转体脊状表面减阻效果的影响规律。针对回转体脊状表面的流场特性,在进行数值仿真时合理选择了计算模型、计算流域、计算网格及边界条件。仿真结果表明:在同一速度下,相对光滑表面而言,回转体脊状表面所受的压差阻力略有增大,但占总阻力份额80%以上的粘性阻力显著降低,从而形成减阻效果;当V型脊状结构的宽高比等于1时,减阻效果最佳;对于同一个回转体脊状表面,低速下的减阻效果明显优于高速。