极小碰集相关论文
二叉判定图这种数据结构主要用来表示逻辑表达式,而现在人们已经研制了一些表示方法:比如二叉判定树、真值表、卡诺图等等,但是对......
基于模型诊断是一项新型智能诊断推理技术,旨在解决第一代专家系统中知识不易获取、对领域专家依赖性过强等严重缺陷。基于模型诊......
故障测试在芯片开发中是十分重要的部分,分布于开发的各个环节中。每个芯片在发布前都需要进行故障测试,以确保有缺陷的芯片不会流......
基于模型的诊断(Model-Based Diagnosis)是人工智能领域重要的研究分支,这种诊断方式克服了传统诊断的问题,不需要借助专家的经验,......

