基于模型诊断

作品数：93被引量：326H指数：11
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：欧阳丹彤张立明赵相福刘志刚李占山更多>>
相关机构：吉林大学西南交通大学中山大学暨南大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金浙江省自然科学基金吉林省科技发展计划基金教育部“新世纪优秀人才支持计划”更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
融合基数约束与单次入队的基于模型诊断方法
《计算机研究与发展》2025年第2期408-417,共10页青杨 欧阳丹彤 周慧思 张立明 
国家自然科学基金项目(62076108,61872159);吉林省教育厅项目(JJKH20211106,JJKH20211103KJ)。
基于模型诊断(MBD)方法在不同的环境中有越来越多的用途,包括软件故障定位、电子表格的调试、Web服务和硬件设计,以及生物系统的分析等.受这些不同用途的启发,近年来MBD算法改进成效显著.然而,对体系庞大、结构复杂的系统,需要对现有方...
关键词：基于模型诊断 压缩模型 基于基数约束的算法 顶层诊断解 单次入队 
工业场景下联邦学习中基于模型诊断的后门防御方法
《计算机科学》2024年第1期335-344,共10页王迅 许方敏 赵成林 刘宏福 
国家自然科学基金(U61971050)。
联邦学习作为一种能够解决数据孤岛问题、实现数据资源共享的机器学习方法,其特点与工业设备智能化发展的要求相契合。因此,以联邦学习为代表的人工智能技术在工业互联网中的应用越来越广泛。但是,针对联邦学习架构的攻击手段也在不断...
关键词：联邦学习 后门防御 早期后门攻击 后门触发器 早退联合判决 
CIMHS:基于优化增量策略求解极小碰集的方法被引量：1
《电子学报》2023年第5期1334-1340,共7页魏霞 赵相福 黄森 
国家自然科学基金(No.61972360,No.62072392)。
在基于模型的诊断推理过程中,极小碰集求解效率是决定诊断快慢的关键一步.本文在原有极小冲突集合簇与极小碰集簇的基础上,充分考虑它们与新增冲突集中元素的关系,提出一种新型的优化增量策略.在原有极小冲突集簇中,首先通过启发式策略...
关键词：基于模型诊断 极小冲突集 极小碰集 增量策略 启发式策略 全增量 
基于部分最大可满足性问题的动态系统中最小故障检测隔离集求解方法被引量：1
《吉林大学学报（工学版）》2023年第4期1163-1173,共11页欧阳丹彤 孙睿 田新亮 张立明 刘萍萍 
国家自然科学基金项目(62076108,61872159,61672261);吉林省教育厅科学研究项目(JJKH20211106KJ,JJKH20211103KJ);吉林省自然科学基金项目(20200201283JC)。
选择一组能够检测并隔离所有故障的故障检测隔离集(FDIS)是动态系统基于模型故障检测与隔离(FDI)的重要步骤,该步骤通常要求FDIS的基数最小,即求解最小故障检测隔离集(MFDIS),MFDIS的求解时间随着问题规模增大呈指数级增长。BILP(Binary...
关键词：基于模型诊断 最小故障检测隔离集 故障检测与隔离 最小型超定方程集 部分最大可满足性问题 
基于集合阻塞的不确定系统中传感器选择方法被引量：1
《吉林大学学报（工学版）》2023年第2期547-554,共8页欧阳丹彤 孙睿 田新亮 高博涵 
吉林省教育厅科学研究项目(JJKH20211106KJ,JJKH20211103KJ);国家自然科学基金项目(62076108,61872159,61672261)。
动态系统故障检测与隔离(FDI)的一个重要步骤是选择一组满足故障检测性与故障隔离性且花费最小的传感器集合。针对不确定系统,故障可诊断性量化方法被用来量化系统的故障检测性和故障隔离性。由于传感器选择问题的搜索空间随传感器规模...
关键词：故障诊断 传感器选择 基于模型诊断 故障可诊断性分析 
基于模型诊断的一种新编码方法被引量：1
《计算机研究与发展》2023年第1期95-102,共8页周慧思 欧阳丹彤 田新亮 张立明 
国家自然科学基金项目(62076108,61872159,61672261)。
基于模型诊断(model-based diagnosis,MBD)是人工智能诊断领域中著名的诊断求解方法之一,旨在识别诊断问题的根本原因.由于求解诊断解在计算上具有挑战性,一些MBD算法提出通过修改模型的编码来提高诊断效率,如面向统治者的编码(dominato...
关键词：基于模型诊断 最大可满足性问题 基于统治关系的编码 顶层诊断 极小势诊断 
IBWIICC:结合局部独立覆盖检测策略增量求解极小碰集的算法
《电子学报》2022年第11期2722-2729,共8页赵相福 黄森 童向荣 欧阳丹彤 张立明 章星林 
国家自然科学基金面上项目(No.61972360,No.62076108,No.62072392)。
基于模型的诊断推理是人工智能领域的一个重要分支.其中由冲突部件集产生所有极小碰集是基于模型诊断推理的重要一步.根据布尔算法的特征,所有的冲突集可以划分为左右两个子集合簇,且左分支集合簇恰好为右分支集合簇的子集,这为由左分...
关键词：基于模型诊断 诊断推理 极小碰集 布尔算法 冲突集 增量方法 
一种基于规划路标的增量诊断方法
《吉林师范大学学报（自然科学版）》2020年第3期121-125,共5页王晓宇 李闯 
吉林省教育厅“十三五”科学技术研究项目(JJKH20180763KJ);四平市科技发展计划项目(2017093)。
提出一种基于动态路标的启发式方法,改进因候选诊断存在而导致的诊断回溯问题.通过离线标记和在线的动态路标,在候选诊断路径集合中选择当前最优诊断结果,推理增量诊断的可扩展状态;在线过程中,根据在线诊断结果和回溯节点调整路标,提...
关键词：基于模型诊断 增量诊断 路标 
结合故障逻辑关系的极小冲突集求解方法被引量：1
《计算机研究与发展》2020年第7期1472-1480,共9页欧阳丹彤 高菡 徐旖旎 张立明 
国家自然科学基金项目(61872159,61672261,61502199)。
基于模型诊断是人工智能研究与发展中的重要方向之一,而求解极小冲突集(minimal conflict set, MCS)是模型诊断的关键步骤.MCS-SFFO(minimal conflict set-structural feature of fault output)方法以反向深度的方式遍历集合枚举树(set ...
关键词：基于模型诊断 非极小冲突 集合枚举树 故障输出相关元件集 有解剪枝 
一种配电网基于模型诊断的专属最小碰集算法被引量：1
《电工电能新技术》2020年第7期72-80,共9页陈婷 朱文强 林梅芬 王秋杰 
国家自然科学基金项目(61304260)。
现有配电网故障诊断的最小碰集算法由于没有考虑配电网的拓扑结构特点,导致其求解速度和准确率不高,对此,提出了一种仅适用于配电网故障的改进最小碰集算法。该算法首先分析了现有各适应度函数的特点,通过加权融合的方式构建出一种新适...
关键词：配电网 故障诊断 基于模型诊断 最小碰集算法 加权组合 配电网拓扑结构 
全选清除导出
共10页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部