李永明，男，漢族，1966年3月生，陜西大荔人， 1988年、1991年在陜西師范大學(xué)原數(shù)學(xué)系分別獲得學(xué)士和碩士學(xué)位。
1993年考入了四川大學(xué)數(shù)學(xué)系攻讀博士學(xué)位。曾在LOCALE理論，拓?fù)浞肿痈窭碚摚琎UANTALE理論方面做了扎實(shí)的工作。
1996年在四川大學(xué)獲得博士學(xué)位。現(xiàn)在陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院工作，任代數(shù)教研室主任。主要從事格上拓?fù)鋵W(xué)理論和模糊系統(tǒng)理論的研究。
1997年進(jìn)入西北工業(yè)大學(xué)航空與宇航博士后流動(dòng)站，從事模糊控制理論的研究工作，并在模糊系統(tǒng)的形式構(gòu)造與穩(wěn)定性方面做了一些較為重要的研究。1999年破格晉升為教授。調(diào)入陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院工作至今。
近五年講授的主要課程
1、線(xiàn)性代數(shù)
2、近世代數(shù)
3、代數(shù)學(xué)
4、模糊系統(tǒng)分析
5、量子計(jì)算與量子邏輯
近五年承擔(dān)的實(shí)踐性教學(xué)
1、指導(dǎo)本科生畢業(yè)論文
近五年主持的教學(xué)研究課題
1、“高等學(xué)校優(yōu)秀青年教師教學(xué)科研獎(jiǎng)勵(lì)計(jì)劃”（第三屆），教育部，30萬(wàn)元，2002.1-2006.12.
2、高等代數(shù)CAI制作與應(yīng)用，陜西師大教學(xué)項(xiàng)目，2003-2006，1.5萬(wàn)元，第3人
研究方向：
計(jì)算智能，模糊系統(tǒng)分析，量子邏輯與量子計(jì)算，格上拓?fù)鋵W(xué)（程序設(shè)計(jì)語(yǔ)言的形式語(yǔ)義）
研究項(xiàng)目：
主持一項(xiàng)國(guó)家自然科學(xué)基金項(xiàng)目：“拓?fù)涞倪壿嫎?gòu)造及其應(yīng)用”(19901028)；參加一項(xiàng)國(guó)家重點(diǎn)基礎(chǔ)研究發(fā)展規(guī)劃項(xiàng)目(973)：“復(fù)雜大系統(tǒng)過(guò)程控制與優(yōu)化關(guān)鍵問(wèn)題及高性能軟件研究”(G1998030417)；從事廣義拓?fù)涞暮瘮?shù)空間理論及一般模糊系統(tǒng)的穩(wěn)定性分析與實(shí)現(xiàn)理論研究。
研究成果：
(1).研究了LOCALE商態(tài)射，LOCALE的函數(shù)空間與LOCALE的半連續(xù)函數(shù)空間構(gòu)造，解決了著名拓?fù)鋵W(xué)家B．Banaschewski，P．T．Johnstone 等在LOCALE理論方面提出的一些重要問(wèn)題。
(2).揭示了拓?fù)浞肿痈窭碚摰恼w結(jié)構(gòu)，建立了拓?fù)浞肿痈竦暮瘮?shù)空間理論。
(3).研究了各種廣義的自由完全分配格的構(gòu)造，所得構(gòu)造兼容了K．H.Hofmann，M．W．Mislove 等人的相關(guān)結(jié)果。
(4).研究了QUANTALE理論與非交換線(xiàn)性邏輯、進(jìn)程等價(jià)邏輯語(yǔ)義的關(guān)系，解決了理論計(jì)算機(jī)學(xué)家S.Abramasky等提出的有關(guān)進(jìn)程等價(jià)的邏輯語(yǔ)義問(wèn)題。
(5).建立了布爾型模糊系統(tǒng)的構(gòu)造理論，從公理化與函數(shù)逼近觀點(diǎn)研究了一般模糊系統(tǒng)的工作機(jī)理與實(shí)現(xiàn)能力。
(6).給出了簡(jiǎn)化模糊控制系統(tǒng)“分區(qū)域”穩(wěn)定的判別定理與實(shí)現(xiàn)方法,研究了模糊控制系統(tǒng)魯棒穩(wěn)定的條件，給出了魯棒穩(wěn)定區(qū)間的估計(jì)式及其“規(guī)則庫(kù)變換”實(shí)現(xiàn)方法。
在《數(shù)學(xué)學(xué)報(bào)》、《科學(xué)通報(bào)》、《自動(dòng)化學(xué)報(bào)》、《Journal of Pure and Applied Algebra》、《A1gebra Universalis》、《Semigroup Forum》、《Comment．Math．Univ．Carolinae》、《Fuzzy Sets and Systems》、《Information Sciences》等國(guó)內(nèi)外重要學(xué)術(shù)期刊上發(fā)表論文80余篇，，有關(guān)成果已被SCl，《Mathematical Review》、《 Zbl．Math．》及《EI》索引和摘引30余次，直接引用20余次。在科學(xué)出版社出版專(zhuān)著《模糊系統(tǒng)分析》1部。
二、近五年在國(guó)內(nèi)外主要刊物上以第1署名人發(fā)表的學(xué)術(shù)論文
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年陜西省優(yōu)秀學(xué)術(shù)論文二等獎(jiǎng)。
2、1999年陜西省教委科技進(jìn)步獎(jiǎng)一等獎(jiǎng)（第一獲獎(jiǎng)人）。
3、2002年第三屆教育部“高校青年教師獎(jiǎng)”。
4、2002年國(guó)務(wù)院政府特殊津貼。
點(diǎn)擊圖片查看原圖
