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

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

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

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

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