出行目的 × 同行条件
出行目的是到达后必须发生事项的最小集合,靠逐项删减仍不改变“这趟出门为何成立”而确定。可顺带完成的事若删掉不影响出行成立,就属于附加安排而不是目的;把附加安排写进目的,会让替换路线时误判为不成立。
同行条件是把多个人的限制合并成共同方案的门槛,靠共同段不触发任何一人的禁止条件而成立。有人不能走台阶、不能久站或不能提重物时,该段就不能算共同段;人数多少不改变这一判断,需改道或把该段拆开。
出行目的是到达后必须发生事项的最小集合,靠逐项删减仍不改变“这趟出门为何成立”而确定。可顺带完成的事若删掉不影响出行成立,就属于附加安排而不是目的;把附加安排写进目的,会让替换路线时误判为不成立。
同行条件是把多个人的限制合并成共同方案的门槛,靠共同段不触发任何一人的禁止条件而成立。有人不能走台阶、不能久站或不能提重物时,该段就不能算共同段;人数多少不改变这一判断,需改道或把该段拆开。
同行条件是把多个人的限制合并成共同方案的门槛,靠共同段不触发任何一人的禁止条件而成立。有人不能走台阶、不能久站或不能提重物时,该段就不能算共同段;人数多少不改变这一判断,需改道或把该段拆开。
时间余量是能被后续最晚时刻检验的提前量,靠“已提前到达”与“后续节点允许晚到多久”同时存在而成立。后面没有最晚时刻时,空出来的分钟只是等待,不是余量;已经晚于该时刻时,余量已为负。
时间余量是能被后续最晚时刻检验的提前量,靠“已提前到达”与“后续节点允许晚到多久”同时存在而成立。后面没有最晚时刻时,空出来的分钟只是等待,不是余量;已经晚于该时刻时,余量已为负。
预约前核对是在发出预约请求之前,先判断这次预约该不该发起的检查,靠使用目的、是否已有同类占用、提交后能否按规则收场三件事在点击确认前都有答案而成立。它发生在预约尚未成立时,不是约上之后安排谁去、怎么入场;页面能提交只说明入口开放,不等于这次预约有必要或有把握履行。
预约前核对是在发出预约请求之前,先判断这次预约该不该发起的检查,靠使用目的、是否已有同类占用、提交后能否按规则收场三件事在点击确认前都有答案而成立。它发生在预约尚未成立时,不是约上之后安排谁去、怎么入场;页面能提交只说明入口开放,不等于这次预约有必要或有把握履行。
步行路线是行人能识别并跟随的连续决策链,靠每个转向点都有可见的下一段入口或过街位置成立。地图上连通但现场缺少标识、出口朝向不明时,行人会在节点停下,这段连线不能算可走路线。
出行目的是到达后必须发生事项的最小集合,靠逐项删减仍不改变“这趟出门为何成立”而确定。可顺带完成的事若删掉不影响出行成立,就属于附加安排而不是目的;把附加安排写进目的,会让替换路线时误判为不成立。
时间余量是能被后续最晚时刻检验的提前量,靠“已提前到达”与“后续节点允许晚到多久”同时存在而成立。后面没有最晚时刻时,空出来的分钟只是等待,不是余量;已经晚于该时刻时,余量已为负。
同行条件是把多个人的限制合并成共同方案的门槛,靠共同段不触发任何一人的禁止条件而成立。有人不能走台阶、不能久站或不能提重物时,该段就不能算共同段;人数多少不改变这一判断,需改道或把该段拆开。
预约前核对是在发出预约请求之前,先判断这次预约该不该发起的检查,靠使用目的、是否已有同类占用、提交后能否按规则收场三件事在点击确认前都有答案而成立。它发生在预约尚未成立时,不是约上之后安排谁去、怎么入场;页面能提交只说明入口开放,不等于这次预约有必要或有把握履行。
时间余量是能被后续最晚时刻检验的提前量,靠“已提前到达”与“后续节点允许晚到多久”同时存在而成立。后面没有最晚时刻时,空出来的分钟只是等待,不是余量;已经晚于该时刻时,余量已为负。
步行路线是行人能识别并跟随的连续决策链,靠每个转向点都有可见的下一段入口或过街位置成立。地图上连通但现场缺少标识、出口朝向不明时,行人会在节点停下,这段连线不能算可走路线。
预约前核对是在发出预约请求之前,先判断这次预约该不该发起的检查,靠使用目的、是否已有同类占用、提交后能否按规则收场三件事在点击确认前都有答案而成立。它发生在预约尚未成立时,不是约上之后安排谁去、怎么入场;页面能提交只说明入口开放,不等于这次预约有必要或有把握履行。
公共交通换乘是出行链中需要乘客自己补齐的连接段:前段把乘客送到换乘点,后段从另一个上车站位开始,中间的空缺由乘客的走行和等待填上。同一换乘点,站内路径不熟或上车站台选错时,前段准点也不能保证接上后段。