上下文无关文法测试充分性

讨论了文法测试的基本概念,分析了文法测试的特点、应用场景及其与一般软件测试的异同.形式化地定义了上下文无关文法的测试充分性准则,提出了一个上下文无关文法的测试充分性准则族.分析了该准则族中各准则之间的包含关系,以及这种包含关系与揭示文法所特有的2类缺陷的能力之间的关系. 计算和比较了准则族中各准则的测试集规模复杂性.为了评价文法的测试开销,定义了一个上下文无关文法的测试复杂性度量,该度量能够从测试充分性的角度反映测试一个文法的难易程度和测试开销的大小.      

考虑FDR的测试性测定试验及其相关方法

针对装备研制过程中,缺乏试验手段测定产品测试性水平,确定其与规定要求间的差距的情况,界定了测试性试验和测试性测定试验的概念,在仅考虑测定故障检测率(FDR,Fault Detection Rate)的情况下,研究给出了基于功能相关特征矩阵和重要度特征的故障特征建模方法,构建了二元组故障特征模型,用于测定FDR试验的试验样本选取.在该种试验样本选取方法中,为了减少进行故障注入试验时,注入不同故障样本的工作量和复杂度,充分考虑了试验样本间的等效关系,定义了等价集合和等效样本的概念,并在此基础上给出了考虑等效样本存在的试验结果评估方法.该研究在某型导弹飞控系统中取得了很好的应用.      

软件可靠性测试充分性问题的理论研究

在分析了软件可靠性测试充分性准则研究的重要意义的基础上,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系,提出了其在软件可靠性测试中的一种实现方法,是借鉴已有的软件测试充分性方面的理论,对软件可靠性测试充分性问题进行的初步探索.      

基于DTW的涡扇发动机气路故障定量诊断方法

提出了一种利用动态过程信息对气路故障进行定量诊断的新方法.采用动态时间规整(DTW, Dynamic Time Warping)技术,对动态测试样本同已知的故障模式进行相似性度量,充分利用发动机的过渡态特征信息,实现了发动机气路部件故障的定量诊断.结果表明:这种方法的漏报率和误报率低,具有很高的诊断准确性,对测量噪声和其它不确定性具有很好的鲁棒性.      

航空液压泵柱塞游隙增大故障诊断

柱塞游隙增大是航空液压泵典型的渐进性故障之一,其故障特征模糊,样本有限,故障数据充满噪声,对其进行精确的故障诊断十分困难,因此提出了一种基于简约支持向量机的故障诊断方法.利用粗糙集对故障特征变量进行简约,去除冗余信息,在保证分类质量不变的前提下寻求覆盖系统故障特征的最小属性集合;将简约后的数据样本用来训练支持向量机进行故障分类.使用训练完成后的简约支持向量机进行故障诊断的实验结果表明,此种诊断方法适合于航空液压泵柱塞游隙增大的高精度故障诊断.     

轴类零件三维尺寸自动标注算法

针对尺寸自动标注仅限于表达产品的几何信息而未关注其功能特性,从而导致所标注的尺寸无法恰当地描述产品设计意图的问题,提出一种基于产品功能特性的三维尺寸自动标注算法.首先,根据零件的功能构造了尺寸标注基准集;其次,建立了轴向尺寸标注优先级确定准则,构造轴向尺寸集,并采用图论法消除了尺寸冗余;然后,构建径向尺寸集,并采用尺寸冗余度法删除其中的冗余尺寸;最后,通过实例测试,验证了所提算法的可行性和有效性.     

轴类零件三维尺寸自动标注算法

针对尺寸自动标注仅限于表达产品的几何信息而未关注其功能特性,从而导致所标注的尺寸无法恰当地描述产品设计意图的问题,提出一种基于产品功能特性的三维尺寸自动标注算法.首先,根据零件的功能构造了尺寸标注基准集;其次,建立了轴向尺寸标注优先级确定准则,构造轴向尺寸集,并采用图论法消除了尺寸冗余;然后,构建径向尺寸集,并采用尺寸冗余度法删除其中的冗余尺寸;最后,通过实例测试,验证了所提算法的可行性和有效性.     

故障样本量确定与分配一体化设计方案

针对当前测试性验证领域未能考虑故障样本量确定和样本分配2个环节的相互联系，以及现有样本分配方案对影响因子的选择没有统一的框架，导致确定的故障样本量和样本分配不合理的问题，提出了一种故障样本量确定与分配一体化设计方案。首先，以层次Bayes网络模型为框架，融合各节点测试性指标先验信息得到顶层测试性指标的融合分布，并建立故障样本量确定流程；其次，引入结构重要度作为样本分配影响因子，同时结合故障模式影响及危害性分析（FMECA）信息确定节点和故障模式的样本分配影响因子，提出基于节点和故障模式的二次分配框架实施样本分配；最后，通过实际案例进行对比分析。结果表明:相比其他样本分配方案，所提方案能充分考虑系统结构及其先验信息，进而实现了故障样本量确定和分配一体化方案的设计，保证了所确定的故障样本量和分配的合理性，具备更好的工程适用性。      

液压泵综合应力寿命试验方法研究

针对液压泵这种典型机电产品的特点,在分析了液压泵故障机理的基础上, 确定了能诱发产品关键故障模式的敏感应力.通过分析敏感应力对液压泵故障的影响及美军标寿命试验载荷谱的发展,得出了利用综合敏感应力可以进行液压泵综合应力寿命验证的结论.还针对液压泵价格贵、寿命长、试验样本少的特点,分析了液压泵综合应力寿命试验统计方法,通过试验证明了它的有效性.     

考虑多故障的测试性建模改进方法

分析了测试性建模的现有方法及在工程应用中存在的不足.在信号流图方法的基础上,提出了一种测试性建模的改进方法.该方法支持单元的多故障模式设置,能够区分全局故障和局部故障,并允许设置全局故障沿单元特定信号流方向传递.给出了测试性模型的图形定义、隐含属性定义、相关性矩阵定义和相应的测试性分析推理方法.在此基础上,提出了基于高阶相关性分析的相关性矩阵生成改进算法.以某惯导系统为例进行了应用,建立了测试性图形模型并生成改进的相关性矩阵,与现有方法建立的相关性矩阵进行对比,结果验证了测试性建模改进方法的可行性和有效性.     

基于二型模糊系统多源异质信息目标身份类别推理方法

针对前件推理规则未知的目标身份识别问题,考虑到目标信息量测的多源异质特点,利用模糊集对目标速度、图像等多维度特征信息进行统一的抽象化描述,借助遗传算法对模糊推理规则进行优化,在确定模糊划分区间的前提下训练得到最优隶属度函数,建立最优推理规则库。此外,针对由传感器探测精度有限带来的量测不确定性问题,引入区间型样本数据的模糊分类思想,在完成一型模糊系统构建的基础上,提出一种基于二型模糊推理系统的遗传优化算法,给出由三角型隶属度函数嵌入构造对应二型模糊集的推导过程,设计了满足点值与区间型数值复合输入的二型模糊推理系统,并通过仿真验证该推理系统的可行性。     

机械失效模式、原因和机理的诊断思路和主要依据

从断口、裂纹、痕迹和参数等4个方面阐述了机械失效模式、原因和机理诊断的主要依据,列出了机械使用失效的主要模式、原因和失效的主要形成条件和主要的诊断思路,并从单项分析和综合分析的角度给出了失效模式、原因和机理诊断所需要的"多维"信息系统,为分析和确认各种失效模式、原因和机理提供了主要的推理规则和基本方法;最后分析比较了各种二级疲劳失效模式和各种与应力腐蚀有关的失效模式之间的主要诊断依据和应注意的几个问题,为疑难二级失效模式的诊断问题提供了分析研究方向.      

乏信息材料布氏硬度测量误差的灰自助预报

乏信息材料布氏硬度测量误差的预报是硬度计量领域的新兴课题,有别于传统的统计学理论,综合灰色系统理论和自助法的理论知识,提出一种实现乏信息材料布氏硬度测量误差预报新方法.对小样本空间的材料布氏硬度测量数据中各误差源影响进行标定,计算各误差源对测量结果的误差传递系数,并对各误差源数据序列进行自助法抽样,通过灰自助融合建模获得误差源标定预测值;按照误差合成的方法实现乏信息材料布氏硬度测量误差的灰自助预报.通过具体的实例进行计算,所得的预报结果与采用标准硬度机所得测量结果一致,验证了乏信息材料布氏硬度测量误差灰自助预报新方法.     

语言处理的基本运算集

从属性和实体两个角度对语言处理中的基本运算进行了分类研究,系统定义了两级基本运算集:属性派生运算集、实体转化运算集.这些研究增强了语言处理的可计算性,有助于建立更经济的知识处理模式、更通用的信息描述机制.     

Optical/radio/pulsars integrated navigation for Mars orbiter

In this paper, we address the issue of the integrated navigation algorithm with different combination of measurements for Mars orbiter. First, system dynamic model and navigation measurement models using optical measurement information, radio measurement information and X-ray pulsars measurement information are respectively established. Second, optical/radio/pulsars integrated navigation algorithm is proposed, and observability analysis of the integrated navigation system is also conducted. Third, adaptive extended Kalman filter is adopted to fuse measurement information and suppress measurement and process noise to optimally estimate the state of Mars orbiter. Monte Carlo simulation results show that optical/radio/pulsars integrated navigation can effectively improve the navigation accuracy and satisfy the navigation requirements of Mars orbiter.     

基于Hausdorff距离的星图识别方法

提出了一种新的星图识别方法,这种方法的基本思想是首先从星敏感器中提取全部星图信息,把提取的星图组成一个待识别数据集合B,把全星图参考星库作为一个标准数据集合A,然后,计算2个数据集合A,B之间的相对Hausdorff距离,根据最小相对距离得到待识别星的位置,其中A, B分别由矢量坐标a,b构成.与传统的星光角距识别方法不同,这种方法充分利用了星敏感器中的所有星的空间结构信息,所以,它对各种噪声干扰具有很强的鲁棒性.半物理仿真实验结果表明,在具有强的随机噪声、星图畸变和一定数目的流星干扰情况下,这种方法具有很好的识别效果.     

基于EMD的MEMS陀螺仪随机漂移分析方法

为了抑制微机械电子系统（MEMS）陀螺仪的随机漂移，基于经验模态分解（EMD）和模态集合选择标准，结合时间序列建模滤波法，提出了一种改进的MEMS陀螺仪随机漂移分析方法。首先，通过EMD将MEMS陀螺仪原始数据分解为多个本征模态函数（IMF），利用模态集合选择标准将IMF分为噪声IMF、噪声与信号混合IMF和信号IMF三类；然后，对混合IMF进行重构、时间序列建模及自适应卡尔曼滤波（AKF）；最后，将3类信号重构，实现MEMS陀螺仪信号去噪。实验表明:所提方法有更好的去噪效果和实时性，提高了MEMS陀螺仪的使用精度。      

基于知识模型的产品设计方案失效风险评估

考虑失效模式间的关联性,提出了一种基于知识模型的机械产品设计方案失效风险评估与优选方法.该方法使用数据聚类法鉴别失效模式的主要关联关系,给出了失效模式关联系数的计算方法,实现了对失效模式关联知识的有效获取;并在产品"功能—失效模式—失效风险"知识表示的基础上,通过二维"屋顶"形三角阵和三维立方阵实现了对失效模式关联系数的表达,建立了产品"功能—失效模式—失效风险—模式关联"知识模型.在知识模型的支持下,研究了加权线性合成的关联失效模式严重度评估方法,给出了失效模式和产品功能的风险优先数计算方法,实现了基于知识的机械产品设计方案失效风险评估过程与优选.最后,通过实例说明了上述方法的有效性.      

深空测角测速组合导航系统时间配准方法研究

深空测角测速组合导航系统通过测角信息与测速信息融合,获取探测器位置、速度等参数,具有连续、自主、实时、高精度的优点。在深空测角测速组合导航系统多源信息融合过程中,要求各敏感器数据必须是统一时间基准。基于天文测角测速组合导航系统基本原理,阐述了在实际系统中,测角敏感器、测速敏感器由于时间基准误差、采样周期不一致、数据传输时延等都会造成时间不同步,而时间误差对位置和速度测量信息会带来很大的影响。本文分析时间误差在深空测角测速组合导航系统位置估计和速度估计中的作用机理,研究基于内插外推方法的时间配准方法,实现了测角敏感器与测速敏感器量测信息的同步。数学仿真结果表明,内插外推时间配准算法可有效抑制时间误差,提高深空测角测速组合导航系统导航精度。