迈克尔·W·塞耶斯。 树拓扑系统的符号向量/并元多体形式。 （英语） Zbl 0741.93056号 J.指南。控制动态。 14，第6期，1240-1250（1991）. 摘要：提出了一种多体形式，可用于自动生成树状拓扑中刚体系统的有效运动方程。形式主义建立在凯恩分析方法的基础上，并使用向量/并元符号进行描述。除了定义运动方程的公式化方法外，它还规定了许多分析细节，这些细节以前涉及到动力学专家的判断。这些细节包括“经验法则”问题，例如1）简化建模，2）选择状态变量，3）引入中间变量，4）选择坐标系来表示向量，以及5）选择递归与非递归公式。形式化已经使用支持向量/并元代数、小变量简化选项和新符号自动引入的计算机代数语言实现自动化。另一篇论文描述了这种语言，并提供了航天器多体系统示例的详细信息。本文以航天器为例给出的结果说明了仿真代码的高计算效率。 引用于4文件 MSC公司： 93C85号 控制理论中的自动化系统（机器人等） 关键词：多体形式主义 软件：自动装置 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Sayers}，J.Guid。控制动态。14，编号61240-1250（1991年；兹bl 07419.3056） 全文： 内政部 链接