何星星

何星星，男，畢業於西南交通大學，博士，副教授，現任職於西南交通大學。

基本介紹

• 中文名：何星星
• 學位/學歷：博士
• 職業：教師
• 專業方向：智慧型信息處理
• 任職院校：西南交通大學

個人經歷

2012年畢業於西南交通大學信息科學與技術學院，獲工學博士學位；分別於2005年、2008年畢業於遼寧師範大學數學學院，獲理學學士和理學碩士學位。

主講課程

研究生課程

1. 《歸結自動推理》

本科生課程

1. 《高等數學》
2. 《線性代數》

研究方向

現主要研究方向：

1. 智慧型信息處理
2. 歸結自動推理

學術成果

以第一作者在國內外重要學術期刊和學術會議上發表研究論文18篇。主持完成國家自然科學基金青年基金項目1項、中央高校基本科研業務費科技創新項目2項；先後參與國家自然科學基金項目3項和高等學校博士學科點專項科研基金項目1項。

主持科研項目:

國家自然科學基金青年基金項目, 2014.01～2016.12.

中央高校基本科研業務費科技創新項目, 2015.01～2016.12.

中央高校基本科研業務費科技項目（百人計畫）, 2012.01～2014.12（已結題）.

學術論文

Xingxing He, Yingfang Li, et al., On the TL-transitivity of fuzzy similarity measures,Fuzzy Sets and Systems322 (2017) 54-69. (SCI)

Xingxing He, Yingfang Li, et al., On the characterizations of fuzzy XNOR connectives,Journal of Intelligent & Fuzzy Systems32(3) (2017) 2733-2745. (SCI)

Xingxing He, Yang Xu, Jun Liu, A unified algorithm for finding k-IESFs in linguistic truth-valued lattice-valued propositional logic,Soft Computing18 (11) (2014) 2135-2147. (SCI)

Xingxing He, Yang Xu, Jun Liu, Da Ruan, α-Lock resolution method for a lattice-valued first-order logic,Engineering Applications of Artificial Intelligence24 (7) (2011) 1274-1280. (SCI)

Xingxing He, Jun Liu, Yang Xu, Luis Martinez, Da Ruan, On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic,Logic Journal of IGPL20 (3) (2012) 579-588. (SCI)

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

Xingxing He, Yang Xu, Jun Liu, Shuwei Chen, α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic,International Journal of Computational Intelligence Systems5 (6) (2012) 1120-1134. (SCI)

Xingxing He, Yingfang Li, Keyun Qin,On the associative property of fuzzy Xor connectives,Journal of Intelligent and Fuzzy Systems25 (2013) 1-7. (SCI)

Xingxing He, Yang Xu, Jun Liu, α-Input and α-unit resolution methods for generalized horn clause set,Journal of Donghua University28 (1) (2012) 66-70. (EI)

Xingxing He, Yang Xu, Yingfang Li, Jun Liu, Luis Martínez, Da Ruan, α-Satisfiability and α-lock resolution for a lattice-valued logic LP(X),Lecture Notes in Artificial Intelligence6077 (2010) 320-327. (EI)

何星星, 徐揚, 李瑩芳, 格值命題邏輯廣義文字的正規性. 計算機工程與套用, 48 (10) (2012) 43-46. (CSCD)

Xingxing He, Yang Xu, Jun Liu,α-Lock Paramodulation for a lattice-valued first order logic LnF(X),Proceedings of the 12th International FLINS Conference (FLINS 2016).2016. (ISTP)

Xingxing He, Yang Xu, Jun Liu,α-Lock Paramodulation for Lattice-Valued Propositional Logic,10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2015)2015, 18-20. (ISTP)

Xingxing He, Yang Xu, Jun Liu,α-Paramodulation for Lattice-Valued Logic with Equality,FLINS Conference2014 , 214, 86-91. (ISTP)

Xingxing He, Yang Xu, Jun Liu,α-Generalized Lock Resolution with Deleting Strategies in LnF(X),7th ISKE Conference 2014, 214, 377-384. (ISTP)

Xingxing He, Yang Xu, Jun Liu, Comparisons Among α-Generalized Resolution Methods in Ln×2F(X),FLINS Conference 2012, 277, 35-42. (ISTP)

Xingxing He, Yang Xu, Yingfang Li, Jiafeng Zhang, An Algorithm for Finding k-Indecomposable Extremely Simple Forms in L6P(X),FLINS Conference 2010, 156- 161. (ISTP)

Xingxing He, Yang Xu, Yingfang Li, Jiafeng Zhang,On Normal Properties of Generalized Literals in LP(X), 第十二屆多值邏輯與模糊邏輯年會, 88-93.

榮譽獎項

獲第12屆多值邏輯與模糊邏輯年會報告最佳論文獎，獲西南交通大學優秀博士學位論文。獲2011年四川省科技進步二等獎及省科技成果鑑定各1項（排名9/9）；獲2012屆四川省優秀畢業生等榮譽稱號。