國家自然科學(xué)基金委員會(huì)現(xiàn)發(fā)布面向人機(jī)物融合的智能化軟件基礎(chǔ)研究重大研究計(jì)劃2025年度項(xiàng)目指南，請(qǐng)申請(qǐng)人及依托單位按項(xiàng)目指南所述要求和注意事項(xiàng)申請(qǐng)。

國家自然科學(xué)基金委員會(huì)

2025年8月8日

面向人機(jī)物融合的智能化軟件基礎(chǔ)研究重大研究計(jì)劃2025年度項(xiàng)目指南

“面向人機(jī)物融合的智能化軟件基礎(chǔ)研究”重大研究計(jì)劃針對(duì)關(guān)鍵軟件自主創(chuàng)新的國家重大戰(zhàn)略需求，圍繞智能化軟件新范型的數(shù)理基礎(chǔ)、工程構(gòu)造、運(yùn)維演化、質(zhì)量保障等方面的重大科學(xué)問題，通過信息、數(shù)學(xué)、物理、工程、管理等學(xué)科的交叉融合研究，為我國實(shí)現(xiàn)關(guān)鍵軟件領(lǐng)域的科學(xué)突破提供基礎(chǔ)理論、關(guān)鍵技術(shù)和人才支撐。

一、科學(xué)目標(biāo)

建立智能化軟件新范型及其基礎(chǔ)理論，構(gòu)建智能化軟件開發(fā)自動(dòng)化與群智化、泛在操作系統(tǒng)的軟件定義及其領(lǐng)域定制生成的方法與技術(shù)體系，形成基于新范型的工業(yè)軟件構(gòu)造與集成新方法新技術(shù)，培育智能化軟件創(chuàng)新生態(tài)的開源基礎(chǔ)，提升我國在關(guān)鍵軟件領(lǐng)域的自主創(chuàng)新能力。

二、核心科學(xué)問題

（一）人機(jī)物三元融合共生智能化軟件系統(tǒng)的組成原理。

針對(duì)智能化軟件的基本形態(tài)、結(jié)構(gòu)特征、交互機(jī)理和行為規(guī)律，建立人機(jī)物三元融合共生的系統(tǒng)建模理論，提出泛在異構(gòu)資源的統(tǒng)一表征與封裝方法，構(gòu)造可自主適應(yīng)、持續(xù)演化、長(zhǎng)期生存、群智涌現(xiàn)的軟件體系結(jié)構(gòu)模型。

（二）歸納演繹相融合的智能化軟件構(gòu)造與運(yùn)行機(jī)理。

針對(duì)智能化軟件的高效構(gòu)造和運(yùn)行，揭示歸納演繹相融合的軟件構(gòu)造與運(yùn)行機(jī)理，提出新型軟件自動(dòng)化、群智化構(gòu)造方法與泛在操作系統(tǒng)的軟件定義方法，設(shè)計(jì)泛在操作系統(tǒng)共性框架和核心構(gòu)件，形成面向特定行業(yè)領(lǐng)域的軟件定制化開發(fā)與集成技術(shù)方案。

（三）自知自治的智能化軟件系統(tǒng)質(zhì)量保障方法。

針對(duì)智能化軟件系統(tǒng)結(jié)構(gòu)復(fù)雜性和行為非確定性，建立融合邏輯確定性與概率近似性的系統(tǒng)質(zhì)量框架理論基礎(chǔ)，提出以駕馭非確定性為核心的軟件可信性理論與技術(shù)，實(shí)現(xiàn)系統(tǒng)質(zhì)量的動(dòng)態(tài)自治管理，形成可驗(yàn)證、可持續(xù)、全生命周期的軟件質(zhì)量保障方法體系。

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

（一）培育項(xiàng)目。

以總體科學(xué)目標(biāo)為牽引，基于核心科學(xué)問題，擬圍繞以下5個(gè)研究方向，優(yōu)先資助探索性強(qiáng)、具有原創(chuàng)性思想、提出新技術(shù)路徑、響應(yīng)新興應(yīng)用場(chǎng)景需求的申請(qǐng)項(xiàng)目。

1.人機(jī)物融合智能化軟件的數(shù)理基礎(chǔ)和行為科學(xué)基礎(chǔ)。

圍繞人機(jī)物三元融合共生的系統(tǒng)建模問題，研究人機(jī)物融合智能化軟件的數(shù)理基礎(chǔ)和行為表征，包括智能化軟件的自主協(xié)同行為、人機(jī)物交互行為、群智涌現(xiàn)行為、系統(tǒng)社會(huì)影響機(jī)理等；提出面向程序代碼部件和AI模型部件動(dòng)態(tài)交互協(xié)同的、可駕馭智能化軟件系統(tǒng)非確定性的新型形式化理論與方法。

2.邏輯演繹與數(shù)據(jù)歸納協(xié)同驅(qū)動(dòng)的神經(jīng)-符號(hào)融合軟件理論。

圍繞歸納演繹相融合的智能化軟件構(gòu)造問題，研究神經(jīng)-符號(hào)融合的智能化軟件理論與基礎(chǔ)算法，構(gòu)建邏輯推理與機(jī)器學(xué)習(xí)相互增強(qiáng)的軟件體系結(jié)構(gòu)模型、神經(jīng)-符號(hào)融合軟件的形式化規(guī)約自動(dòng)生成方法、基于神經(jīng)-符號(hào)學(xué)習(xí)的軟件系統(tǒng)高效構(gòu)造方法、結(jié)合自然語言與形式語言的智能化程序設(shè)計(jì)語言理論。

3.面向智能化軟件的泛在操作系統(tǒng)原理和構(gòu)造方法。

圍繞智能化軟件的高可信運(yùn)行支撐問題，研究泛在操作系統(tǒng)的新型內(nèi)核架構(gòu)模型、設(shè)計(jì)原理和構(gòu)造方法，泛在資源的統(tǒng)一表征、感知和互操作，反饋控制的任務(wù)調(diào)度方法和自然交互接口設(shè)計(jì)等；構(gòu)建泛在操作系統(tǒng)的共性框架與核心構(gòu)件；面向特定領(lǐng)域，研究軟件定義的泛在操作系統(tǒng)關(guān)鍵技術(shù)及定制方法。

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

圍繞基于智能化軟件范型的工業(yè)軟件構(gòu)造問題，研究工業(yè)軟件多域多源知識(shí)統(tǒng)一模型理論，支持軟件工程、數(shù)學(xué)/物理模型、流程工藝、運(yùn)籌管理等知識(shí)的融合表征和精確規(guī)約，并探索工業(yè)軟件設(shè)計(jì)中非確定問題求解的AI補(bǔ)償方法；研究領(lǐng)域知識(shí)與AI模型協(xié)同驅(qū)動(dòng)的工業(yè)軟件低代碼開發(fā)方法，設(shè)計(jì)面向特定領(lǐng)域的工業(yè)軟件編程語言（DSL）；構(gòu)建特定領(lǐng)域工業(yè)軟件核心構(gòu)件/框架、知識(shí)庫和模型庫等。

5.開源軟件生態(tài)理論、技術(shù)及策略。

圍繞智能化軟件開源生態(tài)建設(shè)與治理問題，研究開源生態(tài)持續(xù)激勵(lì)匯聚機(jī)理、開源貢獻(xiàn)存證技術(shù)與評(píng)估度量方法；研究群體高效協(xié)作機(jī)制、群智協(xié)作任務(wù)規(guī)劃與協(xié)同技術(shù)、開源社區(qū)智能化運(yùn)維技術(shù)；面向開源生態(tài)的價(jià)值鏈，研究開源社區(qū)權(quán)益鏈演進(jìn)和治理機(jī)制、開源軟件供應(yīng)鏈建模分析方法、敏感隱私數(shù)據(jù)分析和開源依賴關(guān)系合規(guī)性分析驗(yàn)證技術(shù)；建立開源生態(tài)的創(chuàng)新管理機(jī)制、開源平臺(tái)的服務(wù)優(yōu)化策略、開源社區(qū)的治理機(jī)制和可持續(xù)運(yùn)營(yíng)模式；構(gòu)建開源平臺(tái)服務(wù)支撐工具。

（二）重點(diǎn)支持項(xiàng)目。

以總體科學(xué)目標(biāo)為牽引，針對(duì)核心科學(xué)問題，擬圍繞以下6個(gè)研究方向，優(yōu)先資助前期研究基礎(chǔ)較好、交叉性強(qiáng)、響應(yīng)新興應(yīng)用場(chǎng)景需求、對(duì)總體科學(xué)目標(biāo)有較大貢獻(xiàn)的申請(qǐng)項(xiàng)目。

1.人機(jī)物融合智能化軟件可成長(zhǎng)理論方法與關(guān)鍵技術(shù)。

聚焦人機(jī)物融合智能化軟件的可成長(zhǎng)性問題，研究軟件的體系結(jié)構(gòu)、運(yùn)行機(jī)理和生命周期基本原理，建立新型智能化可成長(zhǎng)軟件的范型理論；研究面向人機(jī)物融合場(chǎng)景的統(tǒng)一軟件建?？蚣?、軟件定義方法和智能化編程新范式，支撐人機(jī)物融合智能化軟件的快速構(gòu)造與成長(zhǎng)演化；研究開放環(huán)境約束在線檢測(cè)與監(jiān)控、神經(jīng)-符號(hào)融合程序分析、增量驗(yàn)證和軟件生態(tài)依賴診斷等技術(shù)，構(gòu)建面向可成長(zhǎng)智能化軟件及其生態(tài)的軟件工具。

2.知識(shí)數(shù)據(jù)雙驅(qū)動(dòng)的組織建模、影響評(píng)估與精確調(diào)控技術(shù)。

聚焦三元融合系統(tǒng)中人類個(gè)體與群體的需求感知與行為調(diào)控問題，研究人類工效學(xué)視角下個(gè)體面對(duì)人機(jī)物融合智能化軟件的心理特征與認(rèn)知規(guī)律，支撐人在回路的行為建模及人機(jī)協(xié)同機(jī)制設(shè)計(jì)；研究基于社會(huì)-技術(shù)系統(tǒng)理論的群體交互機(jī)理、多方博弈機(jī)制與行為涌現(xiàn)規(guī)律，支撐數(shù)據(jù)與知識(shí)雙驅(qū)動(dòng)的人類社群組織建模與趨勢(shì)預(yù)測(cè)；研究智能化軟件對(duì)人類社群組織影響的效能評(píng)估方法與精準(zhǔn)調(diào)控技術(shù)，支撐與人類價(jià)值對(duì)齊的智能化軟件設(shè)計(jì)方法和實(shí)現(xiàn)機(jī)制；研究智能化軟件大規(guī)模應(yīng)用的價(jià)值風(fēng)險(xiǎn)識(shí)別與預(yù)測(cè)技術(shù)，支撐智能社會(huì)的風(fēng)險(xiǎn)調(diào)控與防范。

3.高可信程序代碼自動(dòng)生成與系統(tǒng)自動(dòng)重構(gòu)優(yōu)化關(guān)鍵技術(shù)。

聚焦人機(jī)物融合軟件系統(tǒng)程序代碼的自動(dòng)生成與維護(hù)問題，研究融合程序語法和類型理論的新型神經(jīng)網(wǎng)絡(luò)數(shù)理基礎(chǔ)，構(gòu)建具有遞歸推演能力的新型代碼大模型建模理論與計(jì)算模型；研究融合神經(jīng)計(jì)算的高效符號(hào)知識(shí)推理方法，構(gòu)建具有處理大規(guī)模程序能力的高精度符號(hào)化分析工具；研究融合形式語言自動(dòng)機(jī)與神經(jīng)網(wǎng)絡(luò)約束解碼的代碼生成技術(shù)、程序代碼內(nèi)在知識(shí)的在線學(xué)習(xí)與記憶存儲(chǔ)技術(shù)，構(gòu)建具有持續(xù)學(xué)習(xí)能力的新型代碼理解與生成工具；研究針對(duì)大規(guī)模遺產(chǎn)軟件系統(tǒng)的自動(dòng)優(yōu)化與重構(gòu)技術(shù)，構(gòu)建神經(jīng)符號(hào)融合的軟件維護(hù)智能體系統(tǒng)。

4.面向智能化軟件生態(tài)成長(zhǎng)演化的群智范式支撐技術(shù)與平臺(tái)。

聚焦群智視角下的智能化軟件生態(tài)成長(zhǎng)與演化問題，研究小核心與大外圍高效聯(lián)接協(xié)作、自由創(chuàng)作與規(guī)范生產(chǎn)持續(xù)聯(lián)接轉(zhuǎn)換的敏捷迭代開發(fā)模型，建立群智范式度量指標(biāo)體系；研究大規(guī)模群智激發(fā)匯聚機(jī)制、多模態(tài)軟件資源（包括數(shù)據(jù)、模型、代碼、知識(shí)及服務(wù)）開放共享技術(shù)和開源生態(tài)價(jià)值網(wǎng)絡(luò)形成機(jī)理，提出支持軟件持續(xù)成長(zhǎng)演化的人-機(jī)群智協(xié)同機(jī)制、協(xié)同演進(jìn)技術(shù)和評(píng)估調(diào)控模型；融合上述模型、指標(biāo)、機(jī)制和技術(shù)，構(gòu)建群智協(xié)同框架及工具鏈，研制群智范式支撐平臺(tái)并開展應(yīng)用驗(yàn)證。

5.基于領(lǐng)域軟件資產(chǎn)的需求驅(qū)動(dòng)軟件高可信構(gòu)造與演化。

聚焦特定領(lǐng)域的智能化軟件高可信構(gòu)造與演化問題，研究基于領(lǐng)域軟件資產(chǎn)的“需求規(guī)約-軟件體系結(jié)構(gòu)-代碼實(shí)現(xiàn)”追蹤依賴關(guān)系圖譜的表達(dá)方法，構(gòu)建知識(shí)和模型增強(qiáng)的需求驅(qū)動(dòng)智能化軟件體系結(jié)構(gòu)設(shè)計(jì)方法和代碼生成技術(shù)；研究智能化軟件的測(cè)試和形式化驗(yàn)證技術(shù)并研制工具；研究面向環(huán)境變化和任務(wù)擴(kuò)展等演化需求的智能化軟件重構(gòu)技術(shù)，支撐智能化軟件運(yùn)行時(shí)重構(gòu)與動(dòng)態(tài)演化；面向安全攸關(guān)領(lǐng)域復(fù)雜嵌入式軟件應(yīng)用場(chǎng)景開展驗(yàn)證。

6.車路云一體化端到端自動(dòng)駕駛功能軟件開發(fā)方法。

聚焦車路云一體化場(chǎng)景下智能化軟件開發(fā)需求，研究具有低通濾波功能的多模態(tài)神經(jīng)網(wǎng)絡(luò)模型設(shè)計(jì)方法；研究路端數(shù)據(jù)支持的駕駛場(chǎng)景虛擬重構(gòu)方法，建立知識(shí)驅(qū)動(dòng)的異常交通參與者行為模型，支持面向動(dòng)態(tài)交通場(chǎng)景的數(shù)據(jù)自動(dòng)生成；開發(fā)分層解耦的自動(dòng)駕駛功能軟件原子構(gòu)件，建立車端與路端數(shù)據(jù)聯(lián)合驅(qū)動(dòng)的端到端模型強(qiáng)化學(xué)習(xí)訓(xùn)練平臺(tái)；開發(fā)自動(dòng)駕駛功能軟件系統(tǒng)，實(shí)現(xiàn)自動(dòng)駕駛模型的遠(yuǎn)程更新，開展車路云一體化實(shí)車測(cè)試驗(yàn)證。

四、遴選項(xiàng)目的基本原則

（一）對(duì)實(shí)現(xiàn)總體科學(xué)目標(biāo)的貢獻(xiàn)度。

（二）解決智能化軟件領(lǐng)域關(guān)鍵科學(xué)與技術(shù)難題，具有原創(chuàng)性、基礎(chǔ)性、交叉性和應(yīng)用前景。

（三）具有產(chǎn)出高水平論文/專利和高質(zhì)量軟件制品的潛力。

五、2025年度資助計(jì)劃

擬資助培育項(xiàng)目約20項(xiàng)，直接費(fèi)用資助強(qiáng)度約為80萬/項(xiàng)，資助期限為3年，申請(qǐng)書中研究期限應(yīng)填寫“2026年1月1日－2028年12月31日”；擬資助重點(diǎn)支持項(xiàng)目約8項(xiàng)，直接費(fèi)用資助強(qiáng)度約為300萬/項(xiàng)，資助期限為4年，申請(qǐng)書中研究期限應(yīng)填寫“2026年1月1日－2029年12月31日”。

六、申請(qǐng)要求及注意事項(xiàng)

（一）申請(qǐng)條件。

本重大研究計(jì)劃項(xiàng)目申請(qǐng)人應(yīng)當(dāng)具備以下條件：

1.具有承擔(dān)基礎(chǔ)研究課題的經(jīng)歷。

2.具有高級(jí)專業(yè)技術(shù)職務(wù)（職稱）。

在站博士后研究人員、正在攻讀研究生學(xué)位以及無工作單位或者所在單位不是依托單位的人員不得作為申請(qǐng)人進(jìn)行申請(qǐng)。

（二）限項(xiàng)申請(qǐng)規(guī)定。

執(zhí)行《2025年度國家自然科學(xué)基金項(xiàng)目指南》“申請(qǐng)規(guī)定”中限項(xiàng)申請(qǐng)規(guī)定的相關(guān)要求。

（三）申請(qǐng)注意事項(xiàng)。

申請(qǐng)人和依托單位應(yīng)當(dāng)認(rèn)真閱讀并執(zhí)行本項(xiàng)目指南、《2025年度國家自然科學(xué)基金項(xiàng)目指南》和《關(guān)于2025年度國家自然科學(xué)基金項(xiàng)目申請(qǐng)與結(jié)題等有關(guān)事項(xiàng)的通告》中相關(guān)要求。

1.本重大研究計(jì)劃項(xiàng)目實(shí)行無紙化申請(qǐng)。申請(qǐng)書提交時(shí)間為2025年9月15日至2025年9月22日16時(shí)。

2.項(xiàng)目申請(qǐng)書采用在線方式撰寫。對(duì)申請(qǐng)人具體要求如下：

（1）申請(qǐng)人應(yīng)當(dāng)按照科學(xué)基金網(wǎng)絡(luò)信息系統(tǒng)（以下簡(jiǎn)稱“信息系統(tǒng)”）中重大研究計(jì)劃項(xiàng)目的填報(bào)說明與撰寫提綱要求在線填寫和提交電子申請(qǐng)書及附件材料。

（2）本重大研究計(jì)劃旨在緊密圍繞核心科學(xué)問題，對(duì)多學(xué)科相關(guān)研究進(jìn)行戰(zhàn)略性的方向引導(dǎo)和優(yōu)勢(shì)整合，成為一個(gè)項(xiàng)目集群。申請(qǐng)人應(yīng)根據(jù)本重大研究計(jì)劃擬解決的具體科學(xué)問題和項(xiàng)目指南公布的擬資助研究方向，自行擬定項(xiàng)目名稱、科學(xué)目標(biāo)、研究?jī)?nèi)容、技術(shù)路線和相應(yīng)的研究經(jīng)費(fèi)等。

（3）項(xiàng)目申請(qǐng)人在信息系統(tǒng)中選擇“在線申請(qǐng)”—“新增項(xiàng)目申請(qǐng)”—“申請(qǐng)交叉科學(xué)部項(xiàng)目”進(jìn)行項(xiàng)目申報(bào)。

申請(qǐng)書中的資助類別選擇“重大研究計(jì)劃”，亞類說明選擇“培育項(xiàng)目”或“重點(diǎn)支持項(xiàng)目”，附注說明選擇“面向人機(jī)物融合的智能化軟件基礎(chǔ)研究”，受理代碼選擇T04，并根據(jù)申請(qǐng)項(xiàng)目的具體研究?jī)?nèi)容選擇不超過5個(gè)申請(qǐng)代碼。

培育項(xiàng)目和重點(diǎn)支持項(xiàng)目的合作研究單位均不得超過2個(gè)。鼓勵(lì)申請(qǐng)人與企業(yè)研究人員聯(lián)合申請(qǐng)。

（4）申請(qǐng)人在申請(qǐng)書起始部分應(yīng)明確說明申請(qǐng)符合本項(xiàng)目指南中的資助研究方向（寫明指南中的研究方向序號(hào)和相應(yīng)內(nèi)容），以及對(duì)解決本重大研究計(jì)劃核心科學(xué)問題、實(shí)現(xiàn)總體科學(xué)目標(biāo)的貢獻(xiàn)。

如果申請(qǐng)人已經(jīng)承擔(dān)與本重大研究計(jì)劃相關(guān)的其他科技計(jì)劃項(xiàng)目，應(yīng)當(dāng)在申請(qǐng)書正文的“研究基礎(chǔ)與工作條件”部分論述申請(qǐng)項(xiàng)目與其他相關(guān)項(xiàng)目的區(qū)別與聯(lián)系。

3.依托單位應(yīng)當(dāng)按照要求完成依托單位承諾、組織申請(qǐng)以及審核申請(qǐng)材料等工作。在2025年9月22日16時(shí)前通過信息系統(tǒng)逐項(xiàng)確認(rèn)提交本單位電子申請(qǐng)書及附件材料。

4.其他注意事項(xiàng)。

（1）為實(shí)現(xiàn)重大研究計(jì)劃總體科學(xué)目標(biāo)和多學(xué)科集成，獲得資助的項(xiàng)目負(fù)責(zé)人應(yīng)當(dāng)承諾遵守相關(guān)數(shù)據(jù)和資料管理與共享的規(guī)定，項(xiàng)目成果應(yīng)在本重大研究計(jì)劃框架內(nèi)開源，項(xiàng)目執(zhí)行過程中應(yīng)關(guān)注與本重大研究計(jì)劃其他項(xiàng)目之間的相互支撐關(guān)系。

（2）為加強(qiáng)項(xiàng)目的學(xué)術(shù)交流，促進(jìn)項(xiàng)目群的形成和多學(xué)科交叉與集成，本重大研究計(jì)劃將每年舉辦1次資助項(xiàng)目的年度學(xué)術(shù)交流會(huì)，并將不定期地組織相關(guān)領(lǐng)域的學(xué)術(shù)研討會(huì)。獲資助項(xiàng)目負(fù)責(zé)人有義務(wù)參加本重大研究計(jì)劃指導(dǎo)專家組和管理工作組所組織的上述學(xué)術(shù)交流活動(dòng)，并認(rèn)真開展學(xué)術(shù)交流。

（四）咨詢方式。

國家自然科學(xué)基金委員會(huì)交叉科學(xué)部交叉科學(xué)四處

聯(lián)系電話：010-62328922