數(shù)字化轉(zhuǎn)型丨五院502所自研AI工具IPRCoder,推動(dòng)空間飛行器控制算法代碼智能生成
為全面貫徹集團(tuán)公司第九次工作會(huì)精神、數(shù)字航天建設(shè)推進(jìn)會(huì)和五院2024年戰(zhàn)略管理委員會(huì)會(huì)議關(guān)于數(shù)字化轉(zhuǎn)型的部署,五院502所大力推動(dòng)數(shù)字化轉(zhuǎn)型,自主研發(fā)AI工具IPRCoder,推動(dòng)空間飛行器控制算法代碼智能生成,并順利開展應(yīng)用,取得明顯成效。
空間飛行器控制算法代碼智能生成面臨著諸多挑戰(zhàn)??臻g飛行器的控制算法往往涉及復(fù)雜的數(shù)學(xué)公式、邏輯判斷以及多樣的符號表示,如何準(zhǔn)確識別并處理這些內(nèi)容是開發(fā)過程中的首要難題。不同型號的算法編寫風(fēng)格各異,要求AI工具能夠靈活適應(yīng)各種復(fù)雜的場景需求,具備強(qiáng)大的、多場景的泛化支持能力。自動(dòng)生成的代碼不僅要能高效運(yùn)行,還必須確保其安全性和可靠性,這對工具在性能優(yōu)化和安全性措施方面提出了高要求。 基于深厚的技術(shù)底蘊(yùn),502所整合先進(jìn)的AI技術(shù)開發(fā)了IPRCoder,可顯著提升空間飛行器軟件研制效率。在智能化代碼生成方面,支持?jǐn)?shù)學(xué)公式、算法邏輯、自然語言以及混雜算法描述生成代碼;在代碼高質(zhì)量保障方面,生成的代碼嚴(yán)格滿足編程規(guī)范要求,還支持代碼性能優(yōu)化與可靠性增強(qiáng);在定制功能可擴(kuò)展性方面,可擴(kuò)展領(lǐng)域數(shù)據(jù)字典、數(shù)學(xué)運(yùn)算符號以及邏輯描述,支持軟件IP智能發(fā)現(xiàn)與調(diào)用,以及第三方API(應(yīng)用程序編程接口)擴(kuò)展;在代碼統(tǒng)一化管理方面,支持算法文件批量導(dǎo)入、兩級代碼配置管理、代碼模塊快速合并等操作。 IPRCoder在多個(gè)航天項(xiàng)目中應(yīng)用,展現(xiàn)了較高的實(shí)用價(jià)值。以一重要型號制導(dǎo)導(dǎo)航與控制系統(tǒng)應(yīng)用軟件研制為例,使用該工具后僅用一周時(shí)間就圓滿完成了355頁算法功能的編碼工作,生成近2萬行高質(zhì)量代碼用于仿真測試,大幅提升了開發(fā)效率、提高了代碼質(zhì)量。此外,IPRCoder還在多個(gè)型號項(xiàng)目中得到了廣泛應(yīng)用,為航天器控制軟件的研發(fā)提供了有力支持。 經(jīng)過持續(xù)開發(fā)與優(yōu)化,IPRCoder逐步完善了對各類控制算法場景的支持能力。順應(yīng)人工智能技術(shù)的迅猛發(fā)展趨勢,該工具也在持續(xù)升級迭代,近期版本中引入了大模型,通過繼續(xù)預(yù)訓(xùn)練、指令微調(diào)、RAG(檢索增強(qiáng)生成)以及提示工程等方式,進(jìn)一步增強(qiáng)了泛化能力,使其能夠更高效地將用戶需求轉(zhuǎn)化為規(guī)范化的輸入,并通過智能解析模塊生成高質(zhì)量的算法代碼。