书目详细信息 : 基于动态系统约束规划的水下机器人可靠定位方法:a constraint-programming approach over dynamical system