SINS/GNSS自适应反馈校正滤波

SINS/GNSS组合导航中,反馈闭环校正比开环输出具有更高的短时精度;但反馈校正的输出会有长时间缓慢发散迹象。传统工程上应用最优奇异值可观测度对反馈向量进行自适应调整,但最优奇异值计算量很大,且不同机动情形下的最优奇异值也不相同,很难确定。通过分析卡尔曼滤波的方差矩阵,提出一种新的可观测度定义,并利用滤波协方差矩阵确定新的可观测度,并结合人工神经网络确定反馈校正的自适应调整系数,仿真表明新方法抑制了反馈校正输出误差的长时缓慢发散,提升了导航精度。     

基于TAU和SA的体系结构验证方法研究

TAU和SA是顶层设计领域广泛使用的成熟商业软件,具备对体系结构部分模型进行验证的能力。在分析体系结构验证的概念及验证内容的基础上,较完整地从语法层、语义层、语用层三个层次提出了基于TAU和SA的体系结构验证方法。以无人机侦察系统体系结构验证为例,说明了TAU和SA在状态图可达性验证和作战规则合理性验证上的有效性和实用性。     

图像标注研究及其在情报处理中的应用

图像数据具有直观、信息量丰富等特点。图像标注方法通过获取图像特征,训练语言模型,实现用自然语言自动描述图像信息。简要介绍了图像标注方法的分类及其相关关键技术。研究表明,通过对大规模图像的自动描述,能更好地管理、分析海量图像信息,能高效地对图像进行分类、检索。结合特定的信息处理技术,图像标注可用于发现有价值的情报信息,为国防安全、战略决策等提供信息支撑。     

国防领域技术预警流程研究

技术预警是对技术突破和由此引起的军事、政治、经济和社会危机的预测,是从国家安全的根本利益出发,以保持己方军事优势、防止敌人"技术突袭"为宗旨的技术发展预测。研究回顾了国内外技术预警研究历程,从前期准备、预警清单、技术调查、分析评估等四个主要环节,全面分析国防领域技术预警的具体流程,为国防领域技术预警系统的构建与应用提供支撑。     

基于敏感性分析和准稳态假设简化详细反应机理

发展了一套基于敏感性分析和准稳态假设来简化复杂化学动力学机理系统的方法。采用等压均相反应器燃烧模型和详细化学动力学机理计算特定工况下的自燃过程。通过对详细机理计算结果的敏感性分析后删除其中的冗余组分和冗余反应,简化得到基干反应模型。再找出基干机理中反应速率较快,浓度较低的组分假定为稳态组分,使用准稳态假设方法简化得到总包反应模型。最后以甲烷燃烧的GriMech1.2详细机理为例分析得到了简化机理并计算了着火延迟时间,与详细机理所得的结果进行比较验证,得到了较好的结果。     

面向联合作战行动设计的态势差分析机理研究

文章介绍了态势差的概念内涵,分析了在设计联合作战行动时为什么要分析态势差,阐述了如何分析态势差。态势差分析是工程化作战筹划的一个环节,研究态势差分析机理,能为作战行动设计提供有力支撑,提高作战筹划效率。     

作战数据工程建设与发展

战争形态正加速向信息化战争演变,数字化作战成为主要形式,作战数据以前所未有的深度广度进入战争全脉络,成为作战的核心,影响着战争进程甚至决定成败。习主席高度重视作战数据建设,多次指出我军数据积累严重不足是军事斗争准备的短板弱项。因此,建设完善配套的作战数据库和形成战时高效的作战数据保障能力,对获取作战信息优势、提升指挥控制能力至关重要,对于提高我军基于网络信息体系的联合作战能力具有重要的支撑作用。     

影响图建模理论及其应用实例分析

影响图方法体现了定性分析与定量分析相结合的建模思想,可对复杂系统进行规范化建模。介绍了影响图建模思想和相关的基础理论,通过对C4ISR系统参与下的战术防空作战过程的分析,给出了描述作战过程所需的参数及其间耦合关系,最后采用影响图方法建立了防空作战的影响图模型,并指出了应注意的几个问题。     

高可靠、强实时分布式系统的切换技术研究

本文首先给出某高可靠、强实时分布式系统及系统的两种切换方案的简要描述，然后对切换技术的实现进行讨论；最后，在建立强实时双工系统的可靠性模型基础上，对系统的两种切换方案进行分析与比较。研究结果表明：对于本系统，机组级切换优于结点机级切换，且可以减少程序的复杂度，提高系统的可靠性与实时性。     

PTFE润滑剂的研制

介绍了PTFE润滑剂的研制过程、配方、制备工艺和应用效果。结果表明以PAO合成油和矿物油的混合油为基础油,以PTFE超细粉为润滑组分,通过加入多种添加剂研制的PTFE润滑剂具有胶体稳定性、分散性、润滑性和防护性。