中国计量学院理学院导师介绍：罗敏霞

　　基本信息
　　姓名：罗敏霞
　　性别：女
　　学位：博士
　　职称：教授
　　一级学科：数学
　　二级学科：应用数学
　　二级学院：理学院
　　一级学科2：计算机科学与技术
　　二级学科2：计算机软件与理论
　　研究方向：非经典逻辑与模糊逻辑、人工智能基础理论
　　办公地点：格致中楼612
　　办公电话：*************
　　移动电话：***********
　　Email：mxluo@cjlu.edu.cn

　　在研课题
　　1．主持国家自然科学基金项目《非可换逻辑证明论与模糊推理算法研究》，60万，批准号：61273018，时间：2013.1-2016.12．
　　2．主持浙江省自然科学基金项目《基于子结构模糊逻辑的希尔伯特系统的构建与模糊推理算法研究》，8万，批准号：Y1110651，时间：2011.1-2012.12．

　　获奖情况
　　（1）论文“Relationship between the quasi-ideal adequate transversals of an abundant semigroup”2006年获“陕西省自然科学优秀学术论文三等奖”；
　　（2）参与的项目“泛逻辑学原理及其应用研究” 2006年获“陕西省政府科学技术成果三等奖”；2005年获“陕西省高等学校科学技术成果一等奖”。

　　近期发表的主要成果
　　近三年发表的论著与论文：
　　专著：罗敏霞，何华灿．《泛逻辑学语构理论》．北京：科学出版社，2010．
　　论文：
　　【12】Minxia Luo, Ning Yao. Triple I Algorithms Based on Schweizer-Sklar Operators in Fuzzy Reasoning, International Journal of Approximate Reasoning,Vol.54(2013),640-652.(SCI)
　　【11】Minxia Luo, Ni Sang, Kai Zhang. Differently Implicational Universal Triple I Algorithms of (1,2,1) Type. Journal of Computational Information Systems, Vol.9(2013), No.4: 374-382.(EI)
　　【10】Minxia Luo, Ni Sang, Kai Zhang. The Formal Triple I Inference Method for Logic System W*UL. Journal of Theoretical and Applied Information Technology, Vol.48(2013), No.1: 403-410. (EI)
　　【9】Minxia Luo, Ni Sang, Kai Zhang. Differently Implicational Universal Triple I Algorithms of (1,2,1) Type. Journal of Computational Information Systems, Vol.9(2013), No.2: 765-772.(EI)
　　【8】Minxia Luo, Ni Sang. Triple I method based on residuated implications of left-continuous pseudo-t-norms. 2012 9th International Conference on Fuzzy Systems and Knowledge Discovery(FSKD 2012),202-206.(EI)
　　【7】Minxia Luo, Ning Yao. Some extensions of the Logic psUL. Lecture Notes in Artificial Intelligence, 7002(2011): 609-617.(EI)
　　【6】罗敏霞，姚宁．L 系统中的语构程度化方法．电子学报，Vol.39（2011），No.2：424-428．（EI）
　　【5】Minxia Luo, Ni Sang. On the adjoint semigroup of a class of logical algebra.2011 Eight
　　International Conference on Fuzzy Systems and Knowledge Discovery, IEEE Computer Society, 2011,210-213.(EI)
　　【4】Minxia Luo, Ni Sang. On a Class QL-Implication. Second International Conference on High Performance Networking, Computing and Communication Systems,2011,118-124.(EI)
　　【3】Minxia Luo. A Propositional Calculus Formal Deductive System SUBL With An Involutive Negation. The Seventh International Conference on Fuzzy Systems and Knowledge Discovery, IEEE Computer Society, 2010, 60-64.(EI)
　　【2】Minxia Luo, Chunmei Ding. A Propositional Calculus Formal Deductive System SUBL. 2010 International Symposium on Computer, Communication, Control and Automation. 2010, 130-133.(EI)
　　【1】Minxia Luo. On Abundant Semigroups with Quasi-ideal Adequate Transversals. Chinese Quarterly Journal of Mathematics, Vol.25(2010), No.2: 257-266.

　　主持完成的科研项目
　　山西省教育厅项目“泛逻辑在计算机中的应用”（No.20050525）

　　个人简历
　　罗敏霞，女，1964年1月生，博士，教授，硕士研究生导师。2002.9－2005.10，西北工业大学计算机学院读博士，获工学博士学位；1998.9－2001.7，陕西师范大学数学与信息科学学院读硕士研究生，获理学硕士学位；1981.9－1985.7，山西师范大学数学系读本科，获理学学士学位。2005-2010年担任中国人工智能学会理事；2002年至今，担任中国人工智能学会人工智能基础专业委员会常务委员。近年来，一直讲授本科生的《高等代数》、《近世代数》与研究生的《代数学》课程。主要研究方向为计算机科学中的非经典逻辑、模糊推理算法与图像处理等，先后在国际国内专业领域的期刊上发表论文80余篇，SCI/EI检索20余篇。出版专著2部，教材1部。主持完成省厅级项目1项，主持国家自然科学基金1项（在研），主持浙江省自然科学基金项目1项（在研），参与多项国家自然科学基金项目。多篇论文获省自然科学优秀论文奖，作为主要成员参与的项目“泛逻辑学原理及其应用研究”分别获“陕西省教育厅高等学校科学技术一等奖”与“陕西省科学技术三等奖”。

　　*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式>>