專家信息：

李永明，男，漢族，1966年3月生，陜西省大荔縣人，二級(jí)教授，博士生導(dǎo)師。 現(xiàn)任陜西師范大學(xué)圖書館館長(zhǎng)。 2001年政府特殊津貼獲得者，曾獲得2002教育部第三屆“高校青年教師獎(jiǎng)”（教育部高層次人才獎(jiǎng)勵(lì)計(jì)劃），陜西省三秦人才津貼獲得者。

擔(dān)任國(guó)際IEEE計(jì)算智能模糊系統(tǒng)技術(shù)委員會(huì)委員，中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)副主任委員，全國(guó)運(yùn)籌學(xué)會(huì)智能計(jì)算學(xué)會(huì)副理事長(zhǎng)，全國(guó)高等師范學(xué)校計(jì)算機(jī)教育委員會(huì)副理事長(zhǎng)，中國(guó)計(jì)算機(jī)學(xué)會(huì)理論計(jì)算機(jī)學(xué)會(huì)理事，陜西省計(jì)算機(jī)學(xué)會(huì)常務(wù)理事，CCF（中國(guó)計(jì)算機(jī)學(xué)會(huì)）西安分部執(zhí)委。曾任多個(gè)國(guó)際會(huì)議的大會(huì)主席、程序委員會(huì)主席、組織委員會(huì)主席，以及委員，并多次做特邀大會(huì)報(bào)告。在科學(xué)出版社出版專著《模糊系統(tǒng)分析》一部，在國(guó)內(nèi)外著名雜志發(fā)表論文200余篇，其中SCI源期刊論文90余篇。承擔(dān)973項(xiàng)目子課題、國(guó)家自然科學(xué)基金、教育部高等學(xué)校博士點(diǎn)基金、教育部?jī)?yōu)秀青年教師教學(xué)科研獎(jiǎng)勵(lì)計(jì)劃、教育部留學(xué)人員啟動(dòng)經(jīng)費(fèi)等項(xiàng)目10余項(xiàng)。曾獲得陜西省教育工委優(yōu)秀黨員稱號(hào)（2006，2014），陜西省優(yōu)秀博士論文導(dǎo)師獎(jiǎng)（2008，2014），陜西省高等學(xué)�？萍歼M(jìn)步獎(jiǎng)一等獎(jiǎng)3項(xiàng)（1999，2008，2010），陜西省科學(xué)技術(shù)獎(jiǎng)二等獎(jiǎng)2項(xiàng)（2009，2011）、三等獎(jiǎng)1項(xiàng)（2014），教育部高等學(xué)�？茖W(xué)研究?jī)?yōu)秀成果獎(jiǎng)自然科學(xué)獎(jiǎng)二等獎(jiǎng)1項(xiàng)（2014）。

教育及工作經(jīng)歷：

1988年與1991年在陜西師范大學(xué)數(shù)學(xué)系獲得學(xué)士與碩士學(xué)位。

1996年在四川大學(xué) 獲得理學(xué)博士學(xué)位。

1999年在西北工業(yè)大學(xué)博士后流動(dòng)站出站，同年晉升教授。

2001年3月起擔(dān)任陜西師范大學(xué)基礎(chǔ)數(shù)學(xué)專業(yè)博士研究生導(dǎo)師。

2006年7月起擔(dān)任陜西師范大學(xué)計(jì)算機(jī)軟件與理論專業(yè)博士研究生導(dǎo)師。

2002年3月到6月在清華大學(xué)計(jì)算機(jī)系作高級(jí)訪問學(xué)者。

2003年8月到2004年8月在加拿大Alberta大學(xué)計(jì)算機(jī)工程系做訪問學(xué)者。

2011年12月-2012年1月、2015年 1-2015年2月在澳大利亞University of Technology Sydney合作研究

2014年5月在德國(guó)萊比錫大學(xué)以“萊布尼茲科學(xué)家”身份訪問與合作研究。

2005.4-2014.12擔(dān)任陜西師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院院長(zhǎng)。

2015.4至今擔(dān)任陜西師范大學(xué)圖書館館長(zhǎng)。

學(xué)術(shù)兼職：

1、國(guó)際IEEE計(jì)算智能模糊系統(tǒng)技術(shù)委員會(huì)委員。

2、中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)副主任委員。

3、全國(guó)運(yùn)籌學(xué)會(huì)智能計(jì)算學(xué)會(huì)副理事長(zhǎng)。

4、全國(guó)高等師范學(xué)校計(jì)算機(jī)教育委員會(huì)副理事長(zhǎng)。

5、中國(guó)計(jì)算機(jī)學(xué)會(huì)理論計(jì)算機(jī)學(xué)會(huì)理事。

6、陜西省計(jì)算機(jī)學(xué)會(huì)常務(wù)理事。

7、CCF（中國(guó)計(jì)算機(jī)學(xué)會(huì)）西安分部執(zhí)委。

8、曾任多個(gè)國(guó)際會(huì)議的大會(huì)主席、程序委員會(huì)主席、組織委員會(huì)主席，以及委員，并多次做特邀大會(huì)報(bào)告。

9、全國(guó)智能計(jì)算學(xué)會(huì)副理事長(zhǎng)。

10、任《Advance in Fuzzy Sets and Systems》、《Northeastern Journal of Mathematics》、《模糊系統(tǒng)與數(shù)學(xué)》與《陜西師范大學(xué)學(xué)報(bào)》（自然科學(xué)版）雜志編委。

科學(xué)研究：

研究方向：

非經(jīng)典計(jì)算理論、計(jì)算智能、模糊系統(tǒng)分析、量子信息學(xué)、格上拓?fù)鋵W(xué)。

科研項(xiàng)目：

已主持完成四項(xiàng)國(guó)家自然科學(xué)基金，主持完成教育部高等學(xué)校青年教師教學(xué)科學(xué)科研獎(jiǎng)勵(lì)計(jì)劃、教育部留學(xué)回國(guó)人員科研啟動(dòng)經(jīng)費(fèi)以及973子課題各一項(xiàng)，目前主持國(guó)家自然科學(xué)基金和教育部博士點(diǎn)基金各一項(xiàng)。

1、國(guó)家自然科學(xué)基金面上項(xiàng)目:把不確定性用半環(huán)來描述的計(jì)算模型、理論及其應(yīng)用研究(2013.1-2016.12, 主持)。

2、國(guó)家自然科學(xué)基金面上項(xiàng)目:不確定環(huán)境下的計(jì)算模型與計(jì)算理論研究(2009.1-2011.12, 主持)。

3、國(guó)家自然科學(xué)基金面上項(xiàng)目:格上拓?fù)鋵W(xué)及其在不缺定特性的形式化研究中的應(yīng)用(2006.1-2008.12, 主持)。

4、教育部博士點(diǎn)基金(博導(dǎo)類):量化計(jì)算模型與量化模型檢測(cè)的理論及其應(yīng)用研究(2014.1-2016.12, 主持)。

5、教育部博士點(diǎn)基金:不確定環(huán)境下的自動(dòng)機(jī)理論及其應(yīng)用研究(2009.1-2011.12, 主持)。

研究成果：

1、李永明, 李志慧, 李平, 雷紅軒, 席政軍,崔麗聰,等. 不確定型系統(tǒng)的計(jì)算模型與推理機(jī)制研究,陜西省科學(xué)技術(shù)獎(jiǎng)（二等）,2012.

2、李永明, 張德學(xué), 李志慧,吳洪博,尚云, 羅艷斌. 格上拓?fù)鋵W(xué)及其在不確定特征的數(shù)學(xué)描述中的應(yīng)用,陜西省科學(xué)技術(shù)獎(jiǎng)（二等）,2009.

3、曹永知,李永明, 陳國(guó)青. 不確定性系統(tǒng)的建模與分析，2014年度教育部高等學(xué)�？茖W(xué)研究?jī)?yōu)秀成果獎(jiǎng)(二等獎(jiǎng)), 2015.

(1).研究了LOCALE商態(tài)射，LOCALE的函數(shù)空間與LOCALE的半連續(xù)函數(shù)空間構(gòu)造，解決了著名拓?fù)鋵W(xué)家B．Banaschewski，P．T．Johnstone 等在LOCALE理論方面提出的一些重要問題。

(2).揭示了拓?fù)浞肿痈窭碚摰恼�體結(jié)構(gòu)，建立了拓?fù)浞肿痈竦暮瘮?shù)空間理論。

(3).研究了各種廣義的自由完全分配格的構(gòu)造，所得構(gòu)造兼容了K．H.Hofmann，M．W．Mislove 等人的相關(guān)結(jié)果。

(4).研究了QUANTALE理論與非交換線性邏輯、進(jìn)程等價(jià)邏輯語(yǔ)義的關(guān)系，解決了理論計(jì)算機(jī)學(xué)家S.Abramasky等提出的有關(guān)進(jìn)程等價(jià)的邏輯語(yǔ)義問題。

(5).建立了布爾型模糊系統(tǒng)的構(gòu)造理論，從公理化與函數(shù)逼近觀點(diǎn)研究了一般模糊系統(tǒng)的工作機(jī)理與實(shí)現(xiàn)能力。

(6).給出了簡(jiǎn)化模糊控制系統(tǒng)“分區(qū)域”穩(wěn)定的判別定理與實(shí)現(xiàn)方法,研究了模糊控制系統(tǒng)魯棒穩(wěn)定的條件，給出了魯棒穩(wěn)定區(qū)間的估計(jì)式及其“規(guī)則庫(kù)變換”實(shí)現(xiàn)方法。

發(fā)明專利：

1 一種在標(biāo)準(zhǔn)模型下可證安全的基于屬性的簽密方法 宋云;李志慧;李永明 陜西師范大學(xué) 中國(guó)專利 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》，《中國(guó)科學(xué)》，《數(shù)學(xué)學(xué)報(bào)》，《自動(dòng)化學(xué)報(bào)》，《計(jì)算機(jī)學(xué)報(bào)》、《科學(xué)通報(bào)》，《數(shù)學(xué)年刊》，《軟件學(xué)報(bào)》等雜志發(fā)表論文160余篇，其中SCI源論文50余篇。

出版專著：

1、2005年 科學(xué)出版社出版 主編 《模糊系統(tǒng)分析》。

發(fā)表期刊論文：

1 具有DP的廣義可能性模糊時(shí)態(tài)CTL模型檢測(cè) 網(wǎng)絡(luò)首發(fā) 魏杰林; 袁申; 李永明; 梁常建 計(jì)算機(jī)科學(xué)與探索 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 模糊線性時(shí)序邏輯的可實(shí)現(xiàn)性 范艷煥; 李永明 電子學(xué)報(bào) 2018-02-15

6 不確定型模糊Kripke結(jié)構(gòu)的計(jì)算樹邏輯模型檢測(cè) 范艷煥; 李永明; 潘海玉 電子學(xué)報(bào) 2018-01-15

7 具有模糊時(shí)態(tài)的廣義可能性線性時(shí)序邏輯的模型檢測(cè) 梁常建; 李永明 電子學(xué)報(bào) 2017-12-15

8 廣義可能性計(jì)算樹邏輯的模型檢測(cè)問題 梁常建; 李永明 電子學(xué)報(bào) 2017-11-15

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

10 強(qiáng)賦值幺半群上的加權(quán)Mealy機(jī)與加權(quán)Moore機(jī)的關(guān)系 王敏; 李永明 計(jì)算機(jī)科學(xué)與探索 2017-09-05 09:41

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

12 取值于賦值幺半群的加權(quán)上下文無關(guān)文法及其語(yǔ)言 王月; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2017-02-15

13 確定型模糊多重集有限自動(dòng)機(jī)的極小化 王擁兵; 李永明 計(jì)算機(jī)工程與科學(xué) 2016-12-15

14 基于決策過程的廣義可能性計(jì)算樹邏輯模型檢測(cè) 馬占有; 李永明 中國(guó)科學(xué):信息科學(xué) 2016-11-20

15 量子測(cè)量邏輯與推理理論 林運(yùn)國(guó); 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2016-11-10

16 加權(quán)有限自動(dòng)機(jī)的幺半群 王擁兵; 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2016-09-10

17 基于可能性混成自動(dòng)機(jī)的CPS屬性驗(yàn)證 陳娜; 耿生玲; 李永明; 薄瑋 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2016-09-10

18 直覺模糊測(cè)度的計(jì)算樹邏輯 魚先鋒; 李超; 李永明 計(jì)算機(jī)科學(xué)與探索 2016-08-19 09:32

19 廣義可能性計(jì)算樹邏輯和計(jì)算樹邏輯的關(guān)系 李丹; 李永明 計(jì)算機(jī)科學(xué)與探索 2016-08-19 09:32

20 取值于賦值幺半群的加權(quán)正則文法語(yǔ)言 趙菲; 李永明 計(jì)算機(jī)工程與科學(xué) 2016-07-15

21 廣義可能線性時(shí)序邏輯的自動(dòng)機(jī)方法 張博; 李永明 內(nèi)江師范學(xué)院學(xué)報(bào) 2016-06-25

22 格值代數(shù)系統(tǒng)的解分析 張孟青; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2016-06-15

23 信道噪聲對(duì)量子信息分離的影響 白晨明; 李永明 計(jì)算機(jī)科學(xué) 2016-04-15

24 模糊集的邏輯等價(jià)相似度 段景瑤; 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2016-01-10

25 基于可能性混成自動(dòng)機(jī)的CPS建模方法 陳娜; 耿生玲; 李永明; 張勝禮 西安郵電大學(xué)學(xué)報(bào) 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 基于安全性檢測(cè)的廣義量子Loop程序終止驗(yàn)證 林運(yùn)國(guó); 李永明 中國(guó)科學(xué):信息科學(xué) 2015-12-20

31 加權(quán)自動(dòng)機(jī)的極小確定化 龐美玲; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2015-12-15

32 開放量子行走:概率分布與中心極限定理 林運(yùn)國(guó); 李永明 計(jì)算機(jī)學(xué)報(bào) 2015-11-17 23:30

33 廣義可能性決策過程的計(jì)算樹邏輯模型檢測(cè) 馬占有; 李永明 計(jì)算機(jī)工程與科學(xué) 2015-11-15

34 Exogenous量子馬爾可夫鏈及其可達(dá)性分析 林運(yùn)國(guó); 李永明 軟件學(xué)報(bào) 2015-11-11 17:04

35 模糊正則語(yǔ)言的拓?fù)湫再|(zhì) 王擁兵; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2015-08-15

36 Pebble模糊有窮自動(dòng)機(jī)和傳遞閉包邏輯 范艷煥; 耿生玲; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2015-08-15

37 可逆加權(quán)樹自動(dòng)機(jī) 魏秀娟; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2015-08-15

38 廣義可能性計(jì)算樹邏輯的兩種范式 趙杰; 李永明 計(jì)算機(jī)科學(xué)與探索 2015-08-13 16:53

39 否定知識(shí)的代數(shù)表示及在模糊系統(tǒng)設(shè)計(jì)中的應(yīng)用 張勝禮; 李永明 計(jì)算機(jī)學(xué)報(bào) 2015-07-22 11:58

40 廣義模糊集GFScom在模糊綜合評(píng)判中的應(yīng)用 張勝禮; 李永明 計(jì)算機(jī)科學(xué) 2015-07-15

41 廣義可能性計(jì)算樹邏輯的不動(dòng)點(diǎn)語(yǔ)義 鄧楠軼; 張興興; 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2015-07-10

42 藏語(yǔ)語(yǔ)音合成單元選擇 才讓卓瑪; 李永明; 才智杰 軟件學(xué)報(bào) 2015-06-15

43 轉(zhuǎn)移函數(shù)保半環(huán)賦值代數(shù)輪廓解的條件 許格妮; 李永明 山東大學(xué)學(xué)報(bào)(理學(xué)版) 2015-05-20 10:59

44 廣義可能性互模擬及其邏輯刻畫 張興興; 鄧楠軼; 馬占有; 李永明 計(jì)算機(jī)工程與科學(xué) 2015-05-15

45 基于軟集的無標(biāo)記信息代數(shù)模型與算法 許格妮; 李永明; 管雪沖 軟件學(xué)報(bào) 2015-05-15

46 基于Mealy機(jī)的藏文字構(gòu)件分解 才讓卓瑪; 李永明; 才智杰 電子學(xué)報(bào) 2015-05-15

47 模糊D0L冪級(jí)數(shù) 師瑕娟; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2015-02-15

48 基于廣義可能性測(cè)度的可達(dá)性問題的模型檢測(cè) 馬占有; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2014-12-15

49 線性時(shí)序邏輯基于DTMC的計(jì)量化方法 時(shí)慧嫻; 李永明 山東大學(xué)學(xué)報(bào)(理學(xué)版) 2014-12-02 15:03

50 半環(huán)誘導(dǎo)賦值代數(shù)的輪廓解 許格妮; 李永明; 張?jiān)?吉林大學(xué)學(xué)報(bào)(理學(xué)版) 2014-11-26

51 量子馬爾可夫鏈安全性模型檢測(cè) 林運(yùn)國(guó); 雷紅軒; 李永明 電子學(xué)報(bào) 2014-11-15

52 可能LTL模型檢測(cè)的兩種方法 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2014-11-10

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

54 約束半環(huán)誘導(dǎo)的賦值代數(shù)的輪廓解及其算法 許格妮; 李永明; 張?jiān)?數(shù)學(xué)雜志 2014-10-22 14:34

55 含至多四個(gè)參與者的量子秘密共享方案的最優(yōu)信息率 宋云; 李志慧; 李永明 電子學(xué)報(bào) 2014-10-15

56 基于可能性測(cè)度的工程管理決策的研究 李召妮; 馬占有; 李永明 計(jì)算機(jī)科學(xué) 2014-08-15

57 極小特權(quán)數(shù)組上的理想多秘密共享方案 宋云; 李志慧; 李永明 中國(guó)科學(xué):信息科學(xué) 2014-05-20

58 格值模糊自動(dòng)機(jī)及對(duì)應(yīng)語(yǔ)言的分級(jí) 薛倩倩; 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2014-05-10

59 量子Müller自動(dòng)機(jī)與單體二階量子邏輯 韓召偉; 李永明 軟件學(xué)報(bào) 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 一區(qū)，TOP期刊)

61 不完備決策軟集與優(yōu)勢(shì)可信規(guī)則獲取 耿生玲; 李永明; 劉震 計(jì)算機(jī)工程與科學(xué) 2013-12-15

62 可能性測(cè)度下計(jì)算樹邏輯的若干性質(zhì) 李亞利; 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2013-11-10

63 測(cè)量誘發(fā)的關(guān)聯(lián)分布 席政軍; 李永明 中國(guó)科學(xué):物理學(xué) 力學(xué) 天文學(xué) 2013-09-20

64 模糊Büchi自動(dòng)機(jī)的等價(jià)刻畫 韓召偉; 李永明 計(jì)算機(jī)學(xué)報(bào) 2013-06-15

65 量子最弱自由前置條件的交換性及其性質(zhì) 雷紅軒; 席政軍; 李永明 軟件學(xué)報(bào) 2013-05-15

66 格值有窮自動(dòng)機(jī)和單體二階格值邏輯 范艷煥; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2013-04-15

67 可逆模糊自動(dòng)機(jī) 李琳; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2013-04-15

68 廣義量子Loop程序的若干性質(zhì) 雷紅軒; 席政軍; 李永明 電子學(xué)報(bào) 2013-04-15

69 關(guān)聯(lián)規(guī)則挖掘的軟集包含度方法 耿生玲; 李永明; 劉震 電子學(xué)報(bào) 2013-04-15

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

71 基于極小線性碼上的秘密共享方案 宋云; 李志慧; 李永明 電子學(xué)報(bào) 2013-02-15

72 基于直覺模糊的滿意度計(jì)算模型 魚先鋒; 李永明 計(jì)算機(jī)科學(xué) 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 通用模糊自動(dòng)機(jī) 王茜; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2012-12-15

75 幾種量子程序終止的有效驗(yàn)證 雷紅軒; 席政軍; 李永明 計(jì)算機(jī)科學(xué) 2012-11-15

76 多處理器任務(wù)調(diào)度算法TDS的建模與驗(yàn)證 李召妮; 雷麗暉; 李永明 計(jì)算機(jī)科學(xué) 2012-11-15

77 偽加權(quán)轉(zhuǎn)換器及其延遲函數(shù)的實(shí)現(xiàn)化 李平; 李永明 計(jì)算機(jī)工程與應(yīng)用 2012-10-21

78 模糊剩余自動(dòng)機(jī) 張福剛; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2012-10-15

79 模糊代數(shù)系統(tǒng) 張孟青; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2012-10-15

80 基于可能性測(cè)度的計(jì)算樹邏輯CTL~*與可能性互模擬 鄧輝; 薛艷; 李亞利; 李永明 計(jì)算機(jī)科學(xué) 2012-10-15

81 基于量子邏輯的圖靈機(jī)及其通用性 李永明; 李平 計(jì)算機(jī)學(xué)報(bào) 2012-07-15

82 基于關(guān)聯(lián)方向測(cè)量的量子關(guān)聯(lián) 席政軍; 雷紅軒; 李永明 中國(guó)科學(xué):物理學(xué) 力學(xué) 天文學(xué) 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 偽加權(quán)Mealy機(jī)與偽加權(quán)Moore機(jī)的關(guān)系 李平; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2011-12-15

86 基于測(cè)量的量子線路 席政軍; 李永明 計(jì)算機(jī)研究與發(fā)展 2011-11-15

87 偽加權(quán)轉(zhuǎn)換器的極小確定實(shí)現(xiàn)化 李平; 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2011-11-10

88 基于可能性測(cè)度的計(jì)算樹邏輯 薛艷; 雷紅軒; 李永明 計(jì)算機(jī)工程與科學(xué) 2011-09-15

89 參數(shù)化的廣義量子通用相位門 王鑫; 席政軍; 李永明; 李小鵬 計(jì)算機(jī)工程與應(yīng)用 2011-06-21

90 廣義量子Loop程序初探 李小鵬; 席政軍; 李永明 計(jì)算機(jī)工程與應(yīng)用 2011-05-19 15:59

91 單道批處理系統(tǒng)的建模與驗(yàn)證 魚先鋒; 雷麗暉; 李永明 計(jì)算機(jī)科學(xué) 2011-04-15

92 基于量子邏輯的幾類有窮自動(dòng)機(jī)之間的關(guān)系 李平; 李永明 工程數(shù)學(xué)學(xué)報(bào) 2011-04-15

93 軟集決策信息系統(tǒng)的屬性約簡(jiǎn) 耿生玲; 李永明; 馮峰 小型微型計(jì)算機(jī)系統(tǒng) 2011-04-15

94 連續(xù)信息代數(shù) 管雪沖; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2011-02-15

95 基于通信延遲模糊離散事件系統(tǒng)的可靠分散控制的注記 李婷; 李璐; 李永明 內(nèi)江師范學(xué)院學(xué)報(bào) 2011-02-15

96 量子上下文無關(guān)文法的代數(shù)性質(zhì) 宋小震; 韓召偉; 李永明 計(jì)算機(jī)工程與應(yīng)用 2011-01-24 14:21

97 投影問題的序關(guān)系研究 管雪沖; 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2011-01-10

98 半環(huán)誘導(dǎo)的賦值代數(shù)的解輪廓和解擴(kuò)展 管雪沖; 李永明 計(jì)算機(jī)工程與應(yīng)用 2010-12-11

99 信管專業(yè)的現(xiàn)狀與改革 雷秀娟; 李永明; 吳振強(qiáng) 計(jì)算機(jī)教育 2010-11-10

100 計(jì)量邏輯學(xué)中的近似推理 韓邦合; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2010-10-15

101 基于量子邏輯的下推自動(dòng)機(jī)與上下文無關(guān)文法 韓召偉; 李永明 軟件學(xué)報(bào) 2010-09-15

102 加權(quán)Moore機(jī)的同余與最小化 李蘇妮; 李天朝; 李永明 計(jì)算機(jī)工程與科學(xué) 2010-09-15

103 取值于完備格的同步機(jī)及其最小實(shí)現(xiàn)化 李平; 李永明 計(jì)算機(jī)工程與應(yīng)用 2010-06-21

104 偽的弱效應(yīng)代數(shù)的同余和理想 郭建勝; 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2010-05-10

105 基于模糊數(shù)的證券投資組合最優(yōu)化模型 金檢華; 李永明; 李春泉 重慶工商大學(xué)學(xué)報(bào)(自然科學(xué)版) 2010-02-20

106 區(qū)間效應(yīng)代數(shù)的張量積 頡永建; 李永明 數(shù)學(xué)進(jìn)展 2010-02-15

107 基于量子邏輯的有窮自動(dòng)機(jī)與單體二階量子邏輯 李永明 中國(guó)科學(xué) F輯：信息科學(xué),2009, 39(11)，1135-1145.(特級(jí)) 2009-11-20

108 計(jì)量邏輯學(xué)中的收斂理論 韓邦合; 李永明 計(jì)算機(jī)工程與應(yīng)用 2009-10-21

109 量子Mealy自動(dòng)機(jī)和量子Moore自動(dòng)機(jī)的等價(jià) 席政軍; 王鑫; 李永明 計(jì)算機(jī)研究與發(fā)展 2009-09-15

110 分配序列效應(yīng)代數(shù)的理想和同余 郭建勝; 李永明 計(jì)算機(jī)工程與應(yīng)用 2009-09-01

111 模糊有窮自動(dòng)機(jī)的互模擬關(guān)系 孫丹丹; 李永明; 楊文武 模糊系統(tǒng)與數(shù)學(xué) 2009-08-15

112 計(jì)量邏輯學(xué)中的誤差累計(jì)理論 韓邦合; 李永明 計(jì)算機(jī)工程與應(yīng)用 2009-08-11

113 基于隸屬模糊二元語(yǔ)義的群決策方法 羅敏楠; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2009-06-15

114 關(guān)于Scott開濾子拓?fù)浜司o性的注記 奚小勇; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2009-04-15

115 部分可換半群的子代數(shù)與同余關(guān)系 頡永建; 李永明 計(jì)算機(jī)工程與應(yīng)用 2009-04-11

116 區(qū)間值三角模左連續(xù)的充要條件 宋佳; 羅敏楠; 李永明 山東大學(xué)學(xué)報(bào)(理學(xué)版) 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 模糊正則文法的逼近性 王擁兵; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2008-12-15

120 由可精確測(cè)量元控制的弱可換的偽效應(yīng)代數(shù) 頡永建; 李永明 計(jì)算機(jī)工程與應(yīng)用 2008-12-01

121 Domain函數(shù)空間上的Isbell拓?fù)浜蚐cott拓?fù)涞囊恢滦?英文) 奚小勇; 李永明 數(shù)學(xué)研究與評(píng)論 2008-11-15

122 基于量子邏輯的下推自動(dòng)機(jī)的代數(shù)刻畫 韓召偉; 李永明 計(jì)算機(jī)工程與科學(xué) 2008-11-15

123 格值樹自動(dòng)機(jī)與格值上下文無關(guān)樹文法的等價(jià)性 楊文武; 李永明; 孫丹丹 計(jì)算機(jī)工程與科學(xué) 2008-11-15

124 模糊有窮自動(dòng)機(jī)與單體二階Lukasiewicz邏輯 李永明 計(jì)算機(jī)學(xué)報(bào) 2008-10-15

125 模糊推理系統(tǒng)的魯棒性 金檢華; 李永明; 李春泉 模糊系統(tǒng)與數(shù)學(xué) 2008-10-15

126 Max-Lukasiewicz復(fù)合推理下的模糊圖靈機(jī) 張小偉; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2008-10-15

127 模糊圖靈機(jī)的逼近性與通用性 李永明 中國(guó)科學(xué)(E輯:信息科學(xué)) 2008-08-15

128 基于G del蘊(yùn)涵算子的導(dǎo)出算子的n值邏輯系統(tǒng) 楊春志; 李永明 紡織高校基礎(chǔ)科學(xué)學(xué)報(bào) 2008-03-30

129 正交混合態(tài)的局域分辨 任林源; 李永明 吉林大學(xué)學(xué)報(bào)(理學(xué)版) 2008-03-26

130 基于量子純態(tài)糾纏轉(zhuǎn)化的一種算法 任林源; 李得超; 李永明 計(jì)算機(jī)工程與應(yīng)用 2008-01-21

131 N-可分效應(yīng)代數(shù) 頡永建; 李永明; 任林源 計(jì)算機(jī)研究與發(fā)展 2008-01-15

132 標(biāo)度廣義效應(yīng)代數(shù)與標(biāo)度效應(yīng)代數(shù)的結(jié)構(gòu) 李永明   數(shù)學(xué)學(xué)報(bào)   51(5)(2008)

133 布爾型模糊系統(tǒng)逼近的充分條件 李得超; 史忠科; 李永明 控制與決策 2007-12-15

134 量子態(tài)轉(zhuǎn)化的一些數(shù)學(xué)性質(zhì) 任林源; 李永明 西北大學(xué)學(xué)報(bào)(自然科學(xué)版) 2007-10-25

135 基于兩體量子正交糾纏態(tài)集的局域刪除 任林源; 李得超; 李永明 計(jì)算機(jī)工程與應(yīng)用 2007-10-21

136 RCC11復(fù)合表的表示(英文) 李永明; 李三江 軟件學(xué)報(bào) 2007-10-15

137 離散系統(tǒng)與模糊離散系統(tǒng)控制性之間的關(guān)系 劉俊萍; 李永明; 孫鵬崗 紡織高�；�礎(chǔ)科學(xué)學(xué)報(bào) 2007-09-30

138 有限制的通用模糊圖靈機(jī)研究 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2007-09-05

139 量子信息的刪除和克隆 任林源; 李永明 計(jì)算機(jī)工程與應(yīng)用 2007-08-11

140 格值Mealy自動(dòng)機(jī)的同余和同態(tài) 韓召偉; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2007-04-15

141 模糊數(shù)學(xué)方法在出版社資源優(yōu)化配置中的應(yīng)用 金檢華; 李永明; 李春泉 重慶工商大學(xué)學(xué)報(bào)(自然科學(xué)版) 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序方法的推廣 崔麗聰; 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2006-12-05

144 同步格值自動(dòng)機(jī)的約簡(jiǎn)和最小化算法 雷紅軒; 李永明 計(jì)算機(jī)工程與應(yīng)用 2006-06-01

145 布爾型模糊系統(tǒng)的逼近精度分析(英文) 李得超; 李永明 模糊系統(tǒng)與數(shù)學(xué) 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 幾類格值自動(dòng)機(jī)的關(guān)系 李平; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2005-09-28

149 max-zero t-模復(fù)合意義下的模糊矩陣冪序列的收斂性 焦燁; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2005-06-28

150 格值正則文法及其語(yǔ)言的性質(zhì) 盛莉; 李平; 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2005-06-05

151 基于QL-蘊(yùn)涵的Min-implication模糊關(guān)系方程的分解與求解 羅艷斌; 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2005-06-05

152 基于max-product復(fù)合的模糊矩陣冪序列的收斂性 焦燁; 李永明 工程數(shù)學(xué)學(xué)報(bào) 2005-04-30

153 格值正則語(yǔ)言的性質(zhì) 盛莉; 雷紅軒; 李永明 純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué) 2005-03-30

154 模糊控制系統(tǒng)的鎮(zhèn)定性能 吳靜杰; 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2004-12-05

155 兩類具有輸出字符功能的模糊自動(dòng)機(jī)的關(guān)系 雷紅軒; 李永明 計(jì)算機(jī)工程與應(yīng)用 2004-12-01

156 θ-Fuzzy關(guān)系方程的分解與求解 羅艷斌; 李永明 模糊系統(tǒng)與數(shù)學(xué) 2003-12-28

157 Locale的函數(shù)空間 李永明 數(shù)學(xué)年刊A輯(中文版) 2003-12-25

158 格值自動(dòng)機(jī)與語(yǔ)言 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2003-12-05

159 內(nèi)射拓?fù)浞肿痈?李永明; 張德學(xué) 數(shù)學(xué)學(xué)報(bào) 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語(yǔ)義 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2001-06-05

162 對(duì)偶Quantale及其性質(zhì) 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2001-03-05

163 Limit分子格 李永明; 李志慧 數(shù)學(xué)學(xué)報(bào) 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 模糊控制的鎮(zhèn)定性能 李永明 工程數(shù)學(xué)學(xué)報(bào) 2000-12-30

166 漸近穩(wěn)定性與模糊控制 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 2000-09-05

167 Quantale與互模擬的進(jìn)程語(yǔ)義 李永明; 李志慧 數(shù)學(xué)學(xué)報(bào) 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 拓?fù)淇臻g范疇、拓?fù)銯UZZ范疇與拓?fù)浞肿痈穹懂犻g的反射與余反射 李永明; 王國(guó)俊 數(shù)學(xué)學(xué)報(bào) 1998-07-15

170 拓?fù)浞肿痈穹懂犈c相關(guān)范疇的關(guān)系 王國(guó)俊; 李永明 科學(xué)通報(bào) 1997-02-23

171 可連通逼近locale及其在Frm中的反射 李永明 陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版) 1996-03-05

172 一致分子格及其性質(zhì) 李永明 陜西師大學(xué)報(bào)(自然科學(xué)版) 1995-06-05

173 良緊性的LF完全聚點(diǎn)特征 李永明 模糊系統(tǒng)與數(shù)學(xué) 1994-09-15

174 L-Fuzzy閉圖象與強(qiáng)閉圖象理論 李永明 模糊系統(tǒng)與數(shù)學(xué) 1991-12-31

175 格值下半連續(xù)函數(shù)的幾個(gè)問題 李永明 科學(xué)通報(bào) 1991-10-28

176 誘導(dǎo)空間的分子網(wǎng)收斂特征 李永明 陜西師大學(xué)報(bào)(自然科學(xué)版) 1991-07-02

會(huì)議論文：

1 一些量子結(jié)構(gòu)的構(gòu)造和Fuzzy有效空間 尚云; 李永明 第12屆全國(guó)模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會(huì) 中國(guó)會(huì)議 2004-06-30

2 模糊系統(tǒng)的分區(qū)域漸近穩(wěn)定性分析 李永明; 李全良 中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十屆年會(huì) 中國(guó)會(huì)議 2000-10-01

榮譽(yù)獎(jiǎng)勵(lì)：

1、陜西省教育工委優(yōu)秀黨員稱號(hào)（2006，2014）。

2、陜西省優(yōu)秀博士論文導(dǎo)師獎(jiǎng)（2008，2014）。

3、陜西省高等學(xué)�？萍歼M(jìn)步獎(jiǎng)一等獎(jiǎng)3項(xiàng)（1999，2008，2010）。

4、陜西省科學(xué)技術(shù)獎(jiǎng)二等獎(jiǎng)2項(xiàng)（2009，2011）、三等獎(jiǎng)1項(xiàng)（2014）。

5、教育部高等學(xué)校科學(xué)研究?jī)?yōu)秀成果獎(jiǎng)自然科學(xué)獎(jiǎng)二等獎(jiǎng)1項(xiàng)（2014）。

6、1997年獲陜西省科技進(jìn)步獎(jiǎng)二等獎(jiǎng)（第一完成人）。

7、1999年獲得陜西省教委科技進(jìn)步一等獎(jiǎng)一項(xiàng)。

8、2002年政府特殊津貼獲得者。

9、2002年 獲得教育部第三屆“高校青年教師獎(jiǎng)”。