从这种机器理论数学的角度上讲，就是有没有证明数学定理的算法。
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.
将运行环境的非线性数学模型耦合到螺旋内窥镜机器人理论分析模型中即得螺旋内窥镜机器人非线性仿真分析模型。
The nonlinear theoretical model of the spiral-type micro robot was constructed after coupling the models of operating environment with the innovation Reynolds equations.
所提出数学模型是管道机器人弯道自主行走控制策略设计和相应结构设计的理论基础。
The mathematic model is a groundwork of autonomous navigation strategy design and relevant structure design of pipeline robot in elbow.
利用机器人运动学中的齐次坐标变换理论和D - H坐标描述方法建立了关节机械臂系统的坐标测量数学模型，并给出了系统测量空间。
Based on the theory of homogeneous transformation and DH method in robot kinematics, the coordinate measuring model of articulated arm system is established, the system measuring space is given.
利用机器人运动学中的齐次坐标变换理论和D - H坐标描述方法建立了关节机械臂系统的坐标测量数学模型，并给出了系统测量空间。
Based on the theory of homogeneous transformation and DH method in robot kinematics, the coordinate measuring model of articulated arm system is established, the system measuring space is given.
应用推荐