战车火控外弹道实时解算的研究

论证了战车火控系统弹道实时解算技术的现状和发展 ,提出了现代火控弹道问题实时解算的新的数学模型。这一先进的弹道解算设计方法 ,适应于计算机运算速度已大幅提高的技术水平 ,具有高度通用化的特点 ,并且使弹道问题的解算可以完全脱离射表进行     

软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的.软件的测试性分析与设计是分析软件测试的复杂性、提高软件测试性的基本方法.提出了软件测试性的基本概念、分析与计算方法,以及软件测试性设计的基本思路.这对于高可靠性软件--特别是武器装备软件的设计具有指导意义.     

单静止站纯方位系统的可观测性与目标参数估计算法

分析了目标参数Vmx/Do,Vmy/Do 可观测的条件 ,给出了估计这对参数的一种递推算法 .     

二元化学武器写真

二元弹是一种新型的化学武器,是近年来毒剂使用原理上一个新的突破,对化学武器的发展产生了重要影响。20世纪50年代,美国开始制定二元化学武器发展计划。美国不仅研究已知的致死性毒剂和失能性毒剂的二元弹,还发展新毒剂和新失能性毒剂二元弹。美国已经研制的二元化学武器有沙林维埃克斯和中等挥发度毒剂的炮弹、航空炸弹、火箭弹及导弹弹头等。     

提高装备战备完好性的新举措一综合诊断

介绍了国外正在发展的一种提高武器系统战备完好性的新设计与管理思想和采取的措施一综合诊断,对其涵义、特点、实施途径和诊断方案作了简要说明,对综合诊断的权衡方法进行了深入的研究,并开发出了综合诊断权衡辅助程序,指出了在我军开展综合诊断工作的必要性并提供了几点建议.     

GC／FPD测定水中芥子气

使用103气相色谱仪火焰光度检测器硫型滤光片、大口径石英毛细管色谱柱分离检测、外标法定量测定了水中芥子气,方法灵敏、快速、专一性好,结果可靠。     

土壤基质中路易氏剂的检测方法

详细研究了土壤基质中路易氏剂及其水解产物的检测方法,优化了路易氏剂水相巯基化衍生化条件,绘制了外标工作曲线,建立了土壤质的提取方法,用所建立的方法对多种不同土壤基质中的路锡氏剂进行提取,结果表明方法适用性良好。     

刑事判决的证明标准研究

刑事证明标准是近期刑事诉讼法学界争议的热点问题,它涉及到拟议中的<刑事证据法>有关刑事证明标准的规则问题.文章从刑事判决的证明标准入手,对刑事判决证明标准的证据规则作了理论概括.刑事判决的证明标准是关于刑事实体法事实中有罪评断的证明标准,不包括无罪评断的证明标准;刑事判决的证明标准在刑事诉讼的证明标准层次中是最高的证明标准;刑事判决的证明标准是个别与一般、绝对与相对辩证统一意义上的客观真实;刑事判决的客观真实证明标准是应当而且可以具体化为各种证明规则的.     

一类广义L-统计量的极限分布

假定(X1,Y1),(X2,Y2),…,(Xn,Yn)是取自二维随机向量(X,Y)的独立同分布样本.记X(1)≤X(2)≤…≤X(n)是X1,X2,…,Xn产生的次序统计量,Y[1],Y[2],…,Y[n]是诱导的次序统计量.讨论广义L-统计量Tn=n-1 n∑i=1 J(i/n+1)Y[i]的极限分布,式中J(x)是由实际问题的需要而选取的权函数.在较弱的条件下,证明了Tn的渐近正态性,同时给出了Tn的期望和方差的渐近公式.