个人简介

李永明  陕西省大荔县人，二级教授，博士生导师。于1988年与1991年在太阳成集团数学系获得学士与硕士学位，1996年在四川大学获得理学博士学位，1999年在西北工业大学博士后流动站出站，同年晋升教授，2001年3月起担任太阳成集团基础数学专业博士研究生导师，2006年7月起担任太阳成集团计算机软件与理论专业博士研究生导师，2001年政府特殊津贴获得者，曾获得2002教育部第三届“高校青年教师奖”（教育部高层次人才奖励计划），陕西省三秦人才津贴获得者。2002年3月到6月在清华大学计算机系做高级访问学者，2003年8月到2004年8月在加拿大Alberta大学计算机工程系做访问学者，分别于2011年12月-2012年1月、2015年 1-2015年2月在澳大利亚University of Technology Sydney合作研究，2014年5月在德国莱比锡大学以“莱布尼兹科学家”身份访问与合作研究。2005.4-2014.12担任太阳成集团tyc4633经理，2015.4至今担任太阳成集团图书馆馆长。担任国际IEEE计算智能模糊系统技术委员会委员，中国系统工程学会模糊数学与模糊系统委员会副主任委员，全国运筹学会智能计算学会副理事长，全国高等师范学校计算机教育委员会副理事长，中国计算机学会理论计算机学会理事，陕西省计算机学会常务理事，CCF（中国计算机学会）西安分部执委。曾任多个国际会议的大会主席、程序委员会主席、组织委员会主席，以及委员，并多次做特邀大会报告。在科学出版社出版专著《模糊系统分析》一部，在国内外著名杂志发表论文200余篇，其中SCI源期刊论文90余篇。承担973项目子课题、国家自然科学基金、教育部高等学校博士点基金、教育部优秀青年教师教学科研奖励计划、教育部留学人员启动经费等项目10余项。曾获得陕西省教育工委优秀党员称号（2006，2014），陕西省优秀博士论文导师奖（2008，2014），陕西省高等学校科技进步奖一等奖3项（1999，2008，2010），陕西省科学技术奖二等奖2项（2009，2011）、三等奖1项（2014），教育部高等学校科学研究优秀成果奖自然科学奖二等奖1项（2014）。

学术论文 (带*为通信作者)

[1] 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期刊)

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

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

[4] 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期刊)

[5] 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期刊)

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

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

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

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

[10] 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 检索)

著作

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

主持(或参与)的项目

[1] 国家自然科学基金面上项目:把不确定性用半环来描述的计算模型、理论及其应用研究(2013.1-2016.12, 主持)

[2] 国家自然科学基金面上项目:不确定环境下的计算模型与计算理论研究(2009.1-2011.12, 主持)

[3] 国家自然科学基金面上项目:格上拓扑学及其在不缺定特性的形式化研究中的应用(2006.1-2008.12, 主持)

[4] 教育部博士点基金(博导类):量化计算模型与量化模型检测的理论及其应用研究(2014.1-2016.12, 主持)

[5] 教育部博士点基金:不确定环境下的自动机理论及其应用研究(2009.1-2011.12, 主持)

获奖

[1] 李永明, 李志慧, 李平, 雷红轩, 席政军,崔丽聪,等. 不确定型系统的计算模型与推理机制研究,陕西省科学技术奖（二等）,2012.

[2] 李永明, 张德学, 李志慧,吴洪博,尚云, 罗艳斌. 格上拓扑学及其在不确定特征的数学描述中的应用,陕西省科学技术奖（二等）,2009.

[3] 曹永知,李永明, 陈国青. 不确定性系统的建模与分析，2014年度教育部高等学校科学研究优秀成果奖(二等奖), 2015.