欢迎光临澳门新葡平台app官网!   

教授
当前位置: 首页 > 师资队伍 > 教授 > 正文
  • 姓名:李永明
  • 性别:男
  • 职称:教授
  • 职务:院长
  • E-mail:liyongm@snnu.edu.cn
  • 工作室:
性别 职称 教授
职务 院长 邮箱 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源期刊论文150余篇。

代表性学术论文

  • [1] Yongming Li, Wuniu Liu, Junmei Wang, Xianfeng Yu, Chao Li, Model checking of possibilistic linear-time properties based on generalized possibilistic decision processes, IEEE Transactions on Fuzzy Systems, DOI 10.1109/TFUZZ.2023.3260446.

  • [2] Yongming Li, Qian Wang, Sanjiang Li, On quotients of formal power series, Information and Computation, 2022, 285: 104874 (1-28).

  • [3] Yongming Li, Jielin Wei, Possibilistic fuzzy linear temporal logic and its model checking. IEEE Transactions on Fuzzy Systems, 2021, 29(7):1899-1913.

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

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

  • [6] Yongming Li, D. Manfred, Lihui Lei, Model checking of linear-time properties in multi-valued systems, Information Sciences, 2017, 377: 51-74.

  • [7] Yongming Li, Yali Li, Zhanyou Ma, Computation tree logic model checking based on possibility measures, Fuzzy Sets and Systems, 2015, 262: 44–59.

  • [8] Yongming Li, Zhanyou Ma, Quantitative computational tree logic model checking based on generalized possibility measures, IEEE Transactions on Fuzzy Systems, 2015, 23(6): 2034- 2047.

  • [9] Yongming Li, Lijun Li, Model checking of linear-time properties based on possibility measure, IEEE Transactions on Fuzzy Systems, 2013, 21(5): 842-854.

  • [10] Yongming Li, W. Pedrycz, Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids, Fuzzy Sets and Systems, 2005, 156: 68-92.

  • [11] Yongxu Liu, Ruonan Ren, Ping Li, Mingfei Ye, Yongming Li, Quantum violation of average causal effects in multiple measurement settings, Physical Review A, 2022, 106: 032436.

  • [12] Ruonan Ren, Ping Li, Mingfei Ye, Yongming Li, Tighter sum uncertainty relations based on metric-adjusted skew information, Physical Review A, 2021, 104: 052414.

  • [13] Haijin Mu, Yongming Li, Quantum uncertainty relations of two quantum relative entropies of coherence,Physical Review A, 2020, 102: 022217.

  • [14] Yu Luo, Yongming Li, Min-Hsiu Hsieh, Inequivalent multipartite coherence classes and two operational coherence monotones, Physical Review A, 2019, 99: 042306.

  • [15] Lianhe Shao, Zhengjun Xi, Heng Fan, Yongming Li, Fidelity and trace-norm distances for quantifying coherence, Physical Review A, 2015, 91: 042120.

  • [16] Xuechong Guan, Yongming Li, J. Kohlas, On conditions for semirings to induce compact information algebras, Mathematical Structures in Computer Science, 2017, 27:460-469.

  • [17] Xuechong Guan, Yongming Li, On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras, Theoretical Computer Science, 2015, 563: 86–98.

  • [18] Shufeng Kong, Sanjiang Li, Zhiguo Long, Yongming Li, On tree-preserving constraints, Annals of Mathematics and Artificial Intelligence, 2017, 81(3-4): 241-271.

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

  • [20] 林运国, 李永明, 基于安全性检测的广义量子Loop程序终止验证, 中国科学:信息科学, 2015, 45(12): 1615–1631.

教育科研项目

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

  • 目前主持:含不确定时态的定量时序逻辑及其检测问题研究(12071271),国家自然科学基金,2021.1-2024.12。

教育科研奖励

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

上一条:李艳玲 下一条:李志慧

关闭