数字系统的可靠性和可测试性设计

数字系统的可靠性和可测试性越来越引起人们的关注,并形成了大量的理论和技术,介绍了常用的可靠性设计技术,例如避错技术、容错技术、编码检错技术、故障自检测和自诊断技术以及失败安全设计技术同时还描述了可测试性设计的特定技术、通用技术、边界扫描技术以及内建自测试设计技术,设计人员可以选择适当的技术进行可靠性和可测试性设计,从而提高数字系统的可靠性.     

面向对准方案等效性分析的命中精度评定

动基座发射的飞行器存在精对准和粗对准两种方案,由于粗对准采用提前获取的失准角,时间效应的不确定性导致对准偏差较难获取,不利于制导精度分析。本文提出了一种基于命中精度评定的飞行器对准方案等效性分析方法,基于置信上界估计方法,通过对飞行器粗对准和精对准子样进行独立评定和对比,在评定准则下验证了两种对准方案的等效性,可有效确定粗对准状态下失准角的时间效应对精度的影响。     

国家综合PNT体系下的多源自主导航系统技术

国家定位、导航与授时(Positioning, Navigation and Timing, PNT)服务的核心是建立基准统一、弹性健壮、安全可信、高效便捷的综合PNT体系。总结了中美两国近年来PNT体系发展概况,分析了现有多源自主导航系统存在的不足之处,提出了多源自主导航系统的基本特性,即可检测性、可重构性、可信性和完备性,并给出PNT体系下多源自主导航系统技术未来的发展建议,为国家综合PNT体系后续论证及工程建设实施提供参考。     

涡桨发动机方案阶段经济可承受性分析

基于涡桨发动机经济可承受指标的定义,建立了涡桨发动机方案阶段的技术指标体系,提出了涡桨发动机全寿命周期费用指标及估算方法。给出了涡桨发动机方案阶段性能/费用权衡分析、全寿命周期费用估算及经济可承受性指标分析的过程,并以同一涡桨发动机为基准,对比分析了单转子方案和双转子方案的经济可承受性,最终得出该型发动机双转子方案经济可承受性更优的结论。     

分段函数可导性的一种简便判别法

分段函数的可导性问题是高等数学理论中的一个重点和难点 ,学生在平时的学习中不易掌握 ,本文介绍一种简单判别分段函数在分段点处的可导性的方法     

浅论军用方舱在飞航导弹地面设备系统中的应用

着重介绍了军用方舱的结构特点及优越性。由于它具有机动灵活，便于多种方式运输，并具有舒适的内部环境和较强的防护能力，因而很快得到推广和应用。这对提高部队地面设备的战略机动性和战斗适应能力以及生存能力将会发挥积极作用。     

某类四阶非对称微分算子的正则性

本文处理如下四阶非对称微分算子A_λ,A_λ:K(i,j)→A_λK(i,j)的正则性。对于对称微分算子的传统处理,是利用紧算子的重要性质与E.C.Tichmarsh的函数论方法。对于非对称算子,类似的方法会遇到若干麻烦。然而当采用先验估计法,特别利用Opial不等式与内插不等式后,则能比较容易地得到A_λ的范数下界估计及一系列的正则性结果。     

有控飞行器非线性气动模型结构的确定（Ⅱ）

针对非线性气动模型结构中必然存在的共线性问题，冲破传统模型结构确定方法的束缚，提出了基于共线性诊断和主元回归及主元分析筛选变量法进行非线性模型结构确定的新思想。有效地解决了非线性模型结构确定问题，进而首次讨论了本文给出的模型结构确定方法与最优输入设计及参数可辨识性三者间的关系。某型飞行器非线性气动模型的确定证明了本文方法的有效性。     

Monte Carlo方法在红外加热笼热设计中的应用

本文将Monte Carlo方法应用于红外加热笼热设计中,分析了红外加热笼模拟柱形卫星侧面外热流时,加热笼功率、均匀因子、反照因子的变化规律。