In this paper, a dynamical mathematical model for articulated vehicles under steering imput is established and has obtained experimental proof.

本文建立了铰接式车辆对转向输入的动态响应数学模型，并得到了试验验证。

youdao

Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.

数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。

youdao