泛研网

公众版 查看说明
信息服务系统2025版

关于发布面向人机物融合的智能化软件基础研究重大研究计划2025年度项目指南的通告

发布机构：（略）

发布日期： 附件：0个

资助来源：（略）

重点摘要

关键词
国科金发计〔202（略）自然科学基金委员会（略）智能化软件基础研究（略）度项目指南，请申请（略）所述要求和注意事项（略）金委员会2025年（略）合的智能化软件基础（略）5年度项目指南  （略）能化软件基础研究”（略）件自主创新的国家重（略）软件新范型的数理基（略）、质量保障等方面的（略）、数学、物理、工程（略）研究，为我国实现关（略）供基础理论、关键技（略）科学目标  建立智（略）理论，构建智能化软（略）泛在操作系统的软件（略）方法与技术体系，形（略）构造与集成新方法新（略）新生态的开源基础，（略）的自主创新能力。 （略）（一）人机物三元融（略）组成原理。  针对（略）结构特征、交互机理（略）三元融合共生的系统（略）资源的统一表征与封（略）、持续演化、长期生（略）结构模型。  （二（略）化软件构造与运行机（略）的高效构造和运行，（略）件构造与运行机理，（略）智化构造方法与泛在（略），设计泛在操作系统（略）成面向特定行业领域（略）技术方案。  （三（略）系统质量保障方法。（略）结构复杂性和行为非（略）定性与概率近似性的（略）提出以驾驭非确定性（略）与技术，实现系统质（略）可验证、可持续、全（略）方法体系。  三、（略）方向  （一）培育（略）标为牵引，基于核心（略）个研究方向，优先资（略）思想、提出新技术路（略）求的申请项目。  （略）软件的数理基础和行（略）机物三元融合共生的（略）物融合智能化软件的（略）括智能化软件的自主（略）为、群智涌现行为、（略）出面向程序代码部件（略）协同的、可驾驭智能（略）型形式化理论与方法（略）数据归纳协同驱动的（略）。  围绕归纳演绎（略）问题，研究神经-符（略）与基础算法，构建逻（略）强的软件体系结构模（略）的形式化规约自动生（略）学习的软件系统高效（略）与形式语言的智能化（略）3. 面向智能化软（略）构造方法。  围绕（略）支撑问题，研究泛在（略）模型、设计原理和构（略）表征、感知和互操作（略）法和自然交互接口设（略）的共性框架与核心构（略）软件定义的泛在操作（略）。  4. 基于智（略）建模原理和开发方法（略）件范型的工业软件构（略）域多源知识统一模型（略）学/物理模型、流程（略）融合表征和精确规约（略）非确定问题求解的A（略）识与AI模型协同驱（略）方法，设计面向特定（略）（DSL）；构建特（略）/框架、知识库和模（略）软件生态理论、技术（略）软件开源生态建设与（略）持续激励汇聚机理、（略）度量方法；研究群体（略）任务规划与协同技术（略）术；面向开源生态的（略）益链演进和治理机制（略）析方法、敏感隐私数（略）规性分析验证技术；（略）机制、开源平台的服（略）治理机制和可持续运（略）务支撑工具。  （（略）以总体科学目标为牵（略）拟围绕以下6个研究（略）基础较好、交叉性强（略）、对总体科学目标有（略） 1. 人机物融合（略）法与关键技术。  （略）件的可成长性问题，（略）行机理和生命周期基（略）可成长软件的范型理（略）场景的统一软件建模（略）能化编程新范式，支（略）的快速构造与成长演（略）线检测与监控、神经（略）量验证和软件生态依（略）可成长智能化软件及（略）2. 知识数据双驱（略）与精确调控技术。 （略）类个体与群体的需求（略）究人类工效学视角下（略）化软件的心理特征与（略）的行为建模及人机协（略）会-技术系统理论的（略）机制与行为涌现规律（略）的人类社群组织建模（略）软件对人类社群组织（略）准调控技术，支撑与（略）件设计方法和实现机（略）模应用的价值风险识（略）社会的风险调控与防（略）序代码自动生成与系（略）。  聚焦人机物融（略）动生成与维护问题，（略）理论的新型神经网络（略）推演能力的新型代码（略）型；研究融合神经计（略）法，构建具有处理大（略）号化分析工具；研究（略）经网络约束解码的代（略）在知识的在线学习与（略）持续学习能力的新型（略）究针对大规模遗产软（略）技术，构建神经符号（略）统。  4. 面向（略）的群智范式支撑技术（略）角下的智能化软件生（略）小核心与大外围高效（略）范生产持续联接转换（略）立群智范式度量指标（略）发汇聚机制、多模态（略）型、代码、知识及服（略）生态价值网络形成机（略）长演化的人-机群智（略）和评估调控模型；融（略）和技术，构建群智协（略）智范式支撑平台并开（略）基于领域软件资产的（略）与演化。  聚焦特（略）信构造与演化问题，（略）“需求规约-软件体（略）依赖关系图谱的表达（略）强的需求驱动智能化（略）代码生成技术；研究（略）化验证技术并研制工（略）任务扩展等演化需求（略）支撑智能化软件运行（略）安全攸关领域复杂嵌（略）证。  6. 车路（略）功能软件开发方法。（略）景下智能化软件开发（略）功能的多模态神经网（略）端数据支持的驾驶场（略）识驱动的异常交通参（略）动态交通场景的数据（略）的自动驾驶功能软件（略）端数据联合驱动的端（略）台；开发自动驾驶功（略）驶模型的远程更新，（略）试验证。  四、遴（略）一）对实现总体科学（略））解决智能化软件领（略）具有原创性、基础性（略） （三）具有产出高（略）软件制品的潜力。 （略）计划  拟资助培育（略）资助强度约为80万（略）申请书中研究期限应（略）日－2028年12（略）支持项目约8项，直（略）0万/项，资助期限（略）限应填写“2026（略）12月31日”。 （略）项  （一）申请条（略）项目申请人应当具备（略）有承担基础研究课题（略）高级专业技术职务（（略）研究人员、正在攻读（略）位或者所在单位不是（略）申请人进行申请。 （略）  执行《2025（略）目指南》“申请规定（略）要求。  （三）申（略）和依托单位应当认真（略）《2025年度国家（略）和《关于2025年（略）申请与结题等有关事（略）  1. 本重大研（略）请。申请书提交时间（略）至2025年9月2（略）项目申请书采用在线（略）要求如下：  （1（略）金网络信息系统（以（略）重大研究计划项目的（略）在线填写和提交电子（略）（2）本重大研究计（略）问题，对多学科相关（略）导和优势整合，成为（略）根据本重大研究计划（略）项目指南公布的拟资（略）目名称、科学目标、（略）应的研究经费等。 （略）息系统中选择“在线（略）”—“申请交叉科学（略）  申请书中的资助（略）”，亚类说明选择“（略）项目”，附注说明选（略）能化软件基础研究”（略）并根据申请项目的具（略）个申请代码。  培（略）合作研究单位均不得（略）企业研究人员联合申（略）申请书起始部分应明（略）南中的资助研究方向（略）序号和相应内容），（略）划核心科学问题、实（略）  如果申请人已经（略）关的其他科技计划项（略）“研究基础与工作条（略）其他相关项目的区别（略）单位应当按照要求完（略）请以及审核申请材料（略）月22日16时前通（略）本单位电子申请书及（略）他注意事项。  （（略）总体科学目标和多学（略）负责人应当承诺遵守（略）享的规定，项目成果（略）内开源，项目执行过（略）计划其他项目之间的（略））为加强项目的学术（略）和多学科交叉与集成（略）举办1次资助项目的（略）定期地组织相关领域（略）目负责人有义务参加（略）组和管理工作组所组（略）并认真开展学术交流（略）  国家自然科学基（略）科学四处  联系电（略）922
引用：（略）