欧阳丹彤

欧阳丹彤的个人简介

女，1968年生，1998年获博士学位，教授，博士生导师。2008年5月～2012年5月任符号计算与知识工程教育部重点实验室主任；2008年12月～2012年12月任吉林大学计算机科学与技术学院副院长；2009年2月被选聘为国务院学位委员会第六，七届学科评议组成员。2009年5月被聘任为吉林大学第九届学位评定委员会信息学部分委会委员，计算机科学与技术学科分委会副主席。中国计算机学会人工智能与模式识别专委会副主任委员，理论计算机科学专委会委员。

科研项目

作为骨干参加完成国家与省部级项目16项。作为项目负责人完成国家自然科学基金项目2项、教育部项目2项、中国博士后科学基金项目1项；2001至2004年作为课题副组长承担863重大应用示范项目2项；2004年承担国家自然科学基金重大项目1项；获教育部“新世纪优秀人才支持计划”支持。在国内外核心刊物上发表论文150多篇，在国内外人工智能领域产生重大影响。获省科技进步一等奖3项，二等奖1项。省优秀教学成果二等奖1项，省普通高等学校优秀教材一等奖1项，国家精品课程1项。所在教学团队于2008年荣获了国家级教学团队的光荣称号。

“基于模型的诊断推理”

（00年1月-02年12月）《国家自然科学基金项目》

“动态设备的基于模型诊断方法”

（04年12月-07年12月）《教育部新世纪优秀人才支持计划项目》

“基于模型的诊断方法的研究”

（00年3月-02年3月）教育部《高等学校骨干教师资助计划》

“基于模型的诊断”

（00年8月-01年6月）《教育部高等学校重点实验室访问学者基金》

“基于模型的诊断”

（99年10月-01年12月）《中国博士后科学基金》等

学术论文

欧阳丹彤，刘叙华。Horn集上的有向调解法。 吉林大学自然科学学报，1992年11月，(4)：38～42。

欧阳丹彤，刘叙华。输入调解法和单元调解法在Horn集上的完备性。软件学报，1993年2月，4(1)：248～256。

欧阳丹彤，刘叙华。关于Strong形RUE－NRF归结的反例。人工智能学术会议93论文集, 1993年11月：44～47。

欧阳丹彤，刘叙华。Completeness of Input Symmetric Paramodulation and Unit Symmetric Paramodulation on Horn Set。Chinese Journal of Advanced Software Research，1994年5月，1(2)：105～113。

欧阳丹彤，刘叙华。关于Strong形RUE－NRF归结的反例。计算机学报，1994年5月，17(5)：309～400。

刘叙华，欧阳丹彤。广义Horn集。软件学报，1995年4月，6(4)：248～256。(被EI收录)

欧阳丹彤，姜云飞。基于一致性的中心诊断及中心溯因诊断。计算机学报，1998年6月，21(6)：540～545。(被EI收录)

欧阳丹彤，姜云飞。基于一致性的最小正常诊断及其应用。计算机学报，1998年6月，21(6)：560～565。(被EI收录)

欧阳丹彤，姜云飞。刻画基于模型的中心诊断。软件学报，1999年1月，10(1)：74～77。

欧阳丹彤，姜云飞。广义因果理论的基于模型的诊断。计算机研究与发展，1999年1月，36(1)：31～35。

欧阳丹彤，姜云飞。基于扩展的因果理论的鉴别诊断。软件学报， 1999年7月，10(7)：719～723。(被EI收录)

程晓春，欧阳丹彤。抽象和求精过程中用算子标识约束信息。中国科学院软件研究所计算机科学实验室报告。

欧阳丹彤，欧阳继红， 孙吉贵。广义因果理论上基于模型诊断过程的形式化。吉林大学自然科学学报，2000年10月，(4)：32～36。

欧阳丹彤，欧阳继红。基于模型的诊断方法。南京大学学报，第八届全国青年计算机学术会议文集，2000年10月，36：187～192。

欧阳丹彤。基于模型诊断的研究与新进展。吉林大学决策支持系统研发中心技术报告。

欧阳丹彤，孙吉贵，姜云飞。基于模型诊断的形式化方法。人工智能进展(第六届中国人工智能联合学术会议论文集)，清华大学出版社，2001年2月：196～201。

欧阳继红， 刘大有, 欧阳丹彤。空间推理及其研究现状。人工智能进展(第六届中国人工智能联合学术会议论文集)，清华大学出版社，2001年2月。

欧阳丹彤，欧阳继红，刘大有。基于模型诊断的研究与新进展。吉林大学自然科学学报，2001年4月，(2)：38～45。

姜云飞，欧阳丹彤。关于基于模型的诊断。《世纪之交的知识工程与知识科学》，2001年9月：339～363。清华大学出版社。(第一作者是我的博士生导师)

Cheng Xiaochun,Ouyang Dantong。A Survey on Diagnosis Researches. In:Proc. of the 7th CACSCUK,ISBN: 0 9533890 49, Nottingham, UK, 22 September, 2001. pages 223～228.Also as Computer Science Technical Reports at Reading University, England. RUCS/2001/TR/06/001/A.

Chen Rong,Cheng Xiaochun,Ouyang Dantong.A Semantic Approach to Select Best Explanation Dynamically:Proc. of the 7th CACSCUK,ISBN: 0 9533890 49, Nottingham, UK, 22 September, 2001. pages 249～253.

Ouyang Dantong,Cheng Xiaochun.Characterising Model-based : Proc. of the 7th CACSCUK, ISBN: 0 9533890 49, Nottingham, UK, 22 September,2001. pages 237～242. Also as Computer Science Technical Reports at Reading University, England.RUCS/2001/TR/03/001/A。

欧阳丹彤。基于模型的实质诊断。自然科学进展，2001年10月，11(10) ：1115～1119。

程晓春，欧阳丹彤。抽象和求精过程中用算子标识约束信息。计算机科学，28(9)：66～75。

欧阳丹彤。Kernel Model-based Diagnosis。Progress in Natural Science，2002年2月，12(2)：141～145。(被SCI、EI收录)

孙吉贵，杨凤杰，欧阳丹彤，李占山。离散数学。高等教育出版社。2002年8月。

欧阳丹彤，孙吉贵。对基于模型诊断过程的形式化。模式识别与人工智能，2002年9月，15(3)：274～279。(被EI收录)

胡延锐，欧阳丹彤。应用基于模型诊断于软件调试。计算机科学，2002年10月，29(9)：313～317。

胡延锐，欧阳丹彤。基于模型的网络故障诊断方法。计算机工程与应用，2002年12月，38：97～99。

Cheng Xiaochun,Ouyang Dantong.A General Model-based Diagnosis. 25th International Conference on INFORMATION TECHNOLOGY INTERFACES,ITI 2003,Cavtat, Croatia, June 16-19, 2003.

Cheng Xiaochun,Ouyang Dantong.A Logic Framework with Algebraic Extension. 25th International Conference on INFORMATION TECHNOLOGY INTERFACES,ITI 2003,Cavtat, Croatia, June 16-19.

Cheng Xiaochun,Ouyang Dantong.Agent-Oriented Software Engineering to Develop Hybrid Intelligent Systems. In:Proc.of the 2nd IEEE SMC Workshop on Cybernetic Intelligence ?Challenges and Advances,UK,17 September,2003.

X. Cheng; X Yu; M. Cheng; D. Ouyang, S. Zhong, X. Guo,K. Yang and S. Wang Cheng.Mineral Resource Appraisal Based on Information Synthesis. In:Proc.of the 2nd IEEE SMC Workshop on Cybernetic Intelligence - Challenges and Advances,UK,17 September,2003.

Dong Xuchu,Ouyang Dantong.Simplifying Structures of Bayesian Networks. In:Proc.of the 2nd IEEE SMC Workshop on Cybernetic Intelligence - Challenges and Advances,UK,17 September,2003.

董旭初，欧阳丹彤，刘大有。Bayesian网推理中的化简方法。吉林大学学报理学版(原吉林大学自然科学学报)，2004年1月，42(1)：77～83。

Ouyang Dan-tong,Ouyang Ji-hong,Cheng Xiao-chun. Hierarchical model-based diagnosis. Second International Conference on Knowledge Economy and Development of Science and Technology (KEST 2004), 161-165.

欧阳丹彤，欧阳继红，程晓春，李志荣，樊雪。分层的基于模型诊断。计算机科学，2004。31(10.A)：254-256。

欧阳丹彤，欧阳继红，程晓春，刘杰.基于模型诊断中计算碰集的方法. 仪器仪表学报，2004年8月，总第116期，25(4)：605-608。

欧阳丹彤，才殿波，李占山.基于模型的动态分层诊断技术. 仪器仪表学报，2004年8月，总第116期，25(4)：609-613。

Y. Li, D. Ouyang, M. Cheng, X. Yu, S. Zhong. Semantic Organization to Enhance Active Learning Based on Distributed Multimedia Educational Resources. 2004 IEEE International Symposium on Consumer Electronics.September 1-3, 2004,Holiday Inn, Reading, UK.IEEE Catalogue Number: 04TH8755C.ISBN: 0-7803-8527-6. 436-441.

程晓春，钟绍春，欧阳丹彤，张成奇。抽象算子逻辑及其自然演绎系统。东北师大学报自然科学版(ISSN 1000-1832)，2004年12月，36(4)：38--44。

赵相福，欧阳丹彤。一种结合SE-tree计算所有极小碰集的方法。 计算机科学，2005年8月，32(8.A)：257-260。

赵相福，欧阳丹彤。动态系统基于模型诊断的研究进展与展望。仪器仪表学报，2005年8月，26(8，总第126期)：599-602。

ZHAO Xiangfu and OUYANG Dantong . A method of combining SE-tree to compute all minimal hitting sets .Progress in Natural Science.已接收。

刘云翔,林家骏,欧阳丹彤.基于粗集理论的C3I信息融合性能评估方法研究.吉林大学学报理学版，2005年11月。

Yuxin Ye, Dantong Ouyang. Next Generational Intelligent Search System Integrated Services, Journal of Chinese Computer Systems, submitted.

Yuxin Ye, Dantong Ouyang. Persistent Storage and Query of Large-Scale Expressive Ontology, Frontiers Algorithmics International Workshop 2009,submitted.

Yuxin Ye, Dantong Ouyang, Jigui Sun. From Web Search to Semantic Web Searching. Corpus of Basic Theory and Core Techniques of Non Canonical Knowledge (edited by Ruqian Lu), Tsinghua University Press, to be published.

Yuxin Ye, Dantong Ouyang. Research Advances in Technologies of Semantic Web Search. Computer Science, submitted.

Yuxin Ye, Dantong Ouyang, et al. Consistency Checking of Ontology-based SHOIQ(D). Journal of Computer Research and Development, accepted for published.

Yuxin Ye, Dantong Ouyang, et al. Research and Design on Reasoning Algorithm with Ontologies and Rules, Journal of Jilin University, accepted for published.

Jigui Sun, Yuxin Ye, Dantong Ouyang. Technology and Implementation of Semantic Web Search, Basic Theory and Core Techniques of Non Canonical Knowledge(edited by Ruqian Lu), Tsinghua University Press, to be published.