李永明，男，漢族，1966年3月生，陜西大荔人， 1988年、1991年在陜西師范大學原數學系分別獲得學士和碩士學位。
1993年考入了四川大學數學系攻讀博士學位。曾在LOCALE理論，拓撲分子格理論，QUANTALE理論方面做了扎實的工作。
1996年在四川大學獲得博士學位�，F在陜西師范大學數學與信息科學學院工作，任代數教研室主任。主要從事格上拓撲學理論和模糊系統理論的研究。
1997年進入西北工業大學航空與宇航博士后流動站，從事模糊控制理論的研究工作，并在模糊系統的形式構造與穩定性方面做了一些較為重要的研究。1999年破格晉升為教授。調入陜西師范大學數學與信息科學學院工作至今。
近五年講授的主要課程
1、線性代數
2、近世代數
3、代數學
4、模糊系統分析
5、量子計算與量子邏輯
近五年承擔的實踐性教學
1、指導本科生畢業論文
近五年主持的教學研究課題
1、“高等學校優秀青年教師教學科研獎勵計劃”（第三屆），教育部，30萬元，2002.1-2006.12.
2、高等代數CAI制作與應用，陜西師大教學項目，2003-2006，1.5萬元，第3人
研究方向：
計算智能，模糊系統分析，量子邏輯與量子計算，格上拓撲學（程序設計語言的形式語義）
研究項目：
主持一項國家自然科學基金項目：“拓撲的邏輯構造及其應用”(19901028)；參加一項國家重點基礎研究發展規劃項目(973)：“復雜大系統過程控制與優化關鍵問題及高性能軟件研究”(G1998030417)；從事廣義拓撲的函數空間理論及一般模糊系統的穩定性分析與實現理論研究。
研究成果：
(1).研究了LOCALE商態射，LOCALE的函數空間與LOCALE的半連續函數空間構造，解決了著名拓撲學家B．Banaschewski，P．T．Johnstone 等在LOCALE理論方面提出的一些重要問題。
(2).揭示了拓撲分子格理論的整體結構，建立了拓撲分子格的函數空間理論。
(3).研究了各種廣義的自由完全分配格的構造，所得構造兼容了K．H.Hofmann，M．W．Mislove 等人的相關結果。
(4).研究了QUANTALE理論與非交換線性邏輯、進程等價邏輯語義的關系，解決了理論計算機學家S.Abramasky等提出的有關進程等價的邏輯語義問題。
(5).建立了布爾型模糊系統的構造理論，從公理化與函數逼近觀點研究了一般模糊系統的工作機理與實現能力。
(6).給出了簡化模糊控制系統“分區域”穩定的判別定理與實現方法,研究了模糊控制系統魯棒穩定的條件，給出了魯棒穩定區間的估計式及其“規則庫變換”實現方法。
在《數學學報》、《科學通報》、《自動化學報》、《Journal of Pure and Applied Algebra》、《A1gebra Universalis》、《Semigroup Forum》、《Comment．Math．Univ．Carolinae》、《Fuzzy Sets and Systems》、《Information Sciences》等國內外重要學術期刊上發表論文80余篇，，有關成果已被SCl，《Mathematical Review》、《 Zbl．Math．》及《EI》索引和摘引30余次，直接引用20余次。在科學出版社出版專著《模糊系統分析》1部。
二、近五年在國內外主要刊物上以第1署名人發表的學術論文
1、李永明，etc., An approach to measure the robustness of fuzzy reasoning, International Journal of Intelligent Systems, 20(4),2005, 393-413. 《SCI》源刊
2、李永明，etc., A fuzzy sets theoretic approach to approximate spatial reasoning, IEEE Transactions on Fuzzy Systems， 12(6)(2004), 745- 754.《SCI》源刊
3、李永明，etc., Chen Maoyin, Pseudo difference posets and pseudo Boolean D-posets, International Journal of Theoretical Physics, 43（12）2004, 2447-2460. 《SCI》源刊
4、李永明，etc., Decomposition and resolution of min-implication fuzzy relation equations based on S-implications, Fuzzy Sets and Systems, 148(2004),305-317. 《SCI》源刊
5、李永明，etc., Chen Maoyin ,Constructions of some effective algebras and fuzzy effect space, International Journal of Theoretical Physics, 43(5)2004, 1219-1229. 《SCI》源刊
6、李永明，etc., Chen Maoyin, Anti-BZ-structure in effect algebra, International Journal of Theoretical Physics,43(2) (2004), 359-368. 《SCI》源刊
7、李永明, On the order conditions of fuzzy convergence classes, Fuzzy Sets and Systems, 2003, 140(3),489-498. 《SCI》源刊
8、李永明，A categorical approach to lattice-valued fuzzy automata, Fuzzy Sets and Systems, 2006, 157, 855-864. 《SCI》源刊
9、李永明，etc., Projective objects and injective objects in the category of quantales, J. Pure Appl. Alg., 2002, 176(2 -3),249-258. 《SCI》源刊
10、李永明，etc., Approximation theory of fuzzy systems based upon genuine many-valued implications-SISO cases. Fuzzy Sets and Systems, 2002, 130(2),147-157. 《SCI》源刊
1、1997年陜西省優秀學術論文二等獎。
2、1999年陜西省教委科技進步獎一等獎（第一獲獎人）。
3、2002年第三屆教育部“高校青年教師獎”。
4、2002年國務院政府特殊津貼。
點擊圖片查看原圖
