鐘秀琴(電子科技大學副教授)

本詞條是多義詞,共3個義項
更多義項 ▼ 收起列表 ▲

鐘秀琴:女,電子科技大學副教授。論文《三角函式表達式的計算機自動化簡》獲中國高等教育學會教育數學專業委員會第二次常務理事會優秀論文一等獎;中科院成都分院2006-2007年度“院長優秀獎學金”;2009年度考核優秀,2010年度考核優秀,2012年度考核優秀;2012年獲電子科技大學第七屆教學成果獎二等獎,排名第4。

鐘秀琴:女,電子科技大學副教授。
教育經歷:
2003.09-2008.07中國科學院研究生院 計算機軟體與理論專業 碩博連讀 工學博士
1996.09-2000.07西安電子科技大學 套用數學專業 本科 理學學士
工作經歷:
2013.08-至今,電子科技大學,計算機科學與工程學院,副教授
2014.08-2015.08,瑞士弗里堡大學,訪問學者
2008.09-2013.07,電子科技大學,計算機科學與工程學院,講師
2000.07-2008.09,中國科學院成都分院,中科院成都計算機套用研究所,工程師
科研方向
  1. 人工智慧及其套用
主要包括自動推理、領域本體、知識庫、認知模型等
  1. 機器證明
主要包括自動推理、符號計算、定理機器證明、數學機械化等
研究項目
作為第三負責人主持國家863重點項目“初等數學問題求解及關鍵技術”(2015.01-2017.12, 659萬);
主持國家自然科學基金項目“基於本體的認知推理模型及其套用研究”,(2013.01-2015.12, 24萬);
主持中央高校基金項目“融合規則推理與本體推理的知識推理及其套用”,(2010-2011,7萬);
主持橫向項目“裝備多信道存儲轉換器”,(51萬);
參與自然科學基金1項“基於本體的幾何定理機器證明” (2011-2013);
參與四川省科技廳基金1項“基於科學知識圖譜分析的個性化文獻推送系統”(2012-2014)
論文列表
[1]Xiuqin Zhong*, Hongguang Fu, Huadong Xia, Leina Yang, Mingsheng Shang. A Hybrid Cognitive Assessment Based on Ontology Knowledge Map and Skills. Knowledge-Based Systems, 73, pp 52-60, 2015. (SCI)
[2]FU Hongguang, ZHONG Xiuqin*, LI Qunan, Huadong Xia, LI Jie. Geometry Knowledge Base Learning from Theorem Proofs. Knowledge Engineering and Management, Advances in Intelligent Systems and Computing Volume 278, 2014, pp 21-33. (EI)
[3]鐘秀琴*,劉忠,丁盤苹.基於混合推理的知識庫的構建及其套用研究.計算機學報,35(4),pp 761-766. 2012. (EI)
[4]Zhong Xiu-Qin*,Fu Hong-Guang,Ding Pan-Ping.Geometry theorem proving on ontology and Prolog. Dianzi Keji Daxue Xuebao/journal of the University of Electronic Science and Technology of China, 40(3), pp 429-434, 2011. (EI)
教學工作
1]矩陣理論(專業選修課)
[2]離散數學(學科基礎課)
[3]形式語言與自動機(學科專業課)

相關詞條

熱門詞條

聯絡我們