文献综述范例

1文献综述报告题目：面向多领域物理系统统一模型的求解引擎研究学号：姓名：专业：指导教师：院（系、所）：华中科技大学研究生院制2根据CAD中心目前的发展方向，以课题为驱动，结合国内外相关领域的发展趋势，确定本人研究论文题目为“面向多领域物理系统统一模型的求解引擎研究”，具体研究面向多体系统动力学模型的求解引擎和面向多领域物理系统统一模型的求解引擎。下面，从计算多体动力学和多领域物理系统建模与仿真两个角度对国内外研究现状进行综述，并进行总结，进一步指出目前存在的问题和可能的发展方向。一、国内外研究现状1.1计算多体系统动力学1.1.1多体系统动力学数学模型计算多体系统动力学的概念首由E.J.Haug[1]提出，是指用计算机数值手段来研究复杂机械系统的静力学分析、运动学分析、动力学分析以及控制系统分析的理论和方法。计算多体系统动力学中所研究的多体系统，根据系统中物体的力学特性可分为多刚体系统、柔性多体系统和刚柔混合多体系统[2]。多刚体系统是指可以忽略系统中物体的弹性变形而将其当作刚体来处理的系统，该类系统常处于低速运动状态；柔性多体系统是指系统在运动过程中会出现物体的大范围运动与物体的弹性变形的耦合，从而必须把物体当作柔性体处理的系统，大型、轻质而高速运动的机械系统常属此类；如果柔性多体系统中有部分物体可以当作刚体来处理，那么该系统就是刚柔混合多体系统，这是多体系统中最一般的模型。对于多刚体系统，自二十世纪六十年代以来，在航天和机械两个领域分别形成了两种不同的数学建模方法[2][3]，分别称为拉格朗日方法和笛卡尔方法，这两种建模方法的区别在于对刚体位形描述的不同。航天领域是以系统每个铰的一对邻接刚体为单元，以一个刚体为参考物，另一个刚体相对该刚体的位置由铰的广义坐标（又称拉格朗日坐标）来描述。这样开环系统的位置完全可由所有铰的拉格朗日坐标阵q所确定。其动力学方程的形式为拉格朗日坐标阵的二阶微分方程组，即),,(),(tqqBqtqA………………………………………(1)这种形式首先在解决拓扑为树的航天器问题时推出。其优点是方程个数最少，易转化3为常微分方程组（ODEs-OrdinaryDifferentialEquations），但方程呈严重非线性，为使方程具有程式化与通用性，在矩阵A与B中常常包含描述系统拓扑的信息，其形式相当复杂，而且在选择广义坐标时需人为干预，不利于计算机自动建模。机械领域是以系统每一个物体为单元，建立固结在刚体上的坐标系，刚体的位置相对于一个公共参考基进行定义，其位置坐标统一为刚体坐标系基点的笛卡尔坐标与坐标系的方位坐标，在二维系统中为3个，三维系统中为6个。对于由N个刚体组成的系统，位置坐标阵q中的坐标个数为3N（二维）或6N（三维），由于铰的存在，这些位置坐标不独立。系统动力学模型的一般形式可表示为0),(tqBqATq………………………………………………….……(2)式中为位置坐标阵q的约束方程，q为约束方程的雅可比矩阵，为拉格朗日乘子。这类数学模型就是微分-代数方程组（DAEs-DifferentialAlgebraicEquations），也称为欧拉-拉格朗日方程组（Euler-LagrangeEquations），其方程个数较多，但系数矩阵呈稀疏状，适宜于计算机自动建立统一的模型进行处理。目前国际上最著名的两个动力学分析商业软件ADAMS和DADS都是采用这种建模方法[4]。对于柔性多体系统，自二十世纪八十年代后在建模方法上渐趋成熟。从计算多体系统动力学角度看，柔性多体系统动力学的数学模型首先应该和多刚体系统与结构动力学有—定的兼容性。当系统中的柔性体变形可以不计时，即退化为多刚体系统。当部件间的大范围运动不存在时，即退化为结构动力学问题[2]。柔性多体系统不存在连体基，通常选定一浮动坐标系描述物体的大范围运动，物体的弹性变形将相对该坐标系定义。弹性体相对于浮动坐标系的离散将采用有限单元法与现代模态综合分析方法。在用集中质量有限单元法或一致质量有限单元法处理弹性体时，用结点坐标来描述弹性变形。在用正则模态或动态子结构等模态分析方法处理弹性体时用模态坐标描述弹性变形。这就是莱肯斯首先提出的描述柔性多体系统的混合坐标方法。即用坐标阵TTTaqp)(描述系统的位形，其巾q为浮动坐标系的位形坐标，a为变形坐标。考虑到多刚体系统的两种流派，在柔性多体系统动力学中也相应提出两种混合坐标，即浮动坐标系的拉格朗日坐标加弹性坐标与浮动坐标系的笛卡尔坐标加弹性坐标[2]。根据动力学基本原理推导的柔性多体系统动力学方程，形式同式（1）和（2），只是将q用p代替。即，柔性多体系统具有与多刚体系统类同的动力学数学模型。41.1.2多体系统动力学数值求解多刚体系统拉格朗日方法产生的形如式（1）的动力学数学模型，是形式复杂的二阶常微分方程组（ODEs），系数矩阵包含描述系统拓扑的信息。对于该类问题的求解，通常采用符号-数值相结合的方法或者全数值的方法[5]。符号-数值方法是先采用基于计算代数的符号计算方法，进行符号推导，得到多刚体系统拉格朗日模型系数矩阵简化的数学模型，再用数值方法求解ODE问题。鉴于计算机技术的发展，目前全数值方法也较为流行，就是将多刚体系统拉格朗日数学模型当作一般ODE问题进行求解，这方面的技术已经非常成熟[6]。多刚体系统笛卡尔方法产生的形如式（2）的动力学数学模型，是著名的微分-代数方程组（DAEs）。DAE问题是计算多体系统动力学领域的热点问题。柔性多体系统的动力学数学模型，其形式与多刚体系统相同，可以借鉴多刚体系统数学模型的求解方法。只是混合坐标中描述浮动坐标系运动的刚体坐标q通常是慢变大幅值的变量，而描述相对于浮动坐标系弹性变形的坐标a却为快变微幅的变量，两类变量出现在严重非线性与时变的耦合动力学方程中，其数值计算呈病态，将出现多刚体系统中见不到的数值计算困难[2]。综上所述，多体系统动力学问题的求解集中于微分-代数方程组的求解，下面将对多体系统动力学微分-代数方程组数值计算问题集中综述。1.1.2.1微分-代数方程组的特性多刚体系统采用笛卡尔方法建模生成的微分-代数方程组为：0),,(),(),(tqqQtqqtqMTq…………………………(3)0),(tq……………………………………………………..…(4)其中，q、q、nRq分别是系统位置、速度、加速度向量，mR是拉格朗日乘子，Rt是时间，nnRM为机械系统惯性矩阵，nmqR为约束雅可比矩阵，nRQ为外力向量，mR为位置约束方程。将式(1.4)对时间求一阶和二阶导数，得到速度和加速度约束方程：0),(),(),,(tqqtqtqqq……………………………..(5)0),,(),(),,,(tqqqtqtqqqq……………………….(6)其中，),(tqt称为速度右项，ttqtqqqqq2)(称为加速度右项。给定方程组初始条件：00)0()0(qqqq………………………………………………………..(7)5微分-代数方程组的特性和需要注意的问题有：1.微分-代数方程问题不是常微分方程（ODE）问题[7]；2.由式(3)和(4)组成的微分-代数方程组是指标3问题[8]，通过对约束方程求导化为由式(3)-(6)组成的微分-代数方程组后，其指标降为1；3.微分-代数方程数值求解的关键在于避免积分过程中代数方程的违约现象；4.初值式(7)与位置约束式(5)及速度约束式(6)的相容性；5.微分-代数方程组的刚性问题。1.1.2.2微分-代数方程组的实时积分技术自二十世纪七十年代以来，国际上对微分-代数方程问题作了大量的研究，时至如今，新的算法仍不断涌现。根据对位置坐标阵和拉格朗日乘子处理技术的不同，可以将微分-代数方程组问题的处理方法分为增广法和缩并法[2][9]。1.增广法传统的增广法是把广义坐标加速度q和拉格朗日乘子作为未知量同时求解，再对加速度q进行积分求出广义坐标速度q及广义坐标位置q，包括直接积分法和约束稳定法。近十年来，在传统增广法的基础上又发展形成了超定微分-代数方程组（ODAEs）方法等新的一类算法。直接积分法[1]：将式(3)和(6)联立在一起，同时求出q与，然后对q积分得q和q。该方法未考虑式(4)和(5)的坐标和速度违约问题，积分过程中误差积累严重，很易发散。在实际的数值计算过程中，并不直接采用直接积分法，但在直接积分法的基础上发展了一系列控制违约现象的数值方法。约束稳定法[10][11][12]：将控制反馈理论引入微分-代数方程组的数值积分过程以控制违约现象。通过把式(6)右边量替换为含位置约束和速度约束的参数式，保证位置约束和速度约束在式(3)和(6)联立求解时恒满足。该方法稳定性好，响应快，但如何选择参数式中速度项和位置项适当的系数是一个问题。对于约束稳定法中参数式速度项和位置项系数的合理选择，国内外作了不少研究，如文献[13][14]提出一种对位置约束方程用Tailer展开得到约束稳定法的速度项和位置项系数的方法，并进一步提出一种对位置、速度约束方程同时进行Tailer展开的所谓位置约束方程和速度约束方程同时自动修正的方法；文献[15]提出用修正的Adams-Moulton预估-校正法来提高约束稳定法的稳定性。超定微分-代数方程组（ODAEs）法[16][17][18][19]：将系统速度作为变量引入微分-代数方程组，从而将原来的二阶DAE化为超定的一阶DAE，再为所得方程组引入未知参数，根据模型的相容性消除系统的超定性，如此可使数值计算的稳定性明显改变。6或者将系统位置、速度、加速度向量和拉格朗日乘子向量联立作为系统广义坐标，再将由式(3)、(4)、(5)和(6)组成的微分-代数方程组及速度与位置、加速度与速度的微分关系式作为约束，化二阶DAE为超定的一阶DAE，再根据系统相容性引入二个未知参数，消除超定性，这样所得的最终约化模型更为简单，但方程组要多n个。在ODAE方法的基础上产生了一系列新的更为有效的算法。解耦ODAE法[20][21]：在ODAE方法的基础上，发展形成了一类解耦思想，就是在ODAEs基础上，对常用的隐式ODE方法采用预估式，再按加速度、速度和位置的顺序进行求解。后来进一步发展形成了无需对隐式ODE方法利用预估式的解耦思想，更一步地提高了效率。2.缩并法缩并法就是通过各种矩阵分解方法将描述系统的n个广义坐标用p个独立坐标表达，从而将微分-代数方程组从数值上化为与式(1)类似的数学模型，如此易于用ODE方法进行求解。传统的缩并法包括LU分解法、QR分解法、SVD分解法以及零空间方法等，后来在传统缩并法的基础上产生了局部参数化缩并方法等新的算法。缩并法中的这些具体方法，分别对应着约束雅可比矩阵的不同分解。LU分解法[22]：又称为广义坐标分块法。把广义位置坐标q用相关坐标u和独立坐标v分块表示，再将约束雅可比矩阵q用LU分解法分块，得到广义坐标速度q、加速度q用独立坐标速度v、加速度v表达的式子。将这两个表达式代入式(3)，就可得到形如式(1)的关于独立坐标加速度v的二阶微分方程。该算法可靠、精确，并可控制误差，但效率稍低。综合LU分解法和约束稳定法的优点，文献[1][23]提出了混合算法，它具有广义坐标分块法中可靠性和积极的误差控制的特性，并且接近约束稳定法的运算速度。文献[24]把用于结构动力学的Newmark法引入LU分解法，以提高稳定性。QR分解法[25][26][27]：通过对约束雅可比矩阵q正交分解的结果作微分流型分析，得到可选作受约束系统独立速度的z，并将微分-代数方程组化作形如式(1)的关于z的二阶微分方程，如此可保证在小时间间隔内由z积分引起的广义坐标的变化不会导致大的约束违约。SVD分解法[28]：把约束雅可比矩阵q作奇异值分解所得结果分别用于