　　(一)培育项目。

　　以总体科学目标为牵引，基于核心科学问题，拟围绕以下5个研究方向，优先资助探索性强、具有原创性思想、提出新技术路径、响应新兴应用场景需求的申请项目。

　　1. 人机物融合智能化软件的数理基础和行为科学基础。

　　围绕人机物三元融合共生的系统建模问题，研究人机物融合智能化软件的数理基础和行为表征，包括智能化软件的自主协同行为、人机物交互行为、群智涌现行为、系统社会影响机理等;提出面向程序代码部件和AI模型部件动态交互协同的、可驾驭智能化软件系统非确定性的新型形式化理论与方法。

　　2. 逻辑演绎与数据归纳协同驱动的神经-符号融合软件理论。

　　围绕归纳演绎相融合的智能化软件构造问题，研究神经-符号融合的智能化软件理论与基础算法，构建逻辑推理与机器学习相互增强的软件体系结构模型、神经-符号融合软件的形式化规约自动生成方法、基于神经-符号学习的软件系统高效构造方法、结合自然语言与形式语言的智能化程序设计语言理论。

　　3. 面向智能化软件的泛在操作系统原理和构造方法。

　　围绕智能化软件的高可信运行支撑问题，研究泛在操作系统的新型内核架构模型、设计原理和构造方法，泛在资源的统一表征、感知和互操作，反馈控制的任务调度方法和自然交互接口设计等;构建泛在操作系统的共性框架与核心构件;面向特定领域，研究软件定义的泛在操作系统关键技术及定制方法。

　　4. 基于智能化软件范型的工业软件建模原理和开发方法。

　　围绕基于智能化软件范型的工业软件构造问题，研究工业软件多域多源知识统一模型理论，支持软件工程、数学/物理模型、流程工艺、运筹管理等知识的融合表征和精确规约，并探索工业软件设计中非确定问题求解的AI补偿方法;研究领域知识与AI模型协同驱动的工业软件低代码开发方法，设计面向特定领域的工业软件编程语言(DSL);构建特定领域工业软件核心构件/框架、知识库和模型库等。

　　5. 开源软件生态理论、技术及策略。

　　围绕智能化软件开源生态建设与治理问题，研究开源生态持续激励汇聚机理、开源贡献存证技术与评估度量方法;研究群体高效协作机制、群智协作任务规划与协同技术、开源社区智能化运维技术;面向开源生态的价值链，研究开源社区权益链演进和治理机制、开源软件供应链建模分析方法、敏感隐私数据分析和开源依赖关系合规性分析验证技术;建立开源生态的创新管理机制、开源平台的服务优化策略、开源社区的治理机制和可持续运营模式;构建开源平台服务支撑工具。

　　(二)重点支持项目。

　　以总体科学目标为牵引，针对核心科学问题，拟围绕以下6个研究方向，优先资助前期研究基础较好、交叉性强、响应新兴应用场景需求、对总体科学目标有较大贡献的申请项目。

　　1. 人机物融合智能化软件可成长理论方法与关键技术。

　　聚焦人机物融合智能化软件的可成长性问题，研究软件的体系结构、运行机理和生命周期基本原理，建立新型智能化可成长软件的范型理论;研究面向人机物融合场景的统一软件建模框架、软件定义方法和智能化编程新范式，支撑人机物融合智能化软件的快速构造与成长演化;研究开放环境约束在线检测与监控、神经-符号融合程序分析、增量验证和软件生态依赖诊断等技术，构建面向可成长智能化软件及其生态的软件工具。

　　2. 知识数据双驱动的组织建模、影响评估与精确调控技术。

　　聚焦三元融合系统中人类个体与群体的需求感知与行为调控问题，研究人类工效学视角下个体面对人机物融合智能化软件的心理特征与认知规律，支撑人在回路的行为建模及人机协同机制设计;研究基于社会-技术系统理论的群体交互机理、多方博弈机制与行为涌现规律，支撑数据与知识双驱动的人类社群组织建模与趋势预测;研究智能化软件对人类社群组织影响的效能评估方法与精准调控技术，支撑与人类价值对齐的智能化软件设计方法和实现机制;研究智能化软件大规模应用的价值风险识别与预测技术，支撑智能社会的风险调控与防范。

　　3. 高可信程序代码自动生成与系统自动重构优化关键技术。

　　聚焦人机物融合软件系统程序代码的自动生成与维护问题，研究融合程序语法和类型理论的新型神经网络数理基础，构建具有递归推演能力的新型代码大模型建模理论与计算模型;研究融合神经计算的高效符号知识推理方法，构建具有处理大规模程序能力的高精度符号化分析工具;研究融合形式语言自动机与神经网络约束解码的代码生成技术、程序代码内在知识的在线学习与记忆存储技术，构建具有持续学习能力的新型代码理解与生成工具;研究针对大规模遗产软件系统的自动优化与重构技术，构建神经符号融合的软件维护智能体系统。

　　4. 面向智能化软件生态成长演化的群智范式支撑技术与平台。

　　聚焦群智视角下的智能化软件生态成长与演化问题，研究小核心与大外围高效联接协作、自由创作与规范生产持续联接转换的敏捷迭代开发模型，建立群智范式度量指标体系;研究大规模群智激发汇聚机制、多模态软件资源(包括数据、模型、代码、知识及服务)开放共享技术和开源生态价值网络形成机理，提出支持软件持续成长演化的人-机群智协同机制、协同演进技术和评估调控模型;融合上述模型、指标、机制和技术，构建群智协同框架及工具链，研制群智范式支撑平台并开展应用验证。

　　5. 基于领域软件资产的需求驱动软件高可信构造与演化。

　　聚焦特定领域的智能化软件高可信构造与演化问题，研究基于领域软件资产的“需求规约-软件体系结构-代码实现”追踪依赖关系图谱的表达方法，构建知识和模型增强的需求驱动智能化软件体系结构设计方法和代码生成技术;研究智能化软件的测试和形式化验证技术并研制工具;研究面向环境变化和任务扩展等演化需求的智能化软件重构技术，支撑智能化软件运行时重构与动态演化;面向安全攸关领域复杂嵌入式软件应用场景开展验证。

　　6. 车路云一体化端到端自动驾驶功能软件开发方法。

　　聚焦车路云一体化场景下智能化软件开发需求，研究具有低通滤波功能的多模态神经网络模型设计方法;研究路端数据支持的驾驶场景虚拟重构方法，建立知识驱动的异常交通参与者行为模型，支持面向动态交通场景的数据自动生成;开发分层解耦的自动驾驶功能软件原子构件，建立车端与路端数据联合驱动的端到端模型强化学习训练平台;开发自动驾驶功能软件系统，实现自动驾驶模型的远程更新，开展车路云一体化实车测试验证。

2025年度面向人机物融合的智能化软件基础研究重大研究计划