教师基本信息

以下信息由 夏世芬 老师本人提供,修改等登录系统

教师照片   ◆ 基本信息
夏世芬 ,女 ,副教授 ,1968年生 ,重庆壁山人
高校教龄:15年
教研室:数学学院 信息与计算科学系
学历学位:博士 研究生
电子邮件:xiashifen@126.com
公开电话:
◆ 个人简介 1987--1991年西南交大本科;1991--1995年川东水泥厂子弟校教师;1995--1998年西南交大攻读硕士学位,2006获博士学位,1998年至今西南交大数学系任教。
◆ 讲授课程 高等数学,线性代数,概率论与数理统计,文科高等数学
◆ 教学成果 1.国家自然科学基金项目:智能控制中的信息优化与决策方法研究(69874033),1999.1-2001.2, 排名第7,主研;
2.国家自然科学基金项目:基于格值逻辑的不确定性推理(60074014),2001.1-2003.12, 主研;
3.国家自然科学基金项目:基于格值逻辑的语言真值归结自动推理研究(60474022), 2005.1-2007.12, 排名第8,主研;
4.国家教改项目:高等数学现代化考试手段研究,2007.1-2009.12,主研;
5.四川省应用基础研究专项:智能控制中的模糊优化与决策方法研究, 主研;
  6. 校基金项目:智能科学与系统科学中的现代数学方法研究,排名第2,主研;
  7.校基金项目:高等数学校精品课程,2004,主研;
  8.校基金项目:线性代数校精品课程,2004,主研;
  9.省基金项目:高等数学四川省精品课程,2004,主研;
  10.省基金项目:线性代数四川省精品课程,2005,主研.
◆ 科研方向 主要研究方向:基于非经典逻辑的归结自动推理、不确定性推理,粗糙集理论及推理。先后参加国家自然基金项目3项、国家教改项目1项、省部级3项、校基金项目3项,主持校基金项目1项,发表论文20余篇,以第一作者发表的论文中,EI检索1篇,ISTP检索1篇,核心期刊15篇。   
1. SHI-FEN XIA, MING QING, TIAN-MIN HUANG, YANG XU. Neural network resolution on Horn clause set. Proceedings of the Second International on Machine Learning and Cybernetics, Xi,an 2-5 November 2003: 1682-1686(EI检索,检索号:0412807141).
2.Shifen xia, Ming qing, Xu yang. Parallel Unit Resolution. Proceedings of 2003 National Conference on Artificial Intelligence(CAAI-10),  Guangzhou, 2003,11: 250-130.
3.Shi-fen Xia, Ying-bin Qin , Yang Xu,  A New Resolution Inference by Petri Net, Proceedings of the 2007 international Conference on Intelligent Systems and Knowledge Engineering (ISKE2007),Chengdu, 15-16 October 2007:1530-1534. ( ISTP收录).
4. Xia Shi-fen, Huang Tian-min, Xu Yang. Neural network resolution on clause set. 模糊系统与数学, 2004, Vol18(2): 77-82.
5.Shi-fen Xia, Shu-xia Ma, Xu Yang. 并行单元归结. 四川师范大学学报,2004,Vol127(5): 501-504.
6.夏世芬, 徐扬. 一种矩阵归结方法. 模糊系统与数学, 2005, Vol19(2): 44-48.
7.夏世芬, 徐扬. 一种算子命题逻辑系统及其T-不变量推理算法. 模糊系统与数学, Vol.21,No.6 Dec.,2007:18-23.
8.夏世芬, 毛大会,徐扬. 一种算子模糊逻辑系统及其Petri网推理算法. 模糊系统与数学, Vol.22,No.1 Feb.,2008:7-14.
9.夏世芬, 徐扬. 一种算子模糊逻辑系统,四川师范大学学,2008,31(5):508-512.
10.Xia Shifen, Qin Yingbin, Xu Yang, MP Resolution Inference Method of LP(X) .The Journal of Fuzzy Mathematics,2009,17(2):1-9.
11. 夏世芬, 徐扬. 格值命题逻辑系统中基于滤子的MP归结演绎. 模糊系统与数学, Vol.23,No.1,2009:1-5.
12.Zhi-nong Miao, Shi-fen Xia. State space method for Fuzzy Control system description. IEEE SMC‘2004 Conference Proceedings, October 10-13, The Hague, The Netherlands, 2004: 382-386.
13.Zhi-nong Miao, Shi-fen Xia, Yang Xu. Fuzzy controller using multiple rule bases. Proceedings of the Third International Conference on Machine Learning and Cybernetics, Shanghai, 26-29 August 2004: 1093-1098.
14.Ming Qing, Hai-liang, Shi-fen Xia, Xue-Fang Wang. Contruction king of Fuzzy systems based on neural networks techniques. Proceedings of the Second International on Machine Learning and Cybernetics, Xi,an 2-5 November 2003:2629-2633(EI检索,检索号:0412802336).
◆ 教师寄语 认真做事,塌实做人。