胡明娣

Computin ation computin

發表的學術論文有：
[1]王國俊,胡明娣.經典邏輯度量空間中的模2次范整線性空間結構[J].電子學報,2011,39(4):899-906. EI:20112714112099
[2]胡明娣,王國俊.對稱邏輯公式在經典邏輯度量空間中的分布[J].電子學報,2011,39(2):418-423. EI:20111713935641
[3]胡明娣,王國俊.模糊模態邏輯的有效公式與永真式[J].電子學報,2009,37(11):2484-2488. EI:20095312588411
[4] 胡明娣,王國俊.經典邏輯度量空間上的反射變換[J].陝西師範大學學報(自然科學版),2009,37(6):1-4.ISTP:00290499400010
[5]胡明娣,樓志剛.經典邏輯度量空間中的邊角關係[J].西北大學學報(自然科學版),2011,41(2):206-211.核心
[6]胡明娣,樓志剛.蘊涵格的正規MP-濾子和素濾子[J].山東大學學報(理學版),2008,43(5):33-35. 核心
[7]胡明娣,折延宏,王敏.三值邏輯度量空間的拓撲性質[J].山東大學學報(理學版),2008,43(5):33-35.核心
[8]Mingdi Hu. Equilateral polygons in classical logic metric space[C]. Advances in Soft Computing. Proceedings of the Quantitative Logic and Soft Computing 2010.Springer-Verlag Berlin Heidelberg, 2010,82, 127-134.TSTP:000290499400010
[9]Mingdi Hu,Lifeng Li. Quasi-tautologies in fuzzy modal logic system[C]. Proceedings of International Conference on Quantitative Logic and Quantifications of Software,Pages 55-61, June 6-8,2009,Shanghai, China
主持或參與的項目：
1 2009--2011年主持陝西師範大學博士創新基金項目《模態邏輯系統的計量化研究》（2009CXB006）。已完成。
22007--2008年主持陝西師範大學碩士創新基金項目《邏輯代數中濾子與理想的統一形式》（2007CXS016）。已完成。
32012--2014年主持橫向項目《應急處置推演系統》，第二炮兵工程大學，（項目編號109 0345）（項目總經費12萬元）。
4參與《Advanced technologies in mobile cloud computing》， 2012--2014年，主持人張鵬， Nokia (China) Investment Co., Ltd.項目經費8萬元。
6參與省級重點學科建設校內項目《組合混沌序列生成技術及其在圖像加密中的套用研究》排名第二。
7參與《移動網際網路智慧型分流關鍵技術的研究及實現》，主持人張鵬，陝西省科技部國際合作重點項目，2012.7—2014.6，項目經費6萬元。