李永明:陕西师范大学计算机科学学院教授-中文百科频道

人物经历

学习经历

1988年在陕西师范大学数学系获得学士学位

1991年在陕西师范大学数学系获得硕士学位

1996年在四川大学获得理学博士学位

工作经历

1999年在西北工业大学博士后流动站出站，同年晋升教授

2001年3月起担任陕西师范大学基础数学专业博士研究生导师

2006年7月起担任陕西师范大学计算机软件与理论专业博士研究生导师

主要成就

学术论文

(带*为通信作者)

Yongming Li, Zhanyou Ma. Quantitative computational tree logic model checking based on generalized possibility measures, IEEE Transactions on Fuzzy Systems.2015,Online, http://dx.doi.org/10.1109/TFUZZ.2015.2396537.(SCI期刊)

Yongming Li, Yali Li, Zhanyou Ma, Computation tree logic model checking based on possibility measures, Fuzzy Sets and Systems, 2015, 262,44–59.(SCI期刊)

Haiyu Pan, Yongming Li*, Yongzhi Cao, Zhanyou Ma.Model checking fuzzy computation tree logic. Fuzzy Sets and Systems 2015,262:60-77.(SCI期刊)

Guan Xuechong, Li Yongming*, On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras, Theoretical Computer Science, 2015,563, 86–98.(SCI期刊)

Yongming Li, Lijun Li, Model checking of linear-time properties based on possibility measure, IEEE Transactions on Fuzzy Systems, 2013, 21, 842-854.(SCI检索，JCR一区，TOP期刊)

Zhengjun Xi , Xiaoguang Wang and Yongming Li, Measurement-induced nonlocality based on relative entropy, Phys. Rev. A， 2012, 85, 042325.(SCI、EI 检索)

Yongming Li, Finite automata theory with membership values in lattices, Information Sciences, 2011, 181(5)：1003-1017.(SCI、EI 检索)

李永明,基于量子逻辑的有穷自动机与单体二阶量子逻辑，中国科学F辑：信息科学,2009,39(11)，1135-1145.(特级)

Yongming Li , Fuzzy Turing machines: variants and universality, IEEE Transactions on Fuzzy Systems，2008,16，1491-1502.(SCI、EI 检索)

Yongming Li, Pedrycz Witold, Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids, Fuzzy Sets and Systems, 2005,156, 68-92.(SCI、EI 检索)