关于发布面向人机物融合的智能化软件基础研究重大研究计划2026年度项目指南的通告国科金发计〔2026〕17号国家自然科学基金委员会现发布面向人机物融合的智能化软件基础研究重大研究计划2026年度项目指南,请申请人及依托单位按项目指南所述要求和注意事项申请，国家自然科学基金委员会2026年1月26日面向人机物融合的智能化软件基础研究重大研究计划2026年度项目指南“面向人机物融合的智能化软件基础研究”重大研究计划针对关键软件自主创新的国家重大战略需求,围绕智能化软件新范型的数理基础、工程构造、运维演化、质量保障等方面的重大科学问题,通过信息、数学、物理、工程、管理等学科的交叉融合研究,为我国实现关键软件领域的科学突破提供基础理论、关键技术和人才支撑，一、科学目标建立智能化软件新范型及其基础理论,构建智能化软件开发自动化与群智化、泛在操作系统的软件定义及其领域定制生成的方法与技术体系,形成基于新范型的工业软件构造与集成新方法新技术,培育智能化软件创新生态的开源基础,提升我国在关键软件领域的自主创新能力，针对智能化软件的基本形态、结构特征、交互机理和行为规律,建立人机物三元融合共生的系统建模理论,提出泛在异构资源的统一表征与封装方法,构造可自主适应、持续演化、长期生存、群智涌现的软件体系结构模型，针对智能化软件的高效构造和运行,揭示归纳演绎相融合的软件构造与运行机理,提出新型软件自动化、群智化构造方法与泛在操作系统的软件定义方法,设计泛在操作系统共性框架和核心构件,形成面向特定行业领域的软件定制化开发与集成技术方案，围绕人机物三元融合共生的系统建模问题,研究人机物融合智能化软件的数理基础和行为表征,包括Agent的自主性及其协同行为、人机物交互行为、群智涌现行为、系统社会影响机理等;提出面向程序代码部件和AI模型部件动态交互协同的、可驾驭智能化软件系统非确定性的新型形式化理论与方法，围绕归纳演绎相融合的智能化软件构造问题,研究神经-符号融合的智能化软件理论与基础算法以及面向人机物融合场景的Agent软件工程方法,构建逻辑推理与机器学习相互增强的软件体系结构模型、神经-符号融合的软件形式化规约自动生成、软件系统自动构造与优化、以及程序定理自动证明的理论与方法，围绕智能化软件的高可信运行支撑问题,研究泛在操作系统的新型内核架构模型、设计原理和构造方法,泛在资源的统一表征、感知和互操作,反馈控制的任务调度方法和智能化人机交互接口设计等;构建泛在操作系统的共性框架与可复用核心构件;面向智能制造、具身智能系统、机器人集群系统等场景,研究软件定义的泛在操作系统关键技术及定制方法，围绕基于智能化软件范型的工业软件构造问题,研究工业软件多域多源知识统一模型理论,支持软件工程、数学/物理模型、流程工艺、运筹管理等知识的融合表征和精确规约,并探索工业软件设计中非确定问题求解的AI补偿方法;研究领域知识与AI模型协同驱动的工业软件低代码开发方法,设计面向特定领域的工业软件编程语言;构建特定领域工业软件核心构件/框架/Agent、知识库和模型库等，聚焦人机物融合复杂系统的软件建模问题,研究泛在异构资源的能力表征和统一建模理论,构造泛在异构资源规约模型及描述语言机制;研究人机物融合复杂系统的多视角建模方法,构造并发、通信及其时序性和不确定性的分析模型,揭示人机物融合复杂系统的组成原理和运行机理;研究基于自适应演化架构的、需求驱动的人机物融合复杂系统设计方法;研制相关工具和平台，聚集复杂多变智能制造场景下工业操作系统的高效运行和演化问题,研究面向“感-联-知-控”一体化的工业操作系统确定性运行机理,建立支持高并行、大规模、高可靠的工业操作系统基本体系结构和运行服务能力模型;针对无人设备高效、智能、协同等工作需求,研究多模态感知、任务规划、智能决策、实时控制、自主协同等工业操作系统的核心机制及其构件化封装组装方法;研制工业操作系统原型及工具,在重大装备智能制造等场景中开展应用验证，聚焦超大型CAE软件敏捷交付难度大问题,研究“工程知识-数理模型-数值算法-可信数据”的智能化融合理论、表征模型与开发方法,构造面向多学科知识统一建模的专用语言机制,突破可定制、可组装的工具链关键技术,支持超大型CAE软件的快速响应和可信持续演化,在我国重大装备研制、高端制造等行业亟需的跨学科超大型CAE软件自主研发中开展应用验证，聚焦高端装备软件中普遍存在的体系结构固化、演化困难、与主流软件范型技术代差等问题,研究基于人工智能辅助的高端装备软件领域知识挖掘、体系结构逆向恢复、核心构件识别和知识图谱构建技术,建立异构代码到核心业务逻辑的语义映射方法,支持高端装备软件资产的标准化定义与高效率重构;研究“领域知识+数据驱动”深度融合的智能化软件体系结构建模方法,构造具备敏捷响应能力和可持续演化能力的新型高端装备软件的体系结构模型;研制原型工具和系统并在典型领域开展应用验证，聚焦人机物融合系统中因程序设计语言多样性导致的安全可靠等问题,研究异构语言的安全互操作方法和高可信的新型程序设计机制与设施;研究传统语言向新兴底层安全语言的可靠转换方法,支持基础软件构件的可靠可用替代;研究面向人机物融合应用场景的软件消胀技术;研制面向异构程序设计语言的分析、转换和优化工具,开展应用验证，(4)申请人在申请书起始部分应明确说明申请符合本项目指南中的资助研究方向(写明指南中的研究方向序号和相应内容),以及对解决本重大研究计划核心科学问题、实现本重大研究计划科学目标的贡献。