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

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

6β-乙酰氧基-8-氮杂双环[3，2，1]辛烷的电子结构研究

6β-乙酰氧基-8-氮杂双环[3,2,1]辛烷是合成托品生物碱的重要中间体,同时也是高活性的有机小分子化合物。本文对该化合物进行了量子化学计算,研究了它的电子结构,对所得结果进行了分析和讨论。     

高空气球地面充氦气量计算方法分析与试验评估

作为高空气球研究中的一个重要问题,气球在地面发放前充入的氦气量会直接影响其上升速度和驻空高度,进而影响平台的可靠性和稳定性。因此研究充氦气量的准确计算方法十分必要。建立了高空气球上升过程动力学模型,计算了气球初始升速的理论值,用于与实际初始升速对比,为评估充氦气量计算方法提供依据。归纳了三种较为典型的高空气球地面充氦气量计算方法,根据实际开展的飞行试验,分析对比了三种方法的准确性和误差范围。提出了浮力补偿规律,完成了对三种方法的评估。通过研究可以对现有充氦气量计算方法进行有效修正,进而为高空气球的实际飞行提供指导。     

考虑交流侧特征谐波的电网换相换流器小信号建模

电网换相换流器(Line Commutated Converter,LCC)作为技术性能优越的电力电子装置,可广泛应用于车辆、飞机、船舶、雷达站供电等军用电力系统领域.以可为军用雷达站、军事基地供电的基于电网换相换流器型高压直流输电(Line Commutated Converter Based High Voltage Direct Current,LCC-HVDC)系统为例,基于开关函数模型,推导建立了包含LCC整流站、LCC逆变站和直流线路的双端LCC-HVDC系统小信号模型,并与PSCAD/EMTDC详细电磁暂态模型进行对比,验证了所建立小信号模型的准确性;对比分析了考虑交流侧特征谐波分量与仅考虑交流侧基频分量的LCC-HVDC小信号模型的差异.所得研究成果可为向军用电力系统供电的LCC-HVDC系统的控制参数选取及小干扰稳定性分析提供模型基础.     

火炮武器拦截钻地弹有效命中概率计算方法

针对地面火炮武器末端拦截大壁厚钻地弹的作战需求,在常规火炮对空中目标命中概率计算方法的基础上,提出了"有效命中概率"概念,对影响弹目交会角的多种因素进行了分析,给出了增加炮弹穿甲能力和弹目交会角等约束条件的有效命中概率计算方法,可为火炮武器系统拦截钻地弹的可行性论证提供技术参考.     

“网格计算”技术及其军事价值

现代计算机网络从技术上进一步拉近了人与人之间的距离,使信息交互和处理的速度大大超出了人的极限。在现代战场上,计算机网络技术的影响力已经涉及到了指挥、控制、侦察、通信、打击等各个方面,使战场信息的共享更为可能,进而提高了武器系统的反应速度,甚至缩短了战争的进程,改变了战争的样式。随着计算机运算能力的跃升,计算机网络技术又有新的进步,一种被称为“网格”的网络形式正走出实验室,成为商用和军事领域备受关注的亮点。一、第三代网络技术———“网格计算”技术在信息时代的崛起及发展计算机和通信技术在上个世纪末的迅猛发展,…     

对“恐高症”的“免疫”疗法

一、“恐高症”的心理误区及危害。军事心理学研究认为,武器对人具有恫吓作用:作战双方利用一种或某些具有高强度杀伤力和破坏力的武器,可以给对方造成巨大的伤亡和威慑,使其陷入心理上的惊慌和恐惧状态。而在作战之前,有意识地大力渲染高新武器的打击效果,可以破坏对方整体心理稳定性、加剧精神负担、诱导恐惧心理,达成武器的恫吓作用。这样就使部分官兵陷入了高技术武器的心理误区,表现出“惟高”,即认为只有掌握高技术武器才能打赢局部战争,否则只能被动挨打;“畏高”,即对高技术武器感到束手无策。部分人认为,全天候、全方位、远时程、…     

移动数据库的应用研究

阐述了移动数据库的概念和特性,介绍了其应用现状及市场上存在的相关产品,分析了移动数据库在应用中要解决的关键问题,指出了其发展目标。     

拦截战术导弹制导的弹道稳定性分析

针对一种拦截战术弹道导弹制导规律的特点,以经典的劳斯稳定判据为依据,构想了对其弹道稳定性的分析方法。从弹道稳定性的要求出发,对制导控制系统相关参数选择的原则给出了定量的结果。最后探讨了该制导方法的工程应用前景。     

辅助变量法消除纯方位目标运动参数估计偏倚

由于测量噪声与观测阵统计相关,使得纯方位系统伪线性后的最小二乘估计是有偏的.理论分析证明,构造适当的辅助变量可以消除这种偏倚.可以将前3个时刻的测量值的预测值作为辅助变量,从统计上解耦达到消除偏倚的目的.计算机仿真计算的结果表明,该方法相当稳定,受收敛问题的困扰较少,可以达到消除估计有偏的目的,同时提高了对目标参数估计的精度,因此该做法被验证是有效的.