ATS矩阵开关自检研究

矩阵开关作为一种最灵活的开关拓扑结构,在ATS系统中得到了广泛的应用,也是ATS自检的关键部件之一.受限于自身结构特性,矩阵开关可靠性相对较低,且一般不自带自检功能.依据ATS中矩阵开关的特性、常见故障及其自检目的,研究和分析了矩阵开关自检的内容,并针对某型ATS中的双线矩阵,设计了不同的自检方法,通过分析和对比,可为其他ATS矩阵开关自检方法设计提供参考.     

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

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

基于测试性D矩阵的多故障诊断与维修策略

针对复杂的多故障诊断问题以及多故障直接处理方法实现的难点,在测试性D矩阵基础上,提出了一种基于单故障化的多故障诊断与维修策略（MFDMSTS）。首先,在多故障假设下引入析取运算,定义了可隔离单故障和可隔离多故障,据此定义将多故障转化为单故障,并将转化的单故障与测试集组成新的D矩阵;然后,运用单故障诊断算法处理新的D矩阵,得到最优诊断树;最后,针对诊断树的不同叶子节点,提出了多故障诊断与维修策略。实例验算表明：MFDMSTS能降低平均诊断费用和平均诊断步数,并大幅降低误修率。     

IEEE-1394b互连网络的可靠性建模

对于IEEE-1394b互连的可靠性计算问题,从IEEE-1394b的拓扑结构出发,提出了基于任务的系统可靠性分析方法,建立了IEEE-1394b互连系统的可靠性模型,并给出了系统可靠度矩阵的定义.针对IEEE-1394b协议的特性,提出了IEEE-1394b互连系统的互连矩阵定义.对IEEE-1394b互连系统在航电系统的典型应用进行建模分析,给出其任务路径集和单一路径失效概率,得到了任务路径的可靠度.通过分析中继端口单元对任务路径的影响,得到了中继端口单元对于IEEE-1394b互连可靠性影响最大的结论.      

通用ATE开关资源测试路径模型及应用

针对自动测试设备(ATE)测试程序开发中的开关资源测试路径搜索复杂、冲突判断困难、管理难度大等问题,提出了通用ATE开关资源测试路径模型,给出了模型的构造方法和多开关资源级联的级联算法,介绍了模型的具体应用.模型实现了ATE测试过程中开关资源测试路径冲突判断、最佳测试路径自动搜索、测试路径故障隔离、测试程序与具体测试路径硬件资源无关.提高了测试程序(TP)的通用性和可移植性,降低了TP开发的工作量.      

基于多路数据采集系统的继电器开关矩阵检测研究

继电器开关矩阵能在不改变硬件的情况下,通过软件灵活设置,实现多路分时等不同方式的数据采集而被广泛应用于各型号的自动测试系统中。继电器开关矩阵功能的好坏将直接影响测试的结果。针对目前人工手动无法进行继电器矩阵开关状态检测的问题,介绍了继电器开关矩阵功能的检测方法,搭建了继电器开关矩阵功能检测系统,采用计算机软件控制自动进行分析判断,完成了继电器短路故障、继电器开路故障和继电器焊点的自动检测,实现了测试的覆盖性和可靠性要求,大大提高了测试效率。     

通断式多态系统扩展测试性建模方法

现有测试性建模方法有一定的约束条件,包括故障判据的一致性、故障传递关系的一致性、测试的逻辑值判据一致性.针对通断式多态系统具有的状态差异性的特点,提出了一种扩展测试性建模方法.在引入状态集合的基础上,对故障、测试、 D 矩阵和诊断树进行了扩展定义,最后定义了扩展测试性模型.介绍了扩展测试性建模分析的算法,主要有模型建立算法、扩展 D 矩阵生成算法、扩展诊断树生成算法.以某液压操纵系统为例进行了应用,结果验证了方法的可行性和有效性.     

STL数据模型的快速切片算法

分析了现有的STL(stereolithography)模型切片处理算法的特点,在此基础上提出了基于分组矩阵和活性三角片表的切片算法.该算法根据三角片的最小和最大z坐标以及切片厚度,建立三角片的分组矩阵和活性三角片表,并在活性三角片表中建立局部的三角片邻接拓扑关系,以减少在切片过程中对三角片的遍历次数、排序次数以及求交计算量,简化了切片轮廓环的构造过程,从而有效地提高了切片算法的整体效率.      

基于NMF的SVM故障诊断方法

针对大维数系统故障诊断中存在特征提取困难和识别率低的问题,提出基于非负矩阵分解(NMF,Non-negative Matrix Factorization)的支持向量机(SVM,Support Vector Machine)诊断方法,避免了直接对故障特征的选择和提取,实现特征降维,提高故障模式分类的准确性和速度;对于NMF中的结果随机性问题,提出用前次分解所得系数矩阵求解样本降维特征矩阵的方法,保证多次NMF分解尺度一致.实验表明该方法能对故障特征有效降维,并具有较高的诊断效率和故障识别率.     

基于Squeezer算法的大规模矩阵聚类分析

对Squeezer算法进行分析研究,在定义2个矩阵之间距离的基础上,提出了一种改进的Squeezer算法,用于对维数相同的大规模矩阵进行聚类分析.改进的算法在设定距离阈值的基础上,对类别的半径设定阈值来控制分类精度,给出具体的算法步骤来实现针对大量矩阵的聚类分析.对聚类后所得矩阵集合,给出集合质心和半径的定义,来描述矩阵集合的特性.所提算法能使聚类结果避免受到链条效应的影响而使类不断扩容,从而导致聚类精度下降的问题.仿真实验分析验证了所提算法具有良好的聚类效果和适用性.     

模拟开关电路潜在电路分析软件算法的研究

比较了几种潜在电路分析的路径搜索算法,提出了适用于模拟开关电路的潜在电路分析软件算法,并成功应用于反电流形、电源拱形、接地拱形3种潜在电路拓扑模式的识别和搜索.用以此算法为基础编制的分析软件进行实例分析,验证其正确性.     

部分可观Petri网故障的量子贝叶斯诊断

针对故障本身构建量子贝叶斯Petri网模型算法，并利用该子网模型进行Petri网系统故障分析。对于部分可观Petri网模型中的不可观故障，根据可达标识图分析变迁点火路径不能判断系统状态，建立量子贝叶斯子网模型，通过不确定路径引起的量子干涉重新标定变迁的条件概率表得到量子概率振幅表。根据故障变迁的前置集合并结合量子贝叶斯推理计算变迁触发的先验概率，由后置集合中的可观变迁修正后验概率，由最大后验概率估计系统所处状态，当故障变迁不唯一时，选取最大概率的故障作为故障源。以实际故障系统建立部分可观Petri网模型，结合可观标签概率序列信息和量子贝叶斯概率估计，对系统不可观部分进行故障诊断验证算法的有效性。      

容错待命储备系统的任务可靠性计算

讨论了待命储备系统具有容错性能时的任务可靠性计算, 由于故障检测器、切换器和待命器件是否可靠,直接影响该容错系统的可靠性.为了正确评估系统的任务可靠性,这里考虑了检测器和切换器存在一定的误警率和误切换率. 据我们所知,Markov模型是处理这个问题的主要工具,而国内很少有这方面的讨论.本文用Markov理论来确定系统的状态及其状态转移矩阵, 从而容错可靠性的计算问题得到解决,此外还讨论了有关误差概率的计算模型.     

保证速率的AFDX交换机实时调度算法

针对AFDX(Avionics Full Duplex Switched Ethernet)网络关键技术——交换机实时调度算法,提出一种保证速率的优先级实时调度算法(PRTRG,Priority Real Time sched-uling algorithm based on Rate-Guaranteed),并运用网络演算理论分析了此调度算法的实时性.在AFDX网络典型配置下,与(FIFO,First In First Out)结果进行分析对比,证明PRTRG算法有效地减少了高优先级数据的端到端延迟上界,同时保证了低优先级数据端到端延迟的确定性,并且阻止了数据流拥塞的扩散,在交换机内部实现了流量隔离.     

航天用时间触发网络系统同步性的故障分析

确定性网络的同步性在航天电子系统中至关重要。为保证确定性网络在发生故障的情况下也能正常的进行时间同步,本文采用spaceVPX标准中典型的双星拓扑交换结构配置基于时间触发以太网协议的可容错系统。针对此架构,使用以太网的航天系统中发生故障的单容错结构进行了仿真,模拟了几种时间同步协议控制帧异常的情况：协议控制帧包括冷启动帧、冷启动应答帧、集成帧从故障交换机的端口发送到网络中的一个终端系统后对于时间触发网络的同步网络所产生的影响。仿真结果表明,故障交换机会逐渐延长处于正常工作的终端系统的启动时间,进而不利于整个确定网络系统的同步过程,但是如果设置不同协议控制帧的周期超过一定的数值后,单点故障不会影响双冗余系统的启动时间。     

簇飞行航天器网络动态连接和路径时空演进特性

簇飞行航天器模块的高速飞行增加了网络拓扑的不确定性.为优化簇飞行航天器的轨道设计，提升簇飞行航天器网络性能，在簇飞行航天器节点动态连接的基础上，开展基于概率连接矩阵的簇飞行航天器网络动态连接和路径时空演进特性研究.基于航天器双星伴飞模式，建立了簇飞行航天器节点移动模型，运用经验统计和曲线拟合的分析方法，得到簇飞行航天器网络节点间的距离密度函数；利用簇飞行航天器网络节点间相对距离有界的约束，给出节点连接距离的阈值范围；利用STK生成的轨道数据，通过给出序贯路径定义和一种新的矩阵乘法运算，得到节点多跳序贯路径的概率连接矩阵，分析轨道超周期内节点动态连接和路径时空演进特性，为簇飞行航天器网络的设计和优化提供理论参考.      

基于误差空间的航天器姿态反步容错控制

提出了一种基于误差空间的航天器姿态反步容错控制方法,以反作用飞轮作为航天器的执行器,在考虑反作用飞轮存在安装偏差及故障的情况下,仍可保证航天器姿态的稳定性。首先,基于Lyapunov稳定性原理,根据系统机械能变化构造了具有普遍性的Lyapunov方程。通过反步递推方法,得到了适用于航天器存在执行器偏差及故障情况的普遍性的容错控制方法;然后,通过误差空间拓扑所得的误差函数描述了势能误差。从几何层面上看,这是描述势能误差的最短路径选择,从而得到了基于误差空间的反步容错控制方法。因此,在对航天器进行姿态控制时,该方法可以迅速调整增益,使得系统姿态误差迅速收敛至零,从而有效减少系统响应时间;最终,通过对考虑执行器偏差及故障情况的航天器姿态控制系统使用不同的控制方法进行数值仿真,验证了该方法能够在执行器故障情况下依然保持系统姿态的稳定,且具备良好的响应速度。     

基于决策树的空间拦截器姿态控制

拦截器的发动机为带脉冲型发动机,从而限定了作动器的输出集.对于该拦截器的姿态控制,提出了基于决策树的控制方法.它是通过搜索决策树代价最小的路径做出控制决策,该控制思想非常类似棋手博弈的思想.提出的剪枝方案降低了决策树的计算复杂度.通过仿真实验说明:基于决策树的控制具有一定的智能;不同剪枝方案产生不同的控制效果;该方法较好地解决了输入受到约束、非线性和耦合的多输入多输出控制问题,并且在满足控制精度前提下可减少发动机切换次数和燃料消耗.