帐号登陆 English

报考该导师研究生的方式

欢迎你报考何星星老师的研究生,报考有以下方式:

1、参加西南交通大学暑期夏令营活动,提交导师意向时,选择何星星老师,你的所有申请信息将发送给何星星老师,老师看到后将和你取得联系,点击此处参加夏令营活动

2、如果你能获得所在学校的推免生资格,欢迎通过推免方式申请何星星老师研究生,可以通过系统的推免生预报名系统提交申请,并选择意向导师为何星星老师,老师看到信息后将和你取得联系,点击此处推免生预报名

3、参加全国硕士研究生统一招生考试报考何星星老师招收的专业和方向,进入复试后提交导师意向时选择何星星老师。

4、如果你有兴趣攻读何星星老师博士研究生,可以通过申请考核或者统一招考等方式报考该导师博士研究生。

点击关闭

何星星

报考该导师

副教授 、硕士生导师

职称:副教授

所在单位: 数学学院

学位:工学博士学位

学科:计算数学

办公地点:西南交通大学数学学院30615

通讯/办公地址:

办公室电话:

邮箱:

论文成果

个人简介

何星星,博士,副教授。先后于2005年和2008年在辽宁师范大学数学学院获理学学士学位和硕士学位。2012年在西南交通大学获工学博士学位,同年至今在西南交通大学数学学院执教。2018年至2019年期间在英国Ulster大学计算系学术访问。一直致力于基于逻辑的自动推理、基于深度学习(特别是图神经网络)的前提选择、以及图深度学习与逻辑推理融合理论与方法研究,在INS, FSS, LOG J IGPL等国内外学术期刊上发表SCI论文40余篇。获西南交通大学优秀博士学位论文。获第十二届多值逻辑与模糊逻辑年会、FLINS2014国际会议最佳论文奖。担任逻辑学会非经典逻辑与计算专委会、人工智能学会粒计算与知识发现专委会委员,人工智能学会机器学习专委会、人工智能学会人工智能基础专委会通讯委员;多次担任国际学术会议Session Chair。现主持四川省科技重点项目1项,主持完成国家自然科学基金青年项目1项、教育部人文社科基金项目1项、西南交通大学“理科培育”项目1项和中央高校基本业务费项目多项。


主要讲授课程

  • - 数理逻辑

    - 自动推理

    - 模糊数学

    - 高等数学

    - 线性代数


主要研究兴趣

  • - 基于逻辑的自动推理

    - 模糊信息度量与模糊推理

    - 图神经网络与逻辑推理融合理论与方法


Some selected paper

    1. A. Publications as the first author

      • - Xingxing He*, Yingfang Li, Yanghe Feng, On structures of regular standard contradictions in propositional logic. Information Sciences 586: 261-278 (2022)

      • - Xingxing He*, Yingfang Li, Keyun Qin: On a new distance measure of three-parameter interval numbers and its application to pattern recognition. Soft Comput. 25(13): 8595-8607 (2021)

      • - Xingxing He*, Yang Xu, Jun Liu, Yingfang Li: α-Paramodulation method for a lattice-valued logic LnF(X) with equality. Soft Comput. 25(1): 251-261 (2021)

      • - Xingxing He*, Yingfang Li, Keyun Qin, Dan Meng: Distance measures on intuitionistic fuzzy sets based on intuitionistic fuzzy dissimilarity functions. Soft Comput. 24(1): 523-541 (2020)

      • - Xingxing He*, Yingfang Li, Limin Du, Keyun Qin: Two computational formulae for similarity measures on intuitionistic fuzzy sets based on intuitionistic fuzzy equivalencies. J. Intell. Fuzzy Syst. 37(5): 7073-7086 (2019)

      • - Xingxing He*, Yingfang Li, Keyun Qin, Dan Meng: On the TL-transitivity of fuzzy similarity measures. Fuzzy Sets Syst. 322: 54-69 (2017)

      • - Xingxing He*, Yingfang Li, Keyun Qin, Dan Meng: On the characterizations of fuzzy XNOR connectives. J. Intell. Fuzzy Syst. 32(3): 2733-2745 (2017)

      • - Xingxing He*, Yang Xu, Jun Liu: Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic. ISKE 2015: 18-20

      • - Xingxing He*, Yang Xu, Jun Liu, Shuwei Chen: A unified algorithm for finding k -IESFs in linguistic truth-valued lattice-valued propositional logic. Soft Comput. 18(11): 2135-2147 (2014)

      • - Xingxing He*, Yingfang Li, Keyun Qin: On the associative property of fuzzy Xor connectives. J. Intell. Fuzzy Syst. 25(1): 1-7 (2013)

      • - Xingxing He*, Jun Liu, Yang Xu, Luis Martínez-López, Da Ruan: On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic. Log. J. IGPL 20(3): 579-588 (2012)

      • - Xingxing He*, Yang Xu, Jun Liu, Shuwei Chen: α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic. Int. J. Comput. Intell. Syst. 5(6): 1120-1134 (2012)

      • - Xingxing He*, Yang Xu, Jun Liu, Shuwei Chen: On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic. Soft Comput. 16(4): 699-709 (2012)

      • - Xingxing He*, Yang Xu, Jun Liu, Da Ruan: alpha-resolution method for a lattice-valued first-order logic. Eng. Appl. Artif. Intell. 24(7): 1274-1280 (2011)

      • - Xingxing He*, Yang Xu, Yingfang Li, Jun Liu, Luis Martínez-López, Da Ruan: alpha-Satisfiability and alpha-Lock Resolution for a Lattice-Valued Logic LP(X). HAIS (2) 2010: 320-327

    2. B. Publications as the corresponding author

    3. - Huimin Fu, Yang Xu, Guanfeng Wu, Jun Liu, Shuwei Chen, Xingxing He: Emphasis on the flipping variable: Towards effective local search for hard random satisfiability. Inf. Sci. 566: 118-139 (2021)

      - Yingfang Li, Xingxing He*, Keyun Qin, Dan Meng: Some notes on optimal fuzzy reasoning methods. Inf. Sci. 503: 652-669 (2019)

      - Meng Wang, Xingxing He*: 一种基于加权决策变量决策层的分支策略 (Branching Strategy Based on Weighted Decision Variable Level). 计算机科学 46(11A): 19-22 (2019)

      - Meng Wang, Xingxing He*, Jun Liu: A Learned Clause Deletion Strategy Based on Distance Ratio. ISKE 2019: 248-252

      - Yang Xu, Jun Liu, Xingxing He*, Xiaomei Zhong, Shuwei Chen: Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic. Int. J. Comput. Intell. Syst. 11(1): 384-401 (2018)

      - Guanfeng Wu, Qingshan Chen, Yang Xu, Xingxing He*: A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem. Int. J. Comput. Intell. Syst. 12(1): 250-258 (2018)

      - Yang Xu, Jun Liu, Shuwei Chen, Xiaomei Zhong, Xingxing He: Contradiction separation based dynamic multi-clause synergized automated deduction. Inf. Sci. 462: 93-113 (2018)

      - Yingfang Li, Xingxing He*, Keyun Qin, Dan Meng: Three constructive methods for the definition of interval-valued fuzzy equivalencies. Fuzzy Sets Syst. 322: 70-85 (2017)

      - Qingshan Chen, Yang Xu, Jun Liu, Xingxing He: A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems. Int. J. Comput. Intell. Syst. 10(1): 824-834 (2017)

      - Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He*: 一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver). 计算机科学 44(11): 279-283 (2017)

      - Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu, Xingxing He*: Some synergized clause selection strategies for contradiction separation based automated deduction. ISKE 2017: 1-6

      - Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He*: Conflicting rate based branching heuristic for CDCL SAT solvers. ISKE 2017: 1-5

      - Qinghua Liu, Yang Xu, Xingxing He*: New terms metric based on substitutions. ISKE 2017: 1-6

      - Yingfang Li, Keyun Qin, Xingxing He*, Dan Meng: Properties of Raha's similarity-based approximate reasoning method. Fuzzy Sets Syst. 294: 48-62 (2016)

      - Yingfang Li, Keyun Qin, Xingxing He*, Dan Meng: Robustness of fuzzy connectives and fuzzy reasoning with respect to general divergence measures. Fuzzy Sets Syst. 294: 63-78 (2016)

      - Yingfang Li, Keyun Qin, Xingxing He*, Dan Meng: Similarity measures of interval-valued fuzzy sets. J. Intell. Fuzzy Syst. 28(5): 2113-2125 (2015)

      - Yang Xu, Jun Liu, Xingxing He*, Xiaomei Zhong, Shuwei Chen: Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic. ISKE 2015: 1-7

      - Yingfang Li, Keyun Qin, Xingxing He*: Some new approaches to constructing similarity measures. Fuzzy Sets Syst. 234: 46-60 (2014)

      - Jiafeng Zhang, Yang Xu, Xingxing He*: α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic LV(n×2)P(X). Int. J. Comput. Intell. Syst. 7(1): 160-171 (2014)

      • - Yingfang Li, Keyun Qin, Xingxing He*: Dissimilarity functions and divergence measures between fuzzy sets. Inf. Sci. 288: 15-26 (2014)

      • - Yingfang Li, Keyun Qin, Xingxing He*: Robustness of fuzzy connectives and fuzzy reasoning. Fuzzy Sets Syst. 225: 93-105 (2013)

      • - Yingfang Li, Keyun Qin, Xingxing He*: Relations among similarity measure, subsethood measure and fuzzy entropy. Int. J. Comput. Intell. Syst. 6(3): 411-422 (2013)

      • - Yingfang Li, Keyun Qin, Xingxing He*: Fuzzy XNOR connectives in fuzzy logic. Soft Comput. 15(12): 2457-2465 (2011)


科研项目

项目概况

现主持四川省科技项目1项,主持完成国家自然科学基金青年项目1项、教育部人文社科基金项目1项、西南交通大学“理科培育”项目1项和中央高校基本业务费项目多项。


学生信息

  • - 已毕业马雪(2020),黎兴玉(2019),唐雷明(2018),王萌(2017)

  • - 在读:赵忠旭、许佳(2024),潘兰、曾丹(2023),臧珲、王成龙(2022),兰咏琪(2021)


招生要求

  • - 勤奋踏实、勇于创新,对学术科研有浓厚兴趣

    - 对深度学习、数理逻辑等相关方向有浓厚兴趣

    - 有较扎实的数学功底、熟练掌握python等编程语言者优先


Copyright © 2019 西南交通大学. All Rights Reserved.蜀ICP备05026985号
犀浦校区地址:中国四川省成都市郫都区犀安路 999 号    邮编:611756
川公网安备51010602000061号
技术支持:信息化与网络管理处

访问量:

开通时间:--

最后更新时间:--