央廣網(wǎng)上海4月3日消息(記者周洪)2013年度上海市科學(xué)技術(shù)獎勵大會1日在上海展覽中心舉行。我國特種發(fā)動機動力系統(tǒng)技術(shù)領(lǐng)域的開拓者和領(lǐng)軍人物、中國工程院院士金東寒與著名計算機軟件科學(xué)家、中國科學(xué)院院士何積豐榮獲上海市科技功臣獎。

　　2013年度上海市科學(xué)技術(shù)獎共設(shè)科技功臣獎、自然科學(xué)獎、技術(shù)發(fā)明獎、科技進(jìn)步獎和國際科技合作獎五個獎勵類別。本次會議共授予自然科學(xué)獎28項、技術(shù)發(fā)明獎43項、科技進(jìn)步獎224項。德國籍超導(dǎo)電子學(xué)專家張懿被授予國際科技合作獎,授獎總數(shù)298項(人)。

　　榮獲上海市科技功臣獎的金東寒是中船重工第七一一研究所所長兼總工程師、我國著名的動力機械工程專家。他從事特種發(fā)動機及其動力系統(tǒng)研究與應(yīng)用開發(fā)近30年,由其主持研制的我國首臺具有自主知識產(chǎn)權(quán)的特種發(fā)動機及其動力系統(tǒng),開創(chuàng)了我國新型特船從無到有的歷史,使我國特船技術(shù)水平、綜合性能步入世界先進(jìn)行列,已批量應(yīng)用于現(xiàn)役裝備,形成了完整的技術(shù)體系。

　　榮獲上海市科技功臣獎的何積豐,是華東師范大學(xué)終身教授,長期從事計算機軟件復(fù)雜性、正確性和可靠性等問題的理論與應(yīng)用研究,是程序統(tǒng)一理論創(chuàng)立者、數(shù)據(jù)精化完備理論奠基者、可信軟件設(shè)計理論與技術(shù)開拓者。他與圖靈獎獲得者Hoare教授共同開創(chuàng)了程序統(tǒng)一理論學(xué)派,首次提出了數(shù)據(jù)精化的“程序分解算子”與“上下仿真映照對”方法,開拓了基于模型的可信軟件設(shè)計理論與技術(shù)。

　　記者了解到,在今年的獲獎項目中,原始創(chuàng)新、自主創(chuàng)新與擁有自主知識產(chǎn)權(quán)的成果明顯增加。據(jù)統(tǒng)計,國內(nèi)外授權(quán)發(fā)明專利1174項,實用新型專利1564項。其中,企業(yè)牽頭完成的獲獎項目131項,占44%,遠(yuǎn)超高校和科研院所,充分凸顯了企業(yè)的創(chuàng)新主體地位。