人物經曆
學習經曆
1988年在陝西師範大學數學系獲得學士學位
1991年在陝西師範大學數學系獲得碩士學位
1996年在四川大學獲得理學博士學位
工作經曆
1999年在西北工業大學博士後流動站出站,同年晉升教授
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 檢索)
主持(或參與)的項目
國家自然科學基金面上項目:把不确定性用半環來描述的計算模型、理論及其應用研究(2013.1-2016.12,主持)
國家自然科學基金面上項目:不确定環境下的計算模型與計算理論研究(2009.1-2011.12,主持)
國家自然科學基金面上項目:格上拓撲學及其在不缺定特性的形式化研究中的應用(2006.1-2008.12,主持)
教育部博士點基金(博導類):量化計算模型與量化模型檢測的理論及其應用研究(2014.1-2016.12,主持)
教育部博士點基金:不确定環境下的自動機理論及其應用研究(2009.1-2011.12,主持)
獲獎情況
李永明,李志慧,李平,雷紅軒,席政軍,崔麗聰,等.不确定型系統的計算模型與推理機制研究,陝西省科學技術獎(二等),2012
李永明,張德學,李志慧,吳洪博,尚雲,羅豔斌.格上拓撲學及其在不确定特征的數學描述中的應用,陝西省科學技術獎(二等),2009
曹永知,李永明,陳國青.不确定性系統的建模與分析,2014年度教育部高等學校科學研究優秀成果獎(二等獎),2015
社會任職
國際IEEE計算智能模糊系統技術委員會委員
中國系統工程學會模糊數學與模糊系統委員會副主任委員
全國運籌學會智能計算學會副理事長
全國高等師範學校計算機教育委員會副理事長
中國計算機學會理論計算機學會理事
陝西省計算機學會常務理事
CCF(中國計算機學會)西安分部執委