摘要： 开学来的第一次讨论班，关于公理的细化（细粒度公理定位），虽然不是自己的研究方向，但是感觉师姐讲的很好，一些专业词汇不理解，但是有关自己模型诊断的知识还是有些的。下面是自己在该次讨论班的些许感触。通过听师姐讲述，大体了解师姐主要是做，对公理进行细化，就像一系列的公理（师姐讲述时用MUPS）给出，但要判断是否正确，如果不细化的话，可能找到矛盾的是单个公理，细化之后可以对公理进行等价分解，从而找到更小级别的（分解后的公理，可能是多个）错误。从而是我想到对一些给定的故障候选集合进行求最小碰撞集合的操作。其中候选碰撞集合就相当于师姐讲的MUPS，在诊断中，可能候选诊断集合不是全部给出的，那么需要随着诊断 阅读全文