雷达检测概率的计算

雷达检测概率是评估雷达系统效能的重要指标,一般分为单脉冲检测概率和多脉冲检测概率.单脉冲检测概率的计算常用方法有两种,对这两种计算方法进行了验证,得出了两种计算方法相一致的结论.多脉冲的计算比较复杂,在原公式推导的基础上改进了多脉冲检测概率的计算模型,解决了原计算公式中脉冲积累数条件较难满足和虚警概率固定的问题.     

滚动轴承加速寿命试验技术研究

为了有效地获取滚动轴承具有可比性的加速寿命试验数据,利用已有加速寿命试验相关标准,结合实际滚动轴承加速寿命试验设计和实施中积累的经验,深入分析滚动轴承加速寿命试验过程中遇到的各种问题,提出一套完整的滚动轴承加速寿命试验方法。该方法对相关标准没有涉及的试验前检查、试验条件一致性分析和试验数据的处理方法进行了补充并对加速寿命试验进行深入分析,形成完整的滚动轴承加速寿命试验解决方案,可以有效地指导滚动轴承加速寿命试验的设计和实施。     

系统仿真中的模型校核问题

分析了由模型到仿真程序的问题的基本原因,指出了模型校核的必要性。对模型校核中的稳定性问题、系统状态不连贯问题和代数环问题进行了阐述和分析。针对一个二阶线性连续系统模型的离散化,通过模型校核,发现了隐含其中的稳定性问题,进而指出了相关稳定性理论在应用上的局限性,给出了解决此稳定性问题的方法,并最终通过模型校核,确认了该解决方法的有效,从而保证了对该二阶连续系统的精确的离散化。     

Making Us Disarmament Commitments Credible

President Barack Obama's 2009 commitment to pursue a world without nuclear weapons struck some as incredible given political resistance to arms control treaties and unilateral reductions. This viewpoint describes steps that can demonstrate a commitment to nuclear disarmament that do not rely on warhead dismantlement. These steps include the collation and release of nuclear data; the renovation and construction of facilities to new transparency standards; and the selective modification of conventional weapon systems. The steps may make a disarmament agreement more likely by assuaging the difficulty the United States will have committing to a verification scheme, given its capacity to circumvent such a scheme. A more credible disarmament pledge could also secure substantial fiscal and diplomatic gains.     

基于Bayes理论的装备维修性验证方法

针对装甲装备关键部件维修性验证中出现的小子样问题,提出了基于Bayes理论的小子样维修性验证,重点针对对数正态分布下维修性指标验证的验后似然比验证方法进行了深入研究。通过对装甲装备某关键部件的试验数据的实例分析,验证了该方法在减少样本容量及试验费用方面的有效性和合理性。     

任务空间概念模型VV&A研究

任务空间概念模型是现实世界军事知识的第一层抽象,是仿真系统开发的业务基础。所以任务空间概念模型的质量直接影响到仿真系统的质量,任务空间概念模型自身的VV&A是一个非常值得关注的问题。任务空间概念建模本质上看是军事领域的知识表示或者需求描述,定性描述占主要,定量成分非常少。因此,传统的通过分析输出数据的方法不能适应任务空间概念模型的特点。概要介绍了任务空间概念模型建模,并且提出了从专家法、静态校核机制、概念执行机制三个角度来考察模型质量的思路。     

舰载指控系统软件可靠性模型分析

在对软件可靠性模型领域的众多模型进行全面分析研究的基础上,通过对从事海军指控系统软件研制单位的部分专家的实地调查,运用Ｂａｙｅｓ检验方法对专家信息进行处理,进而提出了适合舰载指挥控制系统的软件可靠性推荐模型．借鉴Ｓｃｈｎｅｉｄｅｗｉｎｄ模型在美国航天飞机飞行控制系统模型评估中的成功应用,把Ｓｃｈｎｅｉ－ｄｅｗｉｎｄ模型参数估计的思想方法运用到我们所选择的舰载指控系统软件可靠性模型中,并给出了用数据分析、判断模型的具体事例．     

静电放电模拟器电流波形校验装置研究

研制了符合国际电工委员会IEC61000－4－2标准的ESD模拟器电流校验系统。该系统能自动采集ESD电流波形,计算上升时间、峰值电流、30ns时电流。60ns时电流等参数。该系统已用于我国静电计量测试站对静电放电电流波形的校验工作。     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

装备全寿命过程保障性验证技术总体构想

从分析我军装备保障性验证工作当前存在的问题入手,构建了全寿命过程的装备保障性验证技术总体研究框架,确定了主要研究内容,并提供了研究方案,探讨了关键技术的突破要点,为有针对性地、有步骤、系统地开展装备保障性验证技术研究奠定了基础．