欧阳丹彤

期刊论文

1. 欧阳丹彤，郝闯，蒋璐宇，张立明（2026）. 不确定观测条件下基于模型诊断的故障检测方法. 《吉林大学学报(工学版)》.
2. 蒋璐宇，欧阳丹彤，张奇，太然，张立明（2025）. 基于增量信息交互的极小不可满足子集求解算法. 《计算机研究与发展》.
3. 青杨，欧阳丹彤，周慧思，张立明（2025）. 融合基数约束与单次入队的基于模型诊断方法. 《计算机研究与发展》.
4. 史梓慧，欧阳丹彤，张立明（2025）. 超大规模集成电路布图规划方法研究综述. 《吉林大学学报(理学版)》.DOI
5. 史丰源，欧阳丹彤，张立明（2025）. 足够接近的旅行商问题研究综述. 《吉林大学学报(理学版)》.DOI
6. 卢禹博，叶育鑫，欧阳丹彤（2025）. 地理链接数据的空间拓扑完整性验证. 《吉林大学学报(理学版)》.DOI
7. 欧阳丹彤，袁哲，张立明（2025）. 基于自适应进化算法的软件产品线抽样方法. 《吉林大学学报(工学版)》.DOI
8. 周慧思，欧阳丹彤，田新亮，张立明（2023）. 基于模型诊断的一种新编码方法. 《计算机研究与发展》.
9. 欧阳丹彤，许斌，董博文，周慧思，张立明（2023）. 结合测试点质量的混合测试点集合约简方法. 《电子学报》.
10. 贾晨晓，欧阳丹彤（2023）. 多重语义融合的关系分类模型. 《吉林大学学报(信息科学版)》.
11. 欧阳丹彤，孙睿，田新亮，张立明，刘萍萍（2023）. 基于部分最大可满足性问题的动态系统中最小故障检测隔离集求解方法. 《吉林大学学报(工学版)》.
12. 宋函宇，欧阳丹彤，叶育鑫（2023）. 基于正向软标签的轻量级关系抽取. 《吉林大学学报(理学版)》.
13. 欧阳丹彤，孙睿，田新亮，高博涵（2023）. 基于集合阻塞的不确定系统中传感器选择方法. 《吉林大学学报(工学版)》.
14. 赵相福，黄森，童向荣，欧阳丹彤，张立明，章星林（2022）. IBWIICC:结合局部独立覆盖检测策略增量求解极小碰集的算法. 《电子学报》.
15. 欧阳丹彤，刘扬，宋金彩，王浩然，张立明（2022）. 结合结构特征基于测试集重排序的故障诊断方法. 《电子学报》.
16. 雷景佩，欧阳丹彤，张立明（2022）. 基于知识图谱嵌入的定义域值域约束补全方法. 《吉林大学学报(工学版)》.
17. 欧阳丹彤，张必歌，田乃予，张立明（2021）. 结合格局检测与局部搜索的故障数据缩减方法. 《吉林大学学报(工学版)》.DOI
18. 欧阳丹彤，刘扬，刘杰（2021）. 故障响应指导下基于测试集的故障诊断方法. 《吉林大学学报(工学版)》.DOI
19. 欧阳丹彤，高菡，徐旖旎，张立明（2020）. 结合故障逻辑关系的极小冲突集求解方法. 《计算机研究与发展》.
20. 欧阳丹彤，郭江姗，张立明（2020）. 基于最小集合覆盖求解方法的测试向量集约简. 《湖南大学学报(自然科学版)》.DOI
21. 欧阳丹彤，马骢，雷景佩，冯莎莎（2020）. 知识图谱嵌入中的自适应筛选. 《吉林大学学报(工学版)》.DOI
22. 欧阳丹彤，高杰（2020）. 不一致术语集最小基数诊断的分支限界. 《吉林大学学报(工学版)》.DOI
23. 欧阳丹彤，高菡，田乃予，刘梦，张立明（2019）. 基于双模型的MUS求解方法. 《计算机研究与发展》.
24. 何嫱君，赵相福，欧阳丹彤，张立明（2019）. 极小碰集求解算法的性能分析与比较. 《电子学报》.
25. 田乃予，欧阳丹彤，刘梦，张立明（2019）. 基于子集一致性检测的诊断解极小性判定方法. 《计算机研究与发展》.
26. 欧阳丹彤，陈晓艳，叶靖，邓召勇，张立明（2019）. 基于极小碰集求解算法的测试向量集约简. 《计算机研究与发展》.
27. 欧阳丹彤，肖君，叶育鑫（2019）. 基于实体对弱约束的远监督关系抽取. 《吉林大学学报(工学版)》.
28. 周慧思，欧阳丹彤，刘梦，田乃予，张立明（2019）. 一种结合结构特征求解诊断问题的PMS方法. 《中国科学:信息科学》.
29. 张瑜，欧阳丹彤，崔仙姬，叶育鑫（2018）. 基于半模型的OWL本体理由探求方法研究. 《计算机学报》.
30. 欧阳丹彤，刘伯文，刘梦，张立明，张永刚（2018）. 结合电路结构基于分块的诊断方法. 《电子学报》.
31. 刘思光，欧阳丹彤，张立明（2018）. 极小碰集求解中候选解极小性判定方法. 《软件学报》.
32. 漆桂林，欧阳丹彤，李涓子（2018）. 本体工程与知识图谱专题前言. 《软件学报》.
33. 张瑜，欧阳丹彤，叶育鑫（2018）. 不协调本体调试与修复的冲突路径优化策略. 《软件学报》.
34. 徐旖旎，欧阳丹彤，刘梦，张立明，张永刚（2018）. 结合故障输出结构特征的极小冲突求解算法. 《计算机研究与发展》.
35. 王荣全，欧阳丹彤，王艺源，刘思光，张立明（2018）. 结合DOEC极小化策略的SAT求解极小碰集方法. 《计算机研究与发展》.
36. 欧阳丹彤，智华云，刘伯文，张立明，张永刚（2018）. 基于伪故障度生成枚举树的极小诊断求解方法. 《计算机研究与发展》.
37. 邓召勇，欧阳丹彤，耿雪娜，刘杰（2018）. 基于动态极大元素覆盖值的极小碰集求解算法. 《计算机研究与发展》.
38. 刘梦，欧阳丹彤，刘伯文，张立明，张永刚（2018）. 结合问题特征的分组式诊断方法. 《电子学报》.
39. 欧阳丹彤，罗知雨，耿雪娜，张立明（2018）. 分布式离散事件系统的安全可诊断性算法. 《吉林大学学报(理学版)》.
40. 欧阳丹彤，范琪（2018）. 子句级别语境感知的开放信息抽取方法. 《吉林大学学报(工学版)》.
41. 崔仙姬，欧阳丹彤，何加亮，高健（2018）. 基于关联解释的术语集MUPS求解方法. 《南京大学学报(自然科学)》.
42. 欧阳丹彤，张瑜，叶育鑫（2017）. 本体推理机求解Mups的性能评测研究. 《计算机学报》.
43. 欧阳丹彤，周建华，刘伯文，张立明（2017）. 基于模型诊断中结合问题特征的新方法. 《计算机研究与发展》.
44. 欧阳丹彤，刘伯文，周建华，张立明（2017）. 结合问题特征利用SE-Tree反向深度求解冲突集的方法. 《电子学报》.
45. 王艺源，欧阳丹彤，张立明（2017）. 结合部件动态变化度求解最小碰集的GRASP算法. 《吉林大学学报(工学版)》.
46. 黄岚，叶育鑫，金京姬，欧阳丹彤（2017）. 计算机专业课程群的网络教学平台建设. 《计算机教育》.
47. 刘思光，欧阳丹彤，王艺源，贾凤雨，张立明（2016）. 结合SE-Tree结构特征的极小碰集求解算法. 《计算机研究与发展》.
48. 欧阳丹彤，贾凤雨，刘思光，张立明（2016）. 结合互补度的基于扩展规则#SAT问题求解方法. 《计算机研究与发展》.
49. 欧阳丹彤，李江娜，耿雪娜（2016）. 离散事件系统故障的极小观测序列. 《湖南大学学报(自然科学版)》.
50. 王昌帅，何丽莉，欧阳丹彤，白洪涛（2016）. 基于多核CPU的卫星云导风并行反演算法. 《吉林大学学报(理学版)》.
51. 王猛，何丽莉，白洪涛，欧阳丹彤（2016）. 基于卫星云图的DBSCAN聚类云团分类方法. 《吉林大学学报(理学版)》.
52. 刘娟，欧阳丹彤，王艺源，张立明（2015）. 结合特征学习的粒子群求解极小碰集方法. 《电子学报》.
53. 孙善武，王楠，欧阳丹彤（2015）. 形式化智能世界的建模过程. 《计算机科学》.
54. 贾凤雨，欧阳丹彤，张立明，刘思光（2015）. 结合扩展规则重构的#SAT问题增量求解方法. 《软件学报》.
55. 王艺源，欧阳丹彤，张立明，张永刚（2015）. 利用CSP求解极小碰集的方法. 《计算机研究与发展》.
56. 欧阳丹彤，迟晋进，王晓宇，赵相福，孟祥宇（2015）. 一种高阶离散事件系统的诊断方法. 《吉林大学学报(工学版)》.
57. 王晓宇，欧阳丹彤，赵剑（2015）. 基于诊断器的可诊断性增量测试方法. 《吉林大学学报(工学版)》.
58. 王晓宇，欧阳丹彤，迟晋进，韩正服（2015）. 分布式离散事件系统的可诊断性判定策略. 《吉林大学学报(工学版)》.
59. 王晓宇，欧阳丹彤，赵剑（2014）. 一种基于冲突的增量诊断方法. 《计算机学报》.
60. 白洪涛，李昂，欧阳丹彤，邢书豪，刘雪飞（2014）. 基于多核的粗粒度2.5维电磁场正演并行算法. 《吉林大学学报(理学版)》.
61. 朱兆龙，欧阳丹彤，叶育鑫（2014）. Distant Supervision方法中对齐数据的聚类去噪. 《吉林大学学报(理学版)》.
62. 欧阳丹彤，苏静，叶育鑫，崔仙姬（2014）. 基于模型诊断的本体调试局部定位. 《吉林大学学报(工学版)》.
63. 魏唯，欧阳丹彤（2013）. 基于路标隐式分解的前向搜索规划方法. 《模式识别与人工智能》.
64. 王海燕，欧阳丹彤，张永刚，张良（2013）. 结合look-ahead值排序的自适应分支求解算法. 《通信学报》.
65. 王楠，欧阳丹彤，孙善武（2013）. 基于G-KRA模型框架的智能世界建模. 《计算机科学》.
66. 王楠，欧阳丹彤，孙善武（2013）. 智能世界的建模与诊断. 《计算机研究与发展》.
67. 王海燕，欧阳丹彤，张永刚，杨明明（2013）. 基于C++的小型约束求解器. 《吉林师范大学学报(自然科学版)》.
68. 王海燕，欧阳丹彤，张永刚，杨明明（2013）. 基于AC与LmaxRPC的自适应约束传播求解算法. 《湖南大学学报(自然科学版)》.
69. 叶育鑫，赵建民，莫毓昌，欧阳丹彤，刘华文（2013）. 基于典型相关分析的复杂网络模块挖掘算法. 《吉林大学学报(工学版)》.
70. 王晓宇，欧阳丹彤，赵剑，耿雪娜（2013）. 基于冲突的离散事件系统诊断方法. 《吉林大学学报(工学版)》.
71. 欧阳丹彤，耿雪娜，郭劲松，王晓宇（2013）. 基于矩阵计算极小碰集的启发式算法. 《吉林大学学报(工学版)》.
72. 王海燕，欧阳丹彤，张永刚，张良（2013）. 结合Survivors-first学习型值排序的自适应分支求解. 《吉林大学学报(工学版)》.
73. 欧阳丹彤，叶育鑫（2012）. 人工智能原理课程体系的教材建设探索. 《长春理工大学学报》.
74. 李熙铭，欧阳丹彤，白洪涛（2012）. 基于GPU的混合精度平方根共轭梯度算法. 《仪器仪表学报》.DOI
75. 崔海春，欧阳丹彤，王晓宇，纪树平（2012）. 一种基于模式的故障诊断方法. 《计算机科学》.
76. 赵剑，欧阳丹彤，王晓宇，张立明（2012）. 混成系统的分布式诊断方法. 《吉林大学学报(工学版)》.
77. 王海燕，郭劲松，欧阳丹彤，张永刚（2012）. 基于比特位操作的自适应约束传播算法. 《吉林大学学报(工学版)》.
78. 欧阳丹彤，何金胜，白洪涛（2011）. 一种约束粒子群优化的无线传感器网络节点定位算法. 《计算机科学》.
79. 欧阳丹彤，张立明，赵剑，白洪涛（2011）. 利用标志传播求解基于模型的故障诊断. 《仪器仪表学报》.
80. 王楠，欧阳丹彤，孙善武（2011）. 基于模型诊断的抽象分层过程. 《计算机学报》.
81. 魏唯，欧阳丹彤，吕帅，冯宇轩（2011）. 动态不确定环境下多目标路径规划方法. 《计算机学报》.
82. 张立明，欧阳丹彤，曾海林（2011）. 基于动态极大度的极小碰集求解方法. 《计算机研究与发展》.
83. 王楠，欧阳丹彤，孙善武（2011）. 基于本体的分层抽象模型. 《计算机科学》.
84. 赵相福，欧阳丹彤（2011）. 离散事件系统基于模型诊断的研究进展. 《计算机科学与探索》.
85. 王楠，孙善武，欧阳丹彤（2011）. 基于系统中心本体的分层抽象模型. 《计算机科学》.
86. 宋小华，欧阳丹彤（2011）. 一个结合多方面定性空间信息的新方法. 《计算机研究与发展》.
87. 欧阳丹彤（2011）. 离散数学结构. 《高等教育出版社》.
88. 赵剑，欧阳丹彤，王晓宇，张立明（2011）. 基于模型的混杂系统中控制器故障诊断方法. 《吉林大学学报(工学版)》.
89. 许有军，欧阳丹彤，叶育鑫，何加亮（2011）. 间接使用扩展规则求解#SAT问题. 《吉林大学学报(工学版)》.
90. 张立明，曾海林，赵剑，欧阳丹彤，何丽莉（2011）. 结合约束满足消除误判的等价性验证方法. 《吉林大学学报(工学版)》.
91. 白洪涛，欧阳丹彤，李熙铭，何丽莉（2011）. 基于GPU的共享信息素矩阵多蚁群算法. 《吉林大学学报(工学版)》.
92. 贾学婷，欧阳丹彤，张立明（2010）. 基于模型诊断的改进贝叶斯方法. 《计算机科学》.
93. 叶育鑫，欧阳丹彤（2010）. 混合语义约简和选择估值优化SPARQL. 《电子学报》.
94. 白洪涛，欧阳丹彤，李熙铭，李亭，何丽莉（2010）. 基于GPU的稀疏矩阵向量乘优化. 《计算机科学》.
95. 魏唯，欧阳丹彤，吕帅（2010）. 一种实时多目标路径规划方法. 《计算机科学》.
96. 王晓宇，欧阳丹彤，赵相福，常晓环（2010）. 离散事件系统的同步诊断算法. 《计算机科学》.
97. 张立明，欧阳丹彤，白洪涛（2010）. 基于半扩展规则的定理证明方法. 《计算机研究与发展》.
98. 叶育鑫，欧阳丹彤（2010）. 语义Web搜索技术研究进展. 《计算机科学》.
99. 魏唯，欧阳丹彤，吕帅，殷明浩（2010）. 结合增量与启发式搜索的多目标问题处理方法. 《计算机研究与发展》.
100. 王楠，欧阳丹彤，孙善武，沐光雨（2010）. 扩展的G-KRA抽象模型. 《吉林大学学报(理学版)》.
101. 陈巍，欧阳丹彤，叶育鑫（2010）. RIF2Jess:应用Jess实现RIF规则推理. 《吉林大学学报(理学版)》.
102. 王晓宇，欧阳丹彤，赵相福，冯宇轩（2010）. 在离散事件系统中寻找诊断路径的方法. 《吉林大学学报(理学版)》.
103. 张长胜，孙吉贵，欧阳丹彤（2009）. 一种自适应离散粒子群算法及其应用研究. 《电子学报》.
104. 白洪涛，欧阳丹彤，何丽莉，姜珊珊（2009）. 一种基于图形处理器的压缩单纯形方法. 《电子学报》.
105. 张长胜，孙吉贵，欧阳丹彤，张永刚（2009）. 求解车间调度问题的自适应混合粒子群算法. 《计算机学报》.
106. 赵相福，欧阳丹彤（2009）. 使用SAT求解器产生所有极小冲突部件集. 《电子学报》.
107. 白洪涛，欧阳丹彤，何丽莉（2009）. 一种基于图形处理器的频繁模式挖掘算法. 《仪器仪表学报》.DOI
108. 付宏杰，欧阳丹彤，孙吉贵（2009）. 一种求解二元约束满足问题自适应粒子群算法. 《计算机工程与应用》.
109. 叶育鑫，欧阳丹彤，刘瑶，孙吉贵（2009）. 基于SHOIQ(D)的本体一致性检测. 《计算机工程与科学》.
110. 赖永，欧阳丹彤，蔡敦波，吕帅（2009）. 基于扩展规则的模型计数与智能规划方法. 《计算机研究与发展》.
111. 魏唯，欧阳丹彤，吕帅，殷明浩（2009）. 一种多目标增量启发式搜索算法. 《吉林大学学报(理学版)》.
112. 赵相福，欧阳丹彤（2008）. 一种结合时间区间代数建模的主动系统的故障诊断方法. 《计算机科学》.
113. 杨宇鹏，欧阳丹彤，蔡敦波，吕帅（2008）. 基于Conformant Fast-Forward规划系统的析取目标处理方法. 《计算机研究与发展》.
114. 张立明，欧阳丹彤，赵相福（2007）. 一种基于ATMS的求解所有极小冲突集的新方法. 《计算机工程与科学》.
115. 于鹏，刘大有，欧阳丹彤（2006）. 基于遗传与粒子群算法的Markov逻辑网学习研究. 《电子学报》.
116. 赵相福，欧阳丹彤（2005）. 动态系统基于模型诊断的研究进展与展望. 《仪器仪表学报》.DOI
117. 欧阳丹彤，才殿波，李占山（2004）. 基于模型的动态分层诊断技术. 《中国仪器仪表学会第六届青年学术会议论文集》.
118. 欧阳丹彤，欧阳继红，程晓春，刘杰（2004）. 基于模型诊断中计算碰集的方法. 《中国仪器仪表学会第六届青年学术会议论文集》.
119. 欧阳丹彤，孙吉贵（2002）. 对基于模型的诊断过程的形式化. 《模式识别与人工智能》.
120. 欧阳丹彤，姜云飞（1999）. 广义因果理论的基于模型的诊断. 《计算机研究与发展》.
121. 欧阳丹彤，姜云飞（1998）. 基于一致性的最小正常诊断及其应用. 《计算机学报》.
122. 欧阳丹彤，姜云飞（1998）. 基于一致性的中心诊断及中心溯因诊断. 《计算机学报》.