钟秀琴

科教人文：钟秀琴

科教人文钟秀琴个人资料、作品钟秀琴个人资料，副教授博士-电子科技大学-计算机科学与工程学院-个人资料账号？个人简历个人背景教育经历：2003.09-2008.07中国科学院研究生院计算机软件与理论专业硕博连读工学博士1996.09-2000.07西安电子科技大学应用数学专业本科理学学士工作经历：2013.08-至今，电子科技大

钟秀琴的相关资料

个人简历个人背景教育经历：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]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)