被动测试中的错误诊断算法

介绍了被动测试的有限状态机模型、错误模型和错误检测算法，给出了单个错误的诊断算法并分析了其时间复杂度，将所提出的算法推广到对多个错误的诊断，以在路由协议OSPF(Open Shortest Path First)的接口有限状态机上做的模拟实验为例来说明算法的有效性．     

一种通信有限状态机的被动测试及其错误诊断

针对现有的被动测试方法无法解决嵌入式通信系统的错误检测问题，提出了一种被动测试错误检测方法．该方法在外部通道放置观察者，并使用了全局状态描述系统的当前可能状态，利用了观察到的输入输出信息，同时结合了模型转换推测出系统的状态变迁．基于该检测方法又设计出一种层次化的错误诊断算法，首先记录被动检测过程中系统经历的转换轨迹，用变异分析方法生成候选诊断，然后通过被动观察来降低错误集合的规模，最后使用区分序列和交叉判定进行错误定位．通过一个实际的H．245通信协议的实验表明，所提算法能够在有限观察步骤内检测出被测系统中的错误，并能有效定位检测错误，其回溯算法也可以显著缩短错误症状序列的长度．     

基于B方法的被动测试形式化研究

协议测试对于保证协议实现的正确性起着至关重要的作用,被动测试通过在线监测网络设备运行状态的转变来测试协议实现的正确性,它不仅能将协议测试贯穿于协议实现的整个生命周期,而且可用于网络管理。文章使用B方法对被动测试进行了形式化建模,使用该模型可检测出网络协议实现错误。     

ITS中基于知识库的错误诊断模型的研究

传统的远程教学系统一般只提供在线考试来检测教学效果,而缺乏有效的错误诊断功能。文章提出了一种基于知识库的错误诊断模型及其诊断算法,能够准确地探测定位到错误知识点．目的是在学生做题出错时给出错误原因分析,并把定位的相关知识点信息反馈给教学模块以便及时地动态调整教学策略。     

基于Markov链模型的被动测试错误检测算法

通过分析如何将概率统计的思想应用到基于有限状态机的协议被动测试上,在Markov链模型基础上,提出了一种新的被动测试错误检测算法,并给出了与已有算法的比较.从比较结果可知,新算法只需要知道有限状态机中转换的概率分布和最终观察到的输入/输出对的概率分布,就可以解决已有算法存在的问题,因此适用范围更广,同时还探讨了单个错误定位问题.     

被动测试中网络监测问题

研究了被动测试中如何放置观察者使得放置的数目最少并且能监视整个网络的运行情况．先把该问题归结为图的顶点覆盖问题，它是一个NP完全问题；接着讨论了在网络拓扑是树的特殊情形下带权和不带权顶点覆盖问题的解，并给出了树结构上带权顶点覆盖问题的线性时间算法；然后在已有的一个近似比为2的算法基础上。结合树结构上不带权顶点覆盖问题的算法给出了图的不带权顶点覆盖问题的一个改进算法，最后用实验验证了改进算法能使观察者数目减小20％左右．     

IDS主动测试和被动测试相结合测试方法的研究

介绍了目前常用的主动测试和被动测试两种IDS测试方法,分析了各自的优势与不足.单一使用主动测试方法或被动测试方法都存在一定的局限性,提出了一种主动测试和被动测试相结合的测试方法.以NIDS测试为例对该测试方法的应用进行了具体研究和实践,结果表明该方法充分利用两种测试方法的优势提高了IDS测试的准确性.     

基于扩展有限状态机和断言的总线接口协议测试平台

在SoC设计流程中，传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷．为此，提出了一种基于扩展有限状态机（EFSM）和断言的SoC接口协议测试平台，该平台是一种自反馈测试平台，它不仅可以自动产生大量符合协议规范的测试激励矢量，而且可以通过对断言统计信息的反馈提供多种偏置选择，从而进一步提高验证的自动化水平．将该平台用于对视频后处理芯片中Wishbone总线接口协议的功能验证当中，验证结果表明，该平台可以缩短仿真验证时间大约55％～65％左右，有效地提高了验证的效率和质量．     

基于一种扩展分层有限状态机模型的测试生成

为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(E-HFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法.     

利用滑模观测器实现基于模型的错误诊断

对非线性对象部分参数不能确定的问题，给出了检测其运动偏差的方法。根据基于模型的方法，首先用滑模观测器讨论了有Lipschitz非线性的运动系统的鲁棒性观测问题，然后给出了一个行为偏差检测的观测器框图。     

基于小波有限元的裂纹故障诊断

从线弹性断裂力学的角度考虑裂纹引起的局部附加柔度，进而构造了小波有限元裂纹刚度矩阵，提出了基于小波有限元的裂纹故障诊断算法，克服了裂纹奇异性给传统有限元算法造成的困难．将系统前3阶的固有频率作为输入，绘制裂纹等效刚度与裂纹位置的3条曲线，根据曲线的交点可以预测出裂纹的位置与尺寸．用于研究该算法精度的裂纹轴数值算例表明：裂纹位置与尺寸的辨识误差均不超过2%，这为工程实践中早期微弱裂纹的故障预示与诊断提供了新的方法．     

基于支持向量机的故障诊断方法

提出了基于支持向量机的故障诊断方法和步骤。诊断实例表明,与神经网络故障诊断方法相比,诊断小样本分析的支持向量机故障诊断方法具有分类能力强、推广能力好的特点。     

基于故障字典法的雷达故障诊断技术研究

针对雷达故障诊断中被测电路单元的复杂性和多样性进行了分析研究,提出采用故障模式分类的方法。根据电路结构及特点建立故障字典,确定测前故障集,并采用基于故障事例推理的诊断方法,进行故障诊断,并给出了应用实例。该方法大大减少了测试时间和测后分析计算量,加快实时诊断能力。     

基于人工神经网络的旋转机械多故障同时性诊断策略

针对大型旋转机械多故障同时性诊断问题，基于人工神经网络，构造了一种由多个子网络组成的分级诊断网络（ＨＤＡＮＮ）。该网络旨在将一个大的分类模式空间划分为几个小的子空间，以便对各子网络进行有效的训练，提高各子网络的分类能力，从而使整个网络具有高精度的多故障同时性诊断能力，测试结果表明：ＨＤＡＮＮ网络不仅能准确地对单故障进行诊断，而且多故障同时存在的情况下，也能有效地识别出各种故障，该网络具有较高的诊断     

基于语义网络的旋转机械故障诊断知识表示

针对旋转机械故障诊断专家系统中的知识表示问题,讨论了语义网络的知识表示方法。并以此为基础进一步探讨旋转机械典型故障诊断的知识表示模型－－语义网络知识表示模型,文中还讨论了它的计算机语言实现方式,在VC＋＋环境下开发出了一个语义网络知识表示的演示模型。结果说明该知识表示方式是有效的。     

基于互联网的远程状态监测与故障诊断系统研究

针对传统故障诊断受到地域限制、无法实现多专家协同诊断的问题，把互联网技术应用到设备状态监测和故障诊断领域之中，以便汇聚更多领域专家对故障设备进行会诊，讨论了基于互联网的远程监测与诊断的系统结构模式，分别提出了硬件和软件实现方式。     

基于测试事件图的故障诊断系统知识获取技术

针对运载火箭故障诊断专家系统知识获取难度大这一问题,提出了一种基于测试事件图的知识获取方法,通过设置合理的图形组件,绘制出的测试事件图,可完整地表示运载火箭测试流程;通过设计转化算法,可将测试事件图自动转化为故障诊断专家系统知识库中的知识.这种基于测试事件图的知识获取方法可以有效地简化知识获取的难度,便于工程技术人员理解和使用.经过仿真测试,此方法工程应用效果良好.     

基于支持向量机的机械故障诊断方法研究

针对因缺少大量故障数据样本而制约机械故障智能诊断发展的问题，提出了一种基于支持向量机的机械故障诊断新方法，介绍了该方法的原理和算法，并利用模拟故障数据建立了多故障分类器。这种诊断方法只需要少量的时域故障数据样本来训练故障分类器，不必进行信号预处理以提取特征量，便可实现多故障的识别和诊断。测试结果表明，当数据样本中含有26％的噪声时，故障分类器仍然能正确分类多种故障。这种诊断方法具有算法简单、可对故障在张分类和故障分类能力强的优点。