拉格朗日力学理论的形式化与机器人动力学形式化分析.pdf 本书以拉格朗日力学理论与自动定理证明思想为指导，系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系，从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域。 全书主要内容包括：泛函变分、动力学与形式化验证的进展；泛函变分、拉格朗日力学、机器人动力 叁号仓库 2022年11月01日 0 点赞 0 评论 3524 浏览
拉格朗日元与离散元耦合连续-非连续方法研究.pdf 本书介绍了作者团队近 10 年来发展的拉格朗日元与离散元耦合连续-非连续方法的基本原理和实现流程，通过大量算例和细致结果分析，展现了该方法求解连续介质向非连续介质转化问题的巨大潜力，这对于有关灾害的机理分析和预防大有裨益。 叁号仓库 2022年09月13日 0 点赞 0 评论 4582 浏览
