李永明:陝西師範大學計算機科學學院教授-中文百科頻道

人物經曆

學習經曆

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 檢索)