51、移动验证器助力安全位置验证

移动验证器助力安全位置验证

1. 验证器移动描述

为分析验证器移动对感兴趣区域内交点数量的影响，对验证器的移动进行如下定义。初始时，验证器 $V_a$ 位于 $V_a^{(1)}$ 位置，以特定速度朝与通过 $V_a^{(1)}$ 的水平轴呈逆时针角度 $\alpha_a$ 的方向移动。当证明者在 $\Delta$ 时间后重新传输位置声明时，验证器以速度 $v$ 沿 $\alpha_a$ 方向移动，可通过将长度为 $\Delta \cdot v$、方向为 $\alpha_a$ 的向量加到初始位置 $V_a^{(1)}$ 来近似验证器在第二次传输接收时的位置。需注意，这里将验证器在传输时刻的位置设为与接收时刻相同，虽不现实，但因验证器速度相较于信号传播速度极小，此误差在实际中可忽略。对于后续传输（$i > 1$），仅考虑方向变化 $\beta_a, \gamma_a$ 等。总之，验证过程中验证器的移动可由其初始位置 $V_a^{(1)}$、速度 $v$、传输间隔 $\Delta$、初始方向 $\alpha_a$ 以及接收之间的方向变化 $\beta_a, \gamma_a$ 等完全描述。

2. 参数选择

为使模拟更接近现实，依据特定场景选择模拟参数：
- 验证器速度 ：假定验证器速度在商用无人机速度范围（10 - 30 m/s）内。
- 传输间隔 ：为简化，所有模拟中 $\Delta$ 均设为 1 s。
- 感兴趣区域 ：受足球场大小启发，将其设为 209 × 255 m 的矩形，所有验证器和位置声明都需在此区域内。
-