付慧敏檢視原始碼討論檢視歷史
|
付慧敏，女，西南財經大學講師。
人物簡歷
教育背景
2018/11-2019/08 貝爾法斯特大學 國家公派聯合培養博士
2017/09-2021/07 西南交通大學 博士
2015/09-2017/07 西南交通大學 碩士（碩博連讀）
2011/09-2015/07 河南大學 學士
職業經歷
2021/09年至今 西南財經大學經濟信息工程學院 講師
研究領域
榮譽獎勵
2021年 第24屆國際SAT競賽Crypto組第二名和Parallel Track UNSAT組第三名（團隊獎）
2017至2020年 博士生一等學業獎學金
2017年 西南交通大學楊華新秀獎學金（學院共2名）
講授課程
本科 人工智能通識教程 概率論
研究成果
付慧敏在國際期刊、國內核心期刊及會議發表論文10餘篇學術論文，其中以第一作者發表和錄用SCI期刊論文7篇、 國內核心期刊1篇, 會議論文3篇。部分代表論文目錄如下。
[1] 第一作者, 「Improving probability selecting based weights for Satisfiability Problem」, Knowledge-Based systems, 2022被錄用（JCR: Q1, IF: 8.038）
[2] 第一作者，「Emphasis on the Flipping Variable: Towards Effective Local Search for Hard Random Satisfiability」, Information Sciences , 2021, 566 (2021) : 118-139. （JCR: Q1, IF: 6.795）
[3] 第一作者，「More efficient stochastic local search for satisfiability」, Applied Intelligence, 2021, 51(6): 3996-4015. （JCR: Q1, IF: 5.086）
[4] 第一作者，「Improving Stochastic Local Search for Uniform k-SAT by Generating Appropriate Initial Assignment」, Computational Intelligence. 2021, 37:1706–1744.（JCR: Q3, IF: 2.33）
[5] 第一作者，「Focused random walk with probability distribution for SAT with long clauses」, Applied Intelligence, 2020, 50(12): 4732-4753. （JCR: Q1, IF: 5.086）
[6] 第一作者，「An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy」, International Journal of Computational Intelligence Systems, 2018, 11(1): 402-413. （JCR: Q2, IF: 2.181）
科研項目
[1] 四川省科技計劃項目，2020YJ0270，基於邏輯自動推理與機器學習的軟件可信性驗證研究，2020.1至2021.12，已結題，參研.
[2] 國家自然科學基金項目，61673320，基於矛盾體分離的動態自動演繹推理研究, 2017-1至2020-1，已結題，主研.
[3] 中央軍委科技委國防科技創新特區H863項目, 涉密,基於XXX研究, 2019-1至2020-9, 已結題，參研.
[4] 校級科創競賽項目，2019KCJS54，2019國際SAT問題競賽， 2019-3至2019.9，已結題，主研.[1]