冲突集相关论文
基于模型诊断问题是NP难度的问题,在人工智能领域内有着十分重要的地位。同时,在工程医学、经济、航天等领域内,基于模型诊断问题......
基于模型的诊断(Model-Based Diagnosis)是人工智能领域重要的研究分支,这种诊断方式克服了传统诊断的问题,不需要借助专家的经验,......
为了解决多错误诊断时枚举数量过大的问题,提出一种基于动态聚类分析的方法.首先,按照是否具有相同的初始症状冲突集对失败用例进......
针对用户星数据中继接入请求超额定购问题,分析了用户星业务种类,研究了中继卫星接入控制所受多类约束的特点,建立了约束满足模型;......
产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式（CNF）形式的文件描述......
基于模型诊断是人工智能领域内的一个重要研究方向,求解极小冲突集在基于模型诊断中有着重要应用.在对结合CSISE-Tree求解冲突集方......
综述基于模型诊断的基本任务、诊断过程、研究现状及主要研究领域.通过与传统诊断方法的比较指出基于模型诊断方法的研究意义.列举......
提出一种利用与元素相关联的冲突集个数计算碰集的新方法，并结合带有终止节点的集合枚举树SE-tree形式化地表达计算过程，逐步生成所......
基于模型的诊断方法是人工智能领域发展起来的一个十分活跃的分支.在该方法中,由极小冲突集求解极小击中集的过程是一个NP-Hard问......
周期工作DC（Duty-Cycling）技术,即周期地开/关通信和感测能力,能够有效降低传感节点的活动时间,进而延长无线传感网络寿命。然而,此......
介绍了人工智能领域的一个分支——基于模型的诊断以及基于一致性诊断的基本概念，总结了基于模型诊断的优点和有待改进的地方。......
在总结分析空间电源系统故障特点的基础上,结合Reiter基于第一原理的故障诊断一般理论,建立了适用于空间电源故障诊断的推理算法.......
基于模型的诊断方法的重要步骤之一是冲突集识别.把若干个部件组成一个相对独立的系统,该系统中的部件全部正常工作时可得到一个确......
基于模型诊断的 HS-DAG算法,提出一个网络通信模型的诊断系统.当局域网出现故障时,能够根据观察结果判断故障出现的位置,不会因为......
提出了一种基于矩阵模型计算极小碰集的新方法。通过在矩阵中存储冲突集合簇的相关信息，引入集合簇中元素的频率作为启发信息，完成对......
首先提出一个基于SE-tree产生所有极小冲突集的方法（CSSE-tree）.然后给出翻转的SE-tree（ISE-tree）的概念,并提出基于ISE-tree产生所有......
针对可测性分析中掩盖故障识别的难点,提出一种掩盖故障存在性的判定及计算其冲突集方法;并将离散粒子群算法（discrete binary part......
根据冲突集簇计算极小碰集是基于模型诊断的关键步骤,提出一种基于矩阵运算求解极小碰集的方法,在考虑集合之间联系的基础上,通过......
基于模型的故障诊断是一种重要的诊断方法,但它的计算量较大。在Reiter算法的基础上,论证了每次求解冲突集时,每个元件的模型知识......
本论文在对比分析常用最小碰集搜索方法性能优劣的基础上,提出了一种改进的离散二进制粒子群算法,并给出了该算法应用于最小碰集搜......
期刊
空间电源系统工作时间长、运行环境特殊,在执行任务期间不可避免发生故障。为保障任务完成,需建立起空间电源系统在线故障诊断系统......
