西南交通大学教师专业技术职务评审个人信息简表

1、西南交通大学教师专业技术职务评审个人信息简表申报系列：教学科研 申报评审程序类别：实体性条件评审程序 科学研究 程序性评审程序（校内人员 公开招聘人员）姓名何星星出生年月1982.10申报学科数学所在单位数学学院最高学位及毕业学校、专业博士学位、西南交通大学、交通信息工程及控制现专业技术职务及任职时间讲师（2012.10）拟评聘的专业技术职务副教授申报程序性评审原因与业绩亮点申报原因：海外经历未满6个月（已有2个月）业绩亮点：1、以第一作者或通讯作者发表高水平论文 19 篇，其中，A+类 8 篇、A+类 2 篇、A类 5 篇。 2、主持完成国家自然科学基金青年基金 1 项，主研国家自然科学基金

2、面上项目 2 项。 3、申请国家发明专利 13 项，目前均已收到初步审查合格通知书。 4、作为主要研究人员，积极全面参与系统可信性自动验证国家地方联合实验室申建工作。主要学习、工作简历学习经历：- 2012年，毕业于西南交通大学，信息科学与技术学院，获工学博士学位- 2008年，毕业于辽宁师范大学，数学学院，获理学硕士学位- 2005年，毕业于辽宁师范大学，数学学院，获理学学士学位- 2012.7至今，西南交通大学，数学学院，从事教学科研海外经历与时间1、2013.09.012013.09.20，随徐扬教授学术团队访问英国剑桥大学、牛津大学、曼切斯特大学、阿尔斯特大学等，并在阿尔斯特大学代表实

3、验室汇报团队研究进展。2、2015.11.232015.11.28，参加第十届智能系统与知识工程国际学术会议（ISKE2015），做会议分组报告，并担任两个Session的Session Chair。3、2016.8.202016.8.28，参加第十二届模糊逻辑与智能技术国际学术会议（FLINS2016），做会议分组报告，并担任Session Chair。任现职以来的科研业绩任现职以来的科研业绩科研项目总体情况：主持A类项目 0 项、B类项目1 项、C类项目0 项。（仅填写任现职以来主持的C类以上科研项目，以及参与的A类科研项目，限填5项）序号起止时间项目名称项目分类项目级别主持/参与1201

4、4.1.12016.12.31基于格值逻辑的-锁归结与-锁调解自动推理（项目编号：）国家自然科学基金青年基金项目B主持22017.1.12020.12.31基于矛盾体分离的动态自动演绎推理研究（项目编号：）国家自然科学基金面上项目A参与32013.1.12016.12.31基于格值逻辑的-n(t)归结自动推理研究（项目编号：）国家自然科学基金面上项目A参与学术论文与著作总体情况：第一作者或通讯作者论文 A+类 8 篇、A+类 2 篇、A类 5 篇、B+类 4 篇、B类 0 篇、C类 0 篇。（仅填写任现职以来发表的第一作者或通讯作者论文与专著，限填10项）序号作者信息（本人加粗，通讯作者加*）

5、论文题目或著作名称期刊与出版信息（名称、发表年月、卷期号、页码）期刊分级/影响因子1X. He*, Y. Li, K. Qin, D. MengOn the TL-transitivity of fuzzy similarity measuresFuzzy Sets and Systems, 2016,7; 322: 54-69A+IF：2.882X. He*, Y. Li, K. Qin, D. MengOn the characterizations of fuzzy XNOR connectivesJournal of Intelligent & Fuzzy Systems, 2

6、017,3; 32(3): 2733-2745A+IF：1.2613X. He*, Y. Xu, J. Liu, S. ChenA unified algorithm for finding k-IESFs in linguistic truth-valued lattice-valued propositional logicSoft Computing, 2013,12; 18(11): 2135-2147A+IF：2.4724X. He*, Y. Li, K. QinOn the associative property of fuzzy Xor connectivesJournal o

7、f Intelligent & Fuzzy Systems, 2014,11; 25(1): 1-7A+IF：1.2615X. He*, Y. Xu, J. Liu, S. Chen-Generalized lock resolution method in linguistic truth-valued lattice-valued logicInternational Journal of Computational Intelligence Systems, 2012,11; 5(6): 1120-1134B+IF：1.1406X. He*, Y. Xu, J. Liu, Y.

8、Li-Lock paramodulation for a lattice- valued first order logic LnF(X)FLINS2016, 2016,8; 10:477-482A7X. He*, Y. Xu, J. Liu, Y. Li-Lock paramodulation for lattice- valued propositional logicISKE2015, 2015,11; 8: 18-20A8Y. Li, K. Qin, X. He*Dissimilarity functions and divergence measures between fuzzy

9、setsInformation Sciences, 2014,8; 322: 15-26A+IF：4.8329Y. Li, X. He*, K. Qin, D. MengThree constructive methods for the definition of interval-valued fuzzy equivalenciesFuzzy Sets and Systems, 2017,3; 288: 70-85A+IF：2.8810Y. Li, K. Qin, X. He*Robustness of fuzzy connectives and fuzzy reasoning with respect to general divergence measuresFuzzy Sets and Systems, 2015,7; 294: 63-78A+IF：2.88任现职以来的教学业绩总体情况：是/否满足教学要求, 教学综合评价 91.15 分。完成每年规定的教学科研任务，独立讲授本科及以上课程 6 门，且平均每年为本科生独立开设课程 42 学时；且教学效果优良,综合评价 91.15 分；参与实践教学活动情况（指导毕业设计 8 人，或指导学生实习 0 人，或指导课外创新创业实践活动 0 人等);完整培养研究生 0 届，指导研究生 3 人。