学术活动
  2009-9-1
  2009-2-20
 

欧阳丹彤    Ou Yangdantong







同名作者区分

欧阳丹彤 吉林大学欧阳丹彤 东南大学
注:C-DBLP的重名区分功能部分使用了清华大学王建勇老师课题组提出的GHOST(GrapH-based framewOrk for name diStincTion)算法,在此表示感谢。
共检索到结果73条  被引117次[注:ScholarSpace内自引数]
查看欧阳丹彤的合作作者    在DBLP中查找该作者文献
查看该作者的单位历史    作者项目历史

论文列表


注:被引数指ScholarSpace内自引数
No. 论文信息 被引数
2019
73 周慧思 欧阳丹彤 刘梦 田乃予 张立明 . 一种结合结构特征求解诊断问题的PMS方法. 中国科学F辑, 2019, (06): 0
72 欧阳丹彤 陈晓艳 叶靖 邓召勇 张立明 . 基于极小碰集求解算法的测试向量集约简. 计算机研究与发展, 2019, (11): 0
71 何嫱君 赵相福 欧阳丹彤 张立明 . 极小碰集求解算法的性能分析与比较. 电子学报, 2019, (05): 0
2018
70 邓召勇 欧阳丹彤 耿雪娜 刘杰 . 基于动态极大元素覆盖值的极小碰集求解算法. 计算机研究与发展, 2018, (04): 0
69 王荣全 欧阳丹彤 王艺源 刘思光 张立明 . 结合DOEC极小化策略的SAT求解极小碰集方法. 计算机研究与发展, 2018, (06): 0
68 张瑜 欧阳丹彤 叶育鑫 . 不协调本体调试与修复的冲突路径优化策略. 软件学报, 2018, (10): 0
67 刘思光 欧阳丹彤 张立明 . 极小碰集求解中候选解极小性判定方法. 软件学报, 2018, (12): 0
66 刘梦 欧阳丹彤 刘伯文 张立明 张永刚 . 结合问题特征的分组式诊断方法. 电子学报, 2018, (03): 589-595 1
65 徐旖旎 欧阳丹彤 刘梦 张立明 张永刚 . 结合故障输出结构特征的极小冲突求解算法. 计算机研究与发展, 2018, (11): 0
64 欧阳丹彤 智华云 刘伯文 张立明 张永刚 . 基于伪故障度生成枚举树的极小诊断求解方法. 计算机研究与发展, 2018, (04): 0
63 张瑜 欧阳丹彤 崔仙姬 叶育鑫 . 基于半模型的OWL本体理由探求方法研究. 计算机学报, 2018, (12): 0
62 漆桂林 欧阳丹彤 李涓子 . 本体工程与知识图谱专题前言. 软件学报, 2018, (10): 0
61 欧阳丹彤 刘伯文 刘梦 张立明 张永刚 . 结合电路结构基于分块的诊断方法. 电子学报, 2018, (07): 0
2017
60 欧阳丹彤 刘伯文 周建华 张立明 . 结合问题特征利用SE-Tree反向深度求解冲突集的方法. 电子学报, 2017, (05): 2
59 欧阳丹彤 张瑜 叶育鑫 . 本体推理机求解Mups的性能评测研究. 计算机学报, 2017, (06): 1
58 欧阳丹彤 周建华 刘伯文 张立明 . 基于模型诊断中结合问题特征的新方法. 计算机研究与发展, 2017, (03): 502-514 3
2016
57 刘思光 欧阳丹彤 王艺源 贾凤雨 张立明 . 结合SE-Tree结构特征的极小碰集求解算法. 计算机研究与发展, 2016, (11): 2556-2567 0
56 孙善武 王楠 欧阳丹彤 . 基于聚类分析的业务流程模型抽象. 计算机科学, 2016, (05): 193-198 0
55 欧阳丹彤 贾凤雨 刘思光 张立明 . 结合互补度的基于扩展规则#SAT问题求解方法. 计算机研究与发展, 2016, (07): 1
2015
54 张立明 欧阳丹彤 赵毅 . 半扩展规则下分解的定理证明方法. 软件学报, 2015, (09): 2250-2262 1
53 王晓宇 欧阳丹彤 赵相福 . 不完备离散事件系统的可诊断性. 软件学报, 2015, (06): 1373-1386 1
52 孙善武 王楠 欧阳丹彤 . 形式化智能世界的建模过程. 计算机科学, 2015, (05): 19-24 2
51 贾凤雨 欧阳丹彤 张立明 刘思光 . 结合扩展规则重构的#SAT问题增量求解方法. 软件学报, 2015, (12): 3117-3130 1
50 刘娟 欧阳丹彤 王艺源 张立明 . 结合特征学习的粒子群求解极小碰集方法. 电子学报, 2015, (05): 841-846 3
49 欧阳丹彤 苏静 叶育鑫 崔仙姬 . 基于概念R-MUPS的本体调试方法?. 软件学报, 2015, (09): 2231-2250 1
48 王艺源 欧阳丹彤 张立明 张永刚 . 利用CSP求解极小碰集的方法. 计算机研究与发展, 2015, (03): 5
2014
47 欧阳丹彤 瞿剑峰 叶育鑫 . 关系抽取中基于本体的远监督样本扩充. 软件学报, 2014, (09): 2088-2102 2
46 王晓宇 欧阳丹彤 赵剑 . 一种基于冲突的增量诊断方法. 计算机学报, 2014, (08): 1695-1704 0
2013
45 王楠 欧阳丹彤 孙善武 . 智能世界的建模与诊断. 计算机研究与发展, 2013, (09): 1954-1963 2
44 魏唯 欧阳丹彤 吕帅 . 基于缩减信念状态的Conformant规划方法. 软件学报, 2013, (07): 1557-1571 0
43 王楠 欧阳丹彤 孙善武 . 基于G-KRA模型框架的智能世界建模. 计算机科学, 2013, (09): 190-194 0
42 魏唯 欧阳丹彤 吕帅 . 路标计数启发式引导的分解规划方法. 软件学报, 2013, (10): 2327-2340 0
2012
41 宋小华 欧阳丹彤 . 一种动态定性空间关系自动规划方法. 软件学报, 2012, (10): - 0
40 欧阳丹彤 王珏 韩霄松 卢欣华 . 电子细胞模型Analog-Cell中前体mRNA剪接过程的模拟与研究. 软件学报, 2012, (09): - 0
39 崔海春 欧阳丹彤 王晓宇 纪树平 . 一种基于模式的故障诊断方法. 计算机科学, 2012, (11): - 1
38 宋小华 欧阳丹彤 . 一种用于常识空间信息处理的定性空间关系模型. 软件学报, 2012, (09): - 0
37 王晓宇 欧阳丹彤 赵剑 . 不完备模型下的离散事件系统诊断方法. 软件学报, 2012, (03): - 3
2011
36 王楠 欧阳丹彤 孙善武 . 基于模型诊断的抽象分层过程. 计算机学报, 2011, (02): 2
35 欧阳丹彤 何金胜 白洪涛 . 一种约束粒子群优化的无线传感器网络节点定位算法. 计算机科学, 2011, (07): 46-51 4
34 魏唯 欧阳丹彤 吕帅 冯宇轩 . 动态不确定环境下多目标路径规划方法. 计算机学报, 2011, (05): 836-847 3
33 宋小华 欧阳丹彤 . 一个结合多方面定性空间信息的新方法. 计算机研究与发展, 2011, (11): 0
32 张立明 欧阳丹彤 曾海林 . 基于动态极大度的极小碰集求解方法. 计算机研究与发展, 2011, (02): 9
31 王楠 孙善武 欧阳丹彤 . 基于系统中心本体的分层抽象模型. 计算机科学, 2011, (08): 0
30 王楠 欧阳丹彤 孙善武 . 基于本体的分层抽象模型. 计算机科学, 2011, (02): 184-187 2
29 赵相福 欧阳丹彤 . 离散事件系统基于模型诊断的研究进展. 计算机科学与探索, 2011, (02): 2
28 叶育鑫 欧阳丹彤 . 基于语义的主题爬行策略. 软件学报, 2011, (09): 2075-2089 4
2010
27 张立明 欧阳丹彤 白洪涛 . 基于半扩展规则的定理证明方法. 计算机研究与发展, 2010, (09): 3
26 叶育鑫 欧阳丹彤 . 混合语义约简和选择估值优化SPARQL. 电子学报, 2010, 38 (05): 1205-1211 2
25 叶育鑫 欧阳丹彤 . 语义Web搜索技术研究进展. 计算机科学, 2010, (01): 0
24 贾学婷 欧阳丹彤 张立明 . 基于模型诊断的改进贝叶斯方法. 计算机科学, 2010, 37 (07): 191-195 0
23 王晓宇 欧阳丹彤 赵相福 常晓环 . 离散事件系统的同步诊断算法. 计算机科学, 2010, (02): 180-183 0
22 魏唯 欧阳丹彤 吕帅 殷明浩 . 结合增量与启发式搜索的多目标问题处理方法. 计算机研究与发展, 2010, (11): 0
21 白洪涛 欧阳丹彤 李熙铭 李亭 何丽莉 . 基于GPU的稀疏矩阵向量乘优化. 计算机科学, 2010, 37 (08): 168-172 3
20 魏唯 欧阳丹彤 吕帅 . 一种实时多目标路径规划方法. 计算机科学, 2010, 37 (07): 236-240 0
2009
19 叶育鑫 欧阳丹彤 刘瑶 孙吉贵 . 基于SHOIQ(D)的本体一致性检测. 计算机工程与科学, 2009, (08): 7-10 2
18 张长胜 孙吉贵 欧阳丹彤 . 一种自适应离散粒子群算法及其应用研究. 电子学报, 2009, 37 (02): 299-304 13
17 赵相福 欧阳丹彤 . 使用SAT求解器产生所有极小冲突部件集. 电子学报, 2009, (04): 804-810 7
16 赖永 欧阳丹彤 蔡敦波 吕帅 . 基于扩展规则的模型计数与智能规划方法. 计算机研究与发展, 2009, (03): 12
15 白洪涛 欧阳丹彤 何丽莉 姜珊珊 . 一种基于图形处理器的压缩单纯形方法. 电子学报, 2009, (11): 2574-2579 0
14 张长胜 孙吉贵 欧阳丹彤 张永刚 . 求解车间调度问题的自适应混合粒子群算法. 计算机学报, 2009, (11): 2137-2147 3
2008
13 赵相福 欧阳丹彤 . 一种结合时间区间代数建模的主动系统的故障诊断方法. 计算机科学, 2008, 35 (12): 137-142 0
12 杨宇鹏 欧阳丹彤 蔡敦波 吕帅 . 基于Conformant Fast-Forward规划系统的析取目标处理方法. 计算机研究与发展, 2008, (12): 0
2007
11 张立明 欧阳丹彤 赵相福 . 一种基于ATMS的求解所有极小冲突集的新方法. 计算机工程与科学, 2007, (11): 127-131 0
2006
10 于鹏 刘大有 欧阳丹彤 . 基于遗传与粒子群算法的Markov逻辑网学习研究. 电子学报, 2006, (S1): 0
9 于鹏 刘大有 欧阳丹彤 . 基于遗传与粒子群算法的Markov逻辑网学习研究. 电子学报, 2006, 34 (B12): 2551-2555 1
1999
8 欧阳丹彤 姜云飞 . 刻画基于模型的中心诊断. 软件学报, 1999, 10 (01): 74-77 2
7 欧阳丹彤 姜云飞 . 广义因果理论的基于模型的诊断. 计算机研究与发展, 1999, 36 (01): 31-35 11
6 欧阳丹彤 姜云飞 . 基于扩展的因果理论的鉴别诊断. 软件学报, 1999, 10 (07): 719-723 0
1998
5 欧阳丹彤 姜云飞 . 基于一致性的中心诊断及中心溯因诊断. 计算机学报, 1998, 21 (06): 540-545 1
4 欧阳丹彤 姜云飞 . 基于一致性的最小正常诊断及其应用. 计算机学报, 1998, 21 (06): 560-565 0
1995
3 刘叙华 欧阳丹彤 . 广义Horn集. 软件学报, 1995, 6 (04): 248-256 0
1994
2 欧阳丹彤 刘叙华 . 关于strong形RUE-NRF归结的反倒. 计算机学报, 1994, (05): 0
1993
1 欧阳丹彤 孙吉贵 刘叙华 . 输入调解法和单元调解法在Horn集上的完备性. 软件学报, 1993, 4 (01): 6-12 1

DBLP检索到的论文列表

No. Paper Inforamtion

承担项目历史

*注:由于资助项目信息是由程序自动集成,因此以下项目信息仅供参考,如有任何错误,请联系rucwamdm(at)gmail(dot)com
项目起止年份项目名称项目类别经费(万)
2010~2012模型不完备情形下离散事件系统诊断方法的研究 国家自然科学基金-面上项目
项目号:60973089
30
2000~2002基于模型的诊断推理 国家自然科学基金-青年科学基金项目
项目号:69903005
14

合作作者列表

1 于鹏 [9]   [10]  
2 何丽莉 [15]   [21]  
3 何嫱君 [71]  
4 何金胜 [35]  
5 冯宇轩 [34]  
6 刘伯文 [58]   [60]  [64]  [66]  [61]  
7 刘叙华 [1]   [3]  [2]  
8 刘大有 [9]   [10]  
9 刘娟 [50]  
10 刘思光 [51]   [55]  [57]  [69]  [67]  
11 刘杰 [70]  
12 刘梦 [66]   [65]  [61]  [73]  
13 刘瑶 [19]  
14 卢欣华 [40]  
15 叶育鑫 [25]   [26]  [28]  [19]  [47]  [49]  [59]  [68]  [63]  
16 叶靖 [72]  
17 吕帅 [12]   [16]  [20]  [22]  [34]  [44]  [42]  
18 周建华 [58]   [60]  
19 周慧思 [73]  
20 姜云飞 [8]   [6]  [5]  [4]  [7]  
21 姜珊珊 [15]  
22 孙吉贵 [1]   [18]  [14]  [19]  
23 孙善武 [36]   [30]  [31]  [45]  [43]  [52]  [56]  
24 宋小华 [33]   [38]  [41]  
25 崔仙姬 [49]   [63]  
26 崔海春 [39]  
27 常晓环 [23]  
28 张永刚 [14]   [48]  [64]  [66]  [65]  [61]  
29 张瑜 [59]   [68]  [63]  
30 张立明 [27]   [24]  [32]  [11]  [48]  [54]  [51]  [55]  [50]  [57]  [58]  [60]  [64]  [66]  [69]  
[65]  [61]  [67]  [71]  [73]  [72]  
31 张长胜 [18]   [14]  
32 徐旖旎 [65]  
33 智华云 [64]  
34 曾海林 [32]  
35 李亭 [21]  
36 李涓子 [62]  
37 李熙铭 [21]  
38 杨宇鹏 [12]  
39 殷明浩 [22]  
40 漆桂林 [62]  
41 王晓宇 [23]   [39]  [37]  [46]  [53]  
42 王楠 [36]   [30]  [31]  [45]  [43]  [52]  [56]  
43 王珏 [40]  
44 王艺源 [48]   [50]  [57]  [69]  
45 王荣全 [69]  
46 田乃予 [73]  
47 白洪涛 [15]   [27]  [21]  [35]  
48 瞿剑峰 [47]  
49 纪树平 [39]  
50 耿雪娜 [70]  
51 苏静 [49]  
52 蔡敦波 [12]   [16]  
53 贾凤雨 [51]   [55]  [57]  
54 贾学婷 [24]  
55 赖永 [16]  
56 赵剑 [37]   [46]  
57 赵毅 [54]  
58 赵相福 [13]   [17]  [23]  [29]  [11]  [53]  [71]  
59 邓召勇 [70]   [72]  
60 陈晓艳 [72]  
61 韩霄松 [40]  
62 魏唯 [20]   [22]  [34]  [44]  [42]  

单位历史信息

吉林大学计算机科学与技术学院 (2006--2019)
吉林大学计算机科学系 (1993--1999)
符号计算与知识工程教育部重点实验室 (2008--2015)

说明: 作者的单位历史信息是根据本系统中论文的单位信息采用算法自动计算得到,部分信息可能不准确,仅供参考。