按纲施训催生战斗力

严格落实“新大纲”,增强官兵按纲施训的意识,从而使部队的军事训练步入了规范化、正规化的轨道。5年来,我师先后4次参加北京军区和省军区组织的大型军事演习和考核比武,均取得优异成绩,受到总部和北京军区、省军区的表彰。     

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

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

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

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

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

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

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

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

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

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

按纲施训要在谋打赢上有作为

近年来,北京市房山区人武部以《军事训练与考核大纲》和《陆军军事训练指导法》为依据,以使命任务为牵引,紧密结合自身实际,认真筹划,积极创新,依法组训,从严治训,较好地完成了上级赋予的按纲施训试点任务。     

移动数据库的应用研究

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

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

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

适于卫星闪电监测系统的地面站数目配置初探

闪电监测载荷搭载在不同卫星平台时,地面站对它的观测时间都会发生相应的改变,文中对其进行了计算,并对不同轨道高度下所需的地面站个数作了简要分析。