关于发布面向人机物融合的智能化软件基础研究重大研究计划2025年度项目指南的通告国科金发计〔2025〕213号国家自然科学基金委员会现发布面向人机物融合的智能化软件基础研究重大研究计划2025年度项目指南,请申请人及依托单位按项目指南所述要求和注意事项申请，国家自然科学基金委员会2025年8月8日面向人机物融合的智能化软件基础研究重大研究计划2025年度项目指南“面向人机物融合的智能化软件基础研究”重大研究计划针对关键软件自主创新的国家重大战略需求,围绕智能化软件新范型的数理基础、工程构造、运维演化、质量保障等方面的重大科学问题,通过信息、数学、物理、工程、管理等学科的交叉融合研究,为我国实现关键软件领域的科学突破提供基础理论、关键技术和人才支撑，一、科学目标建立智能化软件新范型及其基础理论,构建智能化软件开发自动化与群智化、泛在操作系统的软件定义及其领域定制生成的方法与技术体系,形成基于新范型的工业软件构造与集成新方法新技术,培育智能化软件创新生态的开源基础,提升我国在关键软件领域的自主创新能力，针对智能化软件的基本形态、结构特征、交互机理和行为规律,建立人机物三元融合共生的系统建模理论,提出泛在异构资源的统一表征与封装方法,构造可自主适应、持续演化、长期生存、群智涌现的软件体系结构模型，以总体科学目标为牵引,基于核心科学问题,拟围绕以下5个研究方向,优先资助探索性强、具有原创性思想、提出新技术路径、响应新兴应用场景需求的申请项目，围绕人机物三元融合共生的系统建模问题,研究人机物融合智能化软件的数理基础和行为表征,包括智能化软件的自主协同行为、人机物交互行为、群智涌现行为、系统社会影响机理等;提出面向程序代码部件和AI模型部件动态交互协同的、可驾驭智能化软件系统非确定性的新型形式化理论与方法，以总体科学目标为牵引,针对核心科学问题,拟围绕以下6个研究方向,优先资助前期研究基础较好、交叉性强、响应新兴应用场景需求、对总体科学目标有较大贡献的申请项目，聚焦人机物融合智能化软件的可成长性问题,研究软件的体系结构、运行机理和生命周期基本原理,建立新型智能化可成长软件的范型理论;研究面向人机物融合场景的统一软件建模框架、软件定义方法和智能化编程新范式,支撑人机物融合智能化软件的快速构造与成长演化;研究开放环境约束在线检测与监控、神经-符号融合程序分析、增量验证和软件生态依赖诊断等技术,构建面向可成长智能化软件及其生态的软件工具，聚焦三元融合系统中人类个体与群体的需求感知与行为调控问题,研究人类工效学视角下个体面对人机物融合智能化软件的心理特征与认知规律,支撑人在回路的行为建模及人机协同机制设计;研究基于社会-技术系统理论的群体交互机理、多方博弈机制与行为涌现规律,支撑数据与知识双驱动的人类社群组织建模与趋势预测;研究智能化软件对人类社群组织影响的效能评估方法与精准调控技术,支撑与人类价值对齐的智能化软件设计方法和实现机制;研究智能化软件大规模应用的价值风险识别与预测技术,支撑智能社会的风险调控与防范，聚焦人机物融合软件系统程序代码的自动生成与维护问题,研究融合程序语法和类型理论的新型神经网络数理基础,构建具有递归推演能力的新型代码大模型建模理论与计算模型;研究融合神经计算的高效符号知识推理方法,构建具有处理大规模程序能力的高精度符号化分析工具;研究融合形式语言自动机与神经网络约束解码的代码生成技术、程序代码内在知识的在线学习与记忆存储技术,构建具有持续学习能力的新型代码理解与生成工具;研究针对大规模遗产软件系统的自动优化与重构技术,构建神经符号融合的软件维护智能体系统，聚焦群智视角下的智能化软件生态成长与演化问题,研究小核心与大外围高效联接协作、自由创作与规范生产持续联接转换的敏捷迭代开发模型,建立群智范式度量指标体系;研究大规模群智激发汇聚机制、多模态软件资源(包括数据、模型、代码、知识及服务)开放共享技术和开源生态价值网络形成机理,提出支持软件持续成长演化的人-机群智协同机制、协同演进技术和评估调控模型;融合上述模型、指标、机制和技术,构建群智协同框架及工具链,研制群智范式支撑平台并开展应用验证，聚焦特定领域的智能化软件高可信构造与演化问题,研究基于领域软件资产的“需求规约-软件体系结构-代码实现”追踪依赖关系图谱的表达方法,构建知识和模型增强的需求驱动智能化软件体系结构设计方法和代码生成技术;研究智能化软件的测试和形式化验证技术并研制工具;研究面向环境变化和任务扩展等演化需求的智能化软件重构技术,支撑智能化软件运行时重构与动态演化;面向安全攸关领域复杂嵌入式软件应用场景开展验证，申请人和依托单位应当认真阅读并执行本项目指南、《2025年度国家自然科学基金项目指南》和《关于2025年度国家自然科学基金项目申请与结题等有关事项的通告》中相关要求，申请书中的资助类别选择“重大研究计划”,亚类说明选择“培育项目”或“重点支持项目”,附注说明选择“面向人机物融合的智能化软件基础研究”,受理代码选择T04,并根据申请项目的具体研究内容选择不超过5个申请代码，(4)申请人在申请书起始部分应明确说明申请符合本项目指南中的资助研究方向(写明指南中的研究方向序号和相应内容),以及对解决本重大研究计划核心科学问题、实现总体科学目标的贡献。