姜云飛教授曾訪問過英、美等國，在國際國內(nèi)著名計(jì)算機(jī)刊物上曾發(fā)表過論文30多篇和《定理機(jī)器證明》（和劉敘華教授合著，科學(xué)出版社出版）等多部著作。

　　姜云飛教授主持和參加（作為項(xiàng)目主要參加者）過國家自然科學(xué)基金項(xiàng)目四項(xiàng)。參加過國家“863”高技術(shù)項(xiàng)目?jī)身?xiàng)，并在項(xiàng)目中起骨干作用。參加過國家攀登項(xiàng)目一項(xiàng)，并在該項(xiàng)目中起骨干作用。主持博士點(diǎn)基金項(xiàng)目一項(xiàng)。另主持過“長(zhǎng)春糧油商品交易所計(jì)算機(jī)網(wǎng)絡(luò)交易系統(tǒng)”、“建筑預(yù)算系統(tǒng)”等計(jì)算機(jī)應(yīng)用橫向項(xiàng)目多項(xiàng)，這些項(xiàng)目在工農(nóng)業(yè)生產(chǎn)中取得了很大的經(jīng)濟(jì)效益。

　　姜云飛教授獲國家教委科技進(jìn)步獎(jiǎng)(甲類)二等獎(jiǎng)三項(xiàng)、獲吉林省教委科技進(jìn)步一等獎(jiǎng)一項(xiàng)、二等獎(jiǎng)一項(xiàng)。其它計(jì)算機(jī)應(yīng)用橫向項(xiàng)目獲部委以下獎(jiǎng)勵(lì)多項(xiàng)。

1、定理機(jī)器證明與自動(dòng)推理

　　該項(xiàng)目主要研究定理機(jī)器證明中常用的歸結(jié)方法與非歸結(jié)方法，提出了算子模糊邏輯，提出了新的重寫證明方法并將這種方法成功地推廣到一階邏輯，對(duì)BOYER-MOORE定理證明器提出了改進(jìn)，提高了證明效率。

　　關(guān)于此項(xiàng)成果的鑒定意見認(rèn)為“他們?cè)讷@得的成果是很好的，在國內(nèi)處于領(lǐng)先地位，和國際上同類研究相比也是先進(jìn)的”。該項(xiàng)研究成果得到國內(nèi)外廣泛的重視與引用.該項(xiàng)研究成果獲1990年國家教委科技進(jìn)(甲類)二等獎(jiǎng)。

2、基于邏輯和知識(shí)的機(jī)器推理

　　該項(xiàng)目研究了三種主要?dú)w結(jié)方法的相容性問題，把歸結(jié)方法引入算子模糊邏輯，提出歸結(jié)方法，研究了非單調(diào)推理，探討了擇優(yōu)蘊(yùn)涵與傳統(tǒng)蘊(yùn)涵的異同，研究了缺省邏輯與相信邏輯的關(guān)系。

　　關(guān)于此項(xiàng)成果的鑒定意見認(rèn)為“這些工作已有為數(shù)不少的國內(nèi)外評(píng)論和引用，產(chǎn)生了廣泛的影響，他們的研究已達(dá)到該課題中同類成果的國際先進(jìn)水平”。該項(xiàng)成果獲1992年國家教委科技進(jìn)步獎(jiǎng)(甲類)二等獎(jiǎng)。

3、模糊邏輯與模糊推理

　　該項(xiàng)成果深入研究了算子模糊邏輯與？-歸結(jié)，提出模糊擇優(yōu)蘊(yùn)涵的概念，證明了模糊擇優(yōu)邏輯的性質(zhì)，給出了判定算法。關(guān)于此項(xiàng)成果的鑒定意見認(rèn)為他們的研究成果“已達(dá)到該課題中同類成果的國際先進(jìn)水平”。該項(xiàng)成果獲吉林省教委科技進(jìn)步一等獎(jiǎng)等。

　　姜云飛

　　一方面，是“平均不到22萬人就擁有一座博物館，博物館數(shù)量居全國前列”；另一方面，是“觀眾數(shù)量明顯偏少……u2018如果不是旅游旺季，除了節(jié)假日和雙休日，幾乎沒幾個(gè)觀眾。u2019”——這是今年“5·18”世界博物館日本市媒體報(bào)道的一喜一憂。對(duì)于一座致力于品質(zhì)立市，追求文化繁榮的城市，這樣的“喜”自當(dāng)可喜，這樣的“憂”著實(shí)堪憂。

　　如此眾多的博物館，為何人氣不足？“市民文化意識(shí)有待提高”是常見的說辭。這個(gè)理兒倒也說得通。只是，你要一個(gè)昨天還在為吃飽飯而忙碌的人，明天就愛上梵高、畢加索，似乎有些強(qiáng)人所難。老百姓真的就不愛去博物館嗎？據(jù)報(bào)載，三年前我市部分博物館免費(fèi)開放之處，也曾 “人氣極旺”，經(jīng)常有觀眾排隊(duì)參觀�？梢�，市民“到博物館去”的需求和熱情是有的。博物館還要從自身找原因。

　　一個(gè)博物館，往往標(biāo)記著一城、一域乃至一國的文化與文明。一座好的博物館就是一部物化的自然與社會(huì)發(fā)展史，人們?cè)谶@里感知生命、對(duì)話歷史，穿過時(shí)空阻隔，俯瞰歷史風(fēng)云。建好和辦好博物館，其意義不僅是留住城市的昨天，更在于為今天的城市提供借鑒，為城市的明天積蓄底蘊(yùn)。只是，如今數(shù)量眾多的博物館能夠?yàn)槿藗儎?chuàng)造這樣的可能、發(fā)揮這樣的職能嗎？

　　如何讓博物館里的歷史“活”起來，更好地吸引觀眾，考驗(yàn)博物館館長(zhǎng)們的智慧。走進(jìn)博物館，整潔但也冰冷的陳列柜、明亮卻也缺少生氣的燈光和“嚴(yán)禁××”的警告幾乎是多數(shù)博物館的“標(biāo)準(zhǔn)像”。更有很多“鎮(zhèn)館之寶”被以“保護(hù)”的名義束之高閣，尋常觀眾難得一見。到博物館，大眾內(nèi)心深處有著接觸和撫摸歷史的欲望——那些堆砌在課本和史料里的文字，究竟是怎樣的血肉豐滿。而當(dāng)這種希望被失望所取代，很多人只能選擇無奈離開。

　　除了典藏與陳列，“為公眾提供知識(shí)、教育和欣賞”的服務(wù)本是博物館應(yīng)有之義。那么，這種服務(wù)又是否做到位了呢？有博物館管理者抱怨“除了節(jié)假日和雙休日，幾乎沒幾個(gè)觀眾”，其是否又曾想過，除了節(jié)假日和雙休日，工作時(shí)間，普通市民又怎么可能流連于博物館。據(jù)報(bào)載，今年5月19日大連自然博物館首次嘗試在夜間6時(shí)到9時(shí)開放，當(dāng)日即有3560名市民前來參觀，父母帶著孩子的家庭組合占了參觀人數(shù)的很大比例。這應(yīng)當(dāng)給所有的館長(zhǎng)們帶來一些啟發(fā)。

　　對(duì)于博物館，建更多更好的“館”很重要，“博物”更重要�！安┪铩弊鳛橐粋�(gè)詞，最早出現(xiàn)在《山海經(jīng)》里，意思是能辨識(shí)多種事物；《漢書·楚元王傳贊》中也有“博物洽聞，通達(dá)古今”之意。據(jù)此而言，博物館就是能讓人“博物洽聞，通達(dá)古今”的地方。倘使這個(gè)地方不能履行“博物”的職能，建再多再好的“館”又有何意。“博物”與“館”之于博物館的關(guān)系，恰如大樓、大師之于大學(xué)，“大學(xué)之大，非大樓之大，乃大師之大”。

　　毋庸諱言，作為城市的基礎(chǔ)公共設(shè)施博物館面臨著重建設(shè)輕服務(wù)、重“硬件”輕“軟件”的問題。大量的投資和建設(shè)，卻沒能發(fā)揮相應(yīng)的效用。如果同樣是城市基礎(chǔ)公共設(shè)施的道路、橋梁出現(xiàn)了這樣的問題，會(huì)引起很多人的重視；而博物館同樣的問題卻少有問津。其實(shí)，其對(duì)城市的影響同樣重大甚至更為深遠(yuǎn)。因?yàn)�，前者奠基的是淺表的路，后者奠基的是深遠(yuǎn)的路。我們可以為了解決眼下出行的路，建好、管好、用好很多的路、很多的橋，為什么不能為孩子們走好明天的人生之路、為城市選擇好明天的發(fā)展之路，建好更管好、用好博物館呢？