附件1:
“高性能科学计算的基础算法与可计算建模”
重大研究计划2023年度项目指南。
科学计算是20世纪重要科学技术进步之一,伴随着电子计算机的出现迅速发展并得到广泛应用。科学计算已与理论研究和实验研究相并列成为科学研究的第三种方法,成为促进重大科学发现和科技进步的重要手段。现今科学计算已是体现国家科学技术核心竞争力的重要标志,是国家科学技术创新发展的关键要素。
国家重大战略需求中许多科学问题的解决高度依赖于科学计算中基础算法与可计算建模的发展水平。在国家自然科学**的框架内,以实际需求为牵引,从基础研究入手,加强科学计算领域的重要基础科学问题研究,设计高效基础算法和建立满足实际精度要求的可计算模型以降低计算复杂度和计算量,显著提高利用计算机解决科学与工程问题的能力,满足实际应用不断增长的要求,是本重大研究计划设立的目的。
因此,本重大研究计划的实施将为前沿科学研究和重大需求提供进一步的科学计算支撑,有力地促进科学计算硬、软件协调发展,促进数学与其它学科的交叉融合,培养一批高水平的科学计算复合型人才,推动科学计算乃至科学技术的跨越发展。
一、科学目标。
本重大研究计划围绕基础算法与可计算建模这一主线,开展科学计算的共性高效算法、基于机理与数据的可计算建模和问题驱动的高性能计算与算法评价研究,推动我国高性能科学计算的发展,为解决科学前沿和国家需求中的瓶颈问题提供关键的数值模拟技术和方法支撑。
1. 在共性高效算法研究中取得原创性和系统性的成果,特别在偏微分方程高保真高效离散方法、非线性特征值问题算法、复杂目标优化方法等的构造、基础理论和并行实现技术方面取得突破。
2. 在重要科学问题的可计算建模和高性能计算方面,重点突破涉及多过程耦合、数据驱动以及模型和数据互补的建模难点,提出实用的可计算模型,实现高效使用数十万处理器核的大规模数值模拟。
3. 在学科建设与人才培养方面,聚集和造就一批站在国际前沿、具有创新能力的科学计算复合型人才,形成多个高水平的学科交叉研究团队,实现我国科学计算的跨越式发展。
二、核心科学问题。
针对高性能科学计算的发展趋势和国家需求,更好地在本重大研究计划中体现“有所为,有所不为”的原则,根据所凝练的核心科学问题要能够体现基础性、前瞻性、交叉性的要求,本重大研究计划确定以高性能科学计算所涉及的基础算法与可计算建模问题作为研究主线。拟解决的核心科学问题为:
一)数值计算的共性高效算法。
当前高性能科学计算面临的主要问题之一是如何发展高效高精度算法,以充分发挥高性能计算机的巨大能力,并满足大规模计算实际问题的模拟精度和置信度要求。主要研究内容如下:
1.微分方程高效高精度的格式构造与分析。
非线性应用偏微分方程的高精度高效离散方法与理论;随机微分方程的高保真方法与理论;非线性特征值问题的算法与分析,大规模可扩展新型算法等。
2.复杂数据处理的快速方法。
压缩感知的数学理论和快速算法,高通量异源数据的高效集成算法,基于小样本数据的高维系统重构理论与算法,构建多层次生物网络的理论与算法,二维投影数据重构高分辨三维图像的算法等。
3.不确定与复杂目标函数的优化方法。
针对飞行器设计、天气和气候**中资料同化、生物分子网络等研究中所出现的优化问题,发展复杂目标函数、随机目标函数、不可精确计算目标函数以及无目标函数的高效优化算法。
二)基于机理与数据的可计算建模。
瞄准具有多时空尺度、多场耦合、各向异性、非平衡、超高维和不确定性等特征的问题,开展可计算建模研究。主要研究内容如下:
1.典型物理模型的耦合与分析。
针对多物理多尺度耦合模型(如粒子输运过程的扩散输运耦合模型、材料位错与裂纹的多尺度耦合模型)等,依据问题精度和算法稳定性要求,着重研究具有相同内涵不同变量的相互表达和转换关系、耦合区域或界面的确定原则以及满足物理守恒律且易于计算的连接条件等。
2.超高维数据的稀疏表达。
研究隐含在高维或海量数据中的中心流形,用低维变量或稀疏表示表征高维数据的主要特征,着重研究高维线性问题的低维非线性逼近模式,将高维线性问题转化为低维非线性问题,发展超高维数据降维的新方法。
3.机理与数据的混合建模。
复杂物理与生命现象中的许多问题,需要将机理与数据相结合进行研究,如稀疏雷达成像、大气海洋科学中的资料同化、生物分子网络的构建等。基于已知机理,结合从数据中提取的敏感因素典型特征,探索建立可计算混合模型。着重研究基于机理的模型和数据典型特征的匹配,以及与之相关的数据需求分析。
三)问题驱动的高性能计算与算法评价。
围绕国家重大需求、学科前沿领域亟需解决的,并且具有较好科学计算基础的重要问题,进行高性能计算,分析、评价算法和建模的有效性。主要研究内容包括:
1.多物理过程耦合条件下的数值模拟与算法评价。
多个物理过程连续或同时发生是物理和材料等学科中许多问题的共同特征,例如惯性约束聚变过程涉及粒子输运、流体不稳定性等,材料的位错与裂纹涉及弹塑性和晶键破裂等。利用发展的可计算模型和基础算法,针对具体物理过程研究高效算法的实现技术,对其进行数值模拟,并评价模型和算法的有效性。着重研究扩散输运耦合与内爆压缩湍流混合的算法实现技术,有效利用上万处理器核进行惯性约束聚变物理全过程的大规模数值模拟;对材料位错与裂纹的多尺度模型进行大规模高效耦合计算,加深对材料损伤与失效机制的理解。
2.基于数据提取和分析的计算与算法评价。
基于数据提取及其关联分析建立数学模型进而进行推断和**是研究许多复杂问题的重要模式,例如生物调控网络中的细胞适应性控制网络、信号开关控制网络、高通或低通滤波控制网络等。利用发展的稀疏表示模型,针对具体超高维和多源数据,研究快速算法的实现技术,对其进行科学计算。着重研究生物海量数据的特征抽取及网络表征方法,开发高效调控网络推断算法,在对应的动力学方程的参数空间对系统实现大规模高效计算。
通过科学计算认识生物网络拓扑结构与动力学参数之间的关系,**结构和功能的关系。
3.模型和数据互补的计算与算法评价。
科学研究的发展涌现出许多不能单纯用模型或数据描述的科学问题。例如,对大气与海洋科学研究中非常重要的资料同化问题,一些影响天气与气候变化的机制的认识还不够,数值模式不尽完善,数据不完备、不同**的资料之间不协调,需要模型和数据的互补与融合,利用建立的数值模式和海量资料开展资料同化方法和技术研究。选择一两个问题,譬如天气和气候**中的资料同化问题、复杂介质中弹性波场的全波传播模拟,开展模型与数据互补的高性能计算研究。
三、2023年度拟重点资助的研究方向和研究项目。
本重大研究计划拟分5个年度受理申请项目,主要以“培育项目”和“重点支持项目”的形式予以资助,两类项目在资助强度和实现目标上有所不同。对于条件具备的领域优先布局,需要探索的方向经研讨后启动。对具有较好研究基础,并且有明确的、急需解决的可计算建模和算法关键问题的重要方向,经研讨凝练目标后以“重点支持项目”的方式推进;对于需要推动的方向以“培育项目”方式进行布局。
2023年度拟资助“培育项目”约20项,资助强度60-90万元/项,资助期限为3年;拟资助“重点支持项目”约5项,资助强度300-500万元/项,资助期限为4年。2023年度资助经费约3700万元。
2023年度拟资助如下领域的“培育项目”和“重点支持项目”。申请人可根据“培育项目”和“重点支持项目”的研究方向,选择其中的一个或几个方面提出申请,无需覆盖指南中“培育项目”和“重点支持项目”的全部内容;亦需自行确定项目名称、科学目标(申请“重点支持项目”的应对指南中提出的预期目标进行分解和细化)、技术路线和相应的研究经费。
一)“重点支持项目”拟资助的研究方向。
1.共性随机算法与数学理论
针对实际问题中的典型随机现象,开展随机算法与理论分析研究,包括保持物理性质的随机微分方程离散方法,随机边界条件处理方法,稀有事件的随机算法,复杂网络的马尔科夫模型约化方法与理论等。发展高效实用的共性随机算法,特别是保持物理性质的新型随机算法,建立相关的数学理论基础。
2.极端条件下物理过程的可计算建模与算法。
针对惯性约束聚变中的辐射输运过程,研究可计算建模,包括扩散输运耦合与内爆压缩湍流混合的可计算建模,研究相应的高效高精度算法及实现技术。建立符合物理要求的高效实用的扩散输运耦合算法与湍流混合可计算模型,有效利用上万处理器核实现惯性约束聚变物理全过程的大规模数值模拟。
3.气候**的陆面过程资料同化的数学方法研究。
基于气候数学物理模式,结合从观测数据及不同**的资料中提取的敏感因素和典型特征,研究资料同化方案(可计算模型)和高效高精度的计算方法。提出科学合理的资料同化方案和新型数学方法,使之能够同化多种遥感观测以及常规观测数据;并将同化方案和获得的同化数据与气候模式**系统结合,系统性地检验陆面过程资料同化对我国夏季降水异常**效果的影响。
4.材料物性的耦合模型与算法。
针对典型材料建立材料物性的多物理多尺度可计算模型,研究不同层次、不同物理机理耦合模型(特别是动力学耦合模型)中确定具有相同内涵不同变量的相互表达和转换关系、耦合区域或界面的原则,以及满足物理守恒律且易于计算的连接条件的数学表达等。发展材料物性耦合模型的高效算法,实现高效使用上万核处理器的大规模数值模拟。
5.复杂介质中波传播反问题的理论、快速算法与应用。
结合实际应用中的复杂介质波传播问题(如复杂介质中电磁波、光波、弹性波传播等问题),研究利用可测量数据反演重要物理量、提取重要几何(结构)参数以及效用评估的问题。在快速计算正问题的基础上,重点研究反问题特有的强非线性性和高度病态性难题。解决基于不同状态下、不同**数据的约束条件与反问题算法的融合问题,提出计算高频场和非线性不适定问题的快速、可靠的求解方法,建立不完全数据处理的高效算法和数学理论,为相关的反问题及最优设计问题提供切实可行的新理论基础和计算方法。
二)“培育项目”拟资助的研究方向。
1. 新型有限元、有限体积方法;
2. 保持物理特性的自适应与无网格方法;
3.非线性特征值问题的算法与分析;
4. 适用于大规模异构计算机系统的可扩展新型算法;
5. 强关联多体物理问题的新型计算方法;
6. 多介质大变形流体的高保真算法;
7. 飞行器高雷诺数流场高精度快速算法;
8. 高维数据的低维非线性逼近方法;
9.多层次生物分子网络重构的模型与算法;
10.基于生物分子网络数学模型及算法的疾病诊断、分级和预后;
重大研究计划2023年度项目指南
一 2011年度拟资助的 重点支持项目 1.误差可控的计算。研究面向计算的算法可信性的度量与可信算法设计的数学基础,针对典型科学与工程计算问题,设计新的无误差计算和误差可控的基础算法等。2 人与信息系统交互的可信机理及其展示平台。以社会计算为背景,以大规模网络化应用平台为载体,系统考察人与信息系统的...
2023年度省科技支撑计划 农业 项目指南附件
附件 根据现代农业产业发展对科技的需求,继续组织实施优良品种培育工程,加强我省农业产业和沿海滩涂开发关键核心技术研发和成果集成示范,促进现代农业产业和沿海地区发展。一 农业优良品种培育工程。1001 优质高抗超级稻和优良食味高产水稻新品种 组合 选育。1002 优质高产多抗专用小麦新品种选育。100...
2023年度省科技支撑计划 农业 项目指南解读
附件 根据现代农业产业发展对科技的需求,继续组织实施优良品种培育工程,加强我省农业产业和沿海滩涂开发关键核心技术研发和成果集成示范,促进现代农业产业和沿海地区发展。一 农业优良品种培育工程。1001 优质高抗超级稻和优良食味高产水稻新品种 组合选育。1002 优质高产多抗专用小麦新品种选育。1003...