个人简历

教师简介
陈树伟，男，工学博士，西南交通大学数学学院信息与计算科学系副教授，硕士生导师。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.运筹学与控制论
招生要求
为人诚恳，勤奋好学，数学基础扎实，编程能力强，英文水平好

研究领域

主要研究方向为逻辑与推理、智能控制与决策、机器学习。"代数逻辑、自动推理、控制与决策"

近期论文

1.陈树伟,Two-dimensionalopiniondynamicsinsocialnetworkswithconflictingbeliefs,AI&Society,2019(EI)
2.ShuweiChen,YangXu,JunLiu,FengCao,Look-aheadclauseselectionstrategyforcontradictionseparationbasedautomateddeduction,13thInternationalFLINSConferenceonDecisionMakingandSoftComputing,2018(EI)
3.YangXu,JunLiu,ShuweiChen,XiaomeiZhong,XingxingHe,Contradictionseparationbaseddynamicmulti-clausesynergizedautomateddeduction,InformationSciences,2018(SCI)
4.YangXu,ShuweiChen,JunLiu,XiaomeiZhong,XingxingHe,Distinctivefeaturesofthecontradictionseparationbaseddynamicautomateddeduction,13thInternationalFLINSConferenceonDecisionMakingandSoftComputing,2018(EI)
5.YangXu,JunLiu,XingxingHe,XiaomeiZhong,ShuweiChen,Non-clausalmulti-aryalpha-generalizedresolutioncalculusforafinitelattice-valuedlogic,InternationalJournalofComputationalIntelligenceSystems,2018(SCI)
6.ShuweiChen,DavidHGlass,MarkMcCartney,Two-dimensionalopiniondynamicsinsocialnetworkswithconflictingbeliefs,AI&Society,2017(EI)
7.ShuweiChen,YangXu,YanJiang,JunLiu,XingxingHe,Somesynergizedclauseselectionstrategiesforcontradictionseparationbasedautomateddeduction,12thInternationalConferenceonIntelligentSystemsandKnowledgeEngineering(ISKE2017),2017(EI)
8.ShuweiChen,DavidHGlass,MarkMcCartney,Characteristicsofsuccessfulopinionleadersinaboundedconfidencemodel,PhysicaA,2016(SCI)
9.ShuweiChen,JunLiu,HuiWang,JuanCarlosAugusto,Agroupdecisionmakingmodelforpartiallyorderedpreferenceunderuncertainty,InformationFusion,2015(SCI)
10.ShuweiChen,JunLiu,HuiWang,YangXu,JuanCarlosAugusto,Alinguisticmulti-criteriadecisionmakingapproachbasedonlogicalreasoning,InformationSciences,2014(SCI)
11.ShuweiChen,DavidHGlass,MarkMcCartney,Dynamicsofmultidimensionalconflictingopinionsinsocialnetworks,EuropeanConferenceonSocialIntelligence(ECSI2014),2014(EI)
12.ShuweiChen,KathyClawson,MinJing,JunLiu,HuiWang,BryanScotney,Uncertaintyreasoningbasedformalframeworkforbigvideodataunderstanding,the2014IEEE/WIC/ACMInternationalJointConferenceonWebIntelligenceandIntelligentAgentTechnologies,2014(EI)
13.ShuweiChen,JunLiu,HuiWang,JuanCarlosAugusto,Formallogicaltransformationofhierarchicalhumanactivityforreasoningbasedrecognition,the11thInternationalFLINSConferenceonDecisionMakingandSoftComputing,2014
14.蔡丽娜,陈树伟,周威,黄海滨,梁玉,区间值犹豫模糊WOWA算子及其在决策中的应用,郑州大学学报（工学版）,2014
15.陈树伟,周威,蔡丽娜,带有可信度的偏序偏好决策信息的聚合方法,郑州大学学报（工学版）,2014
16.JunLiu,WenjiangLi,ShuweiChen,YangXu,Anaxiomatizablelogicalfoundationforlattice-orderedqualitativelinguisticapproachforreasoningwithwords,InformationSciences,2014(SCI)
17.YangXu,JunLiu,XiaomeiZhong,ShuweiChen,Multi-aryα-resolutionprincipleforalattice-valuedlogic,IEEETransactionsonFuzzySystems,2013(SCI)
18.YongLuo,ShuweiChen,XiaojuanHe,XueJia,AlphanumericcharacterrecognitionbasedonBPneuralnetworkclassificationandcombinedfeatures,InternationalJournalofComputationalIntelligenceSystems,2013(SCI)
19.WenjiangLi,ShuweiChen,Anautomatedreasoningmethodonfirst-ordertenselogic,the12thInternationalConferenceonMachineLearningandCybernetics(ICMLC2013),2013(EI)
20.朱华,赵建彬,陈树伟,剩余格蕴涵代数中多重模糊结合滤子的研究,模糊系统与数学,2013
21.LiZhao,YangXu,ShuweiChen,OnFiltersofLatticeImplicationProductAlgebraL1xL2,TheJournalofFuzzyMathematics,2013
22.ShuweiChen,JunLiu,HuiWang,JuanCarlosAugusto,Ahierarchicalhumanactivityrecognitionframeworkbasedonautomatedreasoning,the2013IEEEInternationalConferenceonSystems,Man,andCybernetics(SMC2013),2013(EI)
23.ShuweiChen,JunLiu,HuiWang,JuanCarlosAugusto,Anevidentialreasoningbasedapproachfordecisionmakingwithpartiallyorderedpreferenceunderuncertainty,the12thInternationalConferenceonMachineLearningandCybernetics(ICMLC2013),2013(EI)
24.陈树伟,王延昭,周威,一种新的广义模糊数相似度计算方法,郑州大学学报（工学版）,2013
25.陈树伟,蔡丽娜,区间值犹豫模糊集,模糊系统与数学,2013
26.陈树伟,王延昭,一种基于模糊数相似度的风险分析方法,模糊系统与数学,2013
27.ShuweiChen,JunLiu,HuiWang,JuanCarlosAugusto,Orderingbaseddecisionmaking–Asurvey,InformationFusion,2013(SCI)
为中国运筹学会模糊信息与工程分会第三届理事会理事、中国逻辑学会非经典逻辑与计算专委会委员、IEEE&IEEESMC会员、国际自动推理学会（AAR）会员，担任《IEEETrans.FuzzySystems》、《InformationSciences》、《InformationFusion》、《Knowledge-BasedSystems》等多个国际顶级刊物的注册审稿人。还曾担任FLINS2018,ISKE2017,FLINS2016,ICIS2015,UCAmI2014等多个国际学术会议及研讨会的组织者或程序委员