近日，中國科學院公布了2023年度中國科學院優秀博士學位論文評審結果。軟件所2022屆畢業生黃沛、高鈺的博士學位論文均入選，兩位同學的指導教師張健研究員和魏峻研究員也榮獲2023年度中國科學院優秀導師稱號。 

　　黃沛，2016級直博生，其博士學位論文《邏輯公式可滿足性判定中的推理技術研究》聚焦于計算機領域一個重要而抽象的問題，即邏輯公式的可滿足性判定。邏輯公式是一種對計算問題高度形式化的描述方式，適用于多種應用背景的計算問題。黃沛的論文提出了兩種混合推理策略，結合了一階邏輯、命題邏輯以及啟發式和邏輯推理，成功用這些策略解決了組合數學領域關于特定拉丁方集合存在性的若干難題；改進了模態邏輯系統的推理方法，大幅提高了S5系統的自動推理效率；涉及深度學習和邏輯形式化的結合，提出了神經網絡弱魯棒性理論，提供了高效的概率推理方法以分析神經網絡對抗外界擾動的能力。 

　　高鈺，2015級碩博連讀生，其博士學位論文《基于故障注入的分布式系統失效恢復缺陷檢測技術》關注基于故障注入的分布式系統失效恢復缺陷檢測。失效恢復機制是保障分布式系統可靠性的一種技術途徑，故障注入技術被廣泛用于測試分布式系統失效恢復機制的正確性。論文總結了分布式系統失效恢復處理模型，開展了失效恢復缺陷實證研究，發現了若干缺陷模式，構建并發布了缺陷數據集。在此基礎上，論文提出了一種一致性導向的失效恢復缺陷檢測方法，基于動態數據流分析自動識別不一致的系統狀態，通過定向注入節點失效自動檢測失效恢復缺陷。論文還進一步提出了一種代碼覆蓋導向的分布式系統故障注入測試方法，利用系統運行時反饋引導故障注入，優化失效場景選擇策略，提高了恢復處理代碼的測試覆蓋度。 

　　中國科學院優秀博士學位論文評選始于2004年，每年評選一次。2023年，全院共有99篇論文入選。 

黃沛生活照