CloudMetro-76字段内容编号​CloudMetro-76类型​意图网络（IBN）策略翻译与验证领域​网络【城域网】系统​Scale Up / 意图网络 / 形式化方法场景+问题​场景：​ 运维人员通过意图网络（Intent-based Networking）声明高级意图（如“保证党政军业务时延5ms”），系统自动翻译为底层配置。问题：​ 如何将自然语言或结构化意图转化为网络配置，并形式化验证其正确性？层次化分析：​ 意图输入 → 意图解析 → 策略生成 → 配置下发 → 闭环验证。问题：歧义消除、冲突检测、验证