9.1.2 动态多路径跳变形式化描述