可诊断性 meaning in English
diagnostic ability
Examples
- The results with gp and ann are compared . at last , the importance of fault diagnosability is analyzed . then the fault diagnosability of two intelligent methods is analyzed qualitatively
最后考虑到故障的可诊断性对发电机故障诊断的重要意义，分析了故障的可诊断性，对两种智能方法在可诊断性方面进行了定性的分析。 - With the development of the network and the multi - processor system , the research , simulation and the impemeni of the system - level fault diagnosis which is the very important means to increase the reliability of the system , are becoming more and more important . on the system - leve1 fault diagnosis , based on the group theory of system - level fault diagnosis that has been put forward by pro f zhang , the paper constructs newly the theory bases , improves on the matrix method , reinforces and consummates group arithmetic of all kinds of test mode , for the first time , analyses and discusses the equation solution of all kinds of models , so al1 the consistent fault patterns ( cfp ) could be found , straightly and high efficiently , even if the sufficient and necessary condition of t - diagnosable is dissatisfied and the complexity of system - level fault diagnosis is greatly decreased , especialy in strong t - diagnosabl6 system . last the simulation system ' s function has been extended and the application hotspot and the development trend have been disscussed
本人在张大方教授等人提出的基于集团的系统级故障诊断的理论基础上，重新构建了系统级故障诊断的理论基础，定义了系统级故障诊断测试模型的三值表示；改进了系统级故障诊断的矩阵方法，重新定义了测试矩阵、邻接矩阵、结点对、结点对的相连运算、极大准集团和斜加矩阵，由此能直观、简便地生成集团和极大独立点集；补充和完善了各类测试模型的系统级故障诊断的集团算法，通过定义集团测试边和绝对故障集，简化了集团诊断图，由此能较易地找到所有的相容故障模式，即使不满足t -可诊断性，大大减少了系统级故障诊断的复杂度，尤其是对强t -可诊断系统；首次分析探讨了各类测试模型的方程解决，由此从另一角度能系统地、高效率地求出所有的相容故障模式( cfp ) ：扩充了系统级故障诊断仿真系统的功能，快速、直观和随机地模拟实验运行环境，进行清晰和正确的诊断，同时提供大量的实验数据用于理论研究，优化算法和设计。 - There are two quantifiers a ( for all computation paths ) and e ( for some computation path ) in path quantifiers ; and in temporal operators , there are five basic operators x ( next time ) , f ( eventually ) , g ( always ) , u ( until ) and r ( release ) . ctl * has two types of formulas : state formulas ( which are true in a specific state ) and path formulas ( which are true along a specific path ) ; and two useful sublogics : branching - time logic ctl and linear - time logic ltl . the distinction between the two is how they
本文首先介绍了模型检测的一些基本概念和理论,然后介绍了与其密切相关的、在检验中用于描述系统属性的时序逻辑,及实现模型检测问题的方法,在基于上述关于概念、理论的基础上,研究了诊断系统可诊断性的检验方法,说明了一个给定设备的诊断条件被破坏时当且仅当有临界对的出现,并定义了设备的耦合孪生模型,说明如何用它来寻找临界对,最后使用模型检测框架来构造这个问题,把耦合孪生模型化简为模型检测问题。