松灵差速小车在ROS平台上的仿真模型，并展示了在gazebo仿真环境下的效果。