资源描述：
《西南交通大学教师专业技术职务评审个人信息简表》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、西南交通大学教师专业技术职务评审个人信息简表申报系列：☑教学科研申报评审程序类别：□实体性条件评审程序□科学研究☑程序性评审程序（☑校内人员□公开招聘人员）姓名何星星出生年月1982.10申报学科数学所在单位数学学院最高学位及毕业学校、专业博士学位、西南交通大学、交通信息工程及控制现专业技术职务及任职时间讲师（2012.10）拟评聘的专业技术职务副教授申报程序性评审原因与业绩亮点申报原因：海外经历未满6个月（已有2个月）业绩亮点：1、以第一作者或通讯作者发表高水平论文19篇，其中，A++类8篇、A+类2篇、A类5篇。2、主持完成国家自然科学基金
2、青年基金1项，主研国家自然科学基金面上项目2项。3、申请国家发明专利13项，目前均已收到初步审查合格通知书。4、作为主要研究人员，积极全面参与系统可信性自动验证国家地方联合实验室申建工作。主要学习、工作简历学习经历：-2012年，毕业于西南交通大学，信息科学与技术学院，获工学博士学位-2008年，毕业于辽宁师范大学，数学学院，获理学硕士学位-2005年，毕业于辽宁师范大学，数学学院，获理学学士学位-2012.7～至今，西南交通大学，数学学院，从事教学科研海外经历与时间1、2013.09.01～2013.09.20，随徐扬教授学术团队访问英国剑桥
3、大学、牛津大学、曼切斯特大学、阿尔斯特大学等，并在阿尔斯特大学代表实验室汇报团队研究进展。2、2015.11.23～2015.11.28，参加第十届智能系统与知识工程国际学术会议（ISKE2015），做会议分组报告，并担任两个Session的SessionChair。3、2016.8.20～2016.8.28，参加第十二届模糊逻辑与智能技术国际学术会议（FLINS2016），做会议分组报告，并担任SessionChair。任现职以来的科研业绩科研项目总体情况：主持A类项目0项、B类项目1项、C类项目0项。（仅填写任现职以来主持的C类以上科研项目
4、，以及参与的A类科研项目，限填5项）任现职以来的科研业绩序号起止时间项目名称项目分类项目级别主持/参与12014.1.1～2016.12.31基于格值逻辑的α-锁归结与α-锁调解自动推理（项目编号：61305074）国家自然科学基金青年基金项目B主持22017.1.1～2020.12.31基于矛盾体分离的动态自动演绎推理研究（项目编号：61673320）国家自然科学基金面上项目A参与32013.1.1～2016.12.31基于格值逻辑的α-n(t)归结自动推理研究（项目编号：61175055）国家自然科学基金面上项目A参与学术论文与著作总体情况
5、：第一作者或通讯作者论文A++类8篇、A+类2篇、A类5篇、B+类4篇、B类0篇、C类0篇。（仅填写任现职以来发表的第一作者或通讯作者论文与专著，限填10项）序号作者信息（本人加粗，通讯作者加*）论文题目或著作名称期刊与出版信息（名称、发表年月、卷期号、页码）期刊分级/影响因子1X.He*,Y.Li,K.Qin,D.MengOntheTL-transitivityoffuzzysimilaritymeasuresFuzzySetsandSystems,2016,7;322:54-69A++IF：2.882X.He*,Y.Li,K.Qin,D.M
6、engOnthecharacterizationsoffuzzyXNORconnectivesJournalofIntelligent&FuzzySystems,2017,3;32(3):2733-2745A++IF：1.2613X.He*,Y.Xu,J.Liu,S.ChenAunifiedalgorithmforfindingk-IESFsinlinguistictruth-valuedlattice-valuedpropositionallogicSoftComputing,2013,12;18(11):2135-2147A+IF：2.47
7、24X.He*,Y.Li,K.QinOntheassociativepropertyoffuzzyXorconnectivesJournalofIntelligent&FuzzySystems,2014,11;25(1):1-7A+IF：1.2615X.He*,Y.Xu,J.Liu,S.Chenα-Generalizedlockresolutionmethodinlinguistictruth-valuedlattice-valuedlogicInternationalJournalofComputationalIntelligenceSyst
8、ems,2012,11;5(6):1120-1134B+IF：1.1406X.He*,Y.Xu,J.Liu,Y.Liα-Lockparamodulat
