西南交通大学数学学院导师教师师资介绍简介-徐扬

删除或更新信息，请邮件至freekaoyan#163.com(#换成@)

本站小编 Free考研考试/2021-09-26

个人信息MORE +
徐扬教授
所在单位： 数学学院
学历： 博士研究生毕业
办公地点： 西南交通大学信息楼01016-1
联系方式： 通信地址：成都市西南交通大学数学学院智能控制开发中心电子邮箱：xuyang@home.swjtu.edu.cn办公电话：办公地点：西南交通大学信息楼01016-1
学位： 工学博士学位
职称： 教授
电子邮箱： xuyang@home.swjtu.edu.cn
博士生导师

通讯/办公地址：办公室电话：邮箱：

个人简介
徐扬，博士，1956年9月生于河南, 1991年起任教授，1997年起任博士生导师，国家有突出贡献的中青年专家，全国教育系统劳动模范，“人民教师奖章”获得者, 四川省学术和技术带头人。
主要研究领域：逻辑代数、代数逻辑、不确定性推理和自动推理。先后承担科技项目30余项（其中主持国家自然科学基金项目11项，国际科技合作项目3项，国家部委项目5项）。先后在国内外杂志和学术会议上独立或合作发表学术论文600余篇；在国（境）内外合作出版著作9部（其中德国Springer出版1部，法国ATLANTIS PRESS/新加坡World Scientific出版1部，中国科学出版社出版1部，中国台湾再版1部）。研究成果被中国大陆和中国台湾、美国、日本、韩国、意大利、丹麦、波兰、捷克、比利时、芬兰、英国、伊朗、土耳其等20多个国家和地区的千余****大量引用或跟踪研究。先后应邀到国（境）内外多所大学、研究机构讲学或合作研究，并被聘请为客座教授。先后在国内外多个学术团体中任职。
先后培养博士后11人（已出站8人，转其他国家2人），博士生60人（毕业46人），硕士生38人（毕业（含硕博连读）30人）。
先后获得省部级及以上各种奖励19次。

教育经历
暂无内容

研究方向
[1]自动推理
[2]不确定性推理
[3]代数逻辑
[4]逻辑代数

工作经历
暂无内容

团队成员
科研团队
团队介绍：演绎逻辑学：宋振明、钟小梅、何星星、钟建、陈青山、贾海瑞、朱华无线电智能监测：徐鹏、秦克云、宋振明、靳留乾、杜利敏、郑春锋

Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处
访问量：次

个人信息MORE +
徐扬教授
所在单位： 数学学院
学历： 博士研究生毕业
办公地点： 西南交通大学信息楼01016-1
联系方式： 通信地址：成都市西南交通大学数学学院智能控制开发中心电子邮箱：xuyang@home.swjtu.edu.cn办公电话：办公地点：西南交通大学信息楼01016-1
学位： 工学博士学位
职称： 教授
电子邮箱： xuyang@home.swjtu.edu.cn
博士生导师

科学研究当前位置: 中文主页 >> 科学研究

论文成果
学术论文
代表性论著：
[1]YangXu(徐扬),DaRuan,KeyunQin,JunLiu(2003):Lattice-ValuedLogic——AnAlternativeApproachtoTreat FuzzinessandIncomparability,Springer-Verlag [2]YangXu(徐扬）,JunLiu,XiaomeiZhong,ShuweiChen（2013）:Multiaryα-ResolutionPrinciplefora Lattice-ValuedLogic,IEEETRANSACTIONSONFUZZYSYSTEMS,2013,21(5):pp898-912 [3]YangXu(徐扬),JunLiu,XiaomeiZhong,ShuweiChen（2012):Lattice-ValuedMatrixGamewithMixed StrategiesasFundamentalforIntelligentDecisionSupport,Knowledge-BasedSystems，32:pp56-64 [4]YangXu(徐扬),JunLiu,DaRuan,XiaobingLi(2011):Determinationofα-resolutioninLattice-Valued First-OrderLogicLF(X),InformationSciences,181,pp1836-1862 [5]YangXu(徐扬),JunLiu,LuisMartínez,DaRuan(2010):SomeViewsonInformationFusionandLogicBased ApproachesinDecisionMakingunderUncertainty,JournalofUniversalComputerScience,16(1),pp3-21 [6]YangXu(徐扬),XianyiZeng,LudovicKoehl(2007):AnIntelligentSensoryEvaluationMethodforIndustrial ProductsCharacterization,Int.J.ofInformationTechnology&DecisionMaking,6(2),pp349-370 [7]YangXu(徐扬),JunLiu,DaRuan,Tsu-TianLee(2006):OntheConsistencyofRuleBasesBasedon Lattice-ValuedFirst-OrderLogicLF(X),InternationalJournalofIntelligentSystems,21(4),pp399-424 [8]YangXu(徐扬),XianyiZengandDaRuan(2004):OnNormalizationofComprehensiveEvaluationSystemwith ComplexUncertainInformation,JournalofDonghuaUniversity,21(3),pp30-34 [9]YangXu(徐扬),JunLiuandDaRuan(2003):RuleAcquisitionandAdjustmentBasedonSet-ValuedMapping, Int.J.InformationSciences,157,pp167-198 [10]YangXu(徐扬),JunLiu,DaRuan,WenjiangLi(2002):FuzzyReasoningBasedonGeneralizedFuzzyIf-Then Rules,Int.J.ofIntelligentSystems,17(10),pp977-1006 [11]YangXu(徐扬),DaRuan,EtienneE.Kerre,JunLiu(2001):α-ResolutionPrincipleBasedonFirst-Order Lattice-ValuedLogicLF(X),Int.J.InformationSciences,132,pp221-239 [12]YangXu(徐扬),EtienneE.Kerre,DaRuan,ZhenmingSong(2001):FuzzyReasoningBasedontheExtension Principle,Int.J.ofIntelligentSystems,16(4),pp469-495 [13]YangXu(徐扬),KeyunQin,EunHwanRoh(2001):OnPrimeFiltersofLatticeHImplicationAlgebras,The JournalofFuzzyMathematics,9(3),pp583-588 [14]YangXu(徐扬),KeyunQin,EunHwanRoh(2001):OnQuotientLatticeImplicationAlgebrasInducedbyFuzzy Filters,TheJournalofFuzzyMathematics,9(3),pp611-617 [15]Y.Xu(徐扬),J.Liu,D.Ruan(2001):(丅,⊥,N)FuzzyLogic,Mathware&SoftComputing,8(2),pp71-82 [16]XuYang(徐扬),SongZhenming,QinKeyun,LiuJun(2001):SyntaxofL-valuedFirst-OrderLogicLvfl,Int. Multi.Val.Logic.,7,pp213-257 [17]XuYang(徐扬),QinKeyun,EunHwanRoh(2001):AFirstOrderLatticeValuedLogicSystemI:Semantics, TheJournalofFuzzyMathematics,9(4),pp969-976 [18]YangXu(徐扬),DaRuan,E.E.Kerre,JunLiu(2000):α-ResolutionPrincipleBasedonLattice-Valued PropositionalLogicLP(X),Int.J.InformationSciences,130,pp195-223 [19]YangXu(徐扬),LiuJun,SongZhenming,QinKeyun(2000):OnSemanticsofL-ValuedFirst-OrderLogicLvfl, Int.J.GeneralSystems,29(1),pp53-79 [20]YangXu(徐扬),WeitaoXu,XiaomeiZhong,XingxingHe(2010):α-GeneralizedResolutionPrincipleBasedon Lattice-ValuedPropositionalLogicLP(X),Proceedingsofthe9thInternationalFLINSConference (FLINS2010),(Aug.2-4,2010,Emei,Chengdu,China),pp66-71 [21]YangXu(徐扬),JunLiu,DaRuan(2010):Lattice-ValuedAlgebraandLogicwithPotentialApplicationsin LinguisticValuedDecisionMaking,31stLinzSeminaronFuzzySetTheory----Lattice-ValuedLogicandits Applications,February,9-13,2010,pp163-167 [22]YangXu(徐扬),ShuweiChen,JunLiu,DaRuan(2007):WeakCompletenessofResolutioninaLinguistic Truth-ValuedPropositionalLogic,Proc.IFSA2007:TheoreticalAdvancesandApplicationsofFuzzyLogic andSoftComputing(IFSA2007),(June18-21,2007,Cancun,Mexico),pp358-366 [23]YangXu(徐扬),JunMa,JiajunLai(2007):Sub-AlgebrasofFiniteLatticeImplicationAlgebra,Proc. IFSA2007:TheoreticalAdvancesandApplicationsofFuzzyLogicandSoftComputing(IFSA2007), (June18-21,2007,Cancun,Mexico),pp813-821 [24]YangXu(徐扬),XiaobingLi,JunLiu,DaRuan(2007):Determinationofα-ResolutionforLattice-Valued First-OrderLogicBasedonLatticeImplication,Proc.2007InternationalConferenceonIntelligent SystemsandKnowledgeEngineering(ISKE2007),(Oct15-16,2007,Chengdu,China),pp1567-1574 [25]YangXu(徐扬),ShuweiChen,JunMa(2006):LinguisticTruth-ValuedLatticeImplicationAlgebraandIts Properties,Proc.IMACSMulticonferenceon"ComputationalEngineeringinSystemsApplications"(CESA2006), (October4-6,2006,Beijing,China),pp1413-1418 [26]YangXu(徐扬),JunLiuandDaRuan(2004):ProgressandProspectinLattice-ValuedLogicSystemsBasedon LatticeImplicationAlgebras,The6thInternationalFLINSConference,(September1-3,Blankenberge, Belgium),pp29-34 [27]YangXu(徐扬)(2004):UncertaintyInformationProcessing--fromTheorytoImplementationsatSouthwest JiaotongUniversityinChina,InvitedspeakeratFLINS2004:the6thInt.FLINSConferenceonApplied ComputationalIntelligence（September1-3,2004,Blankenberghe,Belgium） [28]YangXu(徐扬),JunLiu,JunMa,WeijiangLi(2003):OnModelTheoryofLattice-ValuedLogicLvpl,The ProceedingoftheSecondAsianWorkshoponFoundationsofSoftware,(Dec.2-3,2003,Nanjing,China), pp40-42 [29]YangXu(徐扬),JunLiu,WenjiangLi,KeyunQin(2002):OnMulti-DimensionandMultipleApproximate ReasoningBasedonLvpl,ProceedingsofThe6thWorldMulti-ConferenceonSystemics,Cyberneticsand Informatics,(July14-18,2002,Orlando,USA),XVI,pp130-135 [30]YangXu(徐扬),JunLiu,JunMa(2001):OntheSolutionsofLattice-ValuedMatrixGameWithFuzziness, Proc.ofJoint9thIFSAWorldCongressand20thNAFIPSInternationalConference,(July25-28,2001, Canada),pp2301-2304 [31]YangXu(徐扬),E.E.Kerre,DaRuan,SongZhenming(2000):AStudyonFuzzyReasoningMechanismBasedon ExtensionPrinciple,Proceedingofthe9thIEEEInternationalConferenceonFuzzySystems,(May7-10, 2000,SanAntonio,Texas,USA),1,pp185-190 [32]YangXu(徐扬),LeiZhang,WenjiangLi,JianleWu(2000):FuzzyReasoningBasedonGeneralizedIf-Then Rule,IntelligentTechniquesandSoftComputinginNuclearScienceandEngineering(EditedbyDaRuan, HamidAitAbderrahim,PierreD’hondtandEtienneE.Kerre),WorldScientific,pp87-95 [33]YangXu(徐扬),DaRuan,JunLiu(2000):ApproximateReasoningBasedonLattice-ValuedPropositional LogicLvpl,FuzzyIf-ThenRulesinComputationalIntelligence-----TheoryandApplications(Editedby DaRuanandEtienneE.Kerre),KluwerAcademicPublishers,pp81-105 [34]Tsu-TianLee,YangXu(徐扬)(第一完成者)(2003):TheConsistencyofRule-BasesinLattice-Valued First-OrderLogicLF(X),Proceedingsof2003IEEEInternationalConferenceonSystems,Man&Cybernetics (October5-8,2003,Washington,D.C.,USA),pp4968-4973 [35]Tsu-TianLee,YangXu(徐扬)(第一完成者)(2003):TheLinguisticControlModelofVehicleDriving, Proceedingsof2003IEEEInternationalConferenceonMachineLearningandCybernetics(November2-5,2003, Xi’an,China),pp951-956 [36]李宇成,徐扬(撰写者之一),易继楷,费敏锐,杨昌琨(2001):模糊控制装置和系统——第3部分:可编程控制器模糊控制器,中华人民共和国国家标准,GB/T17165.3—2001,idtIEC61131-7-2000,2001-02-13发布,2001-08-01实施

研究领域
暂无内容

专利
暂无内容

著作成果
暂无内容

科研项目
无线电智能监测网络系统
无线电智能监测网络系统研发, 工信无函[2011]146号
基于格值逻辑的α-n(t)元归结动态自动推理研究

Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处
访问量：次

个人信息MORE +
徐扬教授
所在单位： 数学学院
学历： 博士研究生毕业
办公地点： 西南交通大学信息楼01016-1
联系方式： 通信地址：成都市西南交通大学数学学院智能控制开发中心电子邮箱：xuyang@home.swjtu.edu.cn办公电话：办公地点：西南交通大学信息楼01016-1
学位： 工学博士学位
职称： 教授
电子邮箱： xuyang@home.swjtu.edu.cn
博士生导师

论文成果当前位置: 中文主页 >> 科学研究 >> 论文成果

学术论文
代表性论著：
[1]YangXu(徐扬),DaRuan,KeyunQin,JunLiu(2003):Lattice-ValuedLogic——AnAlternativeApproachtoTreat FuzzinessandIncomparability,Springer-Verlag [2]YangXu(徐扬）,JunLiu,XiaomeiZhong,ShuweiChen（2013）:Multiaryα-ResolutionPrinciplefora Lattice-ValuedLogic,IEEETRANSACTIONSONFUZZYSYSTEMS,2013,21(5):pp898-912 [3]YangXu(徐扬),JunLiu,XiaomeiZhong,ShuweiChen（2012):Lattice-ValuedMatrixGamewithMixed StrategiesasFundamentalforIntelligentDecisionSupport,Knowledge-BasedSystems，32:pp56-64 [4]YangXu(徐扬),JunLiu,DaRuan,XiaobingLi(2011):Determinationofα-resolutioninLattice-Valued First-OrderLogicLF(X),InformationSciences,181,pp1836-1862 [5]YangXu(徐扬),JunLiu,LuisMartínez,DaRuan(2010):SomeViewsonInformationFusionandLogicBased ApproachesinDecisionMakingunderUncertainty,JournalofUniversalComputerScience,16(1),pp3-21 [6]YangXu(徐扬),XianyiZeng,LudovicKoehl(2007):AnIntelligentSensoryEvaluationMethodforIndustrial ProductsCharacterization,Int.J.ofInformationTechnology&DecisionMaking,6(2),pp349-370 [7]YangXu(徐扬),JunLiu,DaRuan,Tsu-TianLee(2006):OntheConsistencyofRuleBasesBasedon Lattice-ValuedFirst-OrderLogicLF(X),InternationalJournalofIntelligentSystems,21(4),pp399-424 [8]YangXu(徐扬),XianyiZengandDaRuan(2004):OnNormalizationofComprehensiveEvaluationSystemwith ComplexUncertainInformation,JournalofDonghuaUniversity,21(3),pp30-34 [9]YangXu(徐扬),JunLiuandDaRuan(2003):RuleAcquisitionandAdjustmentBasedonSet-ValuedMapping, Int.J.InformationSciences,157,pp167-198 [10]YangXu(徐扬),JunLiu,DaRuan,WenjiangLi(2002):FuzzyReasoningBasedonGeneralizedFuzzyIf-Then Rules,Int.J.ofIntelligentSystems,17(10),pp977-1006 [11]YangXu(徐扬),DaRuan,EtienneE.Kerre,JunLiu(2001):α-ResolutionPrincipleBasedonFirst-Order Lattice-ValuedLogicLF(X),Int.J.InformationSciences,132,pp221-239 [12]YangXu(徐扬),EtienneE.Kerre,DaRuan,ZhenmingSong(2001):FuzzyReasoningBasedontheExtension Principle,Int.J.ofIntelligentSystems,16(4),pp469-495 [13]YangXu(徐扬),KeyunQin,EunHwanRoh(2001):OnPrimeFiltersofLatticeHImplicationAlgebras,The JournalofFuzzyMathematics,9(3),pp583-588 [14]YangXu(徐扬),KeyunQin,EunHwanRoh(2001):OnQuotientLatticeImplicationAlgebrasInducedbyFuzzy Filters,TheJournalofFuzzyMathematics,9(3),pp611-617 [15]Y.Xu(徐扬),J.Liu,D.Ruan(2001):(丅,⊥,N)FuzzyLogic,Mathware&SoftComputing,8(2),pp71-82 [16]XuYang(徐扬),SongZhenming,QinKeyun,LiuJun(2001):SyntaxofL-valuedFirst-OrderLogicLvfl,Int. Multi.Val.Logic.,7,pp213-257 [17]XuYang(徐扬),QinKeyun,EunHwanRoh(2001):AFirstOrderLatticeValuedLogicSystemI:Semantics, TheJournalofFuzzyMathematics,9(4),pp969-976 [18]YangXu(徐扬),DaRuan,E.E.Kerre,JunLiu(2000):α-ResolutionPrincipleBasedonLattice-Valued PropositionalLogicLP(X),Int.J.InformationSciences,130,pp195-223 [19]YangXu(徐扬),LiuJun,SongZhenming,QinKeyun(2000):OnSemanticsofL-ValuedFirst-OrderLogicLvfl, Int.J.GeneralSystems,29(1),pp53-79 [20]YangXu(徐扬),WeitaoXu,XiaomeiZhong,XingxingHe(2010):α-GeneralizedResolutionPrincipleBasedon Lattice-ValuedPropositionalLogicLP(X),Proceedingsofthe9thInternationalFLINSConference (FLINS2010),(Aug.2-4,2010,Emei,Chengdu,China),pp66-71 [21]YangXu(徐扬),JunLiu,DaRuan(2010):Lattice-ValuedAlgebraandLogicwithPotentialApplicationsin LinguisticValuedDecisionMaking,31stLinzSeminaronFuzzySetTheory----Lattice-ValuedLogicandits Applications,February,9-13,2010,pp163-167 [22]YangXu(徐扬),ShuweiChen,JunLiu,DaRuan(2007):WeakCompletenessofResolutioninaLinguistic Truth-ValuedPropositionalLogic,Proc.IFSA2007:TheoreticalAdvancesandApplicationsofFuzzyLogic andSoftComputing(IFSA2007),(June18-21,2007,Cancun,Mexico),pp358-366 [23]YangXu(徐扬),JunMa,JiajunLai(2007):Sub-AlgebrasofFiniteLatticeImplicationAlgebra,Proc. IFSA2007:TheoreticalAdvancesandApplicationsofFuzzyLogicandSoftComputing(IFSA2007), (June18-21,2007,Cancun,Mexico),pp813-821 [24]YangXu(徐扬),XiaobingLi,JunLiu,DaRuan(2007):Determinationofα-ResolutionforLattice-Valued First-OrderLogicBasedonLatticeImplication,Proc.2007InternationalConferenceonIntelligent SystemsandKnowledgeEngineering(ISKE2007),(Oct15-16,2007,Chengdu,China),pp1567-1574 [25]YangXu(徐扬),ShuweiChen,JunMa(2006):LinguisticTruth-ValuedLatticeImplicationAlgebraandIts Properties,Proc.IMACSMulticonferenceon"ComputationalEngineeringinSystemsApplications"(CESA2006), (October4-6,2006,Beijing,China),pp1413-1418 [26]YangXu(徐扬),JunLiuandDaRuan(2004):ProgressandProspectinLattice-ValuedLogicSystemsBasedon LatticeImplicationAlgebras,The6thInternationalFLINSConference,(September1-3,Blankenberge, Belgium),pp29-34 [27]YangXu(徐扬)(2004):UncertaintyInformationProcessing--fromTheorytoImplementationsatSouthwest JiaotongUniversityinChina,InvitedspeakeratFLINS2004:the6thInt.FLINSConferenceonApplied ComputationalIntelligence（September1-3,2004,Blankenberghe,Belgium） [28]YangXu(徐扬),JunLiu,JunMa,WeijiangLi(2003):OnModelTheoryofLattice-ValuedLogicLvpl,The ProceedingoftheSecondAsianWorkshoponFoundationsofSoftware,(Dec.2-3,2003,Nanjing,China), pp40-42 [29]YangXu(徐扬),JunLiu,WenjiangLi,KeyunQin(2002):OnMulti-DimensionandMultipleApproximate ReasoningBasedonLvpl,ProceedingsofThe6thWorldMulti-ConferenceonSystemics,Cyberneticsand Informatics,(July14-18,2002,Orlando,USA),XVI,pp130-135 [30]YangXu(徐扬),JunLiu,JunMa(2001):OntheSolutionsofLattice-ValuedMatrixGameWithFuzziness, Proc.ofJoint9thIFSAWorldCongressand20thNAFIPSInternationalConference,(July25-28,2001, Canada),pp2301-2304 [31]YangXu(徐扬),E.E.Kerre,DaRuan,SongZhenming(2000):AStudyonFuzzyReasoningMechanismBasedon ExtensionPrinciple,Proceedingofthe9thIEEEInternationalConferenceonFuzzySystems,(May7-10, 2000,SanAntonio,Texas,USA),1,pp185-190 [32]YangXu(徐扬),LeiZhang,WenjiangLi,JianleWu(2000):FuzzyReasoningBasedonGeneralizedIf-Then Rule,IntelligentTechniquesandSoftComputinginNuclearScienceandEngineering(EditedbyDaRuan, HamidAitAbderrahim,PierreD’hondtandEtienneE.Kerre),WorldScientific,pp87-95 [33]YangXu(徐扬),DaRuan,JunLiu(2000):ApproximateReasoningBasedonLattice-ValuedPropositional LogicLvpl,FuzzyIf-ThenRulesinComputationalIntelligence-----TheoryandApplications(Editedby DaRuanandEtienneE.Kerre),KluwerAcademicPublishers,pp81-105 [34]Tsu-TianLee,YangXu(徐扬)(第一完成者)(2003):TheConsistencyofRule-BasesinLattice-Valued First-OrderLogicLF(X),Proceedingsof2003IEEEInternationalConferenceonSystems,Man&Cybernetics (October5-8,2003,Washington,D.C.,USA),pp4968-4973 [35]Tsu-TianLee,YangXu(徐扬)(第一完成者)(2003):TheLinguisticControlModelofVehicleDriving, Proceedingsof2003IEEEInternationalConferenceonMachineLearningandCybernetics(November2-5,2003, Xi’an,China),pp951-956 [36]李宇成,徐扬(撰写者之一),易继楷,费敏锐,杨昌琨(2001):模糊控制装置和系统——第3部分:可编程控制器模糊控制器,中华人民共和国国家标准,GB/T17165.3—2001,idtIEC61131-7-2000,2001-02-13发布,2001-08-01实施

Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处
访问量：次