拉格朗日

拉格朗日力学理论的形式化与机器人动力学形式化分析.pdf

本书以拉格朗日力学理论与自动定理证明思想为指导,系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系,从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域。  全书主要内容包括:泛函变分、动力学与形式化验证的进展;泛函变分、拉格朗日力学、机器人动力

拉格朗日元与离散元耦合连续-非连续方法研究.pdf

  本书介绍了作者团队近 10 年来发展的拉格朗日元与离散元耦合连续-非连续方法的基本原理和实现流程,通过大量算例和细致结果分析,展现了该方法求解连续介质向非连续介质转化问题的巨大潜力,这对于有关灾害的机理分析和预防大有裨益。