精细辛有限元方法及其相位误差研究

哈密顿系统是一类重要的动力系统,针对哈密顿系统,设计出多类辛方法:SRK、SPRK、辛多步法、生成函数法等.长久以来数值方法在求解哈密顿系统过程中辛特性和保能量特性不能得到同时满足,近年来提出的有限元方法,对于线性系统具有保辛和保能量的优良特性.但是,以上方法都存在相位漂移(轨道偏离)现象,长时间仿真,计算效果会大打折扣.提出精细辛有限元方法(HPD-FEM)求解哈密顿系统,该方法继承时间有限元方法求解哈密顿系统所具有的保哈密顿系统的辛结构和哈密顿函数守恒性的优良特性,同时,通过精细化时间步长极大地减小了时间有限元方法的相位误差.HPD-FEM相较与针对相位误差专门设计的计算格式FSJS、RKN以及SRPK方法具有更好的纠正效果,几乎达到机器精度,误差为O(10-13),同时,HPD-FEM克服了FSJS、RKN和SPRK方法不能保证哈密顿函数守恒的缺点.对于高低混频系统和刚性系统,常规算法很难在较大步长下,同时实现对高低频精确仿真,HPD-FEM通过精细计算时间步长,在大步长情况下,实现高低混频的精确仿真.HPD-FEM方法在计算过程中精细方法没有额外增加计算量,计算效率高.数值结果显示本文提出的方法切实有效.      

基于Fourier级数的时变周期系数Riccati微分方程精细积分

结合Fourier级数展开方法,本文提出了基于精细积分的时变周期系数Riccati微分方程求解高效算法.首先,利用Fourier级数展开方法将周期系统表示成三角级数形式,在一个积分步内使用精细积分方法得到对应Hamilton系统状态转移矩阵的表达式.然后,通过Riccati变换的方法,得到含有状态转移矩阵的时变周期系数Riccati微分方程解的递推格式.本文方法充分利用了方程本身的周期性特点,文中的数值算例表明算法具有计算效率高、结果可靠等优势.     

非线性轨迹优化问题的保辛自适应求解方法

非线性轨迹优化问题一般是一个非线性最优控制问题。将非线性系统的最优控制问题导入到哈密顿体系的辛几何空间当中,基于对偶变量变分原理提出了求解非线性最优控制问题的一种保辛自适应方法。以时间区段两端协态作为独立变量,在时间区段内采用拉格朗日插值近似状态和协态变量,并利用对偶变量变分原理将非线性最优控制问题转化为非线性方程组的求解,保持了哈密顿系统的辛几何结构。并进一步,提出了基于多层次迭代的自适应算法,提高了非线性最优控制问题的求解效率。数值实验验证了该算法在求解非线性轨迹优化问题中的有效性。     

计算最优控制辛数值方法

针对最优控制问题（OCP）的辛数值方法研究及应用进行综述。主要涉及内容包括,动力学系统为常微分方程描述的一般无约束、含不等式约束和状态时滞的最优控制问题,微分代数方程描述的一般无约束、含不等式约束和含切换系统的最优控制问题,以及闭环最优控制问题。从间接法和直接法两个求解框架出发,重点介绍本课题组在保辛算法方面的研究工作。在间接法框架下,首先基于生成函数和变分原理,将OCP保辛离散为非线性方程组,再数值求解方程组。在直接法框架下,将OCP保辛离散为有限维的非线性规划问题（NLP）,再数值求解。针对闭环最优控制问题,提出了保辛模型预测控制、滚动时域估计和瞬时最优控制算法。研究表明,保辛算法具有高精度和高效率的特点,在航空航天和机器人等领域有着广泛应用前景和价值。     

基于对偶变量变分原理和两端位移独立变量的保辛方法

将广义位移和动量同时用拉格朗日多项式近似,并选择积分区间两端位移为独立变量,然后基于对偶变量变分原理导出了哈密顿系统的离散正则变换和对应的数值积分保辛算法。当位移和动量的拉格朗日多项式近似阶数满足一定条件时,可以自然导出保辛算法的不动点格式。通过数值算例分析了位移和动量采用不同阶次插值所需最少Gauss积分点个数,并讨论了位移插值阶数、动量插值阶数以及Gauss积分点个数对保辛算法精度的影响,说明了上述不动点格式恰好是一种最优格式。     

结构振动瞬时最优控制的一种时滞补偿算法

 应用最优控制原理，对结构动力响应实时在线控制进行了时滞 补偿. 提出一种基于系统差分方程的瞬时最优控制算法，推导出闭环 状态反馈控制补偿增益矩阵，并讨论了补偿前后系统的稳定性. 仿真 结果表明，此算法有效地补偿了时滞带给结构动力响应的不良影响， 并保证了结构的稳定性.     

滞变智能隔震结构的序列最优控制算法

将地震波简化为一系列脉冲,在每个时间步长上重新构造控制目标函数,建立了一种新的时域内的结构振动最优控制算法,并在滞变模型的智能隔震结构中用状态转移法加以实现.文中采用Bouc-Wen模型描述结构恢复力,并利用等效线性化方法处理非线性运动方程,分别导出了状态反馈和输出加权的两种表达式.文末选用作者承担设计过的实际隔震建筑中的一个单体工程作为算例,比较了输入三种不同地震波时各种算法的控制效果.结果表明,在相同控制能量下,本文算法对滞变结构能有效地削减响应峰值,综合性能优于现有的两种时域内的结构最优控制算法.     

哈密顿正则方程、正则变换和泊松括号 (Ⅱ)哈密顿函数显含时间t的情

本文利用切触流形的基本理论讨论了在哈密顿函数显含时间t 的情况下,哈密顿正则方程等物理概念的几何意义,从而阐明了正则变换问题并证明了泊松括号在含时的正则变换下也是一个不变量等结论.     

非线性最小二乘跟踪的对偶变量变分方法

最小二乘跟踪方法是近几年提出的一种计算动力系统跟踪轨迹的方法.基于最小二乘跟踪的灵敏度分析算法可以有效避免传统的非线性系统灵敏度分析方法中的病态初值问题,因此其在混沌系统灵敏度分析方面有着重要的应用.针对非线性的最小二乘跟踪问题,首先将其重新描述为带有约束的非线性最优控制问题,引入协态变量并将系统的哈密顿函数表示为关于状态变量和协态变量的函数.然后将目标函数的积分时间离散化,根据对偶变量变分原理,以离散区间两端的状态变量作为独立变量,用Lagrange插值多项式近似离散区间内的状态变量和协态变量,进而将非线性最优控制问题转化为求解非线性方程组问题.这种算法无需对原问题做线性化处理,避免了复杂的线性化过程以及可能因此造成的误差,同时为求解非线性最小二乘跟踪问题提供了新的思路.根据最小二乘方法可以得到两条设计参数有微小变化的状态轨迹,基于这两条状态轨迹可进一步计算出系统关于设计参数的灵敏度,范德波振子作为数值算例验证了该方法在求解最小二乘跟踪问题以及计算非线性系统灵敏度时的有效性.      

夹层圆柱壳中弹性波传播的辛特性分析

论文研究了正交各向异性夹层圆柱壳中轴对称自由简谐波的传播问题.通过对变量合理的组织变换,将结构本构方程化为状态空间形式,采用分段平均假设得到哈密顿矩阵,进而利用哈密顿系统下的辛数学方法,扩展的Wittrick-Williams算法及精细积分方法,得到各种夹层结构波传播问题的频散关系,并将该方法与多项式方法进行对比,验证了该方法在多孔结构波传播问题中的优越性.     

High order symplectic conservative perturbation method for time-varying Hamiltonian system

This paper presents a high order symplectic conservative perturbation method for linear time-varying Hamiltonian system.Firstly,the dynamic equation of Hamiltonian system is gradually changed into a high order perturbation equation,which is solved approximately by resolving the Hamiltonian coefficient matrix into a "major component" and a "high order small quantity" and using perturbation transformation technique,then the solution to the original equation of Hamiltonian system is determined through a series of inverse transform.Because the transfer matrix determined by the method in this paper is the product of a series of exponential matrixes,the transfer matrix is a symplectic matrix;furthermore,the exponential matrices can be calculated accurately by the precise time integration method,so the method presented in this paper has fine accuracy,efficiency and stability.The examples show that the proposed method can also give good results even though a large time step is selected,and with the increase of the perturbation order,the perturbation solutions tend to exact solutions rapidly.     

Hamilton体系下介电弹性体圆形薄膜的动力学建模与辛求解

采用辛算法研究了Hamilton体系下介电弹性体圆形薄膜的动力学响应。首先，将该问题引入Hamilton对偶变量体系，借助Legendre变换，给出系统的广义动量和Hamilton函数，通过对Hamilton函数作用量的变分，得到Hamilton体系下的正则方程。其次，对于得到的正则方程给出了辛Runge-Kutta的计算格式。最后，采用二级四阶辛Runge-Kutta算法对动力学系统进行了数值求解，和四级四阶经典Runge-Kutta算法进行对比，结果表明，二级四阶辛Runge-Kutta算法具有保能量以及长时间数值稳定的优势，同时说明四级四阶经典Runge-Kutta算法对于步长依赖的局限性。     

GENERALIZED CANONICAL TRANSFORMATION AND SYMPLECTIC ALGORITHM OF THE AUTONOMOUS BIRKHOFFIAN SYSTEMS

The Birkhoff systems are the generalization of the Hamiltonian systems. Generalized canonical transformations are studied. The symplectic algorithm of the Hamiltonian systems is extended into that of the Birkhoffian systems . Symplectic differential scheme of autonomous Birkhoffian systems was structured and discussed by introducing the Kailey Transformation .     

Parametric variational solution of linear-quadratic optimal control problems with control inequality constraints

A parametric variational principle and the corresponding numerical algo- rithm are proposed to solve a linear-quadratic （LQ） optimal control problem with control inequality constraints. Based on the parametric variational principle, this control prob- lem is transformed into a set of Hamiltonian canonical equations coupled with the linear complementarity equations, which are solved by a linear complementarity solver in the discrete-time domain. The costate variable information is also evaluated by the proposed method. The parametric variational algorithm proposed in this paper is suitable for both time-invariant and time-varying systems. Two numerical examples are used to test the validity of the proposed method. The proposed algorithm is used to astrodynamics to solve a practical optimal control problem for rendezvousing spacecrafts with a finite low thrust. The numerical simulations show that the parametric variational algorithm is ef- fective for LQ optimal control problems with control inequality constraints.     

Application of first-order canonical perturbation method with dissipative Hori-like kernel

Lie-Hori canonical perturbation theory provides asymptotic solutions for conservative Hamiltonian systems. This restriction prevents the canonical method from being applied directly to dissipative mechanical systems. There are, however, two main alternatives to overcome this difficulty, enabling the application of canonical perturbation methods. The first one consists in constructing a time-dependent Hamiltonian, through a generating function, related to the energy dissipation pattern of the system. The second embeds the original phase space into a double dimensional one where the dynamics of the system can be formulated in a Hamiltonian way. In this paper, a modified Lie-Hori method that avoid the disadvantages of the former approaches is proposed. Namely, it is not necessary to find out a time-dependent generating function, nor doubling the number of the canonical variables of the original problem. The new algorithm provides first order analytical solutions for a certain set of dissipative non-linear dynamical systems. It is based on a suitable modification of the Hori kernel in the double-dimensional embedding phase space, allowing the inclusion of the dissipative (or generalized) forces. By means of this redefined auxiliary system, the path-integrals of the method can be performed in a domain of the phase space with the same dimensionality as the original problem.     

Structure-preserving Analysis on Folding and Unfolding Process of Undercarriage

The main idea of the structure-preserving method is to preserve the intrinsic geometric properties of the continuous system as much as possible in numerical algorithm design. The geometric constraint in the multi-body systems, one of the difficulties in the numerical methods that are proposed for the multi-body systems, can also be regarded as a geometric property of the multi-body systems. Based on this idea, the symplectic precise integration method is applied in this paper to analyze the kinematics problem of folding and unfolding process of nose undercarriage. The Lagrange governing equation is established for the folding and unfolding process of nose undercarriage with the generalized defined displacements firstly. And then, the constrained Hamiltonian canonical form is derived from the Lagrange governing equation based on the Hamiltonian variational principle. Finally, the symplectic precise integration scheme is used to simulate the kinematics process of nose undercarriage during folding and unfolding described by the constrained Hamiltonian canonical formulation. From the numerical results, it can be concluded that the geometric constraint of the undercarriage system can be preserved well during the numerical simulation on the folding and unfolding process of undercarriage using the symplectic precise integration method.     

Symplectic solution system for reissner plate bending

Based on the Hellinger-Reissner variatonal principle for Reissner plate bendingand introducing dual variables, Hamiltonian dual equations for Reissner plate bending werepresented. Therefore Hamiltonian solution system can also be applied to Reissner platebending problem, and the transformation from Euclidian space to symplectic space and fromLagrangian system to Hamiltonian system was realized. So in the symplectic space whichconsists of the original variables and their dual variables, the problem can be solved viaeffective mathematical physics methods such as the method of separation of variables andeigenfunction-vector expansion. All the eigensolutions and Jordan canonical formeigensolutions for zero eigenvalue of the Hamiltonian operator matrix are solved in detail, and their physical meanings are showed clearly. The adjoint symplectic orthonormal relation of the eigenfunction vectors for zero eigenvalue are formed. It is showed that the alleigensolutions for zero eigenvalue are basic solutions of the Saint-Venant problem and theyform a perfect symplectic subspace for zero eigenvalue. And the eigensolutions for nonzeroeigenvalue are covered by the Saint-Venant theorem. The symplectic solution method is notthe same as the classical semi-inverse method and breaks through the limit of the traditional semi-inverse solution. The symplectic solution method will have vast application.     

Runge-kutta method, finite element method, and regular algorithms for hamiltonian system

The symplectic algorithm and the energy conservation algorithm are two important kinds of algorithms to solve Hamiltonian systems. The symplectic RungeKutta (RK) method is an important part of the former, and the continuous finite element method (CFEM) belongs to the later. We find and prove the equivalence of one kind of the implicit RK method and the CFEM, give the coefficient table of the CFEM to simplify its computation, propose a new standard to measure algorithms for Hamiltonian systems, and define another class of algorithms—the regular method. Finally, numerical experiments are given to verify the theoretical results.