陕西师范大学数学与信息科学学院

网站导航>>>

李永明（LI Yongming）

基本情况：
E-mail：liyongm@snnu.edu.cn
出生年月：1966年3月
专业：数学，
博士毕业学校：四川大学
职称：教授(博导)

工作简况：

主要从事计算理论、智能系统分析以及格上拓扑学的研究工作。在格上拓扑学方面主要从事LOCALE理论、拓扑

分子格理论、QUANTALE理论及模糊拓扑空间的研究工作；在智能系统方面主要从事模糊系统分析及其实现理论

的研究工作；在计算理论方面主要从事基于词的可计算性模型与复杂性理论，以及量子逻辑与量子计算理论的

研究。已在《J.Pure Appl. Alg.》，《Semigroup Forum》，《Comment.Math.Univ. Carolinae》，

AlgebraUniversalis》，《Fuzzy Sets and Systems》，《Information Sciences》，《International

Journal of Theoretical Physics》，《International Journal of Intelligent Systems》，《Soft

Computing》，<<IEEE Transactions on Fuzzy Systems>>,<<The Journal of Logic and Algebraic

Programming>>,<<Fundamenta Informaticae>>,《数学学报》,《自动化学报》,《科学通报》,《数学年刊》

等杂志发表论文80余篇。曾获得陕西省教委科技进步一等奖(第一人),第三届教育部高等学校青年教师奖,

政府特殊津贴（2001）。目前主持一项国家自然科学基金，参加一项973项目。出版专著“模糊系统分”

（科学出版社）。

代表作：

1. Projective objects and injective objects in the category of quantales, J. Pure and Appl. Alg., 2002, 176(2-3),249-258.

2. Locale的函数空间,数学年刊, 2003，24A（6）695-704.

3. Finite fuzzy automata and fuzzy regular expressions with membership values in lattice-ordered monoids, Fuzzy Sets and Systems, 156(2005), 68-92.

4. A fuzzy sets theoretic approach to approximate spatial reasoning, IEEE Transactions on Fuzzy Systems，12(6)(2004), 745- 754.

5. Constructive insertion theorems and extension theorems over extremely disconnected locales, Algebra Universalis , 2000,44: 271-281.

6. 拓扑空间范畴，拓扑FUZZ范畴与拓扑分子格范畴间的反射与余反射，数学学报，1998，41（4），731-736.

7.Constructions of some quantum structures and fuzzy effect space, International Journal of Theoretical Physics, 43(5)2004, 1219-1229.

8. On the Complemented Closed Disk Algebra, The Journal of Logic and Algebraic Programming, 66(2006),195-211.