搜索到36篇“ 最小冲突集“的相关文章
- 一种基于最小冲突集的约束冲突消解方法
- 为了在协同设计中建立以人为核心的冲突消解方法,使设计者在约束冲突发生时,对约束信息之间的制约关系有较清晰的把握,合理地消解冲突,提取最小冲突集是有效的方法。本文在分析最小冲突集特征和交边算法的基础上,给出了提取最小冲突集...
- 季浩石慧刘晓平
- 关键词:最小冲突集协同设计
- 文献传递
- 一种基于最小冲突集的约束冲突消解方法
- 为了在协同设计中建立以人为核心的冲突消解方法,使设计者在约束冲突发生时,对约束信息之间的制约关系有较清晰的把握,合理地消解冲突,提取最小冲突集是有效的方法。本文在分析最小冲突集特征和交边算法的基础上,给出了提取最小冲突集...
- 季浩石慧刘晓平
- 关键词:最小冲突集协同设计
- 文献传递
- 一种识别最小冲突集的实用方法被引量:9
- 1999年
- 应用Reiter提出的基于第一原理的诊断方法解决连续系统多故障诊断问题的难点是有效地识别最小冲突集合组。文章针对工业过程控制系统的特点,提出一种实用算法。首先根据系统的结构和传感器分布等不变知识,离线识别最小冲突集候选;然后根据测量数据,使用约束悬挂和约束传播技术,在线确定最小冲突集合组。算法是完备的,且大大节省时间资源。
- 方敏
- 关键词:故障诊断工业过程控制最小冲突集控制系统
- 基于模型诊断的集合逻辑运算法计算最小碰集被引量:1
- 2016年
- 在基于模型的故障诊断仿真系统的诊断流程中,由最小冲突集计算最小碰集是整个流程中的关键步骤。针对现有计算最小碰集方法中存在的缺陷,提出了运用集合逻辑运算法计算最小碰集,将冲突集表示为集合的逻辑"与"、逻辑"或"运算,通过其运算法则进行运算简化,可得到全部的最小碰集。该方法具有简单有效、数据结构简单、计算简便快捷和易于程序实现等优点。最后通过实例计算,验证了该算法的正确性、简单性和高效性。
- 朱亚雄李星新郝建平李智猛项波
- 关键词:基于模型诊断最小碰集最小冲突集
- 基于模型诊断在配电网故障诊断中的应用研究被引量:1
- 2014年
- 提出了一个将MBD(基于模型诊断)理论应用于配电网故障诊断的方案,以一个实际配电网为例,构建了该配电网内主要设备的统一模型的基础上,给出了该配电网的系统模型描述,并结合该配电网的一组故障观测数据,对该配电网内发生的故障做故障诊断实验,由实验验证了该应用方案的可行性与有效性。
- 胡非贺攀干磊肖锋黄双双柯明猛
- 关键词:基于模型诊断配电网最小碰集最小冲突集故障诊断
- 离散二进制粒子群算法在基于模型配电网故障诊断中的应用被引量:22
- 2013年
- 提出一种基于模型的配电网故障诊断方案,该方案首先根据配电网原理模型的仿真数据和实际观测值存在的差异得到极小冲突集,然后由离散二进制粒子群优化算法推出可能的故障元件和故障形式,最后由贝叶斯方法确定概率最高的诊断结论。通过实际建模、编程和实验证明了该方案的可靠性和有效性。仿真结果表明,与HS-Tree、Boolean Algebra方法、遗传算法等算法相比,离散二进制粒子群算法搜索效率更高,可节约1/3~1/2的搜索时间,并且可以避免当问题规模较大时出现内存溢出问题。
- 关龙刘志刚何士玉杨红梅
- 关键词:配电最小冲突集故障诊断
- 基于模型的配电网故障诊断关键问题研究被引量:16
- 2012年
- 现有配电网故障诊断方法主要是根据故障后保护装置产生的报警信息,断路器的状态变化信息来推断可能故障位置和类型,属于后验故障诊断方法。基于模型诊断方法(Model-based diagnosis,MBD)则直接利用电压电流等量测量来判断故障元件,可以在保护装置和断路器动作前进行故障定位,具有一定的故障预警功能。给出一个完整的基于模型的配电网诊断方案,采用优化的离散二进制粒子群算法(BPSO,Binary Particle Swarm Optimization)求取冲突集的最小碰集,诊断识别过程中以贝叶斯后验概率形式量化了候选诊断的衡量标准,从而降低诊断过程中的不确定度。最后以某10kV配电网为诊断实例,通过实际建模、编程和实验,取得了良好的效果。
- 关龙刘志刚徐建芳王英
- 关键词:配电网故障基于模型诊断贝叶斯理论最小冲突集
- MBD在配电网故障诊断中的应用研究
- 在现代电力系统中,配电网结构日趋复杂,其故障发生概率也在不断增加,当配电网发生故障或事故时,为了能够在较短的时间内找出故障原因,近年来,许多学者将人工智能的理论和方法用于配电网故障诊断,现有的配电网故障诊断系统基本上是基...
- 胡非
- 关键词:配电网基于模型诊断最小碰集最小冲突集
- 冲突网络驱动的反向迭代创新设计过程模型被引量:2
- 2007年
- 提出了一种冲突网络驱动下的反向迭代产品创新设计过程模型。通过产品需求分析和TRIZ进化理论建立产品的理想解(IFR)集合,确定对应于IFR的最小冲突集合C,之后运用TRIZ的问题解决工具解决C中的冲突及新衍生的冲突,反复迭代的结果可以获得产品完整的概念设计方案。通过一个工程实例对该过程模型进行了验证和说明。
- 马力辉檀润华
- 关键词:TRIZIFR最小冲突集设计过程模型
- 基于集合递推运算的最小hitting集算法被引量:2
- 2004年
- 提出一种最小hitting集算法,以满足基于模型故障诊断中诊断解的计算.采用集合递推运算计算了最小hitting集合,并证明了该算法可得到最小冲突集合组的全部最小hitting集合.实验表明,该算法程序容易编制、运算迅速快,可以明显地提高诊断效率,对于复杂的被诊断对象系统可以满足实时性要求.
- 傅绍文董健康
- 关键词:故障诊断最小冲突集
相关作者
- 林笠

- 作品数:24被引量:131H指数:7
- 供职机构:悉尼科技大学
- 研究主题:人工智能 试题库 最小碰集 最小冲突集 S-
- 刘晓平

- 作品数:644被引量:1,285H指数:16
- 供职机构:合肥工业大学
- 研究主题:计算机应用 CAD 概念设计 可视化 虚拟现实
- 姜云飞

- 作品数:112被引量:513H指数:15
- 供职机构:中山大学信息科学与技术学院软件研究所
- 研究主题:人工智能 基于模型诊断 专家系统 规划图 遗传算法
- 关龙

- 作品数:3被引量:45H指数:3
- 供职机构:西南交通大学电气工程学院
- 研究主题:故障诊断 最小冲突集 配电网故障诊断 配电 线路故障
- 季浩

- 作品数:20被引量:3H指数:1
- 供职机构:合肥工业大学
- 研究主题:协同设计 非线性系统 可视化 曲率特征 流形学习