個人簡介

個人背景

教育經歷：2003.09-2008.07中國科學院研究生院計算機軟件與理論專業碩博連讀工學博士1996.09-2000.07西安電子科技大學應用數學專業本科理學學士工作經歷：2013.08-至今，電子科技大學，計算機科學與工程學院，副教授2014.08-2015.08，瑞士弗里堡大學，訪問學者2008.09-2013.07，電子科技大學，計算機科學與工程學院，講師2000.07-2008.09，中國科學院成都分院，中科院成都計算機應用研究所，工程師

研究項目

作為第三負責人主持國家863重點項目“初等數學問題求解及關鍵技術”(2015.01-2017.12,659萬)；

主持國家自然科學基金項目“基于本體的認知推理模型及其應用研究”，(2013.01-2015.12,24萬)；

主持中央高校基金項目“融合規則推理與本體推理的知識推理及其應用”，(2010-2011，7萬)；

主持橫向項目“裝備多信道存儲轉換器”，(51萬)；

參與自然科學基金1項“基于本體的幾何定理機器證明”(2011-2013)；

參與四川省科技廳基金1項“基于科學知識圖譜分析的個性化文獻推送系統”(2012-2014)

教學工作

[1]矩陣理論(專業選修課)[2]離散數學(學科基礎課)[3]形式語言與自動機(學科專業課)

其他信息

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

個人簡介

個人背景

教育經歷：2003.09-2008.07中國科學院研究生院計算機軟件與理論專業碩博連讀工學博士1996.09-2000.07西安電子科技大學應用數學專業本科理學學士工作經歷：2013.08-至今，電子科技大學，計算機科學與工程學院，副教授2014.08-2015.08，瑞士弗里堡大學，訪問學者2008.09-2013.07，電子科技大學，計算機科學與工程學院，講師2000.07-2008.09，中國科學院成都分院，中科院成都計算機應用研究所，工程師

研究項目

作為第三負責人主持國家863重點項目“初等數學問題求解及關鍵技術”(2015.01-2017.12,659萬)；

主持國家自然科學基金項目“基于本體的認知推理模型及其應用研究”，(2013.01-2015.12,24萬)；

主持中央高校基金項目“融合規則推理與本體推理的知識推理及其應用”，(2010-2011，7萬)；

主持橫向項目“裝備多信道存儲轉換器”，(51萬)；

參與自然科學基金1項“基于本體的幾何定理機器證明”(2011-2013)；

參與四川省科技廳基金1項“基于科學知識圖譜分析的個性化文獻推送系統”(2012-2014)

教學工作

[1]矩陣理論(專業選修課)[2]離散數學(學科基礎課)[3]形式語言與自動機(學科專業課)

其他信息

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

研究領域

科研方向

1.人工智能及其應用主要包括自動推理、領域本體、知識庫、認知模型等2.機器證明主要包括自動推理、符號計算、定理機器證明、數學機械化等

研究領域

專業：

研究方向：

科研方向

1.人工智能及其應用主要包括自動推理、領域本體、知識庫、認知模型等2.機器證明主要包括自動推理、符號計算、定理機器證明、數學機械化等

研究領域和興趣：

近期論文

查看導師最新文章

(溫馨提示：請注意重名現象，建議點開原文通過作者單位確認)

[1]XiuqinZhong*,HongguangFu,HuadongXia,LeinaYang,MingshengShang.AHybridCognitiveAssessmentBasedonOntologyKnowledgeMapandSkills.Knowledge-BasedSystems,73,pp52-60,2015.(SCI)[2]FUHongguang,ZHONGXiuqin*,LIQunan,HuadongXia,LIJie.GeometryKnowledgeBaseLearningfromTheoremProofs.KnowledgeEngineeringandManagement,AdvancesinIntelligentSystemsandComputingVolume278,2014,pp21-33.(EI)[3]鐘秀琴*，劉忠，丁盤蘋.基于混合推理的知識庫的構建及其應用研究.計算機學報，35(4)，pp761-766.2012.(EI)[4]ZhongXiu-Qin*，FuHong-Guang，DingPan-Ping.GeometrytheoremprovingonontologyandProlog.DianziKejiDaxueXuebao/journaloftheUniversityofElectronicScienceandTechnologyofChina,40(3),pp429-434,2011.(EI)[5]XiuqinZhong*,HongguangFu&YanJiang.Couplingontologywithrule-basedtheoremprovingforknowledgerepresentationandreasoning.CommunicationsinComputerandInformationScience,v118CCIS,p110-119,2010,DatabaseTheoryandApplication,Bio-ScienceandBio-Technology.(EI)[6]鐘秀琴*,符紅光,佘莉,黃斌.基于本體的幾何學知識獲取及知識表示.計算機學報,33(1),pp167-174,2010.(EI)[7]HonggguangFu,XiuqinZhong*,ZhenbingZeng,AutomatedandReadableSimplificationofTrigonometricExpressions,MathematicalandComputerModeling,44(11-12),pp1169-1177,2006.(SCI)

近期論文

[1]XiuqinZhong*,HongguangFu,HuadongXia,LeinaYang,MingshengShang.AHybridCognitiveAssessmentBasedonOntologyKnowledgeMapandSkills.Knowledge-BasedSystems,73,pp52-60,2015.(SCI)[2]FUHongguang,ZHONGXiuqin*,LIQunan,HuadongXia,LIJie.GeometryKnowledgeBaseLearningfromTheoremProofs.KnowledgeEngineeringandManagement,AdvancesinIntelligentSystemsandComputingVolume278,2014,pp21-33.(EI)[3]鐘秀琴*，劉忠，丁盤蘋.基于混合推理的知識庫的構建及其應用研究.計算機學報，35(4)，pp761-766.2012.(EI)[4]ZhongXiu-Qin*，FuHong-Guang，DingPan-Ping.GeometrytheoremprovingonontologyandProlog.DianziKejiDaxueXuebao/journaloftheUniversityofElectronicScienceandTechnologyofChina,40(3),pp429-434,2011.(EI)[5]XiuqinZhong*,HongguangFu&YanJiang.Couplingontologywithrule-basedtheoremprovingforknowledgerepresentationandreasoning.CommunicationsinComputerandInformationScience,v118CCIS,p110-119,2010,DatabaseTheoryandApplication,Bio-ScienceandBio-Technology.(EI)[6]鐘秀琴*,符紅光,佘莉,黃斌.基于本體的幾何學知識獲取及知識表示.計算機學報,33(1),pp167-174,2010.(EI)[7]HonggguangFu,XiuqinZhong*,ZhenbingZeng,AutomatedandReadableSimplificationofTrigonometricExpressions,MathematicalandComputerModeling,44(11-12),pp1169-1177,2006.(SCI)

總結

以上是生活随笔為你收集整理的电子科技大学计算机与科学学院,钟秀琴 - 电子科技大学 - 计算机科学与工程学院...的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。