【人物简介】

教育工作经历： 1998/09 - 2002/06，陕西师范大学，数学系，本科，导师：贾云锋 2002/09 - 2005/06，陕西师范大学，数学与信息科学学院，硕士，导师：李永明 2006/09 - 2010/12，陕西师范大学，数学与信息科学学院，博士，导师：李永明 工作经历： 2005/7 - 2008/12，陕西师范大学，数学与信息科学学院，助教 2009/1 - 2015/12，陕西师范大学，数学与信息科学学院，讲师 2015/1 - 至今，陕西师范大学，数学与信息科学学院，副教授

【研究方向】

【研究成果】

李永明，李志慧，李平，雷红轩，席政军，崔丽聪，金检华，盛莉，王鑫，不确定型系统的计算模型与推理机制研究，陕西省人民政府，二等奖，2012.

【科研项目】

1.国家自然科学基金青年项目、11301321、基于伪半环的不确定计算模型及其 应用研究、2014/01-2016/12、22万元、主持. 2. 校级项目、基于伪半环的不确定计算模型的理论研究、科研启动费、3万元、 2010/01-2011/12、主持. 3. 校级项目、基于量子逻辑的计算模型及其性质, 青年科技项目，0.65万元、 2009/01-2010/12、主持. 4. 国家自然科学基金面上项目、11271237、把不确定性用半环来描述的计算模 型、理论及其应用研究、2013/01-2016/12、60万元、参与. 5. 国家自然科学基金地区项目、61261047、基于不确定计算模型的数据世系管 理技术及其在三江源生态信息监测中的应用研究、2013/01-2016/12、45万 元、参与.

【论文著作】

[1] Ping Li, Yongming Li, Shengling Geng, The relationships among several forms of weighted finite automata over strong bimonoids, Information Sciences, 2017(402): 149-164. (SCI) [2] Haiyu Pan, Yongming Li, Yongzhi Cao, Ping Li, Nondeterministic fuzzy automata with membership values in complete residuated lattices, International Journal of Approximate Reasoning, 2017(82): 22-38. (SCI) [3] 李永明，李平. 基于量子逻辑的图灵机及其通用性[J]，计算机学报, 2012, 35(7)： 1407-1420. （权威) [4] Ping Li, Yongming Li, Algebraic properties of LA-languages, Information Sciences，2006(176): 3232-3255. (SCI) [5] Z. H. Li, P. Li, Y. M. Li, The relationships among several types of fuzzy automata, Information Sciences, 2006(176): 2208-2226. (SCI) [6] Ping Li，Yongming and S.L. Geng, The Realization Problems Related to Weighted Transducers over Strong Bimonoids, in: IEEE Internationa Conference on Fuzzy Systems 2014: 1686-1690. (EI) [7] Ping Li, Shengling Geng, Properties of the reversal of weighted finite automata over strong bimonoids based on different semantics. Proceedings of the Quantitative logic and Soft Computing 2012(QL&SC 2012), 354-361. (EI) [8] Ping Li，Yongming and S.L. Geng, Weighted Turing Machines over Strong Bimonoids, 201512th International Conference on Fuzzy Systems and Knowledge Discovery, 2015: 182-186. (EI) 专著： 李永明，李平 著，模糊计算理论，北京:科学出版社，2016.