浙江省自然科学基金(Y1100191)
- 作品数：20 被引量：49H指数：5
- 相关作者：欧阳丹彤王晓宇赵剑张立明赵相福更多>>
- 相关机构：吉林大学浙江师范大学教育部更多>>
- 发文基金：浙江省自然科学基金国家自然科学基金吉林省科技发展计划基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于模型诊断的候选空间单调性研究
- 2013年
- 为了通过增加测量点、从候选诊断空间中找出真正的故障元件集,深入研究了测量点的选择优化问题,通过逻辑推理与验证的方法,分析了候选诊断空间大小随新测量点的单调性变化的关系,并给出了可以导致候选诊断空间单调递增或单调递减的测量点特征。同时证明了增加相关测量点可导致诊断空间单调递减,为进一步选择优化的测量点提供了基本理论依据。
- 王肖赵相福
- 关键词：单调性测量点故障诊断
- 基于比特位操作的自适应约束传播算法被引量：1
- 2012年
- 在现有约束传播算法研究的基础上,提出了一种基于比特位操作的自适应约束传播算法AC_MaxRPC_Bitwise。该算法在寻找AC支持及PC支持中引入基于比特位的数据结构,并利用比特位操作加速AC支持和PC证据搜索,从而提高自适应约束传播的效率。对几类典型benchmark问题的测试结果表明,算法AC_MaxRPC_Bitwise在总体性能上明显优于AC及原自适应约束传播算法。
- 王海燕郭劲松欧阳丹彤张永刚
- 关键词：人工智能约束满足问题
- 不完备模型下的离散事件系统诊断方法被引量：8
- 2012年
- 提出不完备模型的两种不完备性:模型定义不完备和因果关系不完备.在模型定义不完备条件下,用在线观测与模型共同约束的方法处理观测乱序及未定义事件,得到可行的诊断轨迹.相对于基于完备模型假设下不能诊断的结论,该方法扩展了诊断方法的适用范围,放松了对模型的约束要求.在因果不完备条件下,提出用因果图联系部件,解决分布式诊断中由于部件独立建模而导致的不彻底诊断,提高了诊断的精确性.通过实验验证,两种条件下的诊断方法均能在相应的不完备模型中得到预期诊断结果,并对模型进行局部修订,提高模型的完备性.
- 王晓宇欧阳丹彤赵剑
- 基于诊断器的可诊断性增量测试方法
- 2015年
- 在离散事件系统的基于模型诊断中,提出了一种增量的可诊断性判定方法,用于提高可诊断性判定的效率。通过在状态上反向传播故障标签的方法,建立预诊断器。在预诊断器模型上,结合虚拟在线的观测窗口,增量进行可诊断性判断,决定是否对当前状态剪枝。提出增量算法,并证明该算法的正确性。实验验证增量可诊断性算法的效率,并实验研究了增量窗口大小对增量可诊断性判定效率的影响。
- 王晓宇欧阳丹彤赵剑
- 关键词：人工智能基于模型诊断可诊断性
- 不完备离散事件系统的可诊断性被引量：5
- 2015年
- 在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模型完备.用经典的双树方法判断离线可诊断性,根据观测序列的时序及语言的前缀判断并处理不完备行为.提出判定不完备行为的方法,向模型中添加不完备行为,并根据不完备行为增量地在双树中判定在线可诊断性.通过在线的可诊断性判定,当前系统能够得到在有限观测内唯一判定故障发生与否的结论.该方法适用于具有离散性质的系统.
- 王晓宇欧阳丹彤赵相福
- 关键词：离散事件系统基于模型诊断可诊断性
- 基于动态极大度的极小碰集求解方法被引量：16
- 2011年
- 在计算集合簇的碰集时,结合SE-Tree(set enumeration tree)形式化地表达计算过程,逐步生成所有的极小碰集.并在SE-Tree中添加了终止结点,避免了非极小碰集的产生,并且不会因剪枝而丢失正确的解.提出未扩展元素度的概念和结点度的概念,进而在扩展SE-Tree结点时按照未扩展元素度由大到小的顺序扩展,极早地生成集合簇的碰集,减少枚举树生成的结点个数,并且直接根据结点度得出结点对应的集合是否为集合簇的碰集,避免计算集合是否为集合簇的碰集.实验结果表明,该算法程序容易编制且效率较好.
- 张立明欧阳丹彤曾海林
- 路标计数启发式引导的分解规划方法
- 2013年
- 路标信息能够准确描述智能规划问题解空间的基本形态.提出由路标信息引导的分解规划方法,求解过程由路标计数启发式引导增强爬山算法向目标方向进行,根据路标的完成情况分段求出规划解.从全局范围上看,爬山过程逐渐实现更多的路标,路标计数启发式估值的降低引发规划任务的分解,当搜索过程遇到估值更低的状态时,提取一段爬山路径.如此反复执行"搜索-提取"过程,直至路标计数启发式的估值降低为0,各段爬山路径构成最终的规划解.采用最新国际通用的标准测试问题进行实验测试,结果表明:由路标计数启发式引导的分解规划方法能够更好地发挥路标信息的优势,实现了搜索范围的压缩,可更快地生成规划解.
- 魏唯欧阳丹彤吕帅
- 基于矩阵计算极小碰集的启发式算法被引量：5
- 2013年
- 提出了一种基于矩阵模型计算极小碰集的新方法。通过在矩阵中存储冲突集合簇的相关信息,引入集合簇中元素的频率作为启发信息,完成对极小碰集的计算。该算法的数据结构简单,程序易于实现,同时启发信息的引入减少了节点的生成。该算法可以产生而且仅产生所有的极小碰集。实验结果表明该算法有较高的计算效率。
- 欧阳丹彤耿雪娜郭劲松王晓宇
- 关键词：人工智能基于模型诊断冲突集启发式算法
- 约束分解技术回顾与展望被引量：1
- 2011年
- 约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题。由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解来降低计算的开销具有十分重要的意义。主要描述约束分解在约束满足问题中的地位、经典的分解技术和约束分解技术的发展历史,然后简要地分析这些分解技术。介绍了关于约束分解研究的最新状况,并描述、分析和总结其主要求解思想。最后根据存在的问题与不足提出了下一步的工作方向和研究思路。
- 李占山韩文成郭霆
- 关键词：约束满足问题
- 用CHS-tree基于集合势的方法计算极小碰集被引量：9
- 2014年
- 在基于模型的故障诊断理论中,为了根据所有冲突部件集计算全体极小碰集,提出基于集合势的方法,每次选择当前集合簇中势最小的集合进行扩展,并借助集合簇中元素出现的频率作为辅助判断,不断将大问题逐渐分解成子问题,然后依次求出不包含该扩展集合中各元素的集合簇的所有极小碰集。实验结果表明,CHStree方法生成树的过程较简单,能产生较少的节点,比经典的碰集树方法、二分法和集合枚举法等具有更高的求解效率。在某些情况下,其效率也高于当前效率最高的Boolean方法。
- 王肖赵相福
