当前位置: X-MOL首页全球导师 国内导师 › 徐扬

个人简介

教师简介 徐扬,博士,1956年9月生于河南,1991年起任教授,1997年起任博士生导师,全国先进工作者,国家有突出贡献的中青年专家,全国教育系统劳动模范,“人民教师奖章”获得者,四川省学术和技术带头人。 后承担科技项目30余项(其中主持国家自然科学基金项目11项,国际科技合作项目3项,国家部委项目5项)。先后在国内外杂志和学术会议上独立或合作发表学术论文900余篇;在国(境)内外合作出版著作9部(其中德国Springer出版1部,法国ATLANTISPRESS/新加坡WorldScientific出版1部,中国科学出版社出版1部,中国台湾再版1部)。研究成果被中国大陆和中国台湾、美国、日本、韩国、意大利、丹麦、波兰、捷克、比利时、芬兰、英国、伊朗、土耳其等20多个国家和地区的千余学者大量引用或跟踪研究。先后应邀到国(境)内外多所大学、研究机构讲学或合作研究,并被聘请为客座教授。先后在国内外多个学术团体中任职。 先后培养博士后11人(已出站8人,转其他国家2人),博士生66人(毕业58人),硕士生46人(毕业(含硕博连读)44人)。 先后获得省部级及以上各种奖励20次 教学经历 先后讲授过本科生的《高等数学》,硕士研究生的《模糊数学》,博士研究生的《范畴论》、《逻辑与推理》、《自动推理》、《可靠性数学》等课程。 近年承担的主要科研项目 1.国家自然科学基金项目,基于矛盾体分离的动态自动演绎推理研究(国家级) 2.国家自然科学基金项目,基于格值逻辑的a-n(t)元归结自动推理研究(国家级) 3.部级重大科技专项,无线电智能监测网络系统研发(省部级) 4.国家自然科学基金项目,组织The9thinternationalFLINSconferenceonfoundationsandapplicationsofcomutationintelligence(国家级) 5.国家自然科学基金项目,基于格值逻辑的语言值a-广义归结自动推理研究(国家级) 6.国家自然科学基金项目,基于格值逻辑的语言真值归结自动推理研究(国家级) 7.国家自然科学基金项目,参加The5thinternatioalfuzzylogicandintelligenttechnologiesinnuclearscienceconfrence(国家级) 8.国家自然科学基金项目,基于格值逻辑的不确定性推理研究(国家级) 9.国家自然科学基金项目,格蕴涵代数中的模糊LI-理想的研究(国家级) 10.国家自然科学基金项目,基于格值逻辑系统的模糊控制及应用研究(国家级) 11.国家自然科学基金项目,交替给总模糊神经网络控制系统的研究(国家级) 12.国家自然科学基金项目,抽象模糊逻辑的研究(国家级) 出版专著 1.2003,专著,Lattice-ValuedLogic 科研团队 自动推理学术研究团队人员: 徐扬,宋振明,陈树伟,李志辉,何星星,钟小梅,徐鹏,王恪铭,吴贯锋,曹锋,刘清华,付慧敏,刘沛瑶 招生专业 招生类型学院专业代码专业名称专业类型专业方向 博士信息081200计算机科学与技术学术型15.智能信息处理 博士数学070100数学学术型02.计算数学(逻辑演绎、定理机器证明) 硕士数学070100数学学术型02.计算数学

研究领域

逻辑代数、代数逻辑、不确定性推理和自动推理。

近期论文

查看导师新发文章 (温馨提示:请注意重名现象,建议点开原文通过作者单位确认)

1.徐扬,Contradictionseparationbaseddynamicmulti-clausesynergizedautomateddeduction,,2018(SCIEI) 2.徐扬,Non-clausemulti-arya-generalizedresolutioncalculusforafinitelattice-valuedlogic,期刊论文,2018(SCI) 3.徐扬,Multiarya-resolutionprincipleforalattice-valuedlogic,期刊论文,2013(SCI) 4.徐扬,Lattice-valedmatrixgamewithmixedstrategiesforintelligentdecisionsupport,期刊论文,2012(SCI) 5.徐扬,Determinationofa-resolutioninlattice-valedfirst-orderlogicLF(X),期刊论文,2011(SCI) 6.徐扬,SomeViewsoninformationfusionandlogicbasedapproachesindecisionmakingunderuncetaity,期刊论文,2010(SCI) 7.徐扬,Ontheconsistencyofrulebasesbasedonlattice-valuedfirst-orderlogicLF(X),期刊论文,2006(SCI) 8.徐扬,Ruleacquisitionandadjustmentbasedonset-valedmapping,期刊论文,2003(SCI) 9.徐扬,Fuzzyreasoningbasedongeneralizedfuzzyif-thenrules,期刊论文,2002(SCI) 10.徐扬,a-resolutionprinciplebasedonfirest-orderlattice-valuedlogicLF(X),期刊论文,2001(SCI)

推荐链接
down
wechat
bug