当前位置: X-MOL首页全球导师 国内导师 › 陈树伟

个人简介

教师简介 陈树伟,男,工学博士,西南交通大学数学学院信息与计算科学系副教授,硕士生导师。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等多个国际学术会议及研讨会的组织者或程序委员

推荐链接
down
wechat
bug