共找到5條詞條名為姜雲飛的結果 展開
姜雲飛
吉林大學珠海學院系主任
姜雲飛，男，1945年生，中山大學計算機軟體所教授，博士導師，中國計算機學會理事，中國計算機教育專業委員會秘書長，中國計算機學會人工智慧專業委員會自動推理學組組長。現任吉林大學珠海學院計算機科學與技術系主任。姜雲飛教授曾訪問過英、美等國，在國際國內著名計算機刊物上曾發表過論文30多篇和《定理機器證明》（和劉敘華教授合著，科學出版社出版）等多部著作。另有同名人物為柳州市發展和改革委員會主任。
姜雲飛教授主持和參加（作為項目主要參加者）過國家自然科學基金項目四項。參加過國家“863”高技術項目兩項, 並在項目中起骨幹作用。參加過國家攀登項目一項, 並在該項目中起骨幹作用。主持博士點基金項目一項。另主持過“長春糧油商品交易所計算機網路交易系統”、“建築預算系統”等計算機應用橫向項目多項，這些項目在工農業生產中取得了很大的經濟效益。
姜雲飛教授獲國家教委科技進步獎(甲類)二等獎三項、獲吉林省教委科技進步一等獎一項、二等獎一項。其它計算機應用橫向項目獲部委以下獎勵多項。
1、定理機器證明與自動推理
該項目主要研究定理機器證明中常用的歸結方法與非歸結方法, 提出了運算元模糊邏輯, 提出了新的重寫證明方法並將這種方法成功地推廣到一階邏輯，對BOYER-MOORE定理證明器提出了改進，提高了證明效率。
關於此項成果的鑒定意見認為“他們在獲得的成果是很好的，在國內處於領先地位，和國際上同類研究相比也是先進的”。該項研究成果得到國內外廣泛的重視與引用. 該項研究成果獲1990年國家教委科技進(甲類)二等獎。
2、基於邏輯和知識的機器推理
該項目研究了三種主要歸結方法的相容性問題，把歸結方法引入運算元模糊邏輯, 提出歸結方法, 研究了非單調推理，探討了擇優蘊涵與傳統蘊涵的異同，研究了預設邏輯與相信邏輯的關係。
關於此項成果的鑒定意見認為“這些工作已有為數不少的國內外評論和引用，產生了廣泛的影響，他們的研究已達到該課題中同類成果的國際先進水平”。該項成果獲1992年國家教委科技進步獎(甲類)二等獎。
3、模糊邏輯與模糊推理
該項成果深入研究了運算元模糊邏輯與?-歸結，提出模糊擇優蘊涵的概念，證明了模糊擇優邏輯的性質，給出了判定演演算法。關於此項成果的鑒定意見認為他們的研究成果“已達到該課題中同類成果的國際先進水平”。該項成果獲吉林省教委科技進步一等獎等。
基本信息
- 國籍
- 中國
- 性別
- 男
- 出生日期
- 1945年
- 民族
- 漢