从这种机器理论数学的角度上讲,就是有没有证明数学定理的算法。
In mathematical terms, they wanted to know whether there was an algorithm for proving the theorems of mathematics.
基于机器人运动学理论建立五自由度机床坐标系统并推导出数学模型。
Based on the theory of robot kinematics, the movement system of the machine and its mathematics model were established.
所提出数学模型是管道机器人三通自主行走控制策略设计和相应结构设计的理论基础。
The mathematical model is the academic groundwork of autonomous navigation strategy design and relevant structure design of pipeline robot in T-joint.
应用推荐