平面内一组线段相对于线光源的可见性

给定平面内一组互不相交的线段 ,将实际光源抽象成有限长度线光源 ,讨论其可见性 ,发现线光源的照射效果等价于线光源两端点的照射效果叠加 ,给出了寻找所有可见边的算法 ,推广了文 [1 ]的结论。     

软件的测试性分析与设计

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

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

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

二元化学武器写真

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

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

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

GC／FPD测定水中芥子气

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

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

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

俄新型导弹艇隐身了

新世纪在即,俄罗斯海军第四代导弹快艇正加紧建造,并以隐身设计和装备先进火控系统为主要特征,以外销为主渠道。     

刑事判决的证明标准研究

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