2013-11-13
基本信息
姓名:罗敏霞
性别:女
学位:博士
职称:教授
一级学科:数学
二级学科:应用数学
二级学院:理学院
一级学科2:计算机科学与技术
二级学科2:计算机软件与理论
研究方向:非经典逻辑与模糊逻辑、人工智能基础理论
办公地点:格致中楼612
办公电话:0571-86875634
移动电话:13738109928
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项(在研),参与多项国家自然科学基金项目。多篇论文获省自然科学优秀论文奖,作为主要成员参与的项目“泛逻辑学原理及其应用研究”分别获“陕西省教育厅高等学校科学技术一等奖”与“陕西省科学技术三等奖”。
*如果发现导师信息存在错误或者偏差,欢迎随时与我们联系,以便进行更新完善。联系方式>>