李永明，男，汉族，1966年3月生，陕西大荔人， 1988年、1991年在陕西师范大学原数学系分别获得学士和硕士学位。
1993年考入了四川大学数学系攻读博士学位。曾在LOCALE理论，拓扑分子格理论，QUANTALE理论方面做了扎实的工作。
1996年在四川大学获得博士学位。现在陕西师范大学数学与信息科学学院工作，任代数教研室主任。主要从事格上拓扑学理论和模糊系统理论的研究。
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年国务院政府特殊津贴。
点击图片查看原图
