个人简介

教师简介 陈树伟，男，工学博士，西南交通大学数学学院信息与计算科学系副教授，硕士生导师。2014年毕业于英国阿尔斯特大学计算机科学专业，获博士学位；2006年毕业于西南交通大学交通信息工程及控制专业，获工学博士学位。出版学术专著一部，在《IEEETransactionsonFuzzySystems》、《InformationSciences》、《InformationFusion》、《PhysicaA》、《控制理论与应用》、《模糊系统与数学》等国内外重要学术期刊和学术会议上发表学术论文70余篇，其中SCI检索16篇，EI检索30篇。主持国防科工委项目1项、中央高校基本科研业务费专项资金项目1项，主研欧盟项目1项、国家自然科学基金项目5项和教育部高校博士点专项基金2项。作为主要完成人获国家发明专利一项，河南省科技进步二等奖一项。多次应邀参加国内外学术会议并做大会报告。 教学经历 本科生课程：高等数学、线性代数、数据库原理与设计、数据结构与算法 研究生课程：自动推理、应用泛函分析 教学成果 参与指导博士生参加2018年国际一阶逻辑证明器竞赛，获得第二名 发表教改论文一篇：论电子竞赛与高校电子学科卓越工程师培养，中国电力教育，2012.8;4(19):31-32 近年承担的主要科研项目 1.国家级项目，锆合金氧化XXX模拟（） 2.省级其他，基于矛盾体分离的逆向并行自动演绎推理研究（） 3.省级项目，工业信息系统可信性自动验证平台建设（） 4.国家级项目，基于矛盾体分离的动态自动演绎推理研究（） 5.国家级项目，列车网络控制系统安全可靠性研究（） 专利成果 1.中国,发明专利,基于分层模糊系统的石油钻井工程事故预警方法（专利号：ZL200710055178.6） 出版专著 1.2009,专著,基于格值逻辑的不确定性推理 软件著作权 1.2017,Windows版ScavelC程序可信性自动验证系统V1.4 学术交流情况 1.2019,IEEEthe14thInternationalConferenceonIntelligentSystemsandKnowledgeEngineering(ISKE2019) 2.2018,2018年全国智能与逻辑学术会议 3.2018,the13thInternationalFLINSConferenceonDataScienceandKnowledgeEngineering(FLINS2018) 4.2017,the12thInternationalConferenceonIntelligentSystemsandKnowledgeEngineering(ISKE2017) 5.2017,2017年全国“逻辑与智能”专题学术研讨会暨人工智能基础专委会2017学术年会 6.2017,中国运筹学会模糊信息与工程分会第九次学术会议 7.2017,中国逻辑学会非经典逻辑与计算专委会成立大会暨学术报告会 8.2016,the12thInternationalFLINSConferenceonDataScienceandKnowledgeEngineering(FLINS2016) 9.2015,the10thInternationalConferenceonIntelligentSystemsandKnowledgeEngineering(ISKE2015) 荣誉与奖励 1.基于格值逻辑的不确定性推理(地市级,三等奖,2012年) 2.石油钻井过程异常状态预报算法及应用研究(省部级,二等奖,2011年) 科研团队 系统可信性自动验证国家地方联合工程实验室科研团队 招生专业 招生类型学院专业代码专业名称专业类型专业方向 硕士数学070100数学学术型03.应用数学 硕士数学070100数学学术型05.运筹学与控制论 招生要求 为人诚恳，勤奋好学，数学基础扎实，编程能力强，英文水平好