如何讓玉兔號月球車幾條腿協(xié)同走路?地鐵怎么實現(xiàn)無人駕駛?不管是航空航天還是軌道交通,這些應(yīng)用場景都離不開控制軟件的指揮。
“可以說任何一個行業(yè)都離不開軟件?!敝袊茖W(xué)院院士、計算機(jī)軟件科學(xué)家何積豐認(rèn)為。
(相關(guān)資料圖)
作為工業(yè)新“五基”之一,工業(yè)軟件對于推動制造業(yè)轉(zhuǎn)型升級具有重要的戰(zhàn)略意義。近年來,我國工業(yè)軟件發(fā)展快速,工信部數(shù)據(jù)顯示,2022年,工業(yè)軟件產(chǎn)品收入達(dá)2407億元,同比增長14.3%, 2023年上半年,工業(yè)軟件產(chǎn)品收入達(dá)1247億元,同比增長12.8%。
“我國工業(yè)軟件大概有三千多億的市場規(guī)模,放眼全世界大概是幾萬億。所以我們工業(yè)軟件現(xiàn)有的市場規(guī)模和產(chǎn)能,跟已有的工業(yè)基礎(chǔ)是有些不太適配的?!焙畏e豐近日接受第一財經(jīng)獨家專訪時說道。
在新型工業(yè)化浪潮中,國產(chǎn)工業(yè)軟件未來應(yīng)該關(guān)注重哪些發(fā)展重點?產(chǎn)學(xué)研合作還應(yīng)打通什么堵點?
軟件新學(xué)派開拓人
雖然是我國最早從事計算機(jī)科學(xué)教學(xué)和研究的人員之一,和圖靈獎獲得者托尼·霍爾一起創(chuàng)造性地提出了軟件領(lǐng)域的程序統(tǒng)一理論(UTP),開創(chuàng)程序統(tǒng)一理論的國際學(xué)派,但何積豐最初并非學(xué)軟件出身。
1965年畢業(yè)于復(fù)旦大學(xué)數(shù)學(xué)系的何積豐,被分配到華東師范大學(xué)工作,從事教學(xué)、科研和管理工作,彼時他對“計算機(jī)”、“軟件”這些名字還很陌生,直至1972年時上海市的一次行政決策——要求復(fù)旦大學(xué)、華東師范大學(xué)研制國產(chǎn)計算機(jī),自此與軟件結(jié)緣。
“上世紀(jì)70年代開始,我們國家開始比較廣泛使用計算機(jī),但所有國家都不對中國出口了。像上海都只有一臺大計算器,所以幾個高校就開始自己造計算器。我就是那時候被派去做研究的,這也是一個時代機(jī)遇?!彼f。
迄今為止,何積豐已從事50多年的計算機(jī)軟件研究,前不久剛過完80歲生日的他,如今也和年輕人一樣用著智能手機(jī),并熟悉很多熱門軟件?!按蠹沂謾C(jī)里都有很多APP,而工業(yè)軟件就是工業(yè)領(lǐng)域用的APP,尤其一些關(guān)鍵部門對軟件要求比較高,因為要做控制或者做信號通信?!?/p>
尤其隨著新型工業(yè)化的推進(jìn),相比硬件,軟件也受到了越來越多的關(guān)注。
工信部電子第五研究所副總工程師楊春暉日前在一場會上表示,我國高端裝備產(chǎn)品設(shè)計工作規(guī)模越來越大,對工業(yè)軟件的國產(chǎn)化需求逐步凸顯。而數(shù)量眾多的制造企業(yè),尤其是高端裝備制造企業(yè)在數(shù)字化轉(zhuǎn)型過程中,對工業(yè)軟件的內(nèi)生需求不斷提升,為國產(chǎn)工業(yè)軟件發(fā)展提供了難得機(jī)遇。
另據(jù)IDC的報告,預(yù)計從2021年到2026年,中國制造業(yè)整體軟件市場規(guī)模將從1533.2億元人民幣增長到3361.4億元人民幣,年復(fù)合增長率17%。
在何積豐看來,與其他產(chǎn)品不同的是,軟件需要迭代升級,如果沒人使用軟件,就談不上之后的第二版、第三版?!白鲕浖娜耍芮懈袌鼋Y(jié)合在一起,要做得讓人喜歡,用戶體驗擁有最大的話語權(quán)?!?/p>
從業(yè)50余年來,除了軟件理論方面的開拓,何積豐也是數(shù)據(jù)精化完備理論的奠基者,這一理論被國際上譽(yù)為“面向模型軟件開發(fā)的一個里程碑”;系統(tǒng)性地構(gòu)建了基于模型的可信軟件設(shè)計方法與開發(fā)技術(shù)。程序統(tǒng)一理論的數(shù)據(jù)精化技術(shù)現(xiàn)已成為法國商業(yè)工具Atelier B的核心技術(shù),這個工具被法國阿爾斯通、德國西門子等公司應(yīng)用在嚴(yán)格軌交軟件的開發(fā)中。
自2007年起,他擔(dān)任國家自然科學(xué)基金委“可信軟件基礎(chǔ)研究”重大研究計劃的首席科學(xué)家,并創(chuàng)建了“上海市高可信計算重點實驗室”,實驗室服務(wù)于國家重大科技發(fā)展戰(zhàn)略,攻克可信軟件“卡脖子”難題。在2020年,實驗室團(tuán)隊的“面向重大工業(yè)裝備核心控制軟件的安全可信保障技術(shù)及應(yīng)用”項目獲得了上海市科技進(jìn)步獎特等獎,該項目不僅已為我國風(fēng)云四號衛(wèi)星、探月工程三期等航空航天重大任務(wù)提供了支撐,并為上海地鐵10號線、17號線等多條國內(nèi)外軌道交通線路提供安全保障,并成功“走出去”,服務(wù)了多條國外軌交線路。
談及工業(yè)軟件的未來發(fā)展方向,何積豐提到了兩方面,一個是服務(wù)于關(guān)鍵行業(yè)的高端市場,一個是服務(wù)于大眾消費(fèi)者的市場?!昂娇蘸教祛I(lǐng)域?qū)浖囊蟾?,而和老百姓關(guān)聯(lián)大的智慧社會建設(shè),比如像智慧家居、綠色環(huán)境也需要軟件作支撐,這兩個方面都要有,并要達(dá)成兩個市場的進(jìn)一步升級?!?/p>
他補(bǔ)充說,未來軟件行業(yè)還需要做更多的跨行業(yè)探索,做軟件的人要知道其他行業(yè)有什么需求,另外從行業(yè)本身來說,生態(tài)圈上、中、下游如果有一個共同目標(biāo),這個軟件才做得有意義,“這種橫向、縱向的合作,是我們發(fā)展工業(yè)軟件很重要的途徑”。
談到當(dāng)前以大模型為代表的生成式人工智能的發(fā)展,何積豐認(rèn)為需要關(guān)注專業(yè)大模型的落地,比如國內(nèi)100個大模型中有一兩個通用大模型就很不錯了,最重要是跟行業(yè)結(jié)合在一起?!鞍l(fā)展大模型很費(fèi)錢。為什么那么強(qiáng)調(diào)應(yīng)用?因為有了應(yīng)用以后,整個社會才會覺得這個技術(shù)是有希望的,才能吸引更多資金去投入到這個事業(yè)?!?/p>
高校和產(chǎn)業(yè)界要加強(qiáng)交流
打通科技成果邁向市場化,高校和科研院所是其中的主力軍,越來越多的“硬科技”公司來源于高校機(jī)構(gòu)的實驗室。《中國科技成果轉(zhuǎn)化2022年度報告(高等院校與科研院所篇)》報告認(rèn)為,隨著我國促進(jìn)科技成果轉(zhuǎn)化的系列政策法規(guī)逐步落實,各高校院所科技成果轉(zhuǎn)化工作已進(jìn)入平穩(wěn)發(fā)展階段。
而對于軟件行業(yè)來說,隨著中國工業(yè)化進(jìn)程的加快,工業(yè)軟件應(yīng)用范圍和深度不斷地擴(kuò)大,產(chǎn)學(xué)研的融合也尤為重要。有著多年海外求學(xué)經(jīng)歷的何積豐,在回國執(zhí)教后,針對國內(nèi)軟件行業(yè)與發(fā)達(dá)國家的差距,率先提出軟件人才協(xié)同創(chuàng)新培養(yǎng)模式,推動產(chǎn)學(xué)研融合。
他介紹,高校和產(chǎn)業(yè)合作,有很多不同的途徑,比如教授開公司,過去高校很多都走這種路線,但同時也存在缺點,一旦沒有金融支持可能幾個月就把資金燒沒了。而對于市場機(jī)制的認(rèn)知,高校的能力還是相對較弱的,因此國內(nèi)也一直提倡通過產(chǎn)教融合,來理解產(chǎn)業(yè)界主要的需求點在什么階段,長此以往,高校對學(xué)生的培養(yǎng)模式,也會有針對性地了解需要填補(bǔ)哪些不足。
“過去在產(chǎn)業(yè)界和高校之間,前者可能看不懂高校寫的公式,高校也不理解市場機(jī)制的運(yùn)轉(zhuǎn),認(rèn)為好像產(chǎn)業(yè)界的東西都很容易,但實際上事情絕對不是那么簡單,因為公司里用的那些系統(tǒng)參數(shù)數(shù)量就比我們高校黑板上寫的方程要多得多?!?/p>
因此,何積豐認(rèn)為產(chǎn)業(yè)界和高校的良好溝通是非常有必要的,比如研究生培養(yǎng)也會請一些企業(yè)界的導(dǎo)師來參與人才培養(yǎng)。
談及未來學(xué)科人才的培養(yǎng),在他看來,基本的計算機(jī)通識教育可能是一個趨勢?!懊恳粋€學(xué)科都應(yīng)該有一些基本的計算機(jī)方面的一些能力,尤其是編程能力、數(shù)據(jù)收集能力、使用AI工具的能力。我估計估計時間一長,計算機(jī)學(xué)科的課程,就像語文、數(shù)學(xué)一樣成為基礎(chǔ)課程,大家都要學(xué)點基本能力。”
(文章來源:第一財經(jīng))
關(guān)鍵詞: