低空试点城市临时禁飞信息的机器可读一致性审计

1 · 创新命题

中 面向低空运营调度员，把民航、地方政府、赛事/活动和无人机平台公开的临时限制通知解析为统一的时间—高度—多边形记录，自动标出来源间冲突、过期和无法落图的条款，替代人工复制群消息与截图；产品只做“信息一致性审计”，不自行判定能否飞。 EN A machine-readable consistency auditor that converts temporary low-altitude restrictions from Chinese aviation, municipal and platform notices into time–altitude polygons and flags conflicts, expiry and unmappable clauses—without pretending to authorize flight.

2 · 背景与空白

低空试点城市活动密集，限制信息可能分散在 NOTAM、地方通告、重大活动通知和平台地理围栏。国际上 FAA B4UFLY/Aloft、EASA U-space 和 DJI FlySafe 提供空域信息，AIXM 是航空信息交换标准；中国 UOM 平台、民航与地方渠道的实际公开接口和法律优先级需核实。空白在：公开通知之间有多少字段缺失和时间/边界冲突，以及调度员怎样留下可审计的“看过哪些来源”证据。中国资产是多试点城市、多层级通知和本地运营访谈；项目不抓取需登录或禁止自动访问的页面。致命错误是把解析成功等同法律有效，或默认某个平台是权威；每条记录必须保留原文、发布日期和权威等级待人工确认。

3 · 可检验假设

H1 对 ≥ 100 条公开临时限制通知，自建模式可在人工双标注基准上使时间、垂直范围、水平范围三字段完全正确率 ≥ 0.9，并发现 ≥10% 通知存在至少一种无法机器执行的缺项；后一个比例若不足也如实报告。 H2 若审计表把一周规划用时相对人工流程降低 ≥30%，且零漏掉人工定义的高严重度冲突，至少 2 名调度员愿意做 4 周影子试用。

4 · 量化验收标准

1. 【方法学校验 · 硬门槛】 自建解析器复现至少 20 条AIXM/官方公开结构化 NOTAM 算例，字段完全一致率 100%、几何面积偏差 ≤1%；此条不过，后续全部结论无效。
2. ≥ 100 条、≥ 3 个试点城市、≥ 3 类来源；两名标注者独立标注，冲突仲裁并报 κ。
3. 缺项/冲突是不平衡分类，报 PR-AUC、召回、精确率，不报 accuracy；按城市留一验证，另报随机通知划分高估。
4. 时间序列按发布时间划分，并做随机 vs 时间划分对照；模板更新后不得用未来规则清洗过去测试集。
5. 输出只链接原文和风险标记，不提供飞行许可建议；来源条款、robots/授权与个人信息均审核。

5 · 数据与工具

用途	来源 / 工具
通知	民航局/地方政府公开网页、官方公众号可合法保存内容、UOM/平台公开信息；接口与权威性需核实
标准	AIXM 5.1、ICAO NOTAM 示例，中国正式规则文本
工具	Python 规则解析+PostGIS/QGIS；LLM 可作对照但不得成为不可解释主链
人工基准	两名学生+一名具名无人机运行专业人士仲裁
对照	FAA B4UFLY/Aloft、DJI FlySafe——仅用于校验与对比，不计入数据贡献

能力边界：公开网页可能更新/撤回；解析器不能确定法律优先级，也不能覆盖非公开指令。数据保存须附时间戳与哈希。

人工金标准必须逐字段给出“明确值、需解释、不可落图”三态，不能逼标注者猜多边形。对“以某地标周边”“活动期间”等模糊语句，系统应保留原文并要求人工确认，而非自动补坐标或日期。每次更新生成差异记录，才能证明工具减少的是漏看和转录，而不是擅自替代调度判断。

6 · 赛季执行路径

1. 第 1–2 周核实合法来源与权威层级；第 3 周复现 20 条结构化算例。
2. 第 4–6 周双人标注 100 条并冻结字段；第 7 周规则解析和地理校验。
3. 第 8 周按城市/时间验证与错误分类；第 9 周加入冲突审计，不自动裁决。
4. 第 10–13 周两名调度员影子试用，人工流程始终为正式依据；记录用时和漏项。
5. 第 14 周后封存快照、哈希与演示城市，准备离线线下答辩。

7 · 新颖性边界

不声称发明 NOTAM、替代 UOM/空管、判定合法飞行或拥有官方实时数据。已有工作点名 AIXM 5.1、FAA B4UFLY/Aloft、DJI FlySafe、EASA U-space；本项目贡献是中国试点城市多层公开通知的字段缺失/冲突审计、按城市防泄漏验证和可追溯影子工作流。护城河为工作流替换（D）+极端具体（G），持续模板版本库与人工仲裁记录构成资产。

8 · go/no-go

第 3 周末若 20 条结构化算例不能 100% 通过，降级为“人工录入+几何一致性验证器”，保留冲突审计但取消文本解析。第 6 周末若合法公开通知 < 60 条，降级为单城市两年历史案例库。第 10 周末若高严重度冲突召回 <0.9，禁止真实试用，降级为离线审计研究；若节时 <10%，诚实定位为留痕工具而非效率工具。