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项）序号 起止时间 项目名称 项目分类项目级别主持/参与1 2014.1.1201
4、6.12.31 基于格值逻辑的-锁归结与-锁调解自动推理 （项目编号：61305074） 国家自然科学基金青 年基金项目 B 主持2 2017.1.12020.12.31 基于矛盾体分离的动态自动演绎推理研究 （项目编号：61673320） 国家自然科学基金面 上项目 A 参与3 2013.1.12016.12.31 基于格值逻辑的-n(t)归结自动推理研究 （项目编号：61175055） 国家自然科学基金面 上项目 A 参与任现职以来的科研业绩任现职以来的科研业绩科研项目总体情况：第一作者或通讯作者论文 A+类 8 篇、A+类 2 篇、A类 5 篇、B+类 4 篇、B类 0 篇、C类 0 篇
5、。（仅填写任现职以来发表的第一作者或通讯作者论文与专著，限填10项）序号作者信息（本人加粗，通讯作者加*）论文题目或著作名称 期刊与出版信息（名称、发表年月、卷期号、页码）期刊分级/影响因子1 X. He*, Y. Li, K. Qin, D. Meng On the TL-transitivity of fuzzy similarity measures Fuzzy Sets and Systems, 2016,7; 322: 54-69 A+IF：2.882 X. He*, Y. Li, K. Qin, D. Meng On the characterizations of fuzzy X
6、NOR connectivesJournal of Intelligent 32(3): 2733-2745A+IF：1.2613 X. 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.4724 X. He*, Y. Li, K. Qin On the associative property
7、 of fuzzy Xor connectivesJournal of Intelligent 25(1): 1-7A+IF：1.2615 X. 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.1406 X. He*, Y. Xu, J. Li
8、u, Y. Li -Lock paramodulation for a lattice- valued first order logic LnF(X) FLINS2016, 2016,8; 10:477-482 A7 X. He*, Y. Xu, J. Liu, Y. Li -Lock paramodulation for lattice- valued propositional logic ISKE2015, 2015,11; 8: 18-20 A8 Y. Li, K. Qin, X. He* Dissimilarity functions and divergence measures
9、 between fuzzy sets Information Sciences, 2014,8; 322: 15-26 A+IF：4.8329 Y. 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.88学术论文与著作10 Y. Li, K. Qin, X. He*Robustness of fuzzy connectives
10、 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 人。Properties of Rahas similarity-based approximate reasoning method其它业绩1.第一完成人获批国家发明专利 项；2.获得省部级以上科技奖励情况（注明排名）、以及省部级以上学术荣誉等。本表限2页，单页正反面打印 本人签字：
