<div class> <p><br/> 基本信息</strong><br/> 姓名:罗敏霞</strong><br/> 性别:女<br/> 学位:博士<br/> 职称:教授<br/> 一级学科:数学 <br/> 二级学科:应用数学<br/> 二级学院:理学院 <br/> 一级学科2:计算机科学与技术<br/> 二级学科2:计算机软件与理论<br/> 研究方向:非经典逻辑与模糊逻辑、人工智能基础理论 <br/> 办公地点:格致中楼612<br/> 办公电话:0571-86875634<br/> 移动电话:13738109928<br/> Email:mxluo@cjlu.edu.cn<br/> <br/> 在研课题</strong><br/> 1.主持国家自然科学基金项目《非可换逻辑证明论与模糊推理算法研究》,60万,批准号:61273018,时间:2013.1-2016.12.<br/> 2.主持浙江省自然科学基金项目《基于子结构模糊逻辑的希尔伯特系统的构建与模糊推理算法研究》,8万,批准号:Y1110651,时间:2011.1-2012.12.<br/> <br/> 获奖情况</strong><br/> (1)论文“Relationship between the quasi-ideal adequate transversals of an abundant semigroup”2006年获“陕西省自然科学优秀学术论文三等奖”;<br/> (2)参与的项目“泛逻辑学原理及其应用研究” 2006年获“陕西省政府科学技术成果三等奖”;2005年获“陕西省高等学校科学技术成果一等奖”。<br/> <br/> 近期发表的主要成果</strong><br/> 近三年发表的论著与论文:<br/> 专著:罗敏霞,何华灿.《泛逻辑学语构理论》.北京:科学出版社,2010.<br/> 论文:<br/> 【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)<br/> 【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)<br/> 【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)<br/> 【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)<br/> 【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)<br/> 【7】Minxia Luo, Ning Yao. Some extensions of the Logic psUL. Lecture Notes in Artificial Intelligence, 7002(2011): 609-617.(EI)<br/> 【6】罗敏霞,姚宁.L 系统中的语构程度化方法.电子学报,Vol.39(2011),No.2:424-428.(EI)<br/> 【5】Minxia Luo, Ni Sang. On the adjoint semigroup of a class of logical algebra.2011 Eight<br/> International Conference on Fuzzy Systems and Knowledge Discovery, IEEE Computer Society, 2011,210-213.(EI)<br/> 【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)<br/> 【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)<br/> 【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)<br/> 【1】Minxia Luo. On Abundant Semigroups with Quasi-ideal Adequate Transversals. Chinese Quarterly Journal of Mathematics, Vol.25(2010), No.2: 257-266.<br/> <br/> 主持完成的科研项目</strong><br/> 山西省教育厅项目“泛逻辑在计算机中的应用”(No.20050525)<br/> <br/> 个人简历</strong><br/> 罗敏霞,女,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项(在研),参与多项国家自然科学基金项目。多篇论文获省自然科学优秀论文奖,作为主要成员参与的项目“泛逻辑学原理及其应用研究”分别获“陕西省教育厅高等学校科学技术一等奖”与“陕西省科学技术三等奖”。<br/> <br/> *如果发现导师信息存在错误或者偏差,欢迎随时与我们联系,以便进行更新完善。联系方式>></a></p> </div>