複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/徐揚/8521065
複製
複製成功

徐揚

（西南交通大學教授）

鎖定
徐揚，博士，1956年9月生於河南, 1991年起任教授，1997年起任博士生導師，國家有突出貢獻的中青年專家，全國教育系統勞動模範，“人民教師獎章”獲得者，四川省學術和技術帶頭人。
中文名
徐揚
學    位
博士
出    生
1956年9月
職    稱
教授
籍    貫
河南省新鄉市

目錄

  1. 1 人物簡介
  2. 2 研究方向
  3. 3 學術成果
  4. 4 任職經歷

徐揚人物簡介

徐揚 徐揚 [1]
徐揚，博士，1956年9月生於河南, 1991年起任西南交通大學教授，1997年起任西南交通大學博士生導師，國家有突出貢獻的中青年專家，全國教育系統勞動模範，“人民教師獎章”獲得者, 四川省學術和技術帶頭人。
所屬教研室：系統可信性自動驗證國家地方聯合工程實驗室。

徐揚研究方向

(1) 邏輯代數
(2) 代數邏輯
(3) 不確定性推理
(4) 自動推理

徐揚學術成果

先後承擔科技項目30餘項（其中主持國家自然科學基金項目11項， 國際科技合作項目3項，國家部委項目5項）。先後在國內外雜誌和學術會議上獨立或合作發表學術論文627篇（先後被SCI收錄64篇，EI收錄151篇，ISTP收錄140篇；SCI收錄論文累計被引用407次）；在國（境）內外合作出版著作9部（其中德國Springer出版1部，法國ATLANTIS PRESS/新加坡World Scientific出版1部，中國科學出版社出版1部，中國台灣再版1部）。研究成果被中國大陸和中國台灣、美國、日本、韓國、意大利、丹麥、波蘭、捷克、比利時、芬蘭、英國、伊朗等20多個國家和地區的千餘學者大量引用或跟蹤研究。 先後應邀到國（境）內外多所大學、研究機構講學或合作研究，並被聘請為客座教授。
先後培養博士後11人（已出站7人，轉其他國家2人），博士生51人（畢業41人），碩士生30人（畢業（含碩博連讀）24人）。
先後獲得省部級及以上各種獎勵19次。 [2] 
近年來主要科研項目
  1. 國家自然科學基金項目，基於矛盾體分離的動態自動演繹推理研究（國家級） [3] 
  2. 國家自然科學基金項目，基於格值邏輯的a-n(t)元歸結自動推理研究（國家級） [3] 
  3. 部級重大科技專項，無線電智能監測網絡系統研發（省部級） [4] 
  4. 國家自然科學基金項目，組織The 9th international FLINS conference on foundations and applications of comutation intelligence（國家級） [3] 
  5. 國家自然科學基金項目，基於格值邏輯的語言值a-廣義歸結自動推理研究（國家級） [3] 
  6. 國家自然科學基金項目，基於格值邏輯的語言真值歸結自動推理研究（國家級） [3] 
  7. 國家自然科學基金項目，參加The 5th internatioal fuzzy logic and intelligent technologies in nuclear science confrence（國家級） [3] 
  8. 國家自然科學基金項目，基於格值邏輯的不確定性推理研究（國家級） [3] 
  9. 國家自然科學基金項目，格藴涵代數中的模糊LI-理想的研究（國家級） [3] 
  10. 國家自然科學基金項目，基於格值邏輯系統的模糊控制及應用研究（國家級） [3] 
  11. 國家自然科學基金項目，交替給總模糊神經網絡控制系統的研究（國家級） [3] 
  12. 國家自然科學基金項目，抽象模糊邏輯的研究（國家級） [3] 
論文成果
  1. 徐揚, Contradiction separation based dynamic multi-clause synergized automated deduction, , 2018 ( SCIEI) [3] 
  2. 徐揚, Non-clause multi-ary a-generalized resolution calculus for a finite lattice-valued logic, 期刊論文, 2018 ( SCI) [3] 
  3. 徐揚, Multiary a-resolution principle for a lattice-valued logic, 期刊論文, 2013 ( SCI) [3] 
  4. 徐揚, Lattice-valed matrix game with mixed strategies for intelligent decision support, 期刊論文, 2012 ( SCI) [3] 
  5. 徐揚, Determination of a-resolution in lattice-valed first-order logicLF(X), 期刊論文, 2011 ( SCI) [3] 
  6. 徐揚, Some Views on information fusion and logic based approaches in decision making under uncetaity, 期刊論文, 2010 ( SCI) [3] 
  7. 徐揚, On the consistency of rule bases based on lattice-valued first-order logic LF(X), 期刊論文, 2006 ( SCI) [3] 
  8. 徐揚, Rule acquisition and adjustment based on set-valed mapping, 期刊論文, 2003 ( SCI) [3] 
  9. 徐揚, Fuzzy reasoning based on generalized fuzzy if-then rules, 期刊論文, 2002 ( SCI) [3] 
  10. 徐揚, a-resolution principle based on firest-order lattice-valued logic LF(X), 期刊論文, 2001 ( SCI) [3] 

徐揚任職經歷

西南交通大學任教（1982.01助教，1985.09-1986.06河南大學基礎數學專業碩士研究生課程班進修，1986.07講師，1989.12副教授，1990.09應用數學專業碩士研究生導師，1991.11教授）。
西南交通大學智能控制開發中心主任、教授、碩士研究生導師。
西南交通大學科研處處長、工會副主席、智能控制開發中心主任、教授、碩士研究生導師山東省膠州市委副書記（掛職）。
西南交通大學應用數學系主任、智能控制開發中心主任、教授、博士生導師、碩士生導師。
四川省內江市副市長（掛職），分管發改委。 [5] 
西南交通大學校長助理。
四川省信息產業廳副廳長、黨組成員、教授、博士生導師、碩士生導師。 [4] 
參考資料