论文记录

1.  A Theory of Dianosis from First Principles
本文主要讲述了如何通过一阶逻辑来对系统进行描述，以及对系统进行故障分析，主要是基于de Kleer的理论，通过判断系统描述和观测是否一致来判定系统可能哪些地方存在故障，从而得到所有可能故障的集合，然后通过定义最小碰撞集合（最小故障集合），在可能故障的基础上，求最小故障集合（最小碰集）通过树形结构，对可能故障集合进行分析，求得最小故障集合。文中作者用一些方法对故障树进行修剪，使得减少没有重复和冗余，提高效率。根据求得的最小故障集合中有单个部件故障和多个部件故障之分，又提出了单故障诊断。通过系统描述，和部件的观测得出的最小故障集合。但是没有确定发生的是哪个故障，之后作者又提出了通过一定的策略来提取单个故障，即通过添加相应的观测值来与系统描述以及部件观测相对照，若符合一定的条件，便可以排除相应的最小故障集合中的故障，从而达到分离和确定故障的目的，同时文中也提到有可能添加的观测与最小故障集合中的每一个都不符合，那是该怎么办？未解决。自己感觉文中用树形结构来进行最小冲突候选集合的计算虽然用了削减的方法，但是感觉效率还是不是很高。即求最小碰撞集合的方法有待提高。
2.  Diagnosability of Discrete-Event systems
定义了，可诊断性和I-可诊断性。通过自动机的模型定义可诊断器。可诊断器中的状态用状态和故障标签描述，通过看回路中故障标签是否一致来判断是否可诊断。其中第一了几种状态，模糊状态（ambigous），确定状态（F-certain），不确定状态（F-uncertain）通过看环路中的状态是否处于不确定和模糊状态，若是则表示系统是不可诊断的。同时给出了系统是客观测的充分条件和必要条件。I-诊断性要求每个故障对应有相应的指示器可观测事件，同时也给出了I-诊断的条件。诊断器的方法比较繁琐，如果量大时，他的效率会很低。所以作为判断可诊断性的基本方法。本文首次提出了诊断器的方法。