夏世芬 副教授
西南交通大学数学学院
搜索热度
最后毕业学校：西南交通大学 毕业专业：交通信息工程及控制
- 该教师暂无主页
- 中国四川省成都市郫都区犀安路 999 研究生院
教师信息导航
- 基本信息
- 教学情况
- 研究领域
- 研究成果
- 荣誉奖励
- 科研团队
- 招生信息
- 学生名单
♣ 教师简介
1987--1991年西南交大本科；1991--1995年川东水泥厂子弟校教师；1995--1998年西南交大攻读硕士学位，2006获博士学位，1998年至今西南交大数学系任教。
♣ 研究领域
主要研究方向：基于非经典逻辑的归结自动推理、不确定性推理，粗糙集理论及推理。先后参加国家自然基金项目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).
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).
♣ 招生专业
没有找到教师招生信息，可能是教师还未填写。