| 词条 | 姜云飞 |
| 释义 | § 简介 姜云飞教授曾访问过英、美等国,在国际国内著名计算机刊物上曾发表过论文30多篇和《定理机器证明》（和刘叙华教授合著，科学出版社出版）等多部著作。 § 介绍 姜云飞教授主持和参加（作为项目主要参加者）过国家自然科学基金项目四项。参加过国家“863”高技术项目两项, 并在项目中起骨干作用。参加过国家攀登项目一项, 并在该项目中起骨干作用。主持博士点基金项目一项。另主持过“长春粮油商品交易所计算机网络交易系统”、“建筑预算系统”等计算机应用横向项目多项，这些项目在工农业生产中取得了很大的经济效益。 姜云飞教授获国家教委科技进步奖(甲类)二等奖三项、获吉林省教委科技进步一等奖一项、二等奖一项。其它计算机应用横向项目获部委以下奖励多项。 获学术奖励情况举例： 1、 定理机器证明与自动推理 该项目主要研究定理机器证明中常用的归结方法与非归结方法, 提出了算子模糊逻辑, 提出了新的重写证明方法并将这种方法成功地推广到一阶逻辑,对BOYER-MOORE定理证明器提出了改进,提高了证明效率。 关于此项成果的鉴定意见认为“他们在获得的成果是很好的，在国内处于领先地位，和国际上同类研究相比也是先进的”。该项研究成果得到国内外广泛的重视与引用. 该项研究成果获1990年国家教委科技进(甲类)二等奖。 2、 基于逻辑和知识的机器推理 该项目研究了三种主要归结方法的相容性问题,把归结方法引入算子模糊逻辑, 提出归结方法, 研究了非单调推理,探讨了择优蕴涵与传统蕴涵的异同,研究了缺省逻辑与相信逻辑的关系。 关于此项成果的鉴定意见认为“这些工作已有为数不少的国内外评论和引用,产生了广泛的影响,他们的研究已达到该课题中同类成果的国际先进水平”。该项成果获1992年国家教委科技进步奖(甲类)二等奖。 3、 模糊逻辑与模糊推理 该项成果深入研究了算子模糊逻辑与?-归结,提出模糊择优蕴涵的概念,证明了模糊择优逻辑的性质,给出了判定算法。 关于此项成果的鉴定意见认为他们的研究成果“已达到该课题中同类成果的国际先进水平”。该项成果获吉林省教委科技进步一等奖等。 |
| 随便看 |
百科全书收录594082条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。