基于MC/DC最小测试用例集设计方法研究

动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的软件,DO-178B规定了不同的结构覆盖标准。本文针对A级软件,给出一种适合MC/DC准则的最小测试用例集快速设计方法。针对一个判定中同一条件出现多次的复杂情形引起的两种不同用例设计思路,结合LDRATestbed覆盖分析结果,总结出合理的设计方法。     

网络化综合化的天地一体化信息系统探讨

针对天地联网中空间与地面网络节点的信息高效互通、交换及应用需求,利用电子信息综合化技术实现高度综合化的多功能通用平台,构建天基以及地面系统"资源池",结合SDN(Software Defined Network,软件定义网络)架构、网络协议与路由网关,将有效解决网络中由于物理界限造成的信息阻隔,实现物理资源与边界虚拟化、信息流程智能化的天地一体化天基信息系统,提高天基信息资源利用率、信息按需定制及高效共享能力.结合天基信息系统发展趋势,探讨了天地一体化信息系统的网络化、综合化应用建议和研究重点,梳理了天、地节点综合化、网络化的关键技术方向.     

英国先进的机载地面监视系统——ASTOR

介绍了英国先进的机载地面监视系统——ASTOR（Airborne　Stand—off　Radar）计划，简述了ASTOR产生的背景、系统组成及研制和交付情况。     

1.2m 风洞大攻角动导数试验技术

介绍了１．２ｍ风洞攻角达３０°的动导数试验装置与测量系统以及在１．２ｍ风洞中对标准动态模型（ＳＤＭ模型）所作的一系列试验结果。试验的马赫数为０．６～１．２，攻角为０～３０°，振动频率为８～１４Ｈｚ，试验雷诺数为１．２×１０７～２．３×１０７／ｍ。试验所得的阻尼导数包括俯仰、偏航、滚转及滚转引起的偏航动导数随马赫数和攻角的变化表现出明显的非线性，而减缩频率的影响并不显著。天平与测试系统的重复性精度小于１５％。试验结果与国外文献数据具有很好的一致性。     

故障终止的PLP与HPP的经典双样预测

对故障终止的PLP与HPP，给出了双样预测的Frequentist（也称经典）预测子与预测区间，提出了预测区间系数的计算方法，给出了应用于存在显著可靠性增长且符合PLP的失败终止的成败型数据的方法，并用数值例说明之。     

动目标检测技术的发展和它在机载雷达中的应用简史

机载雷达探测远距空中目标必须抑制地（海）面杂波。本文回顾抑制杂波的AMTI和PD技术在60多年中前、中、后期的发展和应用情况。在机载雷达应用中，不同场合、不同性能要求以及经济与技术实力不同的国家应采用不同的适当技术。     

商用飞机单价估算方法

对于100座级以上的大型商用喷气式飞机，开发了一种新颖、灵活和取向设计的单价估算方法。该方法基于现行的技术和成本数据，按照已制定的工程技术标准筛选全部的统计数据，并利用回归分析获得综合的成本估算关系。通过计算机程序计算被选模型，可得到快捷、灵活和精确的成本预算，分析变量影响成本的灵敏度，并可进行成本比较。通过在新飞机上应用该方法来测试其正确性，新飞机不在样本飞机之列。通过详细分析和比较这些结果确立了该量化方法。     

ATM数据网中的MPLS技术

为了解决目前ATM网中IP业务所面临的问题，我们采用了多协议标签交换（MPLS），MPLS可以用在现有的主干ATM数据网上，MPLS能在主干网上大大提高IP转发性能，并提供业务分类（CoS）以及业务质量保证（QoS），在这些网络上实现高性能的IP业务.     

弧面分度凸轮机构参数优化设计的一种新方法

在机械工程中，原始参数的选择和结构参数的设计是否合理决定了产品的质量和产品各方面性能的优劣，从优化设计思想着手，充分考虑到弧面分度凸轮机构的结构特点，采用了交互式多目标优化方法——权空间法，并将此方法与约束变尺度（ＷＨＰ）法相结合，进而解决弧面分度凸轮机构参数优化设计的问题。     

美国注册可靠性工程师资格考试亲历记及感想

介绍了笔者在上世纪90年代参加美国质量学会（ASQ）注册可靠性工程师（CRE）资格考试．以及参加ASQ下属可靠性分会咨询组和CRE命题小组工作的亲身经历和感想。