-
拉格朗日力学理论的形式化与机器人动力学形式化分析
¥66.8(7.5折)定价:¥89.0为了确保机器人运动学设计的安全性和可靠性,解决传统的机器人测试用例与仿真用例受限,测试与仿真均无法接近覆盖所有可能路径等非完备性问题。本书聚焦机器人运动学相关理论的形式化建模与定理库构建,重点针对泛函变分、拉格朗日力学的形式化及在机器人设计中的应用验证,并探索解决完备验证的自动化难题...
为了确保机器人运动学设计的安全性和可靠性,解决传统的机器人测试用例与仿真用例受限,测试与仿真均无法接近覆盖所有可能路径等非完备性问题。本书聚焦机器人运动学相关理论的形式化建模与定理库构建,重点针对泛函变分、拉格朗日力学的形式化及在机器人设计中的应用验证,并探索解决完备验证的自动化难题...
京ICP备09013606号-3京信市监发[2002]122号海淀公安分局备案编号:1101083394