國家發布智能化軟件基礎研究2026重大研究計劃通知

來源：高校人工智能與大數據創新聯盟

關于發布面向人機物融合的智能化軟件基礎研究重大研究計劃2026年度項目指南的通告

國科金發計〔2026〕17號

國家自然科學基金委員會現發布面向人機物融合的智能化軟件基礎研究重大研究計劃2026年度項目指南，請申請人及依托單位按項目指南所述要求和注意事項申請。

國家自然科學基金委員會

2026年1月26日

面向人機物融合的智能化軟件基礎研究重大研究計劃2026年度項目指南

“面向人機物融合的智能化軟件基礎研究”重大研究計劃針對關鍵軟件自主創新的國家重大戰略需求，圍繞智能化軟件新范型的數理基礎、工程構造、運維演化、質量保障等方面的重大科學問題，通過信息、數學、物理、工程、管理等學科的交叉融合研究，為我國實現關鍵軟件領域的科學突破提供基礎理論、關鍵技術和人才支撐。

一、科學目標

建立智能化軟件新范型及其基礎理論，構建智能化軟件開發自動化與群智化、泛在操作系統的軟件定義及其領域定制生成的方法與技術體系，形成基于新范型的工業軟件構造與集成新方法新技術，培育智能化軟件創新生態的開源基礎，提升我國在關鍵軟件領域的自主創新能力。

二、核心科學問題

（一）人機物三元融合共生智能化軟件系統的組成原理。

針對智能化軟件的基本形態、結構特征、交互機理和行為規律，建立人機物三元融合共生的系統建模理論，提出泛在異構資源的統一表征與封裝方法，構造可自主適應、持續演化、長期生存、群智涌現的軟件體系結構模型。

（二）歸納演繹相融合的智能化軟件構造與運行機理。

針對智能化軟件的高效構造和運行，揭示歸納演繹相融合的軟件構造與運行機理，提出新型軟件自動化、群智化構造方法與泛在操作系統的軟件定義方法，設計泛在操作系統共性框架和核心構件，形成面向特定行業領域的軟件定制化開發與集成技術方案。

（三）自知自治的智能化軟件系統質量保障方法。

針對智能化軟件系統結構復雜性和行為非確定性，建立融合邏輯確定性與概率近似性的系統質量框架理論基礎，提出以駕馭非確定性為核心的軟件可信性理論與技術，實現系統質量的動態自治管理，形成可驗證、可持續、全生命周期的軟件質量保障方法體系。

三、2026年度資助的研究方向

（一）培育項目。

以總體科學目標為牽引，基于核心科學問題，2026年度擬圍繞以下研究方向優先資助探索性強、具有原創性思想、提出新技術路徑、能響應新興應用場景需求的培育項目。

1. 人機物融合智能化軟件的數理基礎和行為科學基礎。

圍繞人機物三元融合共生的系統建模問題，研究人機物融合智能化軟件的數理基礎和行為表征，包括Agent的自主性及其協同行為、人機物交互行為、群智涌現行為、系統社會影響機理等；提出面向程序代碼部件和AI模型部件動態交互協同的、可駕馭智能化軟件系統非確定性的新型形式化理論與方法。

2. 邏輯演繹與數據歸納協同驅動的神經-符號融合軟件理論。

圍繞歸納演繹相融合的智能化軟件構造問題，研究神經-符號融合的智能化軟件理論與基礎算法以及面向人機物融合場景的Agent軟件工程方法，構建邏輯推理與機器學習相互增強的軟件體系結構模型、神經-符號融合的軟件形式化規約自動生成、軟件系統自動構造與優化、以及程序定理自動證明的理論與方法。

3. 面向智能化軟件的泛在操作系統原理和構造方法。

圍繞智能化軟件的高可信運行支撐問題，研究泛在操作系統的新型內核架構模型、設計原理和構造方法，泛在資源的統一表征、感知和互操作，反饋控制的任務調度方法和智能化人機交互接口設計等；構建泛在操作系統的共性框架與可復用核心構件；面向智能制造、具身智能系統、機器人集群系統等場景，研究軟件定義的泛在操作系統關鍵技術及定制方法。

4. 基于智能化軟件范型的工業軟件建模原理和開發方法。

圍繞基于智能化軟件范型的工業軟件構造問題，研究工業軟件多域多源知識統一模型理論，支持軟件工程、數學/物理模型、流程工藝、運籌管理等知識的融合表征和精確規約，并探索工業軟件設計中非確定問題求解的AI補償方法；研究領域知識與AI模型協同驅動的工業軟件低代碼開發方法，設計面向特定領域的工業軟件編程語言；構建特定領域工業軟件核心構件/框架/Agent、知識庫和模型庫等。

5. 開源軟件生態理論、技術及策略。

圍繞智能化軟件開源生態建設與治理問題，研究開源生態持續激勵匯聚機理、開源貢獻存證技術與評估度量方法；研究群體高效協作機制、群智協作任務規劃與協同技術、開源社區智能化運維技術；面向開源生態的價值鏈，研究開源社區權益鏈演進和治理機制、開源軟件供應鏈建模分析方法、敏感隱私數據分析和開源依賴關系合規性分析驗證技術；建立開源生態的創新管理機制、開源平臺的服務優化策略、開源社區的治理機制和可持續運營模式；構建開源平臺服務支撐工具。

（二）重點支持項目。

以總體科學目標為牽引，針對核心科學問題，2026年擬圍繞以下研究方向優先資助前期研究基礎較好、交叉性強、響應新興應用場景需求、對總體科學目標有較大貢獻的申請項目。

1. 人機物融合復雜系統的一體化建模、分析和設計方法。

聚焦人機物融合復雜系統的軟件建模問題，研究泛在異構資源的能力表征和統一建模理論，構造泛在異構資源規約模型及描述語言機制；研究人機物融合復雜系統的多視角建模方法，構造并發、通信及其時序性和不確定性的分析模型，揭示人機物融合復雜系統的組成原理和運行機理；研究基于自適應演化架構的、需求驅動的人機物融合復雜系統設計方法；研制相關工具和平臺。

2. 自然語言-形式語言協同的新型程序設計機理、語言與系統。

聚焦因大語言模型及其生成代碼導致的軟件可信性和可維護性問題，研究融合自然語言表述、傳統符號程序、形式化約束的新型程序設計機理，支持表達力強、可靠性高、擴展性好的智能化軟件開發；開發兼容主流語言的新型語言機制，實現語義對齊和非確定性隔離，高效支持新型程序設計；研究智能增強的新型程序可信保障和實證引領的程序設計語言成長演化技術；研制原型工具與系統。

3. 神經-符號融合軟件系統的形式驗證理論與方法。

聚焦神經-符號融合軟件系統因環境開放性和系統內生不確定性導致的可信性問題，研究系統行為的建模方法及其復雜性質的規約理論，構建神經-符號融合軟件系統設計與形式化驗證的語義基礎；研究神經模型語言及其與符號程序交互的抽象方法，構建神經-符號融合軟件系統的高效率、可擴展形式化驗證算法；研究面向不確定性管理的運行時監控及其合成方法，構建神經-符號融合軟件的高效監控算法與可信預測算法；研制原型工具與系統。

4. 融合業務知識的Agent智能化軟件體系結構模型與構造方法。

聚焦當前各類組織在智能化應用中面臨軟件體系結構不適配、調試難度大等挑戰，研究以業務知識本體為核心、AI部件與代碼部件深度融合的智能化軟件體系結構模型；研究知識驅動的智能化軟件構造方法，建立基于本體的業務功能分解和面向Agent的接口封裝機制、基于知識增強的Agent動態調度機制和復雜業務流自主協同編排機制；研究可觀測的智能化軟件調試方法，建立多維度的智能化軟件體系結構評估機制；研制面向典型應用領域的原型工具與系統并開展驗證。

5. 面向端側計算的泛在操作系統軟硬件協同方法及其多內核模型。

聚焦端側計算場景下泛在操作系統底座共性結構與運行機理，研究輕量化、可定制的泛在操作系統多內核模型；研究軟硬件協同優化的基本原理和可編程體系結構，以及支持多指令集、多類異構處理器與多內核協同工作的計算模型與運行時環境；研究資源受限情況下多模態數據的動態感知與實時融合機理和性能-能效權衡的模型推斷技術；研制兼容主流操作系統生態的泛在操作系統原型。

6. 軟件定義的全域資源管理模型與高效互操作技術。

聚焦泛在計算環境下智能化軟件的高效率高質量運行支撐問題，研究軟件定義的全域資源管理模型及系統設計原理，在空間維度上建立面向泛在異構資源的管理能力統一抽象及其操作原語，在時間維度上建立覆蓋智能化軟件全生命期的資源定制和組裝方法；研究支持大規模智能化軟件可信持續運行和演化的自適應調度機理，支持泛在異構資源的按需配置和高效互操作，顯著提升計算、存儲、網絡等資源利用率并優化網絡延遲、系統吞吐量和能耗等性能指標。

7. “感-聯-知-控”一體化工業操作系統構建方法與關鍵技術。

聚集復雜多變智能制造場景下工業操作系統的高效運行和演化問題，研究面向“感-聯-知-控”一體化的工業操作系統確定性運行機理，建立支持高并行、大規模、高可靠的工業操作系統基本體系結構和運行服務能力模型；針對無人設備高效、智能、協同等工作需求，研究多模態感知、任務規劃、智能決策、實時控制、自主協同等工業操作系統的核心機制及其構件化封裝組裝方法；研制工業操作系統原型及工具，在重大裝備智能制造等場景中開展應用驗證。

8. 面向具身智能操作系統的驅動代碼合成與演化技術。

聚焦具身智能系統底層驅動開發適配慢和數據分布漂移導致模型失效等問題，研究基于規約的虛實映射關系自動構建與驅動程序交互測試用例生成方法；研究基于仿真的異構代碼閉環生成機制，支持通用操作系統標準驅動程序向資源受限操作系統實時驅動程序的零樣本合成與驗證；研究針對數據分布漂移的模型高效微調方法，支持基于場景理解的實時控制系統運行，構建具身智能操作系統“虛擬驗證、實機部署”工具鏈。

9. 面向柔性制造的工業軟件自動化編程支撐技術與開發平臺。

聚焦支持小批量多批次加工的柔性制造工業軟件開發需求，研究人機物融合的工業軟件結構化表征機理和支持柔性制造的工業軟件多層級、柔性化和可視化開發技術，構建面向工業軟件需求分析與體系結構設計的統一工業建模語言及代碼自動生成工具；研究基于統一工業建模語言的加工制造Agent，開發面向機床和機器人切削、焊接、裝配等場景的功能構件；開發廣域、實時、離在線復合的柔性制造軟件集成平臺，開展軟硬件一體化驗證。

10. 知識數據協同驅動的超大型CAE軟件敏捷交付方法與關鍵技術。

聚焦超大型CAE軟件敏捷交付難度大問題，研究“工程知識-數理模型-數值算法-可信數據”的智能化融合理論、表征模型與開發方法，構造面向多學科知識統一建模的專用語言機制，突破可定制、可組裝的工具鏈關鍵技術，支持超大型CAE軟件的快速響應和可信持續演化，在我國重大裝備研制、高端制造等行業亟需的跨學科超大型CAE軟件自主研發中開展應用驗證。

11. 面向智能化軟件范型的高端裝備軟件資產重構與持續演化。

聚焦高端裝備軟件中普遍存在的體系結構固化、演化困難、與主流軟件范型技術代差等問題，研究基于人工智能輔助的高端裝備軟件領域知識挖掘、體系結構逆向恢復、核心構件識別和知識圖譜構建技術，建立異構代碼到核心業務邏輯的語義映射方法，支持高端裝備軟件資產的標準化定義與高效率重構；研究“領域知識+數據驅動”深度融合的智能化軟件體系結構建模方法，構造具備敏捷響應能力和可持續演化能力的新型高端裝備軟件的體系結構模型；研制原型工具和系統并在典型領域開展應用驗證。

12. 面向智能化軟件生態成長演化的群智范式支撐技術與平臺。

聚焦群智視角下的智能化軟件生態成長與演化問題，研究小核心與大生態高效聯接協作、自由創作與規范生產持續聯接轉換的敏捷迭代開發模式，建立群智范式度量指標體系；研究智能化軟件開源生態多元價值網絡形成機理、大規模群智激發匯聚機制和多類軟件制品開放共享技術；研究支持智能化軟件生態持續成長演化的人-機群智協同機制、協同演進技術和評估引導方法；研制群智協同支撐平臺，并開展應用驗證。

13. 異構程序設計語言的安全互操作與可靠轉換方法與技術。

聚焦人機物融合系統中因程序設計語言多樣性導致的安全可靠等問題，研究異構語言的安全互操作方法和高可信的新型程序設計機制與設施；研究傳統語言向新興底層安全語言的可靠轉換方法，支持基礎軟件構件的可靠可用替代；研究面向人機物融合應用場景的軟件消脹技術；研制面向異構程序設計語言的分析、轉換和優化工具，開展應用驗證。

四、項目遴選的基本原則

為確保實現總體目標，本重大研究計劃要求研究內容必須符合指南要求。

（一）對實現總體科學目標的貢獻度。

（二）解決智能化軟件領域關鍵科學與技術難題，具有原創性、基礎性、交叉性和應用前景。

（三）具有產出高水平論文/專利和高質量軟件制品的潛力。

五、2026年度資助計劃

2026年度擬資助培育項目約25項，直接費用資助強度約為60萬元/項，資助期限為3年，申請書中研究期限應填寫“2027年1月1日－2029年12月31日”；擬資助重點支持項目約12項，直接費用資助強度約為280萬元/項，資助期限為4年，申請書中研究期限應填寫“2027年1月1日－2030年12月31日”。

六、申請要求及注意事項

（一）申請條件。

本重大研究計劃項目申請人應當具備以下條件：

1. 具有承擔基礎研究課題的經歷；

2. 具有高級專業技術職務（職稱）。

在站博士后研究人員、正在攻讀研究生學位以及無工作單位或者所在單位不是依托單位的科學技術人員不得作為申請人進行申請。

（二）限項申請規定。

執行《2026年度國家自然科學基金項目指南》“申請規定”中限項申請規定的相關要求。

（三）申請注意事項。

申請人和依托單位應當認真閱讀并執行本項目指南、《2026年度國家自然科學基金項目指南》和《關于2026年度國家自然科學基金項目申請與結題等有關事項的通告》中相關要求。

1. 本重大研究計劃項目實行無紙化申請。申請書提交時間為2026年3月1日－2026年3月20日16時。

（1）申請人應當按照科學基金網絡信息系統（以下簡稱“信息系統”）中重大研究計劃項目的填報說明與撰寫提綱要求在線填寫和提交電子申請書及附件材料。

（2）本重大研究計劃旨在緊密圍繞核心科學問題，對多學科相關研究進行戰略性的方向引導和優勢整合，成為一個項目集群。申請人應根據本重大研究計劃擬解決的具體科學問題和項目指南公布的擬資助研究方向，自行擬定項目名稱、科學目標、研究內容、技術路線和相應的研究經費等。

（3）項目申請人在科學基金網絡信息系統中選擇“在線申請”—“新增項目申請”—“申請交叉科學部項目”進行項目申報。

申請書中的資助類別選擇“重大研究計劃”，亞類說明選擇“培育項目”或“重點支持項目”，附注說明選擇“面向人機物融合的智能化軟件基礎研究”，受理代碼選擇T04，并根據申請項目的具體研究內容選擇不超過5個申請代碼。培育項目和重點支持項目的合作研究單位均不得超過2個。

（4）申請人在申請書起始部分應明確說明申請符合本項目指南中的資助研究方向（寫明指南中的研究方向序號和相應內容），以及對解決本重大研究計劃核心科學問題、實現本重大研究計劃科學目標的貢獻。

如果申請人已經承擔與本重大研究計劃相關的其他科技計劃項目，應當在申請書正文的“研究基礎與工作條件”部分論述申請項目與其他相關項目的區別與聯系。

2. 依托單位應當按照要求完成依托單位承諾、組織申請以及審核申請材料等工作。在2026年3月20日16時前通過信息系統逐項確認提交本單位電子申請書及附件材料，并于3月21日16時前在線提交本單位項目申請清單。未按時提交項目清單的申請將不予接收。

3. 其他注意事項。

（1）為實現重大研究計劃總體科學目標和多學科集成，獲得資助的項目負責人應當承諾遵守相關數據和資料管理與共享的規定，項目執行過程中應關注與本重大研究計劃其他項目之間的相互支撐關系。

（2）為加強項目的學術交流，促進項目群的形成和多學科交叉與集成，本重大研究計劃將每年舉辦1次資助項目的年度學術交流會，并將不定期地組織相關領域的學術研討會。獲資助項目負責人有義務參加本重大研究計劃指導專家組和管理工作組所組織的上述學術交流活動，并認真開展學術交流。

（四）咨詢方式。

國家自然科學基金委員會交叉科學部交叉科學四處

聯系電話：010-62328922

（來源：國家自然科學基金委員會）

全國高校人工智能與大數據創新聯盟

全國高校人工智能與大數據創新聯盟（簡稱:高校聯盟）是由清華大學、浙江大學、中南大學、東北大學、上海工程技術大學、重慶郵電大學、東北林業大學、佛山科學技術學院、曲阜師范大學、黑龍江大學、海豚大數據科技等全國54家高校、企業共同發起，于2018年5月26日在北京中國科技會堂正式成立。迄今為止，聯盟發展會員300多家, 覆蓋全國20多個省市。聯盟由一批積極投身于“人工智能、大數據、區塊鏈”教育事業的高校、科研機構、企事業單位和個人自愿組成的公益性、全國性學術交流服務平臺。中國工程院原常務副院長、中國工程院院士潘云鶴、中國科學院院士陳國良、中國工程院院士李伯虎擔任聯盟名譽理事長，中國工程院院士譚建榮擔任聯盟理事長。聯盟工作接受工信部、國家網信辦等政府部門行政管理和業務指導。聯盟主要工作是推進產教融合、校企合作、協同育人。(加盟微信13651193492)

華算人工智能研究院

華算人工智能研究院全稱是“山西省華算人工智能研究院有限公司”，是經山西轉型綜合改革示范區管理委員會批準，于2023年10月在太原成立的第一批專業研究人工智能、賦能數字經濟產業發展的獨立法人組織。華算人工智能研究院依托全國高校人工智能與大數據創新聯盟專家委員會及理事會資源，按照山西省委省政府、山西轉型綜合改革示范區管理委員會發展人工智能、數字經濟的系列文件精神和工作計劃，將研究院打造成為山西省發展人工智能、數字經濟的示范應用推廣平臺，同時面向全國開展人工智能業務。華算人工智能研究院名譽院長由中國工程院院士李伯虎擔任。研究院內設AI產業學院共建中心、實訓實習就業中心、實驗室建設中心、專家智庫等6個職能部門。歡迎加入華算人工智能研究院專家智庫，共同賦能高校AI人才培養及產教融合事業發展。

高校區塊鏈專委會

全國高校人工智能與大數據創新聯盟區塊鏈專委會（簡稱:高校區塊鏈專委會），是由北京大學、浙江大學、武漢大學、西南財經大學、北京交通大學、鄭州大學、貴州大學、桂林電子科技大學、山西農業大學、佛山科學技術學院、陜西師范大學、中國網安、海豚大數據科技等全國40多家高校、企業和機構共同發起，于2019年12月7日在廣東省佛山市正式成立。目前發展高校及企業會員70多家。中國工程院院士、浙江大學教授陳純擔任高校區塊鏈專委會名譽顧問；福州大學教授蔡維德、中國計算機學會區塊鏈專委會主任斯雪明教授、中國人民銀行數字貨幣研究所副所長狄剛擔任高校區塊鏈專委會名譽主任；北京大學信息科學技術學院區塊鏈中心主任陳鐘教授擔任高校區塊鏈專委會主任。高校區塊鏈專委會主要工作是促進高校區塊鏈教育，為高校區塊鏈專業建設及學科發展提供專家咨詢服務。

高校元宇宙專委會

全國高校人工智能與大數據創新聯盟元宇宙專業委員會（簡稱:高校元宇宙專委會），是由清華大學、湖南大學、浙江大學、四川大學、汕頭大學、河北金融學院、保定市元宇宙協會、英偉達中國、海爾衣聯網研究院、海豚大數據科技(天津)有限公司等全國20多所高校、企業和機構共同發起，于2022年11月5日在北京正式成立。中國工程院院士、計算機軟件與虛擬現實領域專家趙沁平擔任高校元宇宙專委會名譽顧問；中國工程院院士、北京航空航天大學電氣與自動化學院名譽院長、中國航天科工集團有限公司科技委高級顧問李伯虎擔任高校元宇宙專委會名譽主任；清華大學信息國研中心可信軟件和大數據部常務副主任邢春曉擔任高校元宇宙專委會主任委員。目前已發展高校及企業會員30多家。高校元宇宙專委會主要工作是促進高校元宇宙教育、加強校企合作、推動元宇宙專業建設及學科發展，為元宇宙教育教學提供專家咨詢服務。

高校數字經濟專委會

全國高校人工智能與大數據創新聯盟數字經濟專業委員會（簡稱:高校數字經濟專委會），是由華算人工智能研究院、清華大學、北京大學、中國人民大學、中國社會科學院信息化研究中心、四川大學、北京外國語大學、北京科技大學、北京工業大學、北京語言大學、北京化工大學、北京聯合大學、北京物資學院、北京印刷學院、西藏民族大學、河北金融學院、重慶財經學院、蘇州城市學院、北京中關村軟件園、百度、海豚大數據科技等全國60多家高校、企業和機構共同發起，于2024年1月12日在北京正式成立。清華大學經濟管理學院教授姜旭平、北京大學信息管理系教授賴茂生、中國社會科學院信息化研究中心主任姜奇平、中國科學院大學經濟與管理學院教授呂本富擔任高校數字經濟專委會主任委員。高校數字經濟專委會主要工作是促進高校數字經濟專業建設及學科發展，推動產學研合作，為高校數字經濟專業教育教學提供專家咨詢服務。

聯盟“資料圖書館”

微信咨詢

說明：轉載文章和圖片均來自公開網絡，推送文章除非無法確認，都會注明作者和來源，如有侵權請聯系刪除。

往期精彩文章（單擊就可查看）：

. 辦

. 》