基本信息姓名：罗先发性别：男学位：博士职称：教授一级学科：数学二级学科：应用数学二级学院：理学院研究方向：抽象逼近论、巴拿赫空间理论办公地点：格致中楼508

基本信息姓名：罗敏霞性别：女学位：博士职称：教授一级学科：数学二级学科：应用数学二级学院：理学院一级学科2：计算机科学与技术二级学科2：计算机软件与理论研究方向：非经典逻辑与模糊逻辑、人工智能基础理论办公地点：格致中楼612办公电话：0571-86875634移动电话：13738109928Email：mxluo@cjlu.e.cn在研课题1．主持国家自然科学基金项目《非可换逻辑证明论与模糊推理算法研究》，60万，批准号：61273018，时间：2013.1-2016.12．2．主持浙江省自然科学基金项目《基于子结构模糊逻辑的希尔伯特系统的构建与模糊推理算法研究》，8万，批准号：Y1110651，时间：2011.1-2012.12．获奖情况（1）论文“Relationshipbetweenthequasi-idealadequatetransversalsofanabundantsemigroup”2006年获“陕西省自然科学优秀学术论文三等奖”；（2）参与的项目“泛逻辑学原理及其应用研究”2006年获“陕西省政府科学技术成果三等奖”；2005年获“陕西省高等学校科学技术成果一等奖”。近期发表的主要成果近三年发表的论著与论文：专著：罗敏霞，何华灿．《泛逻辑学语构理论》．北京：科学出版社，2010．论文：【12】MinxiaLuo,NingYao.TripleIAlgorithmsBasedonSchweizer-SklarOperatorsinFuzzyReasoning,InternationalJournalofApproximateReasoning,Vol.54(2013),640-652.(SCI)【11】MinxiaLuo,NiSang,KaiZhang.DifferentlyImplicationalUniversalTripleIAlgorithmsof(1,2,1)Type.JournalofComputationalInformationSystems,Vol.9(2013),No.4:374-382.(EI)【10】MinxiaLuo,NiSang,KaiZhang.TheFormalTripleIInferenceMethodforLogicSystemW*UL.JournalofTheoreticalandAppliedInformationTechnology,Vol.48(2013),No.1:403-410.(EI)【9】MinxiaLuo,NiSang,KaiZhang.DifferentlyImplicationalUniversalTripleIAlgorithmsof(1,2,1)Type.JournalofComputationalInformationSystems,Vol.9(2013),No.2:765-772.(EI)【8】MinxiaLuo,NiSang.TripleImethodbasedonresiatedimplicationsofleft-continuouspseudo-t-norms.20129thInternationalConferenceonFuzzySystemsandKnowledgeDiscovery(FSKD2012),202-206.(EI)【7】MinxiaLuo,NingYao.SomeextensionsoftheLogicpsUL.LectureNotesinArtificialIntelligence,7002(2011):609-617.(EI)【6】罗敏霞，姚宁．L系统中的语构程度化方法．电子学报，Vol.39（2011），No.2：424-428．（EI）【5】MinxiaLuo,NiSang.Ontheadjointsemigroupofaclassoflogicalalgebra.2011EightInternationalConferenceonFuzzySystemsandKnowledgeDiscovery,IEEEComputerSociety,2011,210-213.(EI)【4】MinxiaLuo,NiSang.OnaClassQL-Implication.SecondInternationalConferenceonHighPerformanceNetworking,ComputingandCommunicationSystems,2011,118-124.(EI)【3】MinxiaLuo.APropositionalCalculusFormalDectiveSystemSUBLWithAnInvolutiveNegation.TheSeventhInternationalConferenceonFuzzySystemsandKnowledgeDiscovery,IEEEComputerSociety,2010,60-64.(EI)【2】MinxiaLuo,ChunmeiDing.APropositionalCalculusFormalDectiveSystemSUBL.2010InternationalSymposiumonComputer,Communication,ControlandAutomation.2010,130-133.(EI)【1】MinxiaLuo.OnAbundantSemigroupswithQuasi-idealAdequateTransversals.ChineseQuarterlyJournalofMathematics,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项（在研），参与多项国家自然科学基金项目。多篇论文获省自然科学优秀论文奖，作为主要成员参与的项目“泛逻辑学原理及其应用研究”分别获“陕西省教育厅高等学校科学技术一等奖”与“陕西省科学技术三等奖”。*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式>>

基本信息姓名：焦志伟性别：女学位：博士职称：教授一级学科：材料科学与工程二级学科：材料物理与化学二级学院：理学院一级学科2：电子科学与技术二级学科2：物理电子

基本信息姓名：曹飞龙性别：男学位：博士职称：教授一级学科：数学二级学科：应用数学二级学院：理学院一级学科2：数学二级学科2：计算数学研究方向：智能计算、

李有梅，女，汉族，博士，教授。1965年6月生于山西省大同市。1984年毕业于山西大学数学系基础数学专业，获学士学位。1989年清华大学应用数学系毕业，获硕士学位。2003年12月西安交通大

丁春梅，女，1966年6月生，硕士，教授,硕士研究生导师。主讲公共课《高等数学》、《线性代数》、《概率论与数理统计》、《复变函数与积分变换》，专业课《复变函数》等课程。主编《高等数学》教材一部。曾

基本信息姓名：李东升性别：男学位：博士职称：教授一级学科：仪器科学与技术二级学科：精密仪器及机械二级学院：计量测试工程学院研究方向：超精测试技术新型传感技术办公

基本信息姓名：孔明性别：男学位：博士职称：教授一级学科：仪器科学与技术二级学科：精密仪器及机械二级学院：计量测试工程学院研究方向：精密仪器、光电检测移动电话：1

基本信息姓名：蒋庆性别：男学位：博士职称：教授一级学科：仪器科学与技术二级学科：测试计量技术及仪器二级学院：计量测试工程学院在研课题多年从事自动测控系统的设