附件 3

“国家级大学生创新创业训练计划”

项目申报书

速度追踪型 Stokes 控制问题的快速预

项目名称
处理技术
负 责 人 万弘毅
指导教师 梁兆正
推荐学院 数学与统计学院
起止时间 2022.03-2022.12
兰州大学学生处 制

2
 填 报 说 明

一、填写申报书之前，项目团队所有成员和指导老师应仔细阅读《兰州大

学国家级大学生创新创业训练计划管理办法（试行）》，严格按照有关规定执

行。鼓励学生跨专业申报项目，促进不同学科之间的交叉融合。

二、项目类别及简述

（一）创新训练项目是本科生个人或团队，在导师指导下，自主完成创新

性研究项目设计、研究条件准备和项目实施、研究报告撰写、成果（学术）交

流等工作。

（二）创业训练项目是本科生团队，在导师指导下，团队中每个学生在项

目实施过程中扮演一个或多个具体角色，完成商业计划书编制、可行性研究、

企业模拟运行、撰写创业报告等工作。

（三）创业实践项目是学生团队，在学校导师和企业导师共同指导下，采

用创新训练项目或创新性实验等成果，提出具有市场前景的创新性产品或服务，

以此为基础开展创业实践活动。

三、项目完成人根据实际情况填写 2～4 人（创业实践项目一般 3～8 人）。

四、申报书请如实填写，表达明确严谨。所需签字之处，必须由相应人员

亲笔签名。如有弄虚作假现象，一经核实，将按照撤项处理。

五、项目实施时间的起止年月一般按学年填写，每个项目原则上在 1 或 2

年内完成，以一年为一阶段。申报书的各项内容，要实事求是，表达要明确、

严谨。第一次出现的缩写词，需注出全称。

六、项目及子项目经费预算中的科目名称可根据预算情况填写实验耗材、
药品、试剂、图书资料、实地调研，参加校内外会议，生产采购、广告营销，

场地租赁等。

七、在线申报的同时，需同时提交纸质版，以便立项后归档。要求用 A4 纸

填写或打印（签字之处必须手写签字），于左侧装订成册。可网上下载、自行

复印或加页，但格式、内容、大小均须与原件一致。电子版填表字体用小四号

宋体，单倍行距，一式一份（备存）。申报书内容格式编排应规范、严谨。

八、所列各项内容不能简单标注“见附件”，否则视为不合格。

备注：创业训练项目及创业实践项目在申请时需一并提交商业计划书。

项目名称 速度追踪型 Stokes 控制问题的快速预处理技术

项目类型 ■创新训练 □创业训练 □创业实践

项目所属专业
0701
类代码

项目所处阶段
（仅创业实践 □开发阶段 □成长阶段 □成熟阶段
项目）
7000 2022 年 03 月
申请经费 起止时间
单位：元 至 2022 年 12 月

性 学院及专业 联系电
姓名 学号 E-mail
申 别 （填写全称） 话
负 请
责团 万弘毅 男 320190927781 数学与统计学院（基础 189709 wanhy19@
人队 数学） 96613 lzu.edu.cn
先 （
后 排
顺 名 田峻麟 男 320190927771 数学与统计学院（数学 139194 tianjl2019@
序 顺 与应用数学） 21311 lzu.edu.cn
） 序
为

4
 姓名 梁兆正 职务/职称 讲师
校
内
指
导 电话 18298375814 E-mail liangzz@lzu.edu.cn
教
师
单位 兰州大学数学与统计学院

姓名 职务/职称
（ 校
没 外
有 指
可 导
不 教 电话 E-mail
填
） 师
单位

5
一、项目简介（严格控制在 200 字以
内
。请用简明扼要的语言概括项目的关
容。）
内
键
由偏微分方程作 为
约束的优化控制问题具 有
广泛的应用背景，
为
科学计
算和工程应用领域中众多实际问题的 有
效解决提供了宝贵的模型。因此，研
究其
有
效数值求解，在理论分析和实际应用方面均具 有
十分重要的意义。本
项目重点关注以 Stokes 方程作
为
约束的优化控制问题，针对离散化过程所产
生的复杂分块线性系统，结合适当的预处理和 Chebyshev 多项式加速技术，
设计出稳定高效的快速迭代算法，以期改善此类问题的数值求解效率。

二、项目创新点（严格控制在 500 字以
内
。请用关键语句或字段列出主要创
新之处。阿拉伯数字
后
面请用“ .”——即英文输入模式下的点，不 能使用逗
号或顿号。）
以 Stokes 方程作
为
约束的优化控制问题 的
有
效求解 需要应用特定结构、
数值模拟和优化算法的集成。在适当的离散化方法框架内
， 例如利用
有 限元
或
有 限差分离散等数值方法求解此类问题时，一个最
为
重要的 环节是求解对
应于离散化一阶稳定性条件的复杂四乘四分块线性系统，其通常代表着此类
优化问题的主要计算瓶颈。本项目考虑设计能够
有
效改善此类复杂代数系统
迭代求解效率的快速算法，项目创新点主要包括以下几个方面：

1. 将相关的复杂四乘四分块线性系统分化为 耦合的双层二乘二分块形
式，并以
外 层的二乘二分块结构
为
基础， 构造新的预处理子。同时，
针对
内 层的二乘二分块系统，结合内
迭 代预处理 Krylov 子空间技
术，构造出
外内 相结合的快速预处理迭代算法。

2. 结合对应于 Stokes 方程正问题的

内 层鞍点结构的
不 精确变形，设计
可
避免
外 内 相结合的算法实现过程的直接预处理子。

3. 利用 Chebyshev 多项式加速技术，进一步改善所设计的预处理迭代算
法的迭代求解效率。

备注：项目简介和创新点，要注意语言精练，表述准确。根据教育部高教司要求，在填
写汇总表（附件 2）时，两者合起来原则上
不 能超过 200 字，请各项目
队
在团填 报汇总
表格报送学院时，注意进一步精简、提炼。

三、项目研究背景（
可 另附页。1000 字左右，包括项目实施目的、背景、
内

6
 容、自身/
队
具团 备的知识、条件、特长、兴趣、前期准备，以及参加哪些科
技事件创新活动和取得的成绩等。创业训练和创业实践项目还需对项目进行
可 行性分析述，背景分析、成本分析、社会效益或经济效益分析等。）
(一) 实施背景
在生物,物理,经济等领域,以偏微分方程作
为
约束的优化控制问题 无处
不
在,
为
科学计算和工程应用中众多实际问题的
有
效解决提供了宝贵的模型 .本
项目所关注的以 Stokes 方程作
约束的优化控制问题
为 ,属于一类具
代
有 表性的
流体控制和优化问题,在机械制造和航天工程等领域具
广泛的应用背景。
有
考虑如下形式的优化控制问题：

(1)

满足 Stokes 约束方程：

(2)

其中速度函数 和压力函数为 状态变量,函数为

控制 变量, 表示给定的目

标速度函数,函数 是 与 Dirichlet 边 界 条 件 相 关 的 给 定 向 量 值 函 数 ，

表示具
有 Lipschitz 连续边界 的
有 界开区域, 表示一个

给定的正则化参数.此类偏微分方程约束优化控制问题又称
为
速 度追踪型
Stokes 控制问题，即要求 Stokes 方程的速度解函数尽
可 能接近目标速度函数.
在适当的优化算法和数值离散框架
内
，以偏微分方程作
为
约束的优化控
制问题的具体求解方法
可
分
为
“
先
离散后
优化”和“
先
优化后
离散” 两种类
型[1]。前者
先 构造连续的最优化条件，再考虑对其进行适当的数值离散；
后
者
先
对目 标泛函和约束方程进行适当的数值离散，再考虑构造离散的最优化
条件。针对本项目所关注的上述速度追踪型 Stokes 控制问题，由于作
为
约束
的 Stokes 方程满足“自伴性”要求，故这两类求解方法是等价的，
可
导出 相

7
 同的离散化一阶稳定性条件.因此，
不 妨考虑“
先
离散后
优化”的求解 策略。
首
先
，在稳 态的混合
有 限元离散框架
内
，要求速度 变量和控制变量在相同的
有 限元空间
内 进行近似，
可 将连续的优化控制问题(1)-(2)转化
为 如下离散化
最优控制问题：

(3)
满足约束条件：

, (4)

其中 和 表示对应于速度变量的 块对角质量矩阵和刚度矩阵，矩阵

表示离散负的离散化散度算子，向量 ， ， 和 是对应于相关函数的

离散化变量，向量 和 与边界条件相关的给定向量。接下来，考虑利用

Lagrange 乘子方法求解离散化的最优控制问题(3)-(4)，并构造如下形式的
Lagrange 乘子函数：

(5)

其中 λ 和 μ 是两个 Lagrange 乘子向量,相应的离散化一阶稳定性条件

为

,其等价于如下的矩阵形式：

, (6)

8
其中向量 对应于相关的边界条件.利用梯度方程 可
, 将分块代数系

统(6)降阶
为 如下等价的四乘四分块形式:

. (7)
代数系统(7)具
复杂的分块结
有 构，以及病态的谱性质，代表着速度追踪
型 Stokes 优化控制问题的主要计算瓶颈。如果直接使用常规的方法（例如直
接使用 Krylov 子空间方法求解）求解代数系统(7),通常表现会很差甚至
不 收
敛.近年来,通过构造
有
效的预处理 子,进而改善分块线性系统(7)或其等价形
式的迭代求解效率的工作,引起了广泛的研究兴趣.例如，在文献[2]和[3]中,
结合适当的近似转换技巧，提出了几类
效的块对
有 角(BD)和块三角(BT)预处
理子。在文献[4]中，利用变量代换

, , 和 ,

将代数系统(7)等价转化
了
为 如下形式：

(8)

进一步,
可 将其系数矩阵分化
为 如下二乘二分块形式：

(9)

其中 和 分别
为
对称 半正定和对称
不
正定的分块二 乘二矩阵. 文献[2]借鉴

文献[5,6]中的预处理的方块(PRESB)预处理技术，基于耦合的二乘二分块形
式(9),提出了如下适用于分块系统(8)的预处理子:

9
 .

在文献[7]中,基于耦合的二乘二分块形式(9),研究了文献[8]中如下预处理的
修正 Hermtian 和反 Hermitian 分裂(PMHSS)预处理子:

求解代数系统(8)的
可 行性和
效性
有 .理论分析表明,上述 PRESB 和 PMHSS 预
处理子的算法实现过程简单直接,并且相应的预处理矩阵具
有 紧致的
不 依赖问
题参数的谱分布性质,确保了这两类预处理子用于加速求解速度追踪型 Stokes
控制问题时,能够展现出稳定高效的数值表现.此
外 ,借鉴文献[2,3]中预处理
子的构造技巧,文献[7]提出了一种
可 规避 PMHSS 预处理子的
外内 相结合的
算法实现过程的
不 精确变形,进一步优化了其算法实现的效率.另
外 ,在文献
[9]中,借鉴文献[4,7]的相关工作，基于
有
别 于分块系统(8)的四乘四分块系
统(7)的新的等价变形形式，提出了两类更
有
效为的 PRESB 型预处理子，并
考虑了相应的
可 规避
外 内 相结合的算法实现过程的
不 精确变形.
虽然上述文献中所提出的预处理技术
有
效改善了速度追踪型 Stokes 控制
问题(1)-(2)的迭代求解效率，但是在收敛性分析和数值测验方面仍具
有 进一
步改进和提升的空间。因此，我们考虑借鉴文献[4,7,9]中预处理子的构造技
巧，在其他类型的求解二乘二分块线性系统的高效预处理和迭代算法框架
内
， 例如文献[10]中的预处理的广义 SOR(PGSOR)迭代法和文献[11]中的加
性 BT(ABT)预处理子，并将其与 Chebyshev 半迭代算法 [12-14]相结合，构造新
的适用于速度追踪型 Stokes 控制问题(1)-(2)的更
高效的快速迭代算法。
为
(二) 实施目的及
容
内
除了文献[4,7]中的等价形式(8)以及文献[9]中所提出的两类等价形式
外 ,分块线性系统(7)也
以
可 等价变形
其
为 它形式，例如如下形式:

10
 (10)
由等价形式(8)或(10)出发，基于类似于分块形式(9)的耦合二乘二分块形
式，
可 考虑借鉴文献[10,11]的 PGSOR 迭代法和 ABT 预处理子的设计思路，构造如
下形式的基于块三角分裂的预处理子:

(11)

. (12)

注意，上述第一类加性块三角预处理子(11)是
有
别 于文献[10]中的 PGSOR 预
处理子的等价形式.
由文献[10]的理论分析结果
可 知,在求解更
为 特殊的 A 和 C 均
对称正定
为
矩阵的二乘二分块线性系统(9)时, 借助实用的迭代参数选择策略, PGSOR 迭代
算法的迭代收敛速率
可 接近于 0.17, 从而
可 展现出优于 PRESB 和 PMHSS 迭代
算法的数值表现. 此
外 , 在上述特殊情形下, 文献[11]中的 ABT 预处理迭代算法
和文献[5]中的 PRESB 预处理迭代算法
可 展现出类似的甚至更好的数值表现.
因而,
可
以 考虑借助 Chebyshev 多项式加速技术，改善相关的 ABT 和 PRESB
预处理迭代算法的迭代收敛速率.
鉴于上述事实，本项目考虑研究将上述两类 ABT 预处理子应用于求解更
一般化的二乘二分块线性系统(9)，即 A 和 为
C (9)中
不 满足对称正定性要求的
情形的
可 行性. 若能得到类似的谱分布和迭代收敛性结果，
可
以 进一步考虑使
用 Chebyshev 多项式加速技术的
可 行性，从而进一步改善第二类 ABT 预处理
子(12)的相应迭代算法的收敛速率，以期获取优于文献[4,7,9]中算法的更加稳
定高效的数值表现.反过来，如果提出的预处理子(11)和(12)
有 着与文献

11
[10,11]中的原始预处理
不 同的谱分布和迭代收敛性质，还需要提出新的谱分
析与收敛性技巧以适应新的预处理子的相关理论分析和算法实现过程.
总之，如果设计出了令人满意的诸如 ABT 型的预处理子(11)和(12)，其对
解决 Stokes 最优控制问题
有 着很好的效果.我们将进一步尝试利用之前
创的
校
部分工作成果，即利用 Chebyshev 多项式加速迭代求解的收敛速度，寻求更
高效的解决办法.如此本项目将最大化的完成预期的目标，即构造出
有
效可求
解速度追踪型 Stokes 最优控制问题的更
效的快速算法
有 .
(三)
人团
队 员介绍

项目负责人万弘毅，2019 级，就读于数学与统计学院基础数学专业，于
2020-2021 年担任兰州大学学生创新创业项目《Chebyshev 多项式加速在迭代
求解偏微分方程中的应用》主要负责成员，完成了部分关键性任务，任《On
PMHSS iteration method and Chebyshev accelerated variants for block two-by-two
linear systems》学生二作.在
校
期间成 绩优异，曾获得全国大学生数学竞赛甘
肃赛区二等奖，兰州大学优秀学生三等奖学金。掌握 Matlab、Stata、Python
等主流计算机语言，对科研及创新创业
有 着很强的积极性和兴趣.

队
成团 员田峻麟，2019 级，就读于数学与统计学院数学与应用数学专
业，于 2020 至 2021 年负责兰州大学学生创新创业项目《Chebyshev 多项式加
速在迭代求解偏微分方程中的应用》并成功以数学与统计学院创新创业项目
第 一 名 结 项 ， 完 成 论 文 《 On PMHSS iteration method and Chebyshev
accelerated variants for block two-by-two linear systems》，任学生一作并投稿，
目前在审，指导老师梁兆正老师任一作兼通讯作者.在
校
期间成 绩优秀，
有 着
较好的创新创业能力，现提交“䇹政基金”科研见习研修项目一项 .掌握
Matlab、Spss、LaTex 等主流计算机语言与软件，曾获得兰州大学优秀学生二
等奖学金，对科研训练
有 着一定的经验和理解.

四、项目方案及
可 行性分析（
可 另附页。1000 字左右，包括目标任务，技术
路线或运作模式，行动方案，以及人员分工和资源整合等。）
（一）目标任务

12
 本项目所关注的以 Stokes 方程作
约束的优化控制问题
为 ,属于一类具
代
有
表性的流体控制和优化问题.参考文献[1]，我们首
先 需要通过
有 限元离散方法
将以 Stokes 方程
为
约束 条件的最优控制问题转化
为
一 个离散的约束优化问
题，再利用 Lagrange 乘子方法将求解离散的约束优化问题转化
为
求解 (7)中
的代数系统.我们借鉴文献[4,7,9]中预处理子的构造技巧，在其他类型的求
解二乘二分块线性系统的高效预处理和迭代算法框架
内
， 例如文献[10]中的
PGSOR 迭代法和文献[11]中的 ABT 预处理子，并将其与 Chebyshev 半迭代算法
[12-14]
相结合，构造新的适用于代数系统(7)或其等价形式更
为
高效的快速迭代
算法.最
后 进行数值实验，来验证新的迭代算法的
可 行性和
效性
有 .
（二）技术路线

（三）行动方案
1. 首
先 参考文献[1]，在稳态的混合
有 限元离散框架
，要求速度
内 变量和
控制变量在相同的
有 限元空间
内 进行近似,将连续的优化控制问题

13
 (1)-(2)转化
为
离 散化 最优控制问题(3)-(4), 再利用 Lagrange 乘子
方法将求解离散的约束优化问题转化
为
求解 (7)中的代数系统，进一
步分化
为 (9)中二乘二分块形式.
2. 借鉴文献[4,7,9]中预处理子的构造技巧，在其他类型的求解二乘二
分块线性系统的高效预处理和迭代算法框架
内
， 例如文献[10]中的预
处理的广义 SOR(PGSOR)迭代法和文献[11]中的加性 BT(ABT)预处
理子,构造新的适用于速度追踪型 Stokes 控制问题(1)-(2)的更
有
效为
的预处理子(11),(12).
3. 将上述构造的预处理子(11), (12)应用求解二乘二分块线性系统(9)，若
能得到[10,11]中类似的谱分布和迭代收敛结果,
以
可 进一步考虑使用
Chebyshev 多项式加速技术的
可 行性，进一步改善预处理子(12)的相
应迭代算法的收敛速率，以期获取优于文献[4,7,9]中算法的更加稳定
高效的数值表现.反过来,如果提出的预处理子(11)和(12)
有 着与文献
[10,11]中的原始预处理
不 同的谱分布和迭代收敛性质，还需要提出
新谱分析与收敛性技巧以适应新的预处理子的相关理论分析和算法.
4. 进行数值实验，将构造的预处理子(11),(12)对应的迭代方法与已
有
预
处理子对应迭代方法的求解效率进行比较来验证预处理子(11),(12)的
可 行性和
效性
有 .

（四）
分工
队 团
队
全团 体成员在项目初期阶段了解
有 限元及
有 限差分方法，能够具备初
步理解及使用能力，之
后
对 于离散化线性系统的各种特点进行集中掌握学
习，同时了解其面对常规迭代的局限性.
队
成团 员通过对论文[1]的阅读，能够学习
有 限元离散方法并用其将
Stokes 方程
为
约束 条件的最优控制问题转化
为
离散的约束优化问题 .对于形
成的离散化最优控制问题进行一定的求解尝试.
队
成由
团 员田峻麟学习研究广义连续过松弛(PGSOR)预处理方法、
队团
成员万弘毅学习研究加性块三角（ABT）预处理子的相关性质及构造，能够
做到对二者的谱分析及收敛性分析
有 着较成熟的掌握，之
后 通过对二者的理
解，寻求更
有
效的新的预处理 子来对之前变形出的离散的约束优化问题进行
预处理，力求找到优良的预处理矩阵，使其对谱分析收敛性
有 着很好的通过
14
性.
队
全团 体成员依靠着
校
创的 相关经验与成果，凭借着指导老师的指导建
议，回顾 Chebyshev 多项式对于迭代方法的加速性质.作
为
本项目的一项重点
步骤，使用 Chebyshev 多项式加速已提出的迭代矩阵，尝试对比加速
后
的求
解速度与原
迭代的速度
有 .
最
后
全 体进行数值测试，在数据上尝试体现出切比雪夫多项式加速
后
的
迭代矩阵的优越性，
队
成团 员田峻麟总结完整项目思路，成员万弘毅将数据
测试结果形成表格以此突出显著的优越性，最
后
在指导 老师的帮助下形成一
篇具
一定学术
有 价值的论文.

五、项目进度安 排 （300-500 字，包括进度计划安，实

排 施阶段和步骤等）
2022 年 3 月至 2022 年 5 月：了解数值求解偏微分方程的
有 限差分和有 限元方
法并理解利用离散化方法求解偏微分方程的基本思路；
2022 年 5 月至 2022 年 6 月：研究所导出的离散化线性系统的结构特点以及利
用常规迭代方法进行求解时所遇到的困难；
2022 年 6 月至 2022 年 8 月：通过
有 限元离散方法将以 Stokes 方程
为
约束 条件
的最优控制问题转化
一
为 个离散的约束优化问题；
2022 年 8 月至 2022 年 10 月：学习并深入理解加性块三角（ABT）预处理子
与广义连续过松弛(PGSOR)预处理方法的相关知识，设计一类新的更
有
效的
预处理子来对离散
的约束优化问题
后 进行预处理并得到新的预处理矩阵；
2022 年 10 月至 2022 年 11 月：对新的预处理矩阵做谱分析来研究对应迭代方
法的收敛性，利用前期工作的铺垫，将 Chebyshev 多项式这一
有 力工具运用
到新预处理子对应的迭代方法中来提高迭代求解效率；
2022 年 11 月至 2022 年 12 月：进行数值实验，将新预处理子对应的迭代方法
与已
有
预处理 子对应迭代方法的求解效率进行比较来验证新预处理子的
可 行
性和
效性。
有 在指导
后
最 老师的帮助下形成一篇具
一定学术
有 价值的论文。

六、项目完成预期成果与形式（
可 另附页。500-1000 字，请简述：专著或编
著、调研或实验报告、论文篇数及论文级别，或专利、设计、产品、服务、
公司性质及规模、社会融资或风险投资、营业额和利润额等。）
在生物，物理，经济等领域，偏微分方程控制问题几乎无处
不
在， 由偏

15
 微分方程作
为
约束的优化控制问题具
有
广泛的应用背景，
为
科学计算和工程
应用领域中众多实际问题的
有
效解决提供了宝贵的模型 .因此，研究其
有
效数
值求解，在理论分析和实际应用方面均具
十分重要的意义
有 .
首
先 参考文献[1]，在稳态的混合
有 限元离散框架
内
，要求速度 变量和控
制变量在相同的
有 限元空间
内 进行近似,将连续的优化控制问题(1)-(2)转化
为
离 散化 最优控制问题(3)-(4), 再利用 Lagrange 乘子方法将求解离散的约
束优化问题转化
为
求解 (7)中的代数系统，进一步分化
为 (9)中二乘二分块形
式.
然
后 借鉴文献[4,7,9]中预处理子的构造技巧，在其他类型的求解二乘二
分块线性系统的高效预处理和迭代算法框架
，
内 例如文献[10]中的 PGSOR 迭
代法和文献[11]中的 ABT 预处理子，构造新的适用于速度追踪型 Stokes 控制
问题(1)-(2)的更
效的
有 为 形如(11)和(12)的预处理子.
进而将上述构造的预处理子(11)，(12)应用于求解二乘二分块线性系统
(9)，若能得到[10,11]中类似的谱分布和迭代收敛性结果，
可
以 进一步考虑使
用 Chebyshev 多项式加速技术的
可 行性，从而进一步改善第预处理子(12)的相
应迭代算法的收敛速率，以期获取优于文献[4,7,9]中算法的更加稳定高效的数
值表现.反过来，如果提出的预处理子(11)和(12)
有 着与文献[10,11]中的原
始预处理
不 同的谱分布和迭代收敛性质，还需要提出新的谱分析与收敛性技
巧以适应新的预处理子的相关理论分析和算法实现过程.
之
后 进行数值实验，将构造的预处理子(11), (12)对应的迭代方法与已
有
预处理子对应迭代方法的求解效率进行比较来验证预处理子(11),(12)的
可 行性
效性
有
和 .
最
后 我们计划将上述研究的最终成果进行整理，希望形成
有
一定学术 价
值的科研论文发表在相应级别的期刊上.

七、参考文献或资料
[1] F. Tröltzsch, Optimal Control of Partial Differential Equations: Theory, Methods
and Applications, Amer. Mathematical Society, 2010.
[2] W . Zulehner. Nonstandard norms and robust estimates for saddle point

16
problems. SIAM J. Matrix Anal. Appl., 32(2):536–560, 2011.
[3] J.W. Pearson. On the development of parameter-robust preconditioners and
commutator arguments for solving Stokes control problems. Electron. Trans.
Numer . Anal, 44:53–72, 2015.
[4] O. Axelsson, S. Farouq, and M. Neytcheva. Comparison of preconditioned
Krylov subspace iteration methods for PDE-constrained optimization problems:
Stokes control. Numer. Algorithms, 74(1):19–37, 2017.
[5] O. Axelsson, S. Farouq, and M. Neytcheva. Comparison of preconditioned
Krylov subspace iteration methods for PDE-constrained optimization problems:
Poisson and convection–diffusion control. Numer. Algorithms, 73(3):631–663,
2016.
[6] O. Axelsson, M. Neytcheva, and B. Ahmad. A comparison of iterative methods
to solve complex valued linear algebraic systems. Numer. Algorithms, 66(4):811–
841, 2014.
[7] Z.-Z. Bai, Preconditioned MHSS iteration methods for a class of block two-by-
two linear systems with applications to distributed control problems, IMA J. Numer.
Anal., 33:343–369, 2013.
[8] S.-M. Cao and Z.-Q. Wang. PMHSS iteration method and preconditioners for
Stokes control PDE-constrained optimization problems. Numer. Algorithms,
87:365–380, 2021.
[9] Z.-Z. Liang and Y. Dou, Efficient preconditioning techniques for velocity
tracking of Stokes control problem. Appl. Numer. Math., 165:322-338, 2021.
[10] D. Hezari, V. Edalatpour, and D.K. Salkuyeh. Preconditioned GSOR iterative
method for a class of complex symmetric system of linear equations. Numer. Linear
Algebera Appl., 22:761–776, 2015.
[11] Z.-Z. Liang and G.-F. Zhang. Robust additive block triangular preconditioners
for block two-by-two linear systems. Numer . Algorithms, 82:503–537, 2019.
[12] G.H. Golub, C. F. Van Loan, Matrix Computations, Boltimore and London,
Johns Hopkins University Press, 2013.
[13] J.C. Mason, D. Handscomb, Chebyshev Polynomials, CRC Press, 2003.
[14] O. Axelsson. Iterative Solution Methods. Cambridge University Press,
Cambridge, 1994.
八、经费预算

17
 预算经费 备注（预算依据与具体说明，
可 参照项目管理办
科目名称
（单位：万元） 法中的
关经费
有 使用说明。）

相关书籍及软件购买 0.2

差旅费 0.15

论文版面费 0.15

相关硬件及设备支持 0.2

合计 0.7

18
 九、项目审批

导师意
内 校 见（需说明指导计划）：

签名： 年 月 日

导师意
外 校 见(如无，
填可
不 )（如
可
，
有 附具体的指导计划）：

签名： 年 月 日
学院评审及推荐意见：

签名： 盖章 年 月 日

专
校
学 家评审意见：

19
负责人签名： 盖章 年 月 日

20