附件2 “变革性技术关键科学问题”重点专项 2020年度定向项目申报指南 变革性技术是指通过科学或技术的创新和突破,对已有传统 或主流的技术、工艺流程等进行一种另辟蹊径的革新,并对经济 社会发展产生革命性、突变式进步的技术。“变革性技术关键科学 问题”重点专项重点支持相关重要科学前沿或我国科学家取得原 创突破,应用前景明确,有望产出具有变革性影响技术原型,对 经济社会发展产生重大影响的前瞻性、原创性的基础研究和前沿 交叉研究。 本专项2020年拟支持7个定向择优项目,国拨经费总概算14 亿元;拟支持8个定向委托项目,国拨经费总概算04亿元。申报 单位根据指南支持方向,面向解决重大科学问题和突破关键技术 进行一体化设计。鼓励围绕一个重大科学问题,从基础研究到应 用研究全链条组织项目。鼓励依托国家重点实验室等重要科研基 地组织项目。项目应整体申报,须覆盖相应指南方向的全部考核 指标。每个项目下设课题不超过4个,每个项目参与单位数不超 过6家 项目执行期一般为5年,申报项目特别需提出明确、有显示 度的5年总体目标和2年阶段目标和考核指标(或研究进度);立
— 1 — 附件 2 “变革性技术关键科学问题”重点专项 2020 年度定向项目申报指南 变革性技术是指通过科学或技术的创新和突破,对已有传统 或主流的技术、工艺流程等进行一种另辟蹊径的革新,并对经济 社会发展产生革命性、突变式进步的技术。“变革性技术关键科学 问题”重点专项重点支持相关重要科学前沿或我国科学家取得原 创突破,应用前景明确,有望产出具有变革性影响技术原型,对 经济社会发展产生重大影响的前瞻性、原创性的基础研究和前沿 交叉研究。 本专项 2020 年拟支持 7 个定向择优项目,国拨经费总概算 1.4 亿元;拟支持 8 个定向委托项目,国拨经费总概算 0.4 亿元。申报 单位根据指南支持方向,面向解决重大科学问题和突破关键技术 进行一体化设计。鼓励围绕一个重大科学问题,从基础研究到应 用研究全链条组织项目。鼓励依托国家重点实验室等重要科研基 地组织项目。项目应整体申报,须覆盖相应指南方向的全部考核 指标。每个项目下设课题不超过 4 个,每个项目参与单位数不超 过 6 家。 项目执行期一般为 5 年,申报项目特别需提出明确、有显示 度的 5 年总体目标和 2 年阶段目标和考核指标(或研究进度);立
项项目实行“2+3”分段式资助,在项目执行2年左右对其目标完 成情况进行评估,根据评估情况确定项目后续支持方式。 1.集成电路设计自动化(EDA)中的创新数学理论和方法 研究内容:针对模拟电路自动化设计中高维、非凸、计算代 价昂贵的黑盒函数的优化问题,探索这些函数的结构及其逼近模 型构建方法,发展新型全局优化算法;针对集成电路仿真中的结 构系统,利用具有规则或近似规则的矩阵结构,发展相关的数学 理论、模型降阶方法以及基于快速变换的结构化分析方法;针对 可制造性设计的光刻热点分析问题,构建光刻热点特征提取方法, 发展定制深度神经网络方法,在保证高精度前提下,提高分析效 率;研究三维集成电路热应力及其可靠性分析的可计算建模,发 展三维集成电路热应力及其可靠性分析的区域分解和多尺度融合 的离散格式和异构并行自适应算法。 考核指标:发展基于黑盒函数模型的全局优化理论的高效稳定 算法,大幅提升模拟电路自动优化设计效率,算法效率提高3倍以 上;发展结构及近似结构问题的数学理论,构建全新快速数值方法, 实现集成电路上亿阶结构化系统的分析,相比现有电路分析工具, 能求解问题的规模提高5倍以上,能求解问题的速度提升5倍以上; 构建光刻热点特征提取方法和定制深度网络的分类方法,相比传统 卷积神经网络方法,提升集成电路光刻热点检测效率5倍以上;发 展具有自主知识产权热应力分析工具原型,相比三维集成电路热应 力分析的标准有限元方法提升效率5倍以上;相关理论与方法在我
— 2 — 项项目实行“2+3”分段式资助,在项目执行 2 年左右对其目标完 成情况进行评估,根据评估情况确定项目后续支持方式。 1. 集成电路设计自动化(EDA)中的创新数学理论和方法 研究内容:针对模拟电路自动化设计中高维、非凸、计算代 价昂贵的黑盒函数的优化问题,探索这些函数的结构及其逼近模 型构建方法,发展新型全局优化算法;针对集成电路仿真中的结 构系统,利用具有规则或近似规则的矩阵结构,发展相关的数学 理论、模型降阶方法以及基于快速变换的结构化分析方法;针对 可制造性设计的光刻热点分析问题,构建光刻热点特征提取方法, 发展定制深度神经网络方法,在保证高精度前提下,提高分析效 率;研究三维集成电路热应力及其可靠性分析的可计算建模,发 展三维集成电路热应力及其可靠性分析的区域分解和多尺度融合 的离散格式和异构并行自适应算法。 考核指标:发展基于黑盒函数模型的全局优化理论的高效稳定 算法,大幅提升模拟电路自动优化设计效率,算法效率提高 3 倍以 上;发展结构及近似结构问题的数学理论,构建全新快速数值方法, 实现集成电路上亿阶结构化系统的分析,相比现有电路分析工具, 能求解问题的规模提高5倍以上,能求解问题的速度提升5倍以上; 构建光刻热点特征提取方法和定制深度网络的分类方法,相比传统 卷积神经网络方法,提升集成电路光刻热点检测效率 5 倍以上;发 展具有自主知识产权热应力分析工具原型,相比三维集成电路热应 力分析的标准有限元方法提升效率 5 倍以上;相关理论与方法在我
国集成电路研究单位或设计企业得到验证 有关说明:由上海市科委作为推荐单位组织申报。 2.面向大型客机防除冰设计的多尺度模拟与不确定量化 研究内容:研究高维随机空间和间断解的逼近数学理论及高 效高维计算与机器学习方法,发展贝叶斯推断意义下不确定性量 化反问题及边值问题最优控制的快速算法,研究针对多尺度热力 学非平衡特征的多尺度算法。研究大型客机结冰条件对翼型升阻 力不确定因素的敏感性,构建冰形不确定性与机翼气动特性的内 在关系。通过不确定量化反问题手段研究在结冰机理试验室和风 洞条件下影响冰形状的主要因素,这些因素重要性排序以及最优 控制问题 考核指标:发展带不确定性流体力学方程高维多尺度不确定 量化计算方法,并且构造高分辨率无震荡激波捕获方法。新方法 计算效率比现有算法提高一个量级。针对贝叶斯推断意义下不确 定性量化反问题及最优控制问题发展新的快速采样算法与机器学 习方法,比传统算法计算效率提高一个数量级;发展对动理学和 流体力学方程多尺度耦合问题的多尺度多物理,具有渐进保持性 质的多层直接模拟蒙托卡罗( Multilevel dsmo)方法,计算效率 比传统DSMC算法提高一个数量级。通过理论计算及风洞试验综 合验证;基于不确定量化方法的机翼表面防除冰设计使得加热面 积减少20%。研制的高维不确定量化与机器学习软件具备解决大 型客机机翼防除冰设计,结冰安全评估不确定量化设计和最优控
— 3 — 国集成电路研究单位或设计企业得到验证。 有关说明:由上海市科委作为推荐单位组织申报。 2. 面向大型客机防除冰设计的多尺度模拟与不确定量化 研究内容:研究高维随机空间和间断解的逼近数学理论及高 效高维计算与机器学习方法,发展贝叶斯推断意义下不确定性量 化反问题及边值问题最优控制的快速算法,研究针对多尺度热力 学非平衡特征的多尺度算法。研究大型客机结冰条件对翼型升阻 力不确定因素的敏感性,构建冰形不确定性与机翼气动特性的内 在关系。通过不确定量化反问题手段研究在结冰机理试验室和风 洞条件下影响冰形状的主要因素,这些因素重要性排序以及最优 控制问题。 考核指标:发展带不确定性流体力学方程高维多尺度不确定 量化计算方法,并且构造高分辨率无震荡激波捕获方法。新方法 计算效率比现有算法提高一个量级。针对贝叶斯推断意义下不确 定性量化反问题及最优控制问题发展新的快速采样算法与机器学 习方法,比传统算法计算效率提高一个数量级;发展对动理学和 流体力学方程多尺度耦合问题的多尺度多物理,具有渐进保持性 质的多层直接模拟蒙托卡罗(Multilevel DSMC)方法,计算效率 比传统 DSMC 算法提高一个数量级。通过理论计算及风洞试验综 合验证;基于不确定量化方法的机翼表面防除冰设计使得加热面 积减少 20%。研制的高维不确定量化与机器学习软件具备解决大 型客机机翼防除冰设计,结冰安全评估不确定量化设计和最优控
制问题的能力,并被用于大型客机机翼防除冰设计。 有关说明:由上海市科委作为推荐单位组织申报。 3DNA存储中的组合方法 研究内容:通过DNA存储技术中的组合方法的研究,开发 套完整的DNA存储适配系统。构建DNA编码的组合模型,研究 基于DNA分子特性的组合设计理论,在保证存储效率的前提下提 升信息编码的鲁棒性;研究DNA合成和测序相关的组合结构及算 法,为生化合成和测序技术提供优化模型,提高DNA分子大规模 合成和测序的成功率;开发全类型数据存储模式;构建DNA解码 的组合模型,研究基于组合构造的序列分析和拼接算法,以及DNA 信息的快速读取数学模型;研究可解码的最小数据集等DNA存储 的极值问题,揭示各类生化技术的模拟极限;研究DNA存储的加 密算法,保证信息安全;开发完整的DNA存储适配系统 考核指标:开发一套新型DNA编码算法,实现数据信息到 DNA的单位编码效率在6倍测序条件下,保证解码成功率不小于 95%,编码效率提升至1.6;开发适用于任意磁盘可存储类型数据 的DNA序列优化转换算法;开发一套大规模DNA存储(百TB 级及以上)纠错及索引算法,实现数据快速无损解读;开发一套 DNA存储加密算法;开发一套完整的DNA存储(编码、合成 存储、测序、解码)全流程的适配软件系统和全过程计算机模拟 系统,并完成达到百TB级别信息的全过程编码、解码计算机模拟 测试和百MB级别的实验测试和验证
— 4 — 制问题的能力,并被用于大型客机机翼防除冰设计。 有关说明:由上海市科委作为推荐单位组织申报。 3. DNA 存储中的组合方法 研究内容:通过 DNA 存储技术中的组合方法的研究,开发一 套完整的 DNA 存储适配系统。构建 DNA 编码的组合模型,研究 基于 DNA 分子特性的组合设计理论,在保证存储效率的前提下提 升信息编码的鲁棒性;研究 DNA 合成和测序相关的组合结构及算 法,为生化合成和测序技术提供优化模型,提高 DNA 分子大规模 合成和测序的成功率;开发全类型数据存储模式;构建 DNA 解码 的组合模型,研究基于组合构造的序列分析和拼接算法,以及DNA 信息的快速读取数学模型;研究可解码的最小数据集等 DNA 存储 的极值问题,揭示各类生化技术的模拟极限;研究 DNA 存储的加 密算法,保证信息安全;开发完整的 DNA 存储适配系统。 考核指标:开发一套新型 DNA 编码算法,实现数据信息到 DNA 的单位编码效率在 6 倍测序条件下,保证解码成功率不小于 95%,编码效率提升至 1.6;开发适用于任意磁盘可存储类型数据 的 DNA 序列优化转换算法;开发一套大规模 DNA 存储(百 TB 级及以上)纠错及索引算法,实现数据快速无损解读;开发一套 DNA 存储加密算法;开发一套完整的 DNA 存储(编码、合成、 存储、测序、解码)全流程的适配软件系统和全过程计算机模拟 系统,并完成达到百 TB 级别信息的全过程编码、解码计算机模拟 测试和百 MB 级别的实验测试和验证
有关说明:由天津市科技局作为推荐单位组织申报。 4.医学成像中的关键数学问题及其产业应用 研究内容:围绕低剂量CT图像重建、多能谱CT图像重建、 磁共振快速成像问题,发展医学成像过程的精准建模、医学图像 处理的非凸优化、欠定和病态情况下的超大规模逆问题求解算法 等。围绕医学图像判读问题,发展多模态医学图像分析方法,包 括结合概率积分几何与微分几何的多模态图像自由形变配准、基 于几何偏微分方程与最优传输理论的图像深度学习定量分析算法 等。开发自主可控的国产建模仿真引擎,为成像技术研发中模型 和算法的实际验证提供支撑 考核指标:开发出低剂量CT成像算法,满足诊断效能条件下 辐射剂量降至常规扫描的1/10以下;基于光子计数器的高性能多 能谱医学CT成像算法,清晰区分骨组织、软组织、碘溶液等多种 物质;心脏等器官的非增强快速磁共振成像算法,三维静态成像 在各向同性亚亳米分辨率下,扫描时间小于1.5分钟,动态成像空 间分辨率小于2×2毫米,时间分辨率小于40毫秒。完成不少于20 个志愿者的国产设备扫描测试,图像质量优于传统方法。为复杂 疾病的现代诊断和洽疗技术提供算法支撑,开发出基于最优传输 理论的图像深度学习定量分析算法,用于疾病诊断的自动化;复 杂曲面共形展开算法,用于直肠癌等疾病的精准筛查;多模态图 像自由形变配准算法,用于肿瘤疾病的精准放疗 有关说明:由北京市科委作为推荐单位组织申报
— 5 — 有关说明:由天津市科技局作为推荐单位组织申报。 4. 医学成像中的关键数学问题及其产业应用 研究内容:围绕低剂量 CT 图像重建、多能谱 CT 图像重建、 磁共振快速成像问题,发展医学成像过程的精准建模、医学图像 处理的非凸优化、欠定和病态情况下的超大规模逆问题求解算法 等。围绕医学图像判读问题,发展多模态医学图像分析方法,包 括结合概率积分几何与微分几何的多模态图像自由形变配准、基 于几何偏微分方程与最优传输理论的图像深度学习定量分析算法 等。开发自主可控的国产建模仿真引擎,为成像技术研发中模型 和算法的实际验证提供支撑。 考核指标:开发出低剂量 CT 成像算法,满足诊断效能条件下, 辐射剂量降至常规扫描的 1/10 以下;基于光子计数器的高性能多 能谱医学 CT 成像算法,清晰区分骨组织、软组织、碘溶液等多种 物质;心脏等器官的非增强快速磁共振成像算法,三维静态成像 在各向同性亚毫米分辨率下,扫描时间小于 1.5 分钟,动态成像空 间分辨率小于 2×2 毫米,时间分辨率小于 40 毫秒。完成不少于 20 个志愿者的国产设备扫描测试,图像质量优于传统方法。为复杂 疾病的现代诊断和治疗技术提供算法支撑,开发出基于最优传输 理论的图像深度学习定量分析算法,用于疾病诊断的自动化;复 杂曲面共形展开算法,用于直肠癌等疾病的精准筛查;多模态图 像自由形变配准算法,用于肿瘤疾病的精准放疗。 有关说明:由北京市科委作为推荐单位组织申报