您当前的位置：
首页 >
文章列表页 >
基于部分最大可满足性问题的动态系统中最小故障检测隔离集求解方法
计算机科学与技术 | 更新时间：2025-05-26

    • 基于部分最大可满足性问题的动态系统中最小故障检测隔离集求解方法

    • Approach for generating minimal fault detectability and isolability set in dynamic system based on partial maximum satisfiability problem

    • “在动态系统故障检测与隔离领域，研究者提出了基于部分最大可满足性问题的最小故障检测隔离集求解方法，有效缩减问题规模，提升求解效率。”
    • 吉林大学学报（工学版）   2023年53卷第4期 页码：1163-1173
    • 作者机构：

      1.吉林大学 计算机科学与技术学院，长春 130012

      2.吉林大学 符号计算与知识工程教育部重点实验室，长春 130012

      3.吉林大学 软件学院，长春 130012

    • 作者简介：

      欧阳丹彤（1968-），女，教授，博士.研究方向：人工智能，模型诊断，知识图谱. E-mail：ouyangdantong@163.com

      张立明（1980-），男，高级工程师，博士.研究方向：自动推理，模型诊断，知识图谱.E-mail：limingzhang@jlu.edu.cn

    • 基金信息：
      国家自然科学基金项目(62076108;61872159;61672261);吉林省教育厅科学研究项目(JJKH20211106KJ;JJKH20211103KJ);吉林省自然科学基金项目(20200201283JC)

    • DOI：10.13229/j.cnki.jdxbgxb.20210792    

      中图分类号： TP306

    • 收稿：2021-08-18，

      纸质出版：2023-04-01

    移动端阅览

  • 欧阳丹彤,孙睿,田新亮等.基于部分最大可满足性问题的动态系统中最小故障检测隔离集求解方法[J].吉林大学学报（工学版）,2023,53(04):1163-1173. DOI： 10.13229/j.cnki.jdxbgxb.20210792.

    OUYANG Dan-tong,SUN Rui,TIAN Xin-liang,et al.Approach for generating minimal fault detectability and isolability set in dynamic system based on partial maximum satisfiability problem[J].Journal of Jilin University(Engineering and Technology Edition),2023,53(04):1163-1173. DOI： 10.13229/j.cnki.jdxbgxb.20210792.

  •  
  •  

0

浏览量

8

下载量

0

CSCD

文章被引用时，请邮件提醒。
提交
工具集
下载
参考文献导出
分享
收藏
添加至我的专辑

相关文章

基于集合阻塞的不确定系统中传感器选择方法
基于诊断器的可诊断性增量测试方法
致密油平台式“工厂化”水平井优化设计——以松辽盆地三肇凹陷肇源地区Y63井区扶余油层为例
新疆乌鲁木齐河东矿区煤层含气特征及主控因素
江汉盆地南部监利地区浅层生物气的发现及成因

相关作者

孙睿
高博涵
欧阳丹彤
欧阳丹彤
赵剑
王晓宇

相关机构

吉林大学 软件学院
吉林大学 计算机科学与技术学院
吉林大学 符号计算与知识工程教育部重点实验室
0