欢迎光临电竞竞猜!   

设为首页 | 加入收藏 | 联系我们 | 怀念旧版
教授
    教授
    副教授
    讲师
    师资博士后
    其他人员
推荐新闻  
游旭群副校长参加电子竞技竞猜平台201...
电竞竞猜年度学术报告会顺利召开
2016年度电竞竞猜基金资助成绩喜...
电竞竞猜2016年获12项国家自然科...
电竞竞猜卓越教师实验班学生走进...
电子竞技竞猜平台换届选举大会顺利举行
李三平老师在2015年全省基础...
您现在的位置: 首页 > 师资队伍 > 教授 > 正文

李永明            教授      
姓名: 李永明
性别:
职称: 教授(博导)
职务:
E-mail: 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月、2019年2月-2019年3月在澳大利亚University of Technology Sydney开展合作研究,2014年5月在德国莱比锡大学以“莱布尼兹科学家”身份访问与合作研究,2018年9月在美国University of Kentucky访问和合作研究。在科学出版社出版专著两部,在国内外著名杂志发表论文300余篇,其中《SCI》源期刊论文100余篇。
论文、专著:

[1]Li Yongming, Wei Jielin, Possibilistic fuzzy linear temporal logic and its model checking, IEEE Transactions on Fuzzy Systems, DOI 10.1109/TFUZZ.2020.2988848.

[2]Li Yongming, Lei Lihui, Li Sanjiang, Computation tree logic model checking via multi-valued possibility measures, Information Sciences, 485(2019)87–113.

[3]Li Yongming, Quantitative model checking of linear-time properties based on generalized possibility measures, Fuzzy Sets and System,320(2017)17-39.

[4]Li Yongming, Manfred Droste, Lei Lihui, Model checking of linear-time properties in multi-valued systems, Information Sciences, 377(2017)51-74.20160101.

[5]Yang Chao, Li Yongming, Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures,Fuzzy Sets and  System, 391 (2020) 72–95.

[6]Yang Chao, Li Yongming, -Bisimulation relations of fuzzy automata, IEEE Transactions on Fuzzy Systems, 26(4)(2018)2017-2029.

[7]Mou Haijin, Li Yongming, Quantum uncertainty relations of two quantum relative entropies of coherence,Physical Review A, 102(2020) 022217/1-9.

[8]Luo Yu, Li Yongming, Min-Hsiu Hsieh,Inequivalent multipartite coherence classes and two operational coherence monotones, Physical Review A,  99 (2019), 042306:1-11.

[9]Jiri Janda, li Yongming, The sum of observables on a sigma-distributive lattice effect algebra, Soft Computing, 23(1)(2019) 6743-6753.

[10]Zhang Fugang, Li Yongming, Quantum uncertainty relations of two generalized relative entropies of coherence, Science China-Physics, Mechanics & Astronomy,61(8)(2018) 080312.

[11]Zhang Fugang, Shao Lianhe, Luo Yu, Li Yongming, Ordering states with Tsallis relative α-entropies of coherence, Quantum Information Processing,16(1)(2017), Article 31.

[12]Wei Xiujuan, Li Yongming, Fuzzy alternating automata over distributive lattices, Information Sciences, 425 (2018) 34–47.

[13]Wei Xiujuan, Li Yongming, Fuzzy alternating Buchi automata over distributive lattices, International Journal of Approximate Reasoning, 90(2017) 144-162.

[14]Guan Xuechong, Li Yongming, Kohlas Jueger,  On conditions for semirings to induce compact information algebras, Mathematical Structures in Computer Science, 27(2017)460–469.

[15]Kong Shufen, Li Sanjiang, Li Yongming, Long Zhiguo, On tree-preserving constraints, Annals of Mathematics and Artificial Intelligence,81(5)(2017) 241-271.

[16]Pan Haiyu, Li Yongming, Cao Yongzhi,Ma Zhanyou, Model checking computation tree logic over finite lattices, Theoretical Computer Science, 612(2016) 45–62.

科研项目:

主持973项目子课题、国家自然科学基金、教育部高等学校博士点基金、教育部优秀青年教师教学科研奖励计划、教育部留学人员启动经费等项目10余项。

目前主持:

基于不确定测度的定量时序逻辑的表示与可判定性研究(111671244),国家自然科学基金,2017.1-2020.12。

各种奖励:

曾获得陕西省教育工委优秀党员称号(2006,2014),陕西省优秀博士论文导师奖(2008,2014),陕西省高等学校科技进步奖一等奖(1999,2008,2010,2018),陕西省科学技术奖二等奖(2009,2011)、三等奖(2014),教育部高等学校科学研究优秀成果奖自然科学奖二等奖(2014)。

讲授课程:

历届指导研究生:

电竞竞猜
地址:西安市长安区西长安街620号       邮编:710119 
邮箱:maths@snnu.edu.cn 电话:029-85310232 传真:029-85310277 

版权信息:电竞竞猜-电子竞技竞猜平台