科学研究：

研究方向：

非经典计算理论、计算智能、模糊系统分析、量子信息学、格上拓扑学。

科研项目：

已主持完成四项国家自然科学基金，主持完成教育部高等学校青年教师教学科学科研奖励计划、教育部留学回国人员科研启动经费以及973子课题各一项，目前主持国家自然科学基金和教育部博士点基金各一项。

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.

(1).研究了LOCALE商态射，LOCALE的函数空间与LOCALE的半连续函数空间构造，解决了著名拓扑学家B．Banaschewski，P．T．Johnstone 等在LOCALE理论方面提出的一些重要问题。

(2).揭示了拓扑分子格理论的整体结构，建立了拓扑分子格的函数空间理论。

(3).研究了各种广义的自由完全分配格的构造，所得构造兼容了K．H.Hofmann，M．W．Mislove 等人的相关结果。

(4).研究了QUANTALE理论与非交换线性逻辑、进程等价逻辑语义的关系，解决了理论计算机学家S.Abramasky等提出的有关进程等价的逻辑语义问题。

(5).建立了布尔型模糊系统的构造理论，从公理化与函数逼近观点研究了一般模糊系统的工作机理与实现能力。

(6).给出了简化模糊控制系统“分区域”稳定的判别定理与实现方法,研究了模糊控制系统鲁棒稳定的条件，给出了鲁棒稳定区间的估计式及其“规则库变换”实现方法。

发明专利：

1 一种在标准模型下可证安全的基于属性的签密方法 宋云;李志慧;李永明 陕西师范大学 中国专利 2016-08-29 2017-08-29

论文专著：

李永明教授已在《Journal of Pure and Applied Algebra》，《Semigroup Forum》，《Comment. Math. Univ. Carolinae》，《Algebra Universalis》，《Mathematica Slovaca》，《Fuzzy Sets and Systems》，《Information Sciences》，《International Journal of Theoretical Physics》，《International Journal of Intelligent Systems》，《Soft Computing》，《The Journal of Logic and Algebraic Programming》，《IEEE Transactions on Fuzzy Systems》，《Fundamenta Informaticae》，《International Journal of Approximate Reasoning》，《中国科学》，《数学学报》，《自动化学报》，《计算机学报》、《科学通报》，《数学年刊》，《软件学报》等杂志发表论文160余篇，其中SCI源论文50余篇。

出版专著：

1、2005年 科学出版社出版 主编 《模糊系统分析》。

发表期刊论文：

1 具有DP的广义可能性模糊时态CTL模型检测 网络首发 魏杰林; 袁申; 李永明; 梁常建 计算机科学与探索 2018-08-25

2 Sufficient Conditions of the Same State Order Induced by Coherence 张福刚; 李永明 Communications in Theoretical Physics 2018-08-01

3 Hierarchical Polygamy Inequality for Entanglement of Tsallis q-Entropy 罗宇; 李永明 Communications in Theoretical Physics 2018-05-01

4 Sequential Quantum Secret Sharing Using a Single Qudit 白晨明; 李志慧; 李永明 Communications in Theoretical Physics 2018-05-01

5 模糊线性时序逻辑的可实现性 范艳焕; 李永明 电子学报 2018-02-15

6 不确定型模糊Kripke结构的计算树逻辑模型检测 范艳焕; 李永明; 潘海玉 电子学报 2018-01-15

7 具有模糊时态的广义可能性线性时序逻辑的模型检测 梁常建; 李永明 电子学报 2017-12-15

8 广义可能性计算树逻辑的模型检测问题 梁常建; 李永明 电子学报 2017-11-15

9 Dynamics of Cohering and Decohering Power under Markovian Channels 陈明明; 罗宇; 邵连合; 李永明 Communications in Theoretical Physics 2017-11-01

10 强赋值幺半群上的加权Mealy机与加权Moore机的关系 王敏; 李永明 计算机科学与探索 2017-09-05 09:41

11 Quantum Coherence Quantifiers Based on Rényi α-Relative Entropy 邵连合; 李永明; 罗宇; 席政军 Communications in Theoretical Physics 2017-06-01

12 取值于赋值幺半群的加权上下文无关文法及其语言 王月; 李永明 模糊系统与数学 2017-02-15

13 确定型模糊多重集有限自动机的极小化 王拥兵; 李永明 计算机工程与科学 2016-12-15

14 基于决策过程的广义可能性计算树逻辑模型检测 马占有; 李永明 中国科学:信息科学 2016-11-20

15 量子测量逻辑与推理理论 林运国; 李永明 陕西师范大学学报(自然科学版) 2016-11-10

16 加权有限自动机的幺半群 王拥兵; 李永明 陕西师范大学学报(自然科学版) 2016-09-10

17 基于可能性混成自动机的CPS属性验证 陈娜; 耿生玲; 李永明; 薄玮 陕西师范大学学报(自然科学版) 2016-09-10

18 直觉模糊测度的计算树逻辑 鱼先锋; 李超; 李永明 计算机科学与探索 2016-08-19 09:32

19 广义可能性计算树逻辑和计算树逻辑的关系 李丹; 李永明 计算机科学与探索 2016-08-19 09:32

20 取值于赋值幺半群的加权正则文法语言 赵菲; 李永明 计算机工程与科学 2016-07-15

21 广义可能线性时序逻辑的自动机方法 张博; 李永明 内江师范学院学报 2016-06-25

22 格值代数系统的解分析 张孟青; 李永明 模糊系统与数学 2016-06-15

23 信道噪声对量子信息分离的影响 白晨明; 李永明 计算机科学 2016-04-15

24 模糊集的逻辑等价相似度 段景瑶; 李永明 陕西师范大学学报(自然科学版) 2016-01-10

25 基于可能性混成自动机的CPS建模方法 陈娜; 耿生玲; 李永明; 张胜礼 西安邮电大学学报 2016-01-10

26 Quantitative computational tree logic model checking based on generalized possibility measures, Yongming  Li, Zhanyou Ma.  IEEE Transactions on Fuzzy Systems.2015,Online, http://dx.doi.org/10.1109/TFUZZ.2015.2396537. (SCI期刊)

27 Computation tree logic model checking based on possibility measures, Yongming Li, Yali Li, Zhanyou Ma,  Fuzzy Sets and Systems, 2015, 262,44–59.(SCI期刊)

28 Model checking fuzzy computation tree logic. Haiyu Pan, Yongming Li*, Yongzhi Cao, Zhanyou Ma. Fuzzy Sets and Systems 2015,262:60-77.(SCI期刊)  

29 On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras,Guan Xuechong, Li Yongming*,   Theoretical Computer Science, 2015,563, 86–98.(SCI期刊)

30 基于安全性检测的广义量子Loop程序终止验证 林运国; 李永明 中国科学:信息科学 2015-12-20

31 加权自动机的极小确定化 庞美玲; 李永明 模糊系统与数学 2015-12-15

32 开放量子行走:概率分布与中心极限定理 林运国; 李永明 计算机学报 2015-11-17 23:30

33 广义可能性决策过程的计算树逻辑模型检测 马占有; 李永明 计算机工程与科学 2015-11-15

34 Exogenous量子马尔可夫链及其可达性分析 林运国; 李永明 软件学报 2015-11-11 17:04

35 模糊正则语言的拓扑性质 王拥兵; 李永明 模糊系统与数学 2015-08-15

36 Pebble模糊有穷自动机和传递闭包逻辑 范艳焕; 耿生玲; 李永明 模糊系统与数学 2015-08-15

37 可逆加权树自动机 魏秀娟; 李永明 模糊系统与数学 2015-08-15

38 广义可能性计算树逻辑的两种范式 赵杰; 李永明 计算机科学与探索 2015-08-13 16:53

39 否定知识的代数表示及在模糊系统设计中的应用 张胜礼; 李永明 计算机学报 2015-07-22 11:58

40 广义模糊集GFScom在模糊综合评判中的应用 张胜礼; 李永明 计算机科学 2015-07-15

41 广义可能性计算树逻辑的不动点语义 邓楠轶; 张兴兴; 李永明 陕西师范大学学报(自然科学版) 2015-07-10

42 藏语语音合成单元选择 才让卓玛; 李永明; 才智杰 软件学报 2015-06-15

43 转移函数保半环赋值代数轮廓解的条件 许格妮; 李永明 山东大学学报(理学版) 2015-05-20 10:59

44 广义可能性互模拟及其逻辑刻画 张兴兴; 邓楠轶; 马占有; 李永明 计算机工程与科学 2015-05-15

45 基于软集的无标记信息代数模型与算法 许格妮; 李永明; 管雪冲 软件学报 2015-05-15

46 基于Mealy机的藏文字构件分解 才让卓玛; 李永明; 才智杰 电子学报 2015-05-15

47 模糊D0L幂级数 师瑕娟; 李永明 模糊系统与数学 2015-02-15

48 基于广义可能性测度的可达性问题的模型检测 马占有; 李永明 模糊系统与数学 2014-12-15

49 线性时序逻辑基于DTMC的计量化方法 时慧娴; 李永明 山东大学学报(理学版) 2014-12-02 15:03

50 半环诱导赋值代数的轮廓解 许格妮; 李永明; 张云 吉林大学学报(理学版) 2014-11-26

51 量子马尔可夫链安全性模型检测 林运国; 雷红轩; 李永明 电子学报 2014-11-15

52 可能LTL模型检测的两种方法 李永明 陕西师范大学学报(自然科学版) 2014-11-10

53 Monogamy of Measurement-Induced Nonlocality Based on Relative Entropy 罗宇; 席政军; 李永明 Communications in Theoretical Physics 2014-11-01

54 约束半环诱导的赋值代数的轮廓解及其算法 许格妮; 李永明; 张云 数学杂志 2014-10-22 14:34

55 含至多四个参与者的量子秘密共享方案的最优信息率 宋云; 李志慧; 李永明 电子学报 2014-10-15

56 基于可能性测度的工程管理决策的研究 李召妮; 马占有; 李永明 计算机科学 2014-08-15

57 极小特权数组上的理想多秘密共享方案 宋云; 李志慧; 李永明 中国科学:信息科学 2014-05-20

58 格值模糊自动机及对应语言的分级 薛倩倩; 李永明 陕西师范大学学报(自然科学版) 2014-05-10

59 量子Müller自动机与单体二阶量子逻辑 韩召伟; 李永明 软件学报 2014-01-15

60  Model checking of linear-time properties based on possibility measure, Yongming Li, Lijun Li,  IEEE Transactions on Fuzzy Systems, 2013, 21, 842-854.(SCI检索，JCR 一区，TOP期刊)

61 不完备决策软集与优势可信规则获取 耿生玲; 李永明; 刘震 计算机工程与科学 2013-12-15

62 可能性测度下计算树逻辑的若干性质 李亚利; 李永明 陕西师范大学学报(自然科学版) 2013-11-10

63 测量诱发的关联分布 席政军; 李永明 中国科学:物理学 力学 天文学 2013-09-20

64 模糊Büchi自动机的等价刻画 韩召伟; 李永明 计算机学报 2013-06-15

65 量子最弱自由前置条件的交换性及其性质 雷红轩; 席政军; 李永明 软件学报 2013-05-15

66 格值有穷自动机和单体二阶格值逻辑 范艳焕; 李永明 模糊系统与数学 2013-04-15

67 可逆模糊自动机 李琳; 李永明 模糊系统与数学 2013-04-15

68 广义量子Loop程序的若干性质 雷红轩; 席政军; 李永明 电子学报 2013-04-15

69 关联规则挖掘的软集包含度方法 耿生玲; 李永明; 刘震 电子学报 2013-04-15

70 Remark on the One-Way Quantum Deficit for General Two-Qubit States 邵连合; 席政军; 李永明 Communications in Theoretical Physics 2013-03-15

71 基于极小线性码上的秘密共享方案 宋云; 李志慧; 李永明 电子学报 2013-02-15

72 基于直觉模糊的满意度计算模型 鱼先锋; 李永明 计算机科学 2013-01-15

73 Measurement-induced nonlocality based on relative entropy, Zhengjun Xi , Xiaoguang Wang and Yongming Li, Phys. Rev. A， 2012, 85, 042325.(SCI、EI 检索)

74 通用模糊自动机 王茜; 李永明 模糊系统与数学 2012-12-15

75 几种量子程序终止的有效验证 雷红轩; 席政军; 李永明 计算机科学 2012-11-15

76 多处理器任务调度算法TDS的建模与验证 李召妮; 雷丽晖; 李永明 计算机科学 2012-11-15

77 伪加权转换器及其延迟函数的实现化 李平; 李永明 计算机工程与应用 2012-10-21

78 模糊剩余自动机 张福刚; 李永明 模糊系统与数学 2012-10-15

79 模糊代数系统 张孟青; 李永明 模糊系统与数学 2012-10-15

80 基于可能性测度的计算树逻辑CTL~*与可能性互模拟 邓辉; 薛艳; 李亚利; 李永明 计算机科学 2012-10-15

81 基于量子逻辑的图灵机及其通用性 李永明; 李平 计算机学报 2012-07-15

82 基于关联方向测量的量子关联 席政军; 雷红轩; 李永明 中国科学:物理学 力学 天文学 2012-05-20

83 Pairwise Quantum Correlations for Superpositions of Dicke States 席政军; 熊恒娜; 李永明; 王晓光 Communications in Theoretical Physics 2012-05-15

84 Finite automata theory with membership values in lattices, Yongming Li,  Information Sciences, 2011, 181(5)：1003-1017.(SCI、EI 检索)

85 伪加权Mealy机与伪加权Moore机的关系 李平; 李永明 模糊系统与数学 2011-12-15

86 基于测量的量子线路 席政军; 李永明 计算机研究与发展 2011-11-15

87 伪加权转换器的极小确定实现化 李平; 李永明 陕西师范大学学报(自然科学版) 2011-11-10

88 基于可能性测度的计算树逻辑 薛艳; 雷红轩; 李永明 计算机工程与科学 2011-09-15

89 参数化的广义量子通用相位门 王鑫; 席政军; 李永明; 李小鹏 计算机工程与应用 2011-06-21

90 广义量子Loop程序初探 李小鹏; 席政军; 李永明 计算机工程与应用 2011-05-19 15:59

91 单道批处理系统的建模与验证 鱼先锋; 雷丽晖; 李永明 计算机科学 2011-04-15

92 基于量子逻辑的几类有穷自动机之间的关系 李平; 李永明 工程数学学报 2011-04-15

93 软集决策信息系统的属性约简 耿生玲; 李永明; 冯峰 小型微型计算机系统 2011-04-15

94 连续信息代数 管雪冲; 李永明 模糊系统与数学 2011-02-15

95 基于通信延迟模糊离散事件系统的可靠分散控制的注记 李婷; 李璐; 李永明 内江师范学院学报 2011-02-15

96 量子上下文无关文法的代数性质 宋小震; 韩召伟; 李永明 计算机工程与应用 2011-01-24 14:21

97 投影问题的序关系研究 管雪冲; 李永明 陕西师范大学学报(自然科学版) 2011-01-10

98 半环诱导的赋值代数的解轮廓和解扩展 管雪冲; 李永明 计算机工程与应用 2010-12-11

99 信管专业的现状与改革 雷秀娟; 李永明; 吴振强 计算机教育 2010-11-10

100 计量逻辑学中的近似推理 韩邦合; 李永明 模糊系统与数学 2010-10-15

101 基于量子逻辑的下推自动机与上下文无关文法 韩召伟; 李永明 软件学报 2010-09-15

102 加权Moore机的同余与最小化 李苏妮; 李天朝; 李永明 计算机工程与科学 2010-09-15

103 取值于完备格的同步机及其最小实现化 李平; 李永明 计算机工程与应用 2010-06-21

104 伪的弱效应代数的同余和理想 郭建胜; 李永明 陕西师范大学学报(自然科学版) 2010-05-10

105 基于模糊数的证券投资组合最优化模型 金检华; 李永明; 李春泉 重庆工商大学学报(自然科学版) 2010-02-20

106 区间效应代数的张量积 颉永建; 李永明 数学进展 2010-02-15

107 基于量子逻辑的有穷自动机与单体二阶量子逻辑 李永明 中国科学 F辑：信息科学,2009, 39(11)，1135-1145.(特级) 2009-11-20

108 计量逻辑学中的收敛理论 韩邦合; 李永明 计算机工程与应用 2009-10-21

109 量子Mealy自动机和量子Moore自动机的等价 席政军; 王鑫; 李永明 计算机研究与发展 2009-09-15

110 分配序列效应代数的理想和同余 郭建胜; 李永明 计算机工程与应用 2009-09-01

111 模糊有穷自动机的互模拟关系 孙丹丹; 李永明; 杨文武 模糊系统与数学 2009-08-15

112 计量逻辑学中的误差累计理论 韩邦合; 李永明 计算机工程与应用 2009-08-11

113 基于隶属模糊二元语义的群决策方法 罗敏楠; 李永明 模糊系统与数学 2009-06-15

114 关于Scott开滤子拓扑核紧性的注记 奚小勇; 李永明 模糊系统与数学 2009-04-15

115 部分可换半群的子代数与同余关系 颉永建; 李永明 计算机工程与应用 2009-04-11

116 区间值三角模左连续的充要条件 宋佳; 罗敏楠; 李永明 山东大学学报(理学版) 2009-03-16

117 Approximation and robustness of fuzzy finite automata, Li Y.M.,  International Journal of Approximate Reasoning, 47(2008), 247-257.

118 Fuzzy Turing machines: variants and universality, Li Y.M.,  IEEE Transactions on Fuzzy Systems，16（2008），1491-1502. .(SCI、EI 检索)

119 模糊正则文法的逼近性 王拥兵; 李永明 模糊系统与数学 2008-12-15

120 由可精确测量元控制的弱可换的伪效应代数 颉永建; 李永明 计算机工程与应用 2008-12-01

121 Domain函数空间上的Isbell拓扑和Scott拓扑的一致性(英文) 奚小勇; 李永明 数学研究与评论 2008-11-15

122 基于量子逻辑的下推自动机的代数刻画 韩召伟; 李永明 计算机工程与科学 2008-11-15

123 格值树自动机与格值上下文无关树文法的等价性 杨文武; 李永明; 孙丹丹 计算机工程与科学 2008-11-15

124 模糊有穷自动机与单体二阶Lukasiewicz逻辑 李永明 计算机学报 2008-10-15

125 模糊推理系统的鲁棒性 金检华; 李永明; 李春泉 模糊系统与数学 2008-10-15

126 Max-Lukasiewicz复合推理下的模糊图灵机 张小伟; 李永明 模糊系统与数学 2008-10-15

127 模糊图灵机的逼近性与通用性 李永明 中国科学(E辑:信息科学) 2008-08-15

128 基于G del蕴涵算子的导出算子的n值逻辑系统 杨春志; 李永明 纺织高校基础科学学报 2008-03-30

129 正交混合态的局域分辨 任林源; 李永明 吉林大学学报(理学版) 2008-03-26

130 基于量子纯态纠缠转化的一种算法 任林源; 李得超; 李永明 计算机工程与应用 2008-01-21

131 N-可分效应代数 颉永建; 李永明; 任林源 计算机研究与发展 2008-01-15

132 标度广义效应代数与标度效应代数的结构 李永明   数学学报   51(5)(2008)

133 布尔型模糊系统逼近的充分条件 李得超; 史忠科; 李永明 控制与决策 2007-12-15

134 量子态转化的一些数学性质 任林源; 李永明 西北大学学报(自然科学版) 2007-10-25

135 基于两体量子正交纠缠态集的局域删除 任林源; 李得超; 李永明 计算机工程与应用 2007-10-21

136 RCC11复合表的表示(英文) 李永明; 李三江 软件学报 2007-10-15

137 离散系统与模糊离散系统控制性之间的关系 刘俊萍; 李永明; 孙鹏岗 纺织高校基础科学学报 2007-09-30

138 有限制的通用模糊图灵机研究 李永明 陕西师范大学学报(自然科学版) 2007-09-05

139 量子信息的删除和克隆 任林源; 李永明 计算机工程与应用 2007-08-11

140 格值Mealy自动机的同余和同态 韩召伟; 李永明 模糊系统与数学 2007-04-15

141 模糊数学方法在出版社资源优化配置中的应用 金检华; 李永明; 李春泉 重庆工商大学学报(自然科学版) 2007-02-28

142 Pedrycz W., The equivalence between fuzzy Mealy and fuzzy Moore machines, Li Y.M.,  Soft Computing, 10(2006), 953 – 959.

143 LexiT序方法的推广 崔丽聪; 李永明 陕西师范大学学报(自然科学版) 2006-12-05

144 同步格值自动机的约简和最小化算法 雷红轩; 李永明 计算机工程与应用 2006-06-01

145 布尔型模糊系统的逼近精度分析(英文) 李得超; 李永明 模糊系统与数学 2006-04-30

146 Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids, Li Y.M., Pedrycz W.,  Fuzzy Sets and Systems, 156(2005), 68-92. .(SCI、EI 检索)

147 An approach to measure the robustness of fuzzy reasoning, Li Y.M., Li D.C., Pedrycz W., Wu J.J.,  International Journal of Intelligent Systems, 20(2005), 393-413.

148 几类格值自动机的关系 李平; 李永明 模糊系统与数学 2005-09-28

149 max-zero t-模复合意义下的模糊矩阵幂序列的收敛性 焦烨; 李永明 模糊系统与数学 2005-06-28

150 格值正则文法及其语言的性质 盛莉; 李平; 李永明 陕西师范大学学报(自然科学版) 2005-06-05

151 基于QL-蕴涵的Min-implication模糊关系方程的分解与求解 罗艳斌; 李永明 陕西师范大学学报(自然科学版) 2005-06-05

152 基于max-product复合的模糊矩阵幂序列的收敛性 焦烨; 李永明 工程数学学报 2005-04-30

153 格值正则语言的性质 盛莉; 雷红轩; 李永明 纯粹数学与应用数学 2005-03-30

154 模糊控制系统的镇定性能 吴静杰; 李永明 陕西师范大学学报(自然科学版) 2004-12-05

155 两类具有输出字符功能的模糊自动机的关系 雷红轩; 李永明 计算机工程与应用 2004-12-01

156 θ-Fuzzy关系方程的分解与求解 罗艳斌; 李永明 模糊系统与数学 2003-12-28

157 Locale的函数空间 李永明 数学年刊A辑(中文版) 2003-12-25

158 格值自动机与语言 李永明 陕西师范大学学报(自然科学版) 2003-12-05

159 内射拓扑分子格 李永明; 张德学 数学学报 2003-09-15

160 Projective objects and injective objects in the category of quantales, Li Y.M., Zhou M., Li Z.H.,  J. Pure and Appl. Alg., 176(2002), 249-258.

161 非可换线性逻辑及其Quantale语义 李永明 陕西师范大学学报(自然科学版) 2001-06-05

162 对偶Quantale及其性质 李永明 陕西师范大学学报(自然科学版) 2001-03-05

163 Limit分子格 李永明; 李志慧 数学学报 2001-01-15

164 Constructive insertion theorems and extension theorems over extremely disconnected locales， Li Y.M., Li Z.H., Algebra Universalis, 44(2000), 271-281.

165 模糊控制的镇定性能 李永明 工程数学学报 2000-12-30

166 渐近稳定性与模糊控制 李永明 陕西师范大学学报(自然科学版) 2000-09-05

167 Quantale与互模拟的进程语义 李永明; 李志慧 数学学报 1999-03-15

168 Generalized （S，I）-complete free completely distributive lattices generated by posets，Li Y.M.,  Semigroup Forum，57(1998)，240-248.

169 拓扑空间范畴、拓扑FUZZ范畴与拓扑分子格范畴间的反射与余反射 李永明; 王国俊 数学学报 1998-07-15

170 拓扑分子格范畴与相关范畴的关系 王国俊; 李永明 科学通报 1997-02-23

171 可连通逼近locale及其在Frm中的反射 李永明 陕西师范大学学报(自然科学版) 1996-03-05

172 一致分子格及其性质 李永明 陕西师大学报(自然科学版) 1995-06-05

173 良紧性的LF完全聚点特征 李永明 模糊系统与数学 1994-09-15

174 L-Fuzzy闭图象与强闭图象理论 李永明 模糊系统与数学 1991-12-31

175 格值下半连续函数的几个问题 李永明 科学通报 1991-10-28

176 诱导空间的分子网收敛特征 李永明 陕西师大学报(自然科学版) 1991-07-02

会议论文：

1 一些量子结构的构造和Fuzzy有效空间 尚云; 李永明 第12届全国模糊系统与模糊数学学术年会 中国会议 2004-06-30

2 模糊系统的分区域渐近稳定性分析 李永明; 李全良 中国系统工程学会模糊数学与模糊系统委员会第十届年会 中国会议 2000-10-01

荣誉奖励：

1、陕西省教育工委优秀党员称号（2006，2014）。

2、陕西省优秀博士论文导师奖（2008，2014）。

3、陕西省高等学校科技进步奖一等奖3项（1999，2008，2010）。

4、陕西省科学技术奖二等奖2项（2009，2011）、三等奖1项（2014）。

5、教育部高等学校科学研究优秀成果奖自然科学奖二等奖1项（2014）。

6、1997年获陕西省科技进步奖二等奖（第一完成人）。

7、1999年获得陕西省教委科技进步一等奖一项。

8、2002年政府特殊津贴获得者。

9、2002年 获得教育部第三届“高校青年教师奖”。