新書推薦：
《
京华万象 ： 一百年前的北京 附赠超大尺寸《清末民初北京万象图》全图
》
售價：HK$
158.7
《
傲慢与偏见：希腊化-罗马时期地中海世界的犹太观念
》
售價：HK$
112.7
《
像欧奈尔信徒一样交易：我们如何在股市赚得18000%的利润
》
售價：HK$
101.2
《
战败者：1917—1923年欧洲的革命与暴力（方尖碑）
》
售價：HK$
112.7
《
成唯识论直解（修订本）（全二册）
》
售價：HK$
193.2
《
我国政府对在华境外非政府组织分类管理研究
》
售價：HK$
112.7
《
奔月
》
售價：HK$
91.8
《
基于量子计算的量子密码协议
》
售價：HK$
92.0
|
| 編輯推薦： |
|
《非线性预测控制》可作为高等院校控制科学与工程、计算机控制、工业自动化等专业高年级本科生和研究生的参考用书，也可供从事先进控制、工业自动化等研究的相关工程技术人员参考.
|
| 內容簡介： |
|
《非线性预测控制》的目的是寻求基于机理微分代数方程模型的预测控制算法，并力图建立通用的非线性预测控制器NMPC软件.《非线性预测控制》共分三篇.第一篇系统地介绍了动态系统的数值计算方法理论，该内容对掌握ODE和DAE系统及其数值计算的精髓，并进一步构建合理、鲁棒的NMPC问题的求解方法是十分必要的.第二篇以HessenbergDAE生产过程模型为对象，给出了结合联立动态优化策略的非线性预测控制理论与方法，并针对相应的变负荷优化控制命题，构造了适于该类机理模型的通用NMPC箅法.第三篇针对联立动态优化策略生成的大规模非线性规划问题，介绍了目前最高效的求解算法，并简要介绍了作者与CarnegieMellon大学合作开发的动态优化求解器，该求解器的实现综合了《非线性预测控制》各篇涉及的数值方法.
|
| 目錄：
|
前言
第一篇常微分方程和微分-代数方程的数值计算方法
第1章常微分方程及微分-代数方程3
1.1初值问题4
1.2边值问题6
1.3微分-代数方程7
1.3.1index和数学结构9
1.3.2特殊的DAE形式13
1.4微分-代数方程应用举例18
第2章ODE初值问题的稳定性及DAE的稳定性21
2.1测试方程和一般性ODE的稳定性定义21
2.1.1线性常系数系统24
2.1.2线性变系数微分方程系统25
2.1.3非线性问题26
2.2DAE的稳定性27
2.3降index和稳定化:具有不变式的ODE29
2.3.1较高indexDAE的重构30
2.3.2具有不变式的ODE31
2.3.3状态空间描述34
第3章数值解的基本方法、概念36
3.1前向Euler法36
3.2收敛性、精度、相容性及0-稳定性37
3.3绝对稳定性41
3.4刚性问题:后向Euler法44
3.4.1后向Euler法46
3.4.2非线性代数方程组的求解47
3.5A-稳定，快速衰减50
3.6对称方法:梯形法51
第4章ODE的一步法及DAE的数值方法54
4.1一步法54
4.1.1经典Runge-Kutta法55
4.1.2Runge-Kutta方法的一般公式57
4.1.3收敛性、0-稳定性和Runge-Kutta方法的阶58
4.1.4显式Runge-Kutta方法的绝对稳定域62
4.1.5隐式Runge-Kutta法和配置点法64
4.1.6基于配置的隐式Runge-Kutta方法66
4.1.7隐式Runge-Kutta方法的绝对稳定性67
4.1.8阶的降低68
4.2DAE的数值方法69
4.2.1直接离散化方法70
4.2.2位于流形上的ODE的求解方法76
参考文献80
第二篇非线性预测控制理论与方法
第0章预测控制简介83
5.1线性和非线性模型预测控制83
5.2非线性模型84
5.3NMPC的数值求解85
第6章工业过程数学模型87
6.1工业过程机理模型的一般性质描述88
6.1.1微分-代数方程模型88
6.1.2DAE系统的数学结构和mdex88
6.2工业过程机理模型举例91
6.2.1连续搅拌釜反应器数学模型91
6.2.2精馏过程的数学模型94
6.2.3高温气冷核反应堆的数学模型100
第7章动态系统模拟与优化方法120
7.1动态系统模拟计算方法120
7.2基于配置法的直接离散化121
7.2.1正交积分及其配置点计算122
7.2.2配置法的求解特性123
7.3动态优化策略124
7.3.1变分法125
7.3.2利用NLP求解器的方法126
7.4联立法生成的NLP形式127
7.4.1算例:离散化导致的联立法求解失败127
7.4.2配置法离散化生成的NLP形式129
7.5联立策略的解与最优控制真解的一致性131
7.5.1基于Gauss-Legendre配置法的最优性132
7.5.2基于Radau配置法的最优性133
7.6工业过程最优控制问题解的唯一性讨论135
第8章非线性预测控制139
8.1非线性预测控制中的DAE模型及其离散化形式139
8.2预测控制有限时域滚动计算的思想142
8.2.1滚动优化142
8.2.2计算最优输人143
8.2.3反馈校正146
8.3预测控制系统的参数设计148
8.3.1采样周期T与模型长度N148
8.3.2优化时域P与误差权矩阵g149
8.3.3控制时域M149
8.3.4控制权矩阵汉150
8.3.5校正参数150
第9章几个计算仿真实例151
9.1连续搅拌釜反应罐的控制仿真153
9.1.1串联CSTR模型的优化控制153
9.1.2串联CSTR模型的闭环仿真155
9.2高温气冷核反应堆模型的控制仿真162
9.2.1模型介绍162
9.2.2HTR-PM核电站模型与求解163
9.2.3电站运行控制概述164
9.2.4控制仿真166
第10章NMPC系统的稳定性及鲁棒性分析173
10.1稳定性分析175
10.1.1无限时域175
10.1.2有限时域176
10.2鲁棒性分析178
10.2.1符号及基本定义178
10.2.2输人状态稳定性理论介绍180
参考文献183
第三篇非线性规划基础理论与方法
第11章优化引言191
第12章非线性规划概述193
12.1无约束优化问题:最优解及其最优性条件193
12.2约束优化问题:最优解及其最优性条件193
12.3收敛速度195
12.4序列二次规划算法195
12.4.1SQP算法基本框架195
12.4.2不等式约束的处理197
12.4.3关于SQP方法的讨论198
12.5内点法198
12.5.1内点法基本框架198
12.5.2primal-dual系统的求解201
12.5.3自适应p值调整策略202
12.6小结202
第13章全局化策略204
13.1线性搜索方法204
13.2信赖域方法205
13.2.1基本信赖域算法205
13.2.2Dogleg方法206
13.2.3Steihaug方法207
13.3约束优化问题的全局化策略207
13.3.1评价函数方法208
13.3.2过滤方法208
第14章实用非线性规划方法210
14.1quasi-Newton方法210
14.2简约空间方法211
14.2.1简约空间内点法212
14.2.2简约空间SQP算法214
14.2.3关于简约空间方法的更多讨论215
14.3线性相关系统求解215
14.3.1结构正则化方法216
14.3.2变维法218
14.4可行性恢复方法219
14.4.1障碍法可行性恢复220
14.4.2投影梯度可行性恢复221
14.4.3无可行性恢复阶段的鲁棒算法224
第15章优化求解软件简介226
15.1MATLAB环境下的rSQP工具箱226
15.2内点法求解器IPOPT227
15.3动态优化求解软件DynoPC227
参考文献231
|
| 內容試閱：
|
第一篇常微分方程和微分-代数方程的数值计算方法
第1章常微分方程及微分-代数方程
当科学、工程、经济等现象用数学模型来描述时，常利用常微分方程（ordinarydifferentialequation，ODE和微分-代数方程（differentialalgebraicequation，DAE进行刻画.在大多数情况下，由于模型太复杂，我们无法求解到一个精确解，甚至找到一个近似解也不容易.鉴于此，为寻求方程的解，有效的、可靠的计算机仿真方法成为必需.
从数学以及计算上看，ODE问题最重要的分类与这些方程相关的附加条件或边界条件有关.考察如下一个简单的例子
其中是独立变量一般被认为是时间变量，当然也可以被认为是长度或其他的独立变量），u=ux是未知的因变量.在本书中，我们采用以下符号等.通常我们省略，而将MO简写为u.
该微分方程的通解为含两个参数的形式
上例微分方程对于不同的边界条件会有不同的情形，如下：
1初值问题initialvalueproblem，IVP:给定初值条件，有
对于该方程组，可以唯一地解出及注:这两个表达式中至少有一个是良定的well-defined.对任意初值，该初值问题有唯一解.当和不同的取值时，其解如图1.1所示。
2边值问题（boundaryvalueproblem，BVP：给定从图1.1中可以看出，对于来说，如果选取恰当的和，那么就会存在一条经过它们的唯一曲线，正如前面初值问题的情况.然而，当时，不同的值在该点都可得到同样的值，即图1.1.则如果给定，那么u将会有无穷多个解;相反，如果此时，则无解.
这个简单的例子已经指出了某些重要的且具有一般意义的结果:对于初值问题，从初始点出发，它带着解的全部信息，随着时间行进，过程逐点演化，是局部local地形成解的过程;而对于边值问题，解的信息在每个时间点上并不完全知道例如，对于一个二阶微分方程而言，解的信息应该包括和7，是在时间域上全局global地构造一个解的过程.因此我们可以预料求解边值问题比求解初值问题要困难得多.
1.1初值问题
这里讨论微分方程初值问题ivp的一般形式如下：
其中，是和y的非线性函数不显含时，称之为自治autonomous系统.当描述通用的数值方法时，我们通常假设系统是自治的以减少描述问题的符号.本章开始时所引入的例子如果按式1.1表示可描述为:
为简化起见，在方程1.1中，我们假设系统的演化是从t:0开始的，但书中所述方法可以很容易地推广到情形.
首先举例来说明微分方程的应用.
例1单摆运动）考虑质量为1的小球刚性地连接在一个质量忽略不计、长度为1的杆的一端，杆的另一端固定在平面坐标系的原点，如图1.2所示.
1为摆与垂直方向轴的夹角，则单摆的无摩擦运动
可由如下微分方程描述请对比例1.3：
其中+为重力加速度，是一常值.这是一个简单的关于d的非线性ODE系统，其初始位置和速度分别为及当0值在一个小范围内变化时，可对方程1.2进行线性化近fK，从而转化为线性方程.图1.2单摆系统
以上摆方程1.2是一个二阶标量微分方程.很多求解初值问题的算法软件都要求初值问题写成形如方程1.1.所示的一阶形式.对于一个阶的标量微分方程，可进行如下变换从而转化为形如方程1.1.所示的一阶系统形式：
对每阶导数引入新的变量，并令，有
让我们再返回到一般形式，方程1.1的微分方程初值问题.数值求解该微分方程会涉及很多理论问题，为突出数值求解这个主题，我们这里会略去很多基本理论，而只保留与本书议题直接相关的一些基础的重要的定理.首先给出如下定理.
定理1令为定义域，:上关于全部的连续函数.此外，若该函数对于J是Upschkz连续的，即存在一个常数L，使得对所有和，在域D上都有下式成立：
1对任意，初值问题（1.1）在上存在唯一解，且该解是可微的.
2该解是初值的连续函数，即如果1.也满足微分方程1.D与解1.具有不同的初值，那么
3更一般地，如果满足如下摄动微分方程
其中，r在上有界，||r||M，则有
如果微分方程1.1满足以上定理的条件，那么我们就称这个方程是良定的，即存在解且唯一，且解是初值的连续函数.
1.2边值问题
边值问题BVP的一般形式如下：
该边值问题由m个一阶非线性微分方程及m个独立的边界条件一般也为非线性的组成.边值问题已在前面谈及，其解的信息在积分区间的两端给出或更一般地在时间域内的多个时间点上给出）.对于此类边值问题解的存在性及唯一性问题，不像初值问题有定理1.1那样的一般性定理来保证.无论是求解边值问题的解析解还是数值解，都必须全局构造，因而边值问题的求解会比初值问题困难.当前求解边值问题的软件在先进性和鲁棒性方面远不如解初值问题的软件那么有效.当然，良定的边值问题在许多情况下确实存在.
例1.2弹簧振动问题）当弹簧形变较小时，弹簧形变位移u满足如下线性方程该方程可描述很多物理现象随时间的演化）：
其中，如果此弹賛一端固定，而另一端可自由振动，那为
如果令y=u，yT，可上述弹簧振动方程写成式（1.7的形式.更简的表示可令则
该边值问题有唯一解该解给出了弹簧能量的最小值.它的唯一解问题在很多书中用有限元方法都讨论过，可参见Strang和Fix[2].
关于一般性边值问题1.7解的存在性和唯一性.我们有什么结论呢？我们可以先考虑求解式1.7所对应的初值问题，把初值c看作一个待确定的参数矢量.
|
|
購物車/收銀台(
0
) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽
HOME
新書上架
