教授
李永明
职称/职务:教授/图书馆馆长
电话:029-85310118,029-85308494
个人主页:
电子信箱:liyongm@snnu.edu.cn
研究方向:非经典计算理论、计算智能、模糊系统分析、量子信息学、格上拓扑学
办公地点: 图书馆三层

个人简介

李永明  陕西省大荔县人,二级教授,博士生导师。于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担任陕西师范大学计算机科学学院院长,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.

                        

点击量: 最近更新时间:2016/09/18 16:51:12