哈密顿系统的数学建模与动力学分析.doc

烟台大学学士毕业论文（设计） - 22 -1 引言Hamilton动力系统理论有着悠久而丰富的历史，它本身是Lagrange力学的升华与推广，从数学角度看又是一门内容精深的相空间几何学，如辛几何、辛拓扑等都源于此.近几十年来，随着纯数学理论的不断发展与计算机的普遍应用，Hamilton动力系统理论又成为当今非线性科学中极其活跃而富有魅力的研究领域.由于这类系统广泛存在于数理科学、生命科学以及社会科学的各个领域，特别是天体力学、等离子物理、航天科学以及生物工程中的很多模型都以Hamilton系统的形式出现，因此该领域的研究多年来长盛不衰.本文利用Hamilton原理推导出了Hamilton系统的正则方程.最后利用Hamilton正则方程给出一个具体物理实例的数学模型并对其进行动态模拟仿真.2 预备知识2.1 状态空间的基本概念1）状态任何一个系统在特定时刻都有一个特定的状态，系统在时刻的状态是时刻的一种信息量，它与此后的输入一起惟一地确定系统在时的行为.2）状态变量状态变量是一个完全表征系统时间域行为的的最小内部变量组.3）状态向量设系统有个状态变量，用表示，而且把这些状态变量看做向量的分量，则向量称为状态向量，记为.4） 状态空间以状态变量为轴的维实向量空间称为状态空间.5） 状态方程描述系统状态变量与输入变量之间关系的一阶微分方程组（连续时间系统）或一阶差分方程组（离散时间系统）称为系统的状态方程，它表征了输入对内部状态的变换过程，其一般形式为：其中，是时间变量，是输入变量.6） 输出方程描述系统输出量与系统状态变量和输入变量之间函数关系的代数方程称为输出方程，它表征了系统内部状态变化和输入所引起的系统输出变换，是一个变化过程.输出方程的一般形式为：.7）状态空间表达式状态方程与输出方程的组合称为状态空间表达式，也称动态方程，它表征一个系统完整的动态过程，其一般形式为：通常，对于线性定常系统，状态方程为其中，表示维状态向量，表示系统内部状态的系数矩阵，称为系统矩阵，表示输入对状态作用的矩阵，称为输入（或控制）矩阵，表示输出对状态关系的矩阵，称为输出矩阵， 表示输入直接对输出作用的矩阵，称为直接转移矩阵，也称前馈系数矩阵. 由系统内部结构及其参数决定，体现了系统内部的特性，而则主要体现了系统输入的施加情况，通常情况下 .2.2线性定常连续系统的能控性定义2.1 设，若存在一分段连续控制向量，能在内，将系统从任意的初态转移至任意终态，则系统完全能控.定理2.1 系统完全能控的充要条件：其中，称为能控矩阵.2.3线性状态反馈控制律线性状态反馈控制律为式中，是参考输入，称为状态反馈增益矩阵.系统动态方程变为：式中，当时，状态反馈系统闭环传递函数为式中，为闭环系统的系统矩阵.以上我们简要介绍了控制系统的有关问题，现在针对单输入定常线性系统，设计其某种形式的线性定常控制律，使得闭环系统具有指定的希望的一组极点，即极点配置.2.4 极点配置考虑下述单输入线性定常系统 （2.4.1）其中为常阵，和分别为和常阵.选取线性定常反馈控制律，使得（2.4.1）在该控制律下的闭环系统具有指定的极点集.问题SPA状态反馈极点配置问题 给定矩阵， 及一组共轭封闭复数， i=1，2，n（不必互异），求取矩阵 使得 对问题SPA先考虑其解的存在性有：定义2.2 如果对于任何给定的一组共轭封闭复数，,前述问题SPA均有解，则称线性定常系统（2.4.1）可用状态反馈任意配置极点.下述定理给出了线性定常系统（2.4.1）利用状态反馈任意配置极点的条件.定理2.2 定常线性系统（2.4.1）可用状态反馈任意配置极点的充要条件是系统（2.4.1）完全能控问题 对单输入系统，给定能控矩阵对和一组期望的闭环特征值， 要确定的反馈增益矩阵，使成立，.对于上述问题，我们有下述算法：算法2.1 单输入系统的极点配置设计第一步：计算A的特征多项式，即第二步：计算由所决定的多项式，即第三步：计算第四步：计算变换阵第五步：求第六步：所求的增益阵 .2.5 分析力学中相关的知识1） 广义坐标能够完全确定质点系位形的独立参变量，用符号表示.广义坐标是彼此独立的.其选择有一定的随意性，只需根据质点系的特点，选择那些能够惟一地确定该系统位形的参变量即可.2）广义速率在质点系中引入广义坐标之后，质点系的运动可以用广义坐标随时间的变化规律来描述，即广义速率：3）广义坐标变分 假设在给定的运动初始条件下，某质点系的运动微分方程组的解已经求得，它的广义坐标运动方程为，广义速率于是广义坐标的全微分为 同样，广义坐标也有它的可能运动方程 比较统一瞬时广义坐标的真实运动和与其相邻的可能运动，并限定二者的差值为无限小量，即 就称为广义坐标变分.4）质点系的自由度该系统独立坐标变分的数目.对完整系统它的自由度等于它的广义坐标的数目.5）广义动量质点系的动能T对广义速率的偏导数，即其中动能T是广义坐标和广义速率的函数.6) 勒让德变换勒让德变换是把以为变量的函数变换成以为新变量的函数的一种特殊变换， 称为的勒让德变换.设有一个二次可微的函数，且在雅可比行列式不为零，即的区域内存在以下变量变换 定义的勒让德变换为于是有下面给出对部分变量进行变换的情况， 对保留变量有.定理2.3 哈密顿原理从动力学普遍方程出发可推导出哈密顿原理的一般形式，即其中是系统动能的变分，是作用于系统的所有主动力的虚功.当作用在系统上主动力为有势时，.引入哈密顿作用量其中为拉格朗日函数，是系统动能与势能之差，即. 于是，对完整系统哈密顿原理可以写成常见的变分形式. 3 哈密顿系统的动力学表述 哈密顿正则方程3.1 保守系统的情形拉格朗日方程是用一组关于个广义坐标的二阶常微分方程组来描述系统的运动.方程的建立完全依赖于以 为变量的拉格朗日函数L，即.哈密顿以广义动量取代广义速度，以为变量，称为哈密顿变量或正则变量.以哈密顿函数代替拉格朗日函数，用个关于广义坐标和广义动量为变量对称整齐的一阶常微分方程组，即称为哈密顿正则方程或正则方程，以此来描述系统的运动.因本文是针对线性系统而言，故这里只给出单自由度系统的哈密顿正则方程，下面用哈密顿原理导出单自由度系统的哈密顿正则方程.首先，利用勒让德变换把以为变量的拉格朗日函数L变换成以为新变量的哈密顿函数.显然，新变量代替旧变量参与变换，而同时保留变量及 . 根据对原变量进行部分替换的勒让德变换，可得哈密顿函数因此，拉格朗日函数代入哈密顿原理，即对上式进行变分运算，得 (3.1.1)将上式第一项改写成如下形式，即代入式(3.1.1)，有 (3.1.2)因为系统在始末位置是确定的，则有 ， (3.1.3)于是有 . (3.1.4)根据广义动量的定义，由部分勒让德变换可得 (3.1.5)因此式(3.1.2)成为 对于完整系统，由于可以任意取值，因此欲使上式成立，必有 (3.1.6)联立式(3.1.5)和式(3.1.6)，即关于变量的哈密顿正则方程.3.2非保守系统的情形系统除有势力以外还存在非有势力作用的情形.在哈密顿原理的一般形式 (3.2.1)中，系统的主动力的虚功可写成如下形式：其中，和分别表示有势力和非有势力的虚功.将上式代入式(3.2.1)，得将代入上式，并进行变分运算，得利用式(3.1.2)和式(3.1.3)有 采用与前面同样的作法，即可得到存在非有势力作用时的哈密顿正则方程 (3.2.2)式中为系统的非有势力对应于的广义力.4 利用哈密顿正则方程建立具体物理系统的数学模型水平弹簧质量振动系统 图 4.1 弹簧质量振动系统4.1水平弹簧质量系统的问题描述假设系统满足条件：1) 振动无阻尼.2) 系统只能在水平方向即方向运动.3) 外力，以的同方向为正.要求： 1) 建立弹簧质量系统的运动微分方程. 2) 求出反馈增益阵. 3) 弹簧质量系统仿真模拟. 4) 作任何有意义的讨论.4.2水平弹簧质量问题的分析解：令为输入量，为输出量，取弹簧等于原长时，质量位置为坐标轴的原点，取为广义坐标.如势能零点取在弹簧原长位置，则系统的势能，因此系统的拉格朗日函数.求得广义动量因此.计算哈密顿函数，并把它写成广义动量和广义坐标的函数求得H后，按式(3.2.2)写出系统的正则方程由上二式消去，得到系统运动微分方程.4.3 建立弹簧质量系统的数学模型令 则有输出方程为则弹簧质量系统的状态空间表达式其中 .5 系统闭环状态反馈控制器设计5.1系统状态反馈控制根据线性系统状态反馈控制律，设状态反馈下受控系统的输入为 （为反馈增益矩阵，），将上式代入弹簧质量振动系统的状态空间表达式，得到弹簧质量状态反馈闭环系统的状态空间表达式其中.6 求解状态反馈增益阵由定理2.1 显然系统完全能控，故满足闭环极点可任意配置条件.取；给定一组期望的闭环特征值， 1）现计算系统的特征多项式再由指定闭环极点可得希望的闭环特征多项式为于是可求得再来计算变换阵并求出其逆从而所要确定的反馈增益阵即为.2）调用Matlab函数算出的反馈增益阵见附录17 动态系统的simulink仿真7.1创建Simulink系统模型首先根据弹簧质量状态反馈闭环系统的状态空间表达式，选择合适的Simulink系统模块，然后建立此系统的Simulink模型.系统的Simulink模型图见附录3.7.2动态系统的Simulink仿真在MATLAB中，系统状态空间用矩阵组表示，当输入矩阵组后，用函数直接可以得到状态空间模型。在MATLAB中，绘制二维图形最常用的函数是plot函数，对于不同形式的输入，该函数可以实现不同的功能。其调用格式如下：plot(X,Y) 当X和Y为向量时，以第一个变量为横坐标，第二个变量为纵坐标绘制图形。plot(X,Y,s) 想绘制不同的线型、颜色、标识等的图形时，可调用此形式，第3个输入变量为图形显示属性的设置选项：线型、颜色、标识。如图7.1，它反映了弹簧质量控制系统在极点配置(P=-1+j,-1-j)后阶跃响应情况，其Matlab程序见附录2. 图 7.1 极点配置后系统的阶跃响应曲线在完成弹簧质量振动系统的Simulink模型基础上，对系统模型中各模块进行正确而合适的参数设置，便需要对系统仿真参数进行必要的设置以开始Simulink仿真，即可了解系统中有关位置的信号的情况，经过多次调试，在状态反馈控制器的作用下，系统不断地对位置误差进行控制修正，最终使系统达到稳定的状态.例1 根据线性系统状态反馈控制律，状态反馈下受控系统的输入为（为反馈增益矩阵，）.令 ; 此情况下，弹簧质量控制系统Simulink模型的动态模拟仿真图如下图7.2 Simulink仿真图由图知，弹簧质量控制系统是稳定的. 8 结束语弹簧质量系统控制问题，使用Simulink对其进行建模与仿真.结论表明：弹簧质量系统作为动力学系统，往往表现出强非线性、模型不精确或模型未知等复杂特征，其控制也因此而变得非常困难，当给定输入函数（控制函数）时，弹簧活塞系统稳定性变化随着物体的质量、弹簧个数改变而改变.本文中弹簧质量系统控制问题是一个简单的线性系统模型，这避免不了与实际情况有一些差异.当然原问题的基础上，再加两个弹簧，我们也可以建立相关的弹簧质量系统模型.要想得到更接近实际的结果，我们需要考虑多方面的因素建立控制模型，当然求解和仿真也是比较复杂.这需要我今后更加努力学习、不断改进模型，并能够进行动态模拟仿真.参考文献1 段广仁编著，线性系统理论，哈尔滨工业大学出版社，1996.112 叶敏、肖龙翔编著，分析力学，天津大学出版社，2001.43 杨晓松编著，Hamilton系统的拓扑理论，中国科学技术大学出版社，2008.84 王正林、王胜开、陈国顺编著，MATLAB/Simulink与控制系统仿真，电子工业出版社，2005.7附录附录1反馈增益阵的MATLAB的程序A=0,1;-1,0;B=0;1;P=-1+