欧阳丹彤
【姓名】 欧阳丹彤
【职称】 教授;
【研究领域】 自动化技术;计算机软件及计算机应用;无线电电子学;
【研究方向】 基于模型诊断和定理机器证明的研究
【发表文献关键词】 广义因果理论,基于模型的诊断,征兆,本原蕴涵/蕴涵式,简单因果理论,本原蕴涵,算子逻辑,基于模型诊断,冲突集,扩展的因果理论,诊断空间,蕴涵式,自然演绎,诊断过程,基于模型,分层诊断,溯因,动态分层,...
【工作单位】 吉林大学
【曾工作单位】 吉林大学;
【所在地域】 长春
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/137 114 120 35 988 21839
中国期刊全文数据库    共找到139篇
[1]欧阳丹彤;郝闯;蒋璐宇;张立明;.不确定观测条件下基于模型诊断的故障检测方法[J]吉林大学学报(工学版).2026,(03)
[2]欧阳丹彤;袁哲;张立明;.基于自适应进化算法的软件产品线抽样方法[J]吉林大学学报(工学版).2025,(09)
[3]王楠;王淇;欧阳丹彤;.基于知识蒸馏与动态调整机制的多模态情感分析模型[J]计算机学报.2025,(08)
[4]史丰源;欧阳丹彤;张立明;.足够接近的旅行商问题研究综述[J]吉林大学学报(理学版).2025,(01)
[5]李睿智;何锦涛;欧阳丹彤;.局部搜索算法求解最小弱连通支配集问题[J]软件学报.2025,(08)
[6]田新亮;欧阳丹彤;周慧思;蒋璐宇;太然;张立明;.一种高效的求解最小负载着色问题的局部搜索算法[J]软件学报.2025,(08)
[7]赵相福;黄森;魏霞;童向荣;欧阳丹彤;张立明;.BWSS:结合可疑集合簇计算极小碰集的Boolean算法[J]软件学报.2025,(07)
[8]张婷婷;欧阳丹彤;孙成林;白洪涛;.融合协同过滤的神经Bandits推荐算法[J]吉林大学学报(理学版).2024,(01)
[9]蒋璐宇;欧阳丹彤;董博文;张立明;.针对MUS求解问题的加强剪枝策略[J]软件学报.2024,(04)
[10]欧阳丹彤;孙睿;田新亮;高博涵;.基于集合阻塞的不确定系统中传感器选择方法[J]吉林大学学报(工学版).2023,(02)
更多
中国重要会议全文数据库    共找到4篇
[1]欧阳丹彤;欧阳继红;程晓春;刘杰;.基于模型诊断中计算碰集的方法[A].中国仪器仪表学会第六届青年学术会议论文集.2004-06-30
[2]欧阳丹彤;才殿波;李占山;.基于模型的动态分层诊断技术[A].中国仪器仪表学会第六届青年学术会议论文集.2004-06-30
[3]赵相福;欧阳丹彤;.动态系统基于模型诊断的研究进展与展望[A].第七届青年学术会议论文集.2005-08-01
[4]宋小华;欧阳丹彤;.时空推理在计算机视觉的应用[A].2006年全国理论计算机科学学术年会论文集.2006-08-01
更多
承担国家科研项目    共找到2个
[1]欧阳丹彤;.基于模型的诊断推理[A].吉林大学;.项目经费 14万元.1999-03-31.资助文献数 19 篇
[2]欧阳丹彤.模型不完备情形下离散事件系统诊断方法的研究[A].吉林大学.项目经费 30万元.2009-03-20.资助文献数 0 篇
更多