%0 Journal Article %T 基于模型的实质诊断 %A 欧阳丹彤 %J 自然科学进展 %D 2001 %I %X 在扩展的因果理论上,基于模型的实质诊断的刻画具有一般性,适用于已知每个部件的各种行为方式情形下的诊断.对于需逻辑推出的观测子集取空集和整个观测集这两种极端情形,本方法则可得到基于一致性实质诊断和实质溯因诊断.同时还论证了该诊断过程与本原蕴涵/蕴涵式的直接关系,从而将其与算法实现联系起来. %K 基于模型的诊断 %K 扩展的因果理论 %K 本原蕴涵/蕴涵式 %K 诊断空间 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=96E6E851B5104576C2DD9FC1FBCB69EF&jid=504AF8C1E5476CA7C4EC9DF6FEAC14AC&aid=B20CD8C7AD8AAC61&yid=14E7EF987E4155E6&vid=708DD6B15D2464E8&iid=F3090AE9B60B7ED1&sid=CA10C709B736BBEA&eid=2625CEFACC964DE3&journal_id=1002-008X&journal_name=自然科学进展&referenced_num=0&reference_num=7