架空输电线路运检

项目167：基于具身空间的架空输电线路运检关键技术及装备研究（国家电网总部科技项目）
本团队承担：课题3——输电线路检修作业标准化子任务生成技术研究

项目总体结构

项目167 包含四个课题，共同构成架空输电线路运检的完整技术链：

课题	名称	核心问题
课题1	架空输电线路运检物理空间理解技术研究	如何建立线路的精确物理空间模型
课题2	检修装备具身空间同步与自适应决策技术研究	如何让检修装备感知并适应物理空间变化
课题3 ★	输电线路检修作业标准化子任务生成技术研究	如何把检修工单自动分解为可验证的执行序列
课题4	超特高压输电线路金具更换及导线补修技术验证	在真实线路上验证全套技术

EICPS 框架的工程实现（ESP-V1）主要支撑课题3，同时为课题2提供决策接口、为课题4提供任务执行验证依据。

课题3 研究内容

研究内容	核心问题	对应技术
研究内容1 复杂检修作业标准化子任务分解方法	如何把复杂检修工单分解为标准化、可验证的子任务序列？	HTN 分层任务网络
研究内容2 基于 ETL 的子任务序列自动生成技术	如何用 ETL 具身任务语言描述子任务，并由 LLM 辅助自动生成？	ETL 语言 + LLM 前处理
研究内容3 动态时序编排与标准化执行接口	如何在执行过程中实时监控时序约束，并通过标准接口驱动执行？	STL-RHC + 接口协议

场景描述

环境：220kV 及以上架空高压输电线路，野外复杂地形，带电作业。

执行主体：检修机器人 + 检修员（人机协作），非全自主无人系统。

典型任务：

防振锤更换：识别位置 → 接近定位 → 协同拆除旧锤 → 安装新锤 → 验证完成
绝缘子检测：多角度视觉扫描 → 缺陷识别 → 定位上报
导线巡视：沿线扫描 → 异常识别 → 记录坐标

约束分析

安全约束（最关键）

约束类型	具体参数	STL 形式化表达
带电安全距离	与导线距离 ≥ 1.5m	$\mathbf{G}_{[0,T]}\; d(x(t), \text{wire}) \geq 1.5$
风速作业上限	风速 ≤ 10m/s	$\mathbf{G}_{[0,T]}\; v_{wind}(t) \leq 10$
作业前提检查	设备状态、场景确认	STL 前提条件预检

这些约束用 STL 精确形式化后，可自动验证——给定一条执行轨迹，工具可机械判断是否满足，不依赖人工审查。

任务约束（HTN 适用的原因）

防振锤更换具有明确的层次结构和条件分支：

Task: 更换防振锤
├── 子任务1: 定位防振锤
│   ├── 方法A: 视觉检测（光线充足时）
│   └── 方法B: 基于图纸先验（光线不足时）
├── 子任务2: 安全接近
│   └── 约束: 全程满足安全距离 STL 规约
├── 子任务3: 协同拆除旧锤
│   ├── 前提: 检修员确认指令
│   └── 监控: STL-RHC 实时鲁棒性值 ρ > 0
└── 子任务4: 安装新锤并验证
    └── 验证: STL 完成条件检查

HTN（分层任务网络）自 1975 年起已有大量实现，天然适合这类层次结构 + 条件分支的规划问题。

人机协作约束

检修员不直接操控机器人动作，而是下达语义级指令（工单描述），系统自动规划执行序列。这要求：

自然语言工单必须转化为精确的结构化任务规格 → LLM 前处理
安全关键决策不经过 LLM（幻觉风险）→ LLM 只做翻译，HTN 做决策
异常时系统上报，检修员确认后继续 → 人在环路的监督机制

技术链（ESP-V1 实现）

自然语言工单输入
    ↓
[LLM 前处理]   语义解析 → 结构化 ETL 任务描述
    ↓
[STL 预检]     检查当前场景是否满足作业前提
    ↓
[HTN 规划]     确定性规划，≤0.2ms，生成原子操作序列（18个算子）
    ↓
[STL-RHC 监控] 执行中实时监控鲁棒性值 ρ，驱动预警与中断
    ↓
执行结果 + 作业记录（坐标、状态、时间戳）

场景任务约束下的理论集成

架空线路运检约束	理论领域	选用工具	理由
检修工单是自然语言，需转为可执行结构	语义解析 / 领域特定语言	LLM 前处理 + ETL	LLM 只做语义翻译，ETL 作为检修 DSL 承接结构化表达
防振锤更换有层次子任务和光线/风速条件分支	层次任务规划	HTN 分层任务网络	天然支持层次结构 + 条件分支，1975 年起成熟，规划时延 ≤ 0.2ms
带电安全距离 ≥ 1.5m、风速 ≤ 10m/s 须在全过程满足	时序逻辑 / 形式化验证	STL 信号时序逻辑	约束可机械自动验证，给出可审计的满足证明
执行过程中约束鲁棒性需实时在线保证	滚动优化控制	STL-RHC 滚动时域控制	鲁棒度 ρ 连续计算，ρ ≤ 0 自动触发中断
检修装备 6DoF 位姿（接近、对准、操作）	刚体运动几何	SE(3) 李群	无奇异点，与 ROS/EtherCAT 兼容，机械臂轨迹规划基础
检修员下语义指令、关键决策不依赖 LLM	人机回路 / 安全架构	HTN 做决策，LLM 仅翻译	消除 AI 幻觉进入执行链的风险

→ 验证案例：架空输电线路运检