多线程故障分析及解决方法

多线程技术在近年来得到了广泛的发展和应用，对其的测试分析具有重要的意义。本文提出了针对多线程的一些故障模式，介绍了现有的对多线程故障分析的几种方法，并对他们进行比较，以利于以后新的检测工具的生成，促进软件测试在多线程技术方面的发展。     

浅谈电气控制系统常见的故障现象及故障分析与解决方法

本文就电气控制系统常见的故障现象、电气控制系统常见故障解决方法进行了全面细致的探讨。     

基于静态检测的程序安全漏洞测试

静态分析方法可以自动地提取软件的行为信息,从而检测出软件中的安全漏洞。和其他程序分析方法相比,该方法具有自动化程度高和检测速度快的优点。本文介绍了Java语言的安全漏洞的故障模式，说明了类型推断、数据流分析和约束分析等主要静态分析方法及两种特别的分析方法，最后介绍了几种常用的静态代码安全检测工具。     

车削螺纹的理论实践及故障分析

随着机械制造技术的不断进步和发展,新材料、新技术、新工艺在机械工业生产中得到了大量普及和应用.在机械制造业中,用车削的方法加工螺纹是机械加工中非常普遍却又比较复杂的问题.介绍了车削螺纹的理论知识,列出了普通车床在车削螺纹和切断时所出现的啃刀、乱扣和螺距不正确等现象,分析了在普通车床上车削螺纹时所出现的常见故障,并针对这些故障提出了解决方法.     

基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。     

一种基于故障模式状态机的测试方法

基于状态机对故障模式进行了统一的描述，使得故障描述更准确、无二义性。为了避免路径组合爆炸，提出基于控制流的状态集迭代分析算法进行故障检测，可以使算法的计算复杂性由O(P)(P是路径数目)减少为O(N+E)N)(N是控制流图节点数，E是控制流图边数)。由于状态机的独立性，对控制流图进行一遍迭代可以同时计算多个故障模式，大大提高测试效率。同时，该方法还采用了带条件的状态计算可以较好地减少误报的情况。     

基于抽象语法树的代码静态自动测试方法研究

软件测试是排除软件故障，提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑，软件测试分为静态测试和动态测试。动态测试通过输入测试数据，动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误，但对于一些特殊类型错误的检测无效。鉴于此，本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性，给出了软件的故障模型，进而提出了基于抽象语法树的静态分析技术，并给出了故障自动检测算法。依据该算法开发了自动化测试工具，给出了实验结果和对比分析，并指出了下一步的研究方向。     

软件测试充分性模糊决策方法研究及应用

通过GQM范式建立了软件充分性度量指标体系，阐述了指标体系中各种模糊因素的模糊数学处理方法，构造出测试充分性模糊决策模型，有效解决了测试充分性难以定量评价问题，在很大程度上提高了软件测试过程质量判断和决策的准确度和可信度，并以一个实例验证了该方法的可行性.     

本体映射过程及方法

介绍了本体映射的概念,剖析了本体映射过程,从本体映射的策略、本体的异构类型以及实现技术这三个不同的角度对本体映射的思路和方法进行分析和比较,为以后的本体映射系统的实现提供参考.     

基于鲁棒主元分析的故障诊断方法

针对工业过程的建模数据中含有离群点的情况,提出了一种基于鲁棒主元分析(PCA)的故障诊断方法.该方法使用广义极大似然估计(M估计)代替最小二乘估计,将传统的主元分析问题转化为一个加权的重构误差优化问题,然后通过改进的非线性迭代部分最小二乘(NIPALS)算法来求得问题的最优解,在此基础上建立主元模型并构造监控统计量检测过程故障.在连续搅拌反应器(CSTR)仿真系统上的应用结果表明,鲁棒PCA方法能够消除离群点对主元模型的影响,比PCA方法分析过程数据更为准确,能更有效地诊断过程故障.     

基于静态检测的程序安全漏洞测试

静态分析方法可以自动地提取软件的行为信息，从而检测出软件中的安全漏洞。和其他程序分析方法相比，该方法具有自动化程度高和检测速度快的优点。本文介绍了Java语言的安全漏洞的故障模式，说明了类型推断、数据流分析和约束分析等主要静态分析方法及两种特别的分析方法，最后介绍了几种常用的静态代码安全检测工具。     

基于故障树与案例相结合的故障诊断方法

针对惯性导航等航海装备的复杂性,提出了基于故障树和基于案例的故障诊断方法,分析了2种方法各自的优缺点,最后提出将两者相结合的故障诊断方法,充分发挥各自优势,建立案例库,通过学习机对案例进行解释,依据故障树方法建立规则,由推理机调用相关规则进行故障判断．     

油浸式变压器的故障分析

油浸式变压器是发电厂、变配电站所的核心设备,它的运行状况直接关系到电力系统的供电质量.从油浸式变压器发出的异常声音、油位和油温的变化以及各种电路等方面分析了故障发生的原因,并给出了详细的解决方案,供相关工作人员参考.     

一种基于故障模式状态机的测试方法

基于状态机对故障模式进行了统一的描述，使得故障描述更准确、无二义性。为了避免路径组合爆炸，提出基于控制流的状态集迭代分析算法进行故障检测，可以使算法的计算复杂性由O（P）（P是路径数目）减少为O（N＋E）N）（N是控制流图节点数，E是控制流图边数）。由于状态机的独立性，对控制流图进行一遍迭代可以同时计算多个故障模式，大大提高测试效率。同时，该方法还采用了带条件的状态计算可以较好地减少误报的情况。     

螺旋卸船机多头螺旋垂直提升的研究

对多头螺旋卸船机的提升机理进行探讨，通过对所输送的散体物料的四种典型分布状态的分析，得到了物料的力学模型和求解方法，给出了输送效率和生产率的设计曲线，文中对双头与单头螺旋输送机的参数关系进行了比较，得到的结果是两者有很大差别，多头螺旋垂直输送机应按具体的参数设计。     

刀库故障重要度分析与可靠性改进设计

刀库系统的可靠性水平是衡量卧式加工中心先进性的重要指标。为有效提升刀库系统的可靠性水平,引进重要度和结构优化相结合的新方法。以某型号卧式加工中心刀库系统为研究对象,根据现场试验采集的35条故障数据信息,建立了刀库系统的故障树,通过故障树分析计算出了基本事件的重要度,并根据重要度值进行重要度排序。针对故障重要度大的基本事件,结合具体的换刀过程和故障原理,提出了结构优化可靠性设计,该设优化计方案经刀库系统设计人员验证具有可行性。     

故障模式的联想记忆和识别分析

分析了故障模式的矩阵存储的机理，采用神经网络的联想存储方式来存储邦联模式，完成故障诊断，针对ＢＡＭ容量限制问题，用了一种多重矩阵存储法有效地解决了这一问题，并用一锅炉给水控制系统的故障诊断作为示例。