矩阵微分法相关论文
本文基于3UPS-PU并联机构的姿态调整试验装置,研究其运动学、动力学、误差以及可靠性特性,为优化机构结构以及提高运动精度提供理......
矩阵微分法的定义有九种,其中向量对向量求导的定义只给出了列向量对行向量求导和行向量对列向量求导两种定义,本文针对这个方面,......
定理证明是重要的形式化验证方法之一,其将系统建模为逻辑公式,依托定理证明器进行推理从而完成验证.定理证明器中包含的定理库越......
