李永明（陕西师范大学图书馆馆长）

研究方向

非经典计算理论、计算智能、模糊系统分析、量子逻辑与量子计算、格上拓扑学。

主要作品

代表论著：

李永明, 模糊系统分析, 科学出版社, 北京, 2005.

李永明，模糊图灵机的逼近性与通用性, 中国科学 E辑：信息科学, 38（8）（2008），1189-1203. ( Li Y.M., Approximation and universality of fuzzy Turing machines, Science in China Series F：Information Sciences, 51(10)(2008),1445-1465.)

李永明，基于量子逻辑的有穷自动机与单体二阶量子逻辑，中国科学 F辑：信息科学,39（11）（2009），1135-1145. (Finite automata based on quantum logic and monadic second-order quantum logic, Science China Information Sciences，53(1)(2010), 101-114.）

Li Y.M., Li S.J., A fuzzy sets theoretic approach to approximate spatial reasoning, IEEE Transactions on Fuzzy Systems，12(2004), 745- 754.

Li Y.M., Fuzzy Turing machines: variants and universality, IEEE Transactions on Fuzzy Systems，16（2008），1491-1502.

Li Y.M., Pedrycz W., Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids, Fuzzy Sets and Systems, 156(2005), 68-92.

Li Y.M., Finite automata theory with membership values in lattices, Information Sciences, 181（2011）, 1003-1017.

Li Y.M.，Li Dechao, Witold Pedrycz, Wu Jingjie, An approach to measure the robustness of fuzzy reasoning, International Journal of Intelligent Systems, 20(2005), 393-413.