耿雪娜
- 作品数：7 被引量：13H指数：3
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金浙江省自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于模型诊断的故障诊断问题研究
- 随着科技的高速发展，越来越多的设备被发明研制出来，为了避免设备运行期间发生故障，故障诊断应运而生。起初，学者们仅局限于对静态系统的诊断，逐渐地，人们把目标转向了动态系统的诊断，离散事件系统巧妙地将动态系统转化为静态系统，...
- 耿雪娜
- 关键词：离散事件系统基于模型诊断故障诊断可诊断性
- 基于矩阵计算极小碰集的启发式算法被引量：5
- 2013年
- 提出了一种基于矩阵模型计算极小碰集的新方法。通过在矩阵中存储冲突集合簇的相关信息,引入集合簇中元素的频率作为启发信息,完成对极小碰集的计算。该算法的数据结构简单,程序易于实现,同时启发信息的引入减少了节点的生成。该算法可以产生而且仅产生所有的极小碰集。实验结果表明该算法有较高的计算效率。
- 欧阳丹彤耿雪娜郭劲松王晓宇
- 关键词：人工智能基于模型诊断冲突集启发式算法
- 离散事件系统故障的极小观测序列被引量：2
- 2016年
- 为了提高可诊断离散事件系统故障的在线诊断效率,本文从判定故障发生的可观测事件的角度,提出了故障极小观测序列方法.文中选取有限状态自动机对离散事件系统进行建模.首先,在离线状态下,建立系统的故障模型,以排除对于判定系统故障无关的路径.然后,根据故障模型进一步建立判定系统故障的极小观测序列模型.当离散事件系统在线诊断时,仅需将逐步增加的在线观测事件序列与故障的极小观测序列模型进行比对.若能找到满足该模型的任何一条路径,则说明路径终止状态上故障标签对应的系统故障发生;否则,说明系统无故障发生.文中对可诊断离散事件系统进行实验对比,通过故障的极小观测序列模型能尽快判定有无故障发生,以及发生了哪些故障.该模型能有效地缩小系统在线诊断的时间,提高系统在线诊断的效率.
- 欧阳丹彤李江娜耿雪娜
- 关键词：离散事件系统故障诊断
- 基于矩阵计算极小碰集的启发式算法
- 在基于模型诊断中，极小碰集的计算是表达最后诊断结果的重要步骤。本文提出了一种基于矩阵模型计算极小碰集的新方法，通过在矩阵中存储冲突集合簇的相关信息，并且引入集合簇中元素的频率作为启发信息，从而完成对极小碰集的计算。 该算...
- 欧阳丹彤耿雪娜郭劲松王晓宇
- 关键词：基于模型诊断冲突集矩阵启发式算法
- 文献传递
- 基于冲突的离散事件系统诊断方法被引量：3
- 2013年
- 提出了一种基于冲突的动态模型故障诊断方法。通过在离散事件系统的自动机模型中添加概率,离线计算模型中事件与状态的后验概率,从而处理不完全观测导致的不确定性,增强了离散事件系统处理不确定性问题的能力。在已经建立的离线模型上,在线计算观测与模型的冲突,在模型中提取符合观测的轨迹,推导系统运行状况,判断故障,并给出故障路径。将基于冲突的诊断方法扩展到离散事件系统的诊断上来,避免了对无关事件的搜索及判断,从而降低了诊断搜索空间,便于计算更大规模的系统模型。
- 王晓宇欧阳丹彤赵剑耿雪娜
- 关键词：人工智能离散事件系统
- 基于动态极大元素覆盖值的极小碰集求解算法被引量：5
- 2018年
- 在基于模型诊断(model-based diagnosis,MBD)中,因为所有极小冲突集的极小碰集就是待诊断系统的诊断结果,所以利用所有极小冲突集构造极小冲突集合簇,并基于极小冲突集合簇计算极小碰集是诊断的关键步骤.提出一种基于动态极大元素覆盖值求解极小碰集的新算法.该算法按照元素的元素覆盖值从大到小的顺序依次处理元素,并在求解碰集的过程中加入启发式策略和剪枝策略,使得搜索空间极大减少;利用邻接链表存储输入的极小冲突集合簇,邻接链表相对于用矩阵作为存储结构有较好的空间开销且通过邻接指向能快速地找到元素可以覆盖的集合簇中的元素;每得到一个碰集便使用极小碰集判定规则进行筛选,因此算法结束时可以产生而且仅产生所有的极小碰集.实验结果表明该算法有较高的计算效率.
- 邓召勇欧阳丹彤耿雪娜刘杰
- 关键词：基于模型诊断剪枝策略
- 离散事件系统的可诊断性问题研究
- 2015年,“阿尔法”围棋战胜欧洲围棋冠军,人工智能成为了大家讨论的热门话题。随着人类社会的进步,人工智能逐渐成为我们生活中一个重要的领域。越来越多的智能设备为社会的发展而被应用到实际生产生活中,然而,一旦一个设备发生故...
- 耿雪娜
- 关键词：基于模型诊断离散事件系统可诊断性粗糙集理论概率逻辑
- 文献传递
