个人简介
教师简介
徐扬,博士,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)