软件的测试性分析与设计

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

二元化学武器写真

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

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

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

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

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

刑事判决的证明标准研究

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

机载多功能射频系统是21世纪防空电子对抗的新威胁

美国空军第四代战斗机F-22上的低可探测性(LO)多功能射频系统(MFRFS)AN/APG-77,以及将要为联合攻击战斗机(JSF)设计研制的机载多功能射频系统(MFRFS),主要特征是使用了先进的有源电扫阵(AESA)天线.通过对AESA的共享,F-22的MFRFS能同时执行雷达、电子战和通信功能,其超视距目标探测、识别与拦截能力,丰富多彩的电子对抗招式,以及飞机具有的低可探测性能,使之成为21世纪夺取空中优势的重要武器系统,必将给未来防空电子对抗构成严峻的挑战.     

论大学英语词汇习得及完备性

第二语言“词汇习得的完备性”在英语教学中尚未受到普遍重视。本文旨在阐明这一领域的理论基础及实践性 :公外大学生的词汇量、词汇习得的完备性 ,实际教授词汇的引导性、启发性等 ,望能引起同行的关注     

新全球化时代对高校德育的哲学反思

随着现代科学技术的突飞猛进 ,尤其是信息科技的快速发展 ,人类正进入一个高度交往的新全球化时代。这种全球化发展趋势 ,给高校德育的发展带来了一系列新的重大问题和挑战 ,要求高校德育理论和实践的不断创新和发展     

微波飞机与磁力飞机问津新世纪

随着科学技术的不断发展,战场环境的不断改变,传统的以燃烧燃料为动力的飞机已不能完全满足战争的需要。有没有其它的能源为飞机提供动力呢?微波飞机和磁力飞机就是其中的代表。