基本情况
于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.**.
[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.**.
[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余项。
目前主持:基于不确定测度的定量时序逻辑的表示与可判定性研究(),国家自然科学基金,2017.1-2020.12。
教育科研奖励
曾获得陕西省教育工委优秀党员称号(2006,2014),陕西省优秀博士论文导师奖(2008,2014),陕西省高等学校科技进步奖一等奖(1999,2008,2010,2018),陕西省科学技术奖二等奖(2009,2011)、三等奖(2014),教育部高等学校科学研究优秀成果奖自然科学奖二等奖(2014)。
上一条:李艳玲 下一条:李志慧
【关闭】
删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
陕西师范大学数学与统计学院导师教师师资介绍简介-李永明
本站小编 Free考研考试/2021-07-04
相关话题/陕西师范大学 数学
陕西师范大学数学与统计学院导师教师师资介绍简介-李愿
基本情况1995.9-1999.7,西安文理学院,数学系,学士2001.9-2004.7,陕西师范大学,数学与信息科学学院,硕士2004.9-2007.7,陕西师范大学,数学与信息科学学院,博士2009.9-2010.7,复旦大学,数学学院,访问****2012.9-2013.9,英国约克大学,数学 ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04陕西师范大学数学与统计学院导师教师师资介绍简介-梁菊花
基本情况工作经历2019.12——今陕西师范大学,教授2014.12——2019.12陕西师范大学,副研究员2013.11——2014.12陕西师范大学,讲师学习经历2012.9——2013.9YorkUniversity,联合培养博士2010.9——2012.9陕西师范大学,联合培养博士2007. ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04陕西师范大学数学与统计学院导师教师师资介绍简介-李志慧
基本情况1985-1989年于陕西师范大学数学系读本科,获学士学位;1989-1992年于陕西师范大学数学系攻读硕士学位,研究方向为群论,获理学硕士学位;1999-2003年于西北工业大学计算机学院攻读博士学位,研究方向为计算机软件与理论,获工学博士学位;1993至今在陕西师范大学数学系工作。代表性 ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04陕西师范大学数学与统计学院导师教师师资介绍简介-舒洪英
基本情况研究工作经历1.2018年4月-至今陕西师范大学,****,博士生导师2.2014年12月-2018年4月同济大学,领航人才特聘研究员,博士生导师。3.2013年7月-2014年9月博士后研究员、讲师,加拿大瑞尔森大学(RyersonUniversity)和约克大学(YorkUniversi ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04陕西师范大学数学与统计学院导师教师师资介绍简介-聂华
基本情况聂华,教授、博士生导师,长期从事反应扩散模型和生物数学的研究。2006年7月于陕西师范大学数学与信息科学学院获得基础数学博士学位。2010年9月至2011年9月赴美国明尼苏达大学数学学院留学一年,2015年9月至12月赴澳大利亚新英格兰大学合作研究,2012年8月、2016年8月两次赴台湾清 ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04陕西师范大学数学与统计学院导师教师师资介绍简介-王光生
基本情况1966年生人,博士,硕士研究生导师,研究方向为课程与教学论、现代教育技术、教师教育等。1989年毕业于北京师范大学数学系,获理学学士学位;2000年毕业于陕西师范大学数学系,获教育硕士学位;2007年毕业于北京师范大学教育技术学院,获理学博士学位;2011年于澳大利亚埃蒂斯克文大学进行了为 ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04陕西师范大学数学与统计学院导师教师师资介绍简介-唐三一
基本情况教育经历:09/2000-04/2003,中国科学院数学与系统科学研究院数学所,获理学博士学位指导教师:陈兰荪研究员研究方向:动力系统、生物数学数学软件:Maple,Matlab,XppAuto博士论文:脉冲半动力系统及其在生物资源管理中的应用研究09/1995-07/1998,陕西师范大学 ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04陕西师范大学数学与统计学院导师教师师资介绍简介-魏广生
基本情况2001年6月毕业于西安交通大学,获应用数学博士学位,2001年9月至2004年10月在西安交通大学应用力学博士后流动站工作,曾多次应邀去台湾中山大学、中科院数学研究所等学术访问.先后主持完成4项国家自然科学基金面上项目、陕西省自然科学基金和国家博士后基金项目各一项.已发表学术论文80余篇, ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04陕西师范大学数学与统计学院导师教师师资介绍简介-王拓
待更新上一条:唐三一下一条:魏广生【关闭】 ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04陕西师范大学数学与统计学院导师教师师资介绍简介-吴保卫
待更新...上一条:魏广生下一条:吴洪博【关闭】 ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04