歐陽丹彤，女，1968年生，1998年獲博士學位，教授，博士生導師。2008年5月～2012年5月任符號計算與知識工程教育部重點實驗室主任；2008年12月～2012年12月任吉林大學計算機科學與技術學院副院長；2009年2月被選聘為國務院學位委員會第六，七屆學科評議組成員。2009年5月被聘任為吉林大學第九屆學位評定委員會信息學部分委會委員，計算機科學與技術學科分委會副主席。中國計算機學會人工智慧與模式識別專委會副主任委員，理論計算機科學專委會委員。
基本介紹
- 中文名：歐陽丹彤
- 外文名：Ouyang Dantong
- 國籍：中華人民共和國
- 出生日期：1968年生
- 職業：教授，博士生導師
- 學歷：博士
- 研究方向：基於模型診斷、自動推理
主要成就,個人作品,
主要成就
科研項目
作為骨幹參加完成國家與省部級項目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月）《中國博士後科學基金》等
個人作品
[1] 歐陽丹彤，劉敘華。Horn集上的有向調解法。吉林大學自然科學學報，1992年11月，(4)：38～42。
[2] 歐陽丹彤，劉敘華。輸入調解法和單元調解法在Horn集上的完備性。軟體學報，1993年2月，4(1)：248～256。
[3] 歐陽丹彤，劉敘華。關於Strong形RUE－NRF歸結的反例。人工智慧學術會議93論文集, 1993年11月：44～47。
[4] 歐陽丹彤，劉敘華。Completeness of Input Symmetric Paramodulation and Unit Symmetric Paramodulation on Horn Set。Chinese Journal of Advanced Software Research，1994年5月，1(2)：105～113。
[5] 歐陽丹彤，劉敘華。關於Strong形RUE－NRF歸結的反例。計算機學報，1994年5月，17(5)：309～400。
[6] 劉敘華，歐陽丹彤。廣義Horn集。軟體學報，1995年4月，6(4)：248～256。(被EI收錄)
[7] 歐陽丹彤，姜雲飛。基於一致性的中心診斷及中心溯因診斷。計算機學報，1998年6月，21(6)：540～545。(被EI收錄)
[8] 歐陽丹彤，姜雲飛。基於一致性的最小正常診斷及其套用。計算機學報，1998年6月，21(6)：560～565。(被EI收錄)
[9] 歐陽丹彤，姜雲飛。刻畫基於模型的中心診斷。軟體學報，1999年1月，10(1)：74～77。
[10] 歐陽丹彤，姜雲飛。廣義因果理論的基於模型的診斷。計算機研究與發展，1999年1月，36(1)：31～35。
[11] 歐陽丹彤，姜雲飛。基於擴展的因果理論的鑑別診斷。軟體學報， 1999年7月，10(7)：719～723。(被EI收錄)
[12] 程曉春，歐陽丹彤。抽象和求精過程中用運算元標識約束信息。中國科學院軟體研究所計算機科學實驗室報告。
[13] 歐陽丹彤，歐陽繼紅，孫吉貴。廣義因果理論上基於模型診斷過程的形式化。吉林大學自然科學學報，2000年10月，(4)：32～36。
[14] 歐陽丹彤，歐陽繼紅。基於模型的診斷方法。南京大學學報，第八屆全國青年計算機學術會議文集，2000年10月，36：187～192。
[15] 歐陽丹彤。基於模型診斷的研究與新進展。吉林大學決策支持系統研發中心技術報告。
[16] 歐陽丹彤，孫吉貴，姜雲飛。基於模型診斷的形式化方法。人工智慧進展(第六屆中國人工智慧聯合學術會議論文集)，清華大學出版社，2001年2月：196～201。
[17] 歐陽繼紅，劉大有, 歐陽丹彤。空間推理及其研究現狀。人工智慧進展(第六屆中國人工智慧聯合學術會議論文集)，清華大學出版社，2001年2月。
[18] 歐陽丹彤，歐陽繼紅，劉大有。基於模型診斷的研究與新進展。吉林大學自然科學學報，2001年4月，(2)：38～45。
[19] 姜雲飛，歐陽丹彤。關於基於模型的診斷。《世紀之交的知識工程與知識科學》，2001年9月：339～363。清華大學出版社。(第一作者是我的博士生導師)
[20] 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.
[21] 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.
[22] 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。
[23] 歐陽丹彤。基於模型的實質診斷。自然科學進展，2001年10月，11(10) ：1115～1119。
[24] 程曉春，歐陽丹彤。抽象和求精過程中用運算元標識約束信息。計算機科學，28(9)：66～75。
[25] 歐陽丹彤。Kernel Model-based Diagnosis。Progress in Natural Science，2002年2月，12(2)：141～145。(被SCI、EI收錄)
[26] 孫吉貴，楊鳳傑，歐陽丹彤，李占山。離散數學。高等教育出版社。2002年8月。
[27] 歐陽丹彤，孫吉貴。對基於模型診斷過程的形式化。模式識別與人工智慧，2002年9月，15(3)：274～279。(被EI收錄)
[28] 胡延銳，歐陽丹彤。套用基於模型診斷於軟體調試。計算機科學，2002年10月，29(9)：313～317。
[29] 胡延銳，歐陽丹彤。基於模型的網路故障診斷方法。計算機工程與套用，2002年12月，38：97～99。
[30] Cheng Xiaochun,Ouyang Dantong.A General Model-based Diagnosis. 25th International Conference on INFORMATION TECHNOLOGY INTERFACES,ITI 2003,Cavtat, Croatia, June 16-19, 2003.
[31] Cheng Xiaochun,Ouyang Dantong.A Logic Framework with Algebraic Extension. 25th International Conference on INFORMATION TECHNOLOGY INTERFACES,ITI 2003,Cavtat, Croatia, June 16-19.
[32] 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.
[33] 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.
[34] 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.
[35] 董旭初，歐陽丹彤，劉大有。Bayesian網推理中的化簡方法。吉林大學學報理學版(原吉林大學自然科學學報)，2004年1月，42(1)：77～83。
[36] 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.
[37] 歐陽丹彤，歐陽繼紅，程曉春，李志榮，樊雪。分層的基於模型診斷。計算機科學，2004。31(10.A)：254-256。
[38] 歐陽丹彤，歐陽繼紅，程曉春，劉傑.基於模型診斷中計算碰集的方法. 儀器儀表學報，2004年8月，總第116期，25(4)：605-608。
[39] 歐陽丹彤，才殿波，李占山.基於模型的動態分層診斷技術. 儀器儀表學報，2004年8月，總第116期，25(4)：609-613。
[40] 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.
[41] 程曉春，鐘紹春，歐陽丹彤，張成奇。抽象運算元邏輯及其自然演繹系統。東北師大學報自然科學版(ISSN 1000-1832)，2004年12月，36(4)：38--44。
[42] 趙相福，歐陽丹彤。一種結合SE-tree計算所有極小碰集的方法。 計算機科學，2005年8月，32(8.A)：257-260。
[43] 趙相福，歐陽丹彤。動態系統基於模型診斷的研究進展與展望。儀器儀表學報，2005年8月，26(8，總第126期)：599-602。
[44] ZHAO Xiangfu and OUYANG Dantong . A method of combining SE-tree to compute all minimal hitting sets .Progress in Natural Science.已接收。
[45] 劉雲翔,林家駿,歐陽丹彤.基於粗集理論的C3I信息融合性能評估方法研究.吉林大學學報理學版，2005年11月。
[46] Yuxin Ye, Dantong Ouyang. Next Generational Intelligent Search System Integrated Services, Journal of Chinese Computer Systems, submitted.
[47]Yuxin Ye, Dantong Ouyang. Persistent Storage and Query of Large-Scale Expressive Ontology, Frontiers Algorithmics International Workshop 2009,submitted.
[48]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.
[49]Yuxin Ye, Dantong Ouyang. Research Advances in Technologies of Semantic Web Search. Computer Science, submitted.
[50]Yuxin Ye, Dantong Ouyang, et al. Consistency Checking of Ontology-based SHOIQ(D). Journal of Computer Research and Development, accepted for published.
[51]Yuxin Ye, Dantong Ouyang, et al. Research and Design on Reasoning Algorithm with Ontologies and Rules, Journal of Jilin University, accepted for published.
[52]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.
