题目：考虑特殊测试交联关系的扩展测试性建模分析方法研究

基于信号流模型的测试性建模技术能够为系统故障隔离与定位提供有效便捷的指导，自提出以来已广泛应用于工程实践中。然而随着现代航电系统的发展与进步，传统的测试性建模方法和理论已经无法准确的表达航电系统内部的测试相关复杂交联关系。本文在分析现代航电系统测试组成与原理的基础上，研究了考虑特殊测试交联关系的扩展测试性建模与分析方法。

首先，研究了现代航电系的较为典型的特殊类型测试。通过分析筛选，选取以下两种类型的特殊测试和一种测试内部交联关系：激励测试、综合测试以及测试之间的优先级关系作为主要研究对象。针对激励测试，分析了其基本特点，设计了相应的扩展模型图形表示，对于含激励测试的系统故障诊断进行了初步探讨，给出了诊断矩阵生成算法；针对综合测试，也进行了类型的分析与探讨；而针对测试之间的优先级关系，对于其对故障诊断树的生成过程的影响，根据实例进行了阐述说明。最后，考虑了涉及多种测试的复杂系统的测试性建模问题，设定了相应的图形建模限制条件；并对多种测试的融合进行了初步探讨。

其次，研究了测试与故障之间的支撑关系，主要从故障与测试之间的使能关系和故障与测试之间的阻断关系进行研究。针对这两种关系，分别给出了相应的数学定义、设计了相应的扩展模型图形表示。在上述基础上，研究了分别含有使能关系和阻断关系模型扩展模型的故障诊断问题，并对两种关系的融合性进行了分析。

在上述研究基础上，研究了同时含特殊类型测试和故障—测试支撑关系的扩展组合系统的建模与诊断问题，给出了图形建模约束、数学定义、综合诊断矩阵获取方法与流程、诊断推理基本框架和诊断推理算子，并设计了相应的诊断参数评价体系等。

最后，在上述理论研究的基础上，设计了相应的软件辅助工具。利用IBM公司的GoDiagram For .NET Windows Form图形类包，在.Net开发平台上实现了软件的编码与方案生成。并以某激光惯性导航系统为分析目标，进行了考虑特殊测试的扩张相关性模型建模，通过诊断分析得到了相关的融合矩阵，给出了故障诊断演示，并生成了输出报告，验证了本文理论研究的意义与软件的可用性。