基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

高比重钨合金的烧结成形与组织性能研究

采用液相烧结成形工艺制备了90W-Ni-Fe合金棒,通过分析烧结态钨合金的组织形貌和力学性能,观察合金的断口组织形貌,研究了烧结工艺对高比重钨合金组织性能的影响,认为减少W-W界面,增加W-W界面的结合强度,是提高烧结态钨合金力学性能的有效途径。     

维恩位移定律2种表述之间的关系

讨论了维恩位移定律2种表述之间的关系,并与麦克斯韦分子分布函数的峰值相关量进行对比,说明原始的维恩表述是由实验决定的.并对2种表述的物理意义作了阐述.     

基于信息系统的作战指挥效能“嵌入式”评估策略

在分析基于信息系统的作战指挥效能评估特点的基础上,提出了"嵌入式"作战指挥效能评估策略;按照指挥实体、指挥活动、指挥效果3个层次,梳理了指挥主体效能、指挥信息系统效能、指挥活动效能和指挥对象任务效能4个方面的评估内容框架;根据评估活动与作战指挥活动"一体化"原理,设计了作战指挥效能评估在各个作战阶段的活动流程,并进一步提出了作战指挥效能评估工具"功能性嵌入"作战指挥信息系统的方法。     

供油挂车泵机油温度变化规律实验研究

通过实验研究了100 mm野战输油管线供油挂车泵运行时及停运后机油温度随时间的变化规律。采用数据拟合、回归分析等数学方法,分别研究了供油挂车泵空载和带负荷两种情况下机油温度的变化规律;针对供油挂车泵各种工作状态,分析了影响机油温度变化的主要因素,建立了温度变化数学模型。研究结果为100 mm和150 mm野战输油管线供、输油挂车泵机组模拟器的研制提供了一定参考。     

内压圆筒大开孔结构补强设计与应力分析

根据整体补强和厚壁接管补强2种型式,为内压圆筒大开孔结构确定满足结构和工艺要求的圆筒壁厚和3种规格接管壁厚。采用压力面积法和ASME规范对该大开孔结构进行强度校核,并运用有限元分析法进行结构的应力分析和数字模拟,比较不同壁厚接管的补强效果,从而确定容器的结构尺寸。设备实际运行结果表明:该结构强度满足工作要求。     

军队会计流程存在的问题及优化策略

在新军事变革的背景下,军队会计流程存在不适应新管理体制需要、信息技术应用对会计流程再造力度不够、军队会计科目设置影响流程等问题。本文从界定军队会计流程的含义入手,提出了优化军队会计流程、建立智能化军队会计信息系统的四项策略,即重塑军队会计流程体系、重构军队会计信息系统、调整军队会计科目体系以及完善各流程会计处理方法。优化军队会计流程、建设智能化军队会计信息系统,不仅能够反映军事经济活动的历史信息,还能为不同类型的信息使用者提供预测、决策等支持,并有利于改善军队会计核算质量,准确反映各类资产负债的价值信息和单位的真实财务状况,对于提高军队会计信息质量具有一定的借鉴意义。     

Robust cubature Kalman filter method for the nonlinear alignment of SINS

Nonlinear initial alignment is a significant research topic for strapdown inertial navigation system(SINS).Cubature Kalman filter(CKF)is a popular tool for nonlinear initial alignment.Standard CKF assumes that the statics of the observation noise are pre-given before the filtering process.Therefore,any unpredicted outliers in observation noise will decrease the stability of the filter.In view of this problem,improved CKF method with robustness is proposed.Multiple fading factors are introduced to rescale the obser-vation noise covariance.Then the update stage of the filter can be autonomously tuned,and if there are outliers exist in the observations,the update should be less weighted.Under the Gaussian assumption of KF,the Mahalanobis distance of the innovation vector is supposed to be Chi-square distributed.Therefore a judging index based on Chi-square test is designed to detect the noise outliers,determining whether the fading tune are required.The proposed method is applied in the nonlinear alignment of SINS,and vehicle experiment proves the effective of the proposed method.     

基于"网云端"的新型指挥控制系统体系结构建模

指挥控制系统是综合电子信息系统的核心,是作战效能的"倍增器"和作战指挥的"神经中枢".从"网-云-端"的结构出发,分析了新型指挥控制系统的总体架构和组成关系;通过分析美国国防部体系结构框架(DoDAF2.0),提出了基于DoDAF2.0的新型指挥控制系统体系结构建模流程;采用结构化和面向对象相结合的方法,设计了新型指挥控制系统作战视角、服务视角、能力视角以及系统视角的关键模型,为系统的具体设计与开发、系统评估与分析提供可靠的模型支持.     

舰空导弹武器系统抗干扰能力试验方法

针对舰空导弹武器系统抗干扰能力考核需求,提出一种试验方法,基于舰空导弹武器系统的制导控制系统半实物仿真试验对多种干扰环境下的武器系统抗干扰能力进行逐一检验,通过外场飞行试验进行典型工况下的验证,该方法实现了对舰空导弹武器系统抗干扰成功概率的有效考核,还可以支撑对防空导弹武器系统在单一、复合干扰形式下的抗干扰能力指标的评估.