最小冲突集相关论文
为了在协同设计中建立以人为核心的冲突消解方法，使设计者在约束冲突发生时，对约束信息之间的制约关系有较清晰的把握，合理地消解冲突......
在现代电力系统中,配电网结构日趋复杂,其故障发生概率也在不断增加,当配电网发生故障或事故时,为了能够在较短的时间内找出故障原......
提出了一个将MBD（基于模型诊断）理论应用于配电网故障诊断的方案，以一个实际配电网为例，构建了该配电网内主要设备的统一模型的基础上，......
在基于模型的诊断中，利用冲突集计算最小碰集是其关键的步骤。因为所有冲突集的最小碰集就是所考察系统的诊断。在Reiter的方法中，要......
为了在协同设计中建立以人为核心的冲突消解方法,使设计者在约束冲突发生时,对约束信息之间的制约关系有较清晰的把握,合理地消解......
在基于模型的诊断中,模型一般都是用布尔代数来表示,而计算碰集(hitting sets)则采用HS-树或图,这就使得诊断系统采用多种不同的数......
提出一种最小hitting集算法,以满足基于模型故障诊断中诊断解的计算.采用集合递推运算计算了最小hitting集合,并证明了该算法可得......
应用Ｒｅｉｔｅｒ提出的基于第一原理的诊断方法解决连续系统多故障诊断问题的难点是有效地识别最小冲突集合组。文章针对工业过程控制系统的特......
提出了一种冲突网络驱动下的反向迭代产品创新设计过程模型。通过产品需求分析和TRIZ进化理论建立产品的理想解（IFR）集合,确定对应于......
在基于模型诊断中,冲突集的最小碰集就是诊断目标. 提出用二维逻辑型数组计算冲突集的最小碰集的一种新的算法.......
在基于模型诊断的基础上,建立了贝叶斯模型.该模型首先假设系统的所有状态都是可能发生的,并对系统中的各个元件设定一个先验概率.......
在基于模型的故障诊断仿真系统的诊断流程中，由最小冲突集计算最小碰集是整个流程中的关键步骤。针对现有计算最小碰集方法中存在的......
提出一种基于模型的配电网故障诊断方案,该方案首先根据配电网原理模型的仿真数据和实际观测值存在的差异得到极小冲突集,然后由离......
期刊
在基于模型的诊断中,广泛地使用冲突集来计算最小碰集的算法诊断。现有的HS-树,HST-树,BHS-树等算法普遍存在实现的困难。文章提出......
