摘要： 通过这段时间看关于可诊断性的一些论文，感觉判断系统可诊断性的方法中诊断器方法，双模型方法比较普遍，尤其是双模型，由于它比诊断器方法复杂性要小很多，在大型的系统，分布式系统，分散式系统中应用比较广泛。判断可诊断性的过程包含了建立模型，需要选择什么样的方法建立系统模型，并建立诊断模型，感觉判断可诊断性的时间大部分都花在了建模上，而真正判断系统模型是否可诊断的过程似乎花费时间并不多，现在我还没有进行任何有关可诊断性判定的实验，接下来的任务是通过实验更加具体的了解下可诊断性的判定过程。运用诊断器和双模型的方法判断可诊断性时，都是通过判定图中是否含有模糊环路，若有模糊环路，则系统是不可诊断的。看到的论文 阅读全文

摘要： 今天老师讲的基于一致性的极小诊断，首先讲述了问题形式化问题，把实际问题符号化，从而把具体的事物用特定的语言符号表示，定义一个系统为三元组（SD，COMPS，OBS）。其中，SD是系统描述，是一阶谓词公式的集合。COMPS为系统组成部件集，是一个有限的常量集。OBS为一观测集，是一阶谓词公式的有限集。其中SD中包含结构描述和行为描述，结构描述包括部件特性和部件的拓扑连接关系，行为描述指的是正常的行为描述。基于一致性诊断（CBD）（Reiter）不要求能推出，只要求基CBD能解释当前的系统观测即可，基于一致性的极小诊断在集合的真包含关系上，如果集合C是基于一致性诊断，且C的任意真子集都不是基于一致 阅读全文

摘要： 在教师节之际我们上了基于模型诊断的课程。老师讲述基于模型的诊断过程。大致分为三个阶段：假设产生，假设测试，假设辨别。 假设产生基本任务：已知一个差异，决定出哪些部件可能失灵能够导致该差异。好的产生器的标准：完备的：能够产生出所有可能的假设；非冗余的：能够对每一假设只产生一次；有知识的：几乎不产生那些最后被证实为不正确的假设。当有多个差异时，首先对每一个差异都产生一个可疑部件集，若为但故障诊断，则将这些部件集合取交，若是多个故障诊断，则求集合覆盖，即找到能覆盖（解释）所有差异的部件的子集。 假设测试，基本任务：对假设产生过程中每一个假设进行测试，看看哪个能解释对设备所做的所有观测。其中测... 阅读全文

摘要： 通过这段时间看论文，对模型诊断有了一些比较浅显的理解： 模型诊断的提出，是为了更好的诊断系统故障，解决问题。通过对系统建模，观测系统实际行为和模型的预期行为进行比较，根据他们之间的差异，判断系统故障发生的原因，从而解决故障。模型诊断一般分为几个步骤：系统建模、冲突识别、候选产生及诊断鉴别。首先对系统进行建模，一般是通过有限自动机对系统进行建模，定义相应的事件集合，状态集合，转换集合等，再然后通过实际观测和预期观测的冲突，得到可能的冲突集合（故障部件的集合簇），再次根据可能的冲突集合簇，求得最小的冲突候选集合（这里用到了对集合簇求最小碰撞集合的方法），最后在最小的碰撞集合中，找故障发生的真... 阅读全文

摘要： 第一节人工智能原理的课程在星期六的上午开始了，传说中比较难学的课程。通过听老师讲述人工智能的产生和发展，人工智能是多个学科交叉的产物，是综合性的技术。到现在也没有一个准确的定义。我体会到了一个新事物的出现给科学界带来了多大的希望，在新事物的面前，科学家和数学家们有时候会进行语言，或许对新事物充满了信心和希望，态度有时候过于乐观，对其发展的速度预测的过于乐观，当人工智能发展的没有预想中的快速时，或者说当它给人们带来了非预想的结果时，人们又会对其的存在意义产生怀疑，所以人工智能也经历了兴起到萧条，后又经过科学界不断的争论，有些科学家不断地坚持相信人工智能的存在意义，不断地进行研究，再到人工智能.. 阅读全文

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

摘要： 1. A Theory of Dianosis from First Principles本文主要讲述了如何通过一阶逻辑来对系统进行描述，以及对系统进行故障分析，主要是基于de Kleer的理论，通过判断系统描述和观测是否一致来判定系统可能哪些地方存在故障，从而得到所有可能故障的集合，然后通过定义最小碰撞集合（最小故障集合），在可能故障的基础上，求最小故障集合（最小碰集）通过树形结构，对可能故障集合进行分析，求得最小故障集合。文中作者用一些方法对故障树进行修剪，使得减少没有重复和冗余，提高效率。根据求得的最小故障集合中有单个部件故障和多个部件故障之分，又提出了单故障诊断。通过系统描述，和部件的 阅读全文

摘要： 太多的话想写下来，太多的感觉，这么长时间来都没能写下来。从准备再次考研，到现在等待入学，经历了不多不少的事情，感觉自己都有些麻木了，不知所措了。甚至还没有上研究生就有些想退缩了。心中产生了太多的疑问和迷惑，不知道是该感谢这些让我意识到自己的种种不足，还是应该放弃一些东西，一些自己看来并不适合做的事情呢。一些小事都能说明自己简直就是个没有长大的孩子，虽然自己已经这么大岁数了，但是感觉做事情却像个孩子般，不知道如何是好。考虑问题总是不能从一个成年人的角度出发，不能从一个成熟的年龄去想解决问题的办法，反而总是让问题变得更加复杂化。好想痛快的哭一场，以为大哭一场能把内心中的不快冲淡，以为哭一场能令问题 阅读全文

摘要： 今天用到typedef,在网络上找了下关于他的用法：http://www.cnblogs.com/charley_yang/archive/2010/12/15/1907384.html 阅读全文

摘要： 在看论文期间遇到NP complete，在网上查了一些关于他的信息，总结上就是NP=P? ，通俗的说就是“非确定的问题通过穷举法能否得到一种算法，使问题变成确定的（自己理解）”下面是从网络上得到的相关的说明：NP COMPLETE 即通常所说的NP（完全）问题，简单的写法，是 NP=P？的问题。NP问题到底是Polynomial，还是Non-Polynomial，尚无定论。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文•考克（Stephen Cook）于1971年陈述的。NP里 阅读全文