姜云飞的个人简介
姜云飞，男，1945年生，中山大学计算机软件所教授，博士导师，中国计算机学会理事，中国计算机教育专业委员会秘书长，中国计算机学会人工智能专业委员会自动推理学组组长。现任吉林大学珠海学院计算机科学与技术系主任。发表过多篇论文。
简介
姜云飞教授曾访问过英、美等国，在国际国内著名计算机刊物上曾发表过论文30多篇和《定理机器证明》（和刘叙华教授合著，科学出版社出版）等多部著作。
成绩荣誉
姜云飞教授主持和参加（作为项目主要参加者）过国家自然科学基金项目四项。参加过国家“863”高技术项目两项，并在项目中起骨干作用。参加过国家攀登项目一项，并在该项目中起骨干作用。主持博士点基金项目一项。另主持过“长春粮油商品交易所计算机网络交易系统”、“建筑预算系统”等计算机应用横向项目多项，这些项目在工农业生产中取得了很大的经济效益。
姜云飞教授获国家教委科技进步奖(甲类)二等奖三项、获吉林省教委科技进步一等奖一项、二等奖一项。其它计算机应用横向项目获部委以下奖励多项。
获奖情况
1、定理机器证明与自动推理
该项目主要研究定理机器证明中常用的归结方法与非归结方法，提出了算子模糊逻辑，提出了新的重写证明方法并将这种方法成功地推广到一阶逻辑，对BOYER-MOORE定理证明器提出了改进，提高了证明效率。
关于此项成果的鉴定意见认为“他们在获得的成果是很好的，在国内处于领先地位，和国际上同类研究相比也是先进的”。该项研究成果得到国内外广泛的重视与引用.该项研究成果获1990年国家教委科技进(甲类)二等奖。
2、基于逻辑和知识的机器推理
该项目研究了三种主要归结方法的相容性问题，把归结方法引入算子模糊逻辑，提出归结方法，研究了非单调推理，探讨了择优蕴涵与传统蕴涵的异同，研究了缺省逻辑与相信逻辑的关系。
关于此项成果的鉴定意见认为“这些工作已有为数不少的国内外评论和引用，产生了广泛的影响，他们的研究已达到该课题中同类成果的国际先进水平”。该项成果获1992年国家教委科技进步奖(甲类)二等奖。
3、模糊逻辑与模糊推理
该项成果深入研究了算子模糊逻辑与？-归结，提出模糊择优蕴涵的概念，证明了模糊择优逻辑的性质，给出了判定算法。关于此项成果的鉴定意见认为他们的研究成果“已达到该课题中同类成果的国际先进水平”。该项成果获吉林省教委科技进步一等奖等。
博物馆重馆更要重博物
姜云飞
一方面，是“平均不到22万人就拥有一座博物馆，博物馆数量居全国前列”；另一方面，是“观众数量明显偏少……u2018如果不是旅游旺季，除了节假日和双休日，几乎没几个观众。u2019”――这是今年“5·18”世界博物馆日本市媒体报道的一喜一忧。对于一座致力于品质立市，追求文化繁荣的城市，这样的“喜”自当可喜，这样的“忧”着实堪忧。
如此众多的博物馆，为何人气不足？“市民文化意识有待提高”是常见的说辞。这个理儿倒也说得通。只是，你要一个昨天还在为吃饱饭而忙碌的人，明天就爱上梵高、毕加索，似乎有些强人所难。老百姓真的就不爱去博物馆吗？据报载，三年前我市部分博物馆免费开放之处，也曾 “人气极旺”，经常有观众排队参观。可见，市民“到博物馆去”的需求和热情是有的。博物馆还要从自身找原因。
一个博物馆，往往标记着一城、一域乃至一国的文化与文明。一座好的博物馆就是一部物化的自然与社会发展史，人们在这里感知生命、对话历史，穿过时空阻隔，俯瞰历史风云。建好和办好博物馆，其意义不仅是留住城市的昨天，更在于为今天的城市提供借鉴，为城市的明天积蓄底蕴。只是，如今数量众多的博物馆能够为人们创造这样的可能、发挥这样的职能吗？
如何让博物馆里的历史“活”起来，更好地吸引观众，考验博物馆馆长们的智慧。走进博物馆，整洁但也冰冷的陈列柜、明亮却也缺少生气的灯光和“严禁××”的警告几乎是多数博物馆的“标准像”。更有很多“镇馆之宝”被以“保护”的名义束之高阁，寻常观众难得一见。到博物馆，大众内心深处有着接触和抚摸历史的欲望――那些堆砌在课本和史料里的文字，究竟是怎样的血肉丰满。而当这种希望被失望所取代，很多人只能选择无奈离开。
除了典藏与陈列，“为公众提供知识、教育和欣赏”的服务本是博物馆应有之义。那么，这种服务又是否做到位了呢？有博物馆管理者抱怨“除了节假日和双休日，几乎没几个观众”，其是否又曾想过，除了节假日和双休日，工作时间，普通市民又怎么可能流连于博物馆。据报载，今年5月19日大连自然博物馆首次尝试在夜间6时到9时开放，当日即有3560名市民前来参观，父母带着孩子的家庭组合占了参观人数的很大比例。这应当给所有的馆长们带来一些启发。
对于博物馆，建更多更好的“馆”很重要，“博物”更重要。“博物”作为一个词，最早出现在《山海经》里，意思是能辨识多种事物；《汉书·楚元王传赞》中也有“博物洽闻，通达古今”之意。据此而言，博物馆就是能让人“博物洽闻，通达古今”的地方。倘使这个地方不能履行“博物”的职能，建再多再好的“馆”又有何意。“博物”与“馆”之于博物馆的关系，恰如大楼、大师之于大学，“大学之大，非大楼之大，乃大师之大”。
毋庸讳言，作为城市的基础公共设施博物馆面临着重建设轻服务、重“硬件”轻“软件”的问题。大量的投资和建设，却没能发挥相应的效用。如果同样是城市基础公共设施的道路、桥梁出现了这样的问题，会引起很多人的重视；而博物馆同样的问题却少有问津。其实，其对城市的影响同样重大甚至更为深远。因为，前者奠基的是浅表的路，后者奠基的是深远的路。我们可以为了解决眼下出行的路，建好、管好、用好很多的路、很多的桥，为什么不能为孩子们走好明天的人生之路、为城市选择好明天的发展之路，建好更管好、用好博物馆呢？
