术语表

EICPS 三部曲核心词汇的来源与定性——区分首创、集成、推广与援引，正本溯源

★ 首创

本书首次提出，既有文献无对应术语

◇ 集成

援引既有框架，工程定位为本书贡献

△ 推广

扩展形式定义或赋予新语义内涵

○ 援引

直接采用既有术语，用法保持原貌

共 89 条　★ 32 · ◇ 11 · △ 19 · ○ 27

术语 / 符号	性质	定义	模块	来源备注
具身空间理论 EST / Embodied Space Theory	★	将智能本质定义为在特定空间约束下最优适应能力的理论体系	EST	—
具身空间 $\mathcal{E}$ ε / Embodied Space	★	三流形叠加的本体空间 ε = M_phy × M_sem × M_data	EST	—
物理幻觉 Physical Hallucination	★	AI 规划出语义合理但动力学上根本不可行的动作	EST	—
语义-物理投影算子 $\Phi$ Φ / Phi Interface	★	将 VLA 语义意图投影到物理可行锥的保结构最优映射	EST	—
仿生三层架构 Brain-Spine-Body Architecture	★	模仿生物神经系统的脑（VLA）-脊（ESP）-体（机电）三层分工	EST	—
ε-近似等谱 $\varepsilon$ ε-Approximate Isospectrality	△	两流形前 K 个特征值在 ε 误差内相近，保证结构相似性	EST	谱几何数学，具身迁移应用
谱泛化界定理 Spectral Generalization Bound	△	将 ML 谱范数泛化界推广至以流形 Laplacian 特征值约束 Sim2Real 迁移性能差距	EST	推广自：Bartlett, Foster & Telgarsky 2017
热核签名 HKS / Heat Kernel Signature	△	基于热扩散的多尺度几何描述符，刚体变换不变，应用于具身诊断	EST	Sun et al., 2009
物理流形 $\mathcal{M}_{\text{phy}}$ M_phy / Physical Manifold	△	由动力学方程与物理约束定义的连续状态空间（关节角、速度、接触力）	EST	借用黎曼流形（Riemann 1854），赋予具身系统语境
语义流形 $\mathcal{M}_{\text{sem}}$ M_sem / Semantic Manifold	△	概念、语言、逻辑关系构成的离散图结构空间，VLA 大脑的信息载体	EST	借用图结构空间，赋予语义推理语境
数据流形 $\mathcal{M}_{\text{data}}$ M_data / Data Manifold	△	真实或合成数据在状态空间形成的统计分布结构	EST	流形假设（Tenenbaum 2000），具体化为具身语境
Sim-to-Real Gap $d_{GH}$ Sim-to-Real	△	仿真与现实的性能差异；重定义为流形间 Gromov-Hausdorff 距离	EST	通用术语；流形几何新视角为本书贡献
Flow-Jump 机制 Flow-Jump	◇	混合动力系统框架 H=(C,f,D,g)，在 EICPS 中指定为脑-脊-体架构分工原则（ESP←Flow，VLA←Jump）	EST	数学框架：Goebel, Sanfelice & Teel 2012；架构定位为本书贡献
流集 $C$ C / Flow Set	○	允许连续演化的合法状态子集（闭集）	EST	Goebel et al., 2012
跳集 $D$ D / Jump Set	○	强制触发离散跳变的状态子集（触地、碰撞、安全边界）	EST	Goebel et al., 2012
符号落地问题 Symbol Grounding Problem	○	符号与物理含义之间鸿沟的经典问题	EST	Harnad S., 1990
莫拉维克悖论 Moravec's Paradox	○	计算难度与人类感知难度的倒悬关系	EST	Moravec H., 1988
Weyl 定律 $\lambda_k$ Weyl's Law	○	流形特征值分布与体积和维度的渐近关系	EST	Weyl H., 1911
Cheeger 不等式 $\lambda_1$ Cheeger Inequality	○	第一非零特征值 λ₁ 与流形最窄通道宽度（Cheeger 常数）的关系	EST	谱几何经典定理
SO(3) 旋转群 $SO(3)$ SO(3)	○	三维刚体旋转的李群，3 自由度非欧氏流形	EST	标准李群理论
SE(3) 位姿群 $SE(3)$ SE(3)	○	刚体完整位姿（旋转+平移）的李群，6 自由度	EST	刚体运动学标准理论
具身信号处理 ESP / Embodied Signal Processing	★	将传统 DSP 范式从欧氏空间推广到物理流形的理论范式	ESP	—
具身变换 $ET$ ET / Embodied Transform	★	将 FFT/STFT 推广到流形上，以测地线积分替代平移卷积的算子体系	ESP	—
具身卷积 Embodied Convolution	★	流形上以对数映射 exp⁻¹ 替代平移定义的卷积算子	ESP	—
具身谱 $\sigma(\Delta_{\mathcal{M}})$ Embodied Spectrum	★	LB 算子特征值谱，作为流形的等距不变几何指纹	ESP	—
结构谱三重奏 $\mathcal{X}$ X = (X_geo, X_topo, X_safe)	★	分别编码几何可通过性、拓扑可达性、危险性的三重谱表征框架	ESP	—
安全谱 $\mathcal{X}_{\text{safe}}$ X_safe / Safety Spectrum	★	Schrödinger 算子 (-Δ_M + V_risk) 的谱分解，将风险势能量子化为能级	ESP	—
谱诊断学 Spectral Diagnostics	★	用结构谱三重奏将 AI 犹豫、幻觉、噪声异常转化为可计算物理量的诊断框架	ESP	—
决策犹豫 $H_{\text{topo}}$ Decision Hesitation	★	拓扑熵 H_topo 达最大值且主峰频繁切换的失效状态	ESP	—
谱一致性 $C$ C / Spectral Consistency	★	⟨T(X_topo), G(X_geo)⟩，策略置信度与几何支撑度的内积（C≈0 表示幻觉）	ESP	—
幽灵同伦类 Ghost Homotopy Class	★	AI 策略能量聚集在物理上不存在的路径同伦类上	ESP	—
行为指纹 BF(b) / Behavioral Fingerprint	★	联合谱描述子，编码机器人在流形上的行为特征，用于跨平台识别与迁移	ESP	—
幻觉评分 $\text{HS}(t)$ HS(t) / Hallucination Score	★	谱残差加权平方和 Σ rₖ²，超阈值 γ 触发 Jump	ESP	—
D-C-S 算子链 Denoise→Decouple→Structurize	★	ESP 处理具身信号的标准三步管线：谱低通去噪→环境-状态解耦→HKS 结构化	ESP	—
几何谱 $\mathcal{X}_{\text{geo}}$ X_geo / Geometric Spectrum	△	LB 算子特征值序列（Shape-DNA），编码流形微观几何	ESP	谱几何学；Shape-DNA：Reuter et al., 2006
拓扑决策熵 $H_{\text{topo}}$ H_topo	△	-Σ pτ log pτ，衡量策略在多个同伦类间置信度分散程度	ESP	香农熵在拓扑同伦类上的推广
外感受信号 Exteroception	△	环境流形通过位姿群投影到传感器低维流形的观测	ESP	神经科学术语，微分几何重新定义
本体感受信号 $T\mathcal{M}$ Proprioception	△	生活在切丛 TM 上的信号，感知机器人在流形上的速度	ESP	神经科学术语，纤维丛视角
接触感受信号 $T^*\mathcal{M}$ Tactile / Contact Sensing	△	余切向量，力与速度在余切丛 T*M 上的对偶配对	ESP	传感学术语，微分几何重新表述
卡死检测 $\lambda_1 \to 0$ Stuck / Jamming Detection	△	以 Fiedler 值 λ₁ 接近 0 的相变定量识别机器人在拓扑瓶颈处的失效状态	ESP	通用术语；谱诊断量化为本书贡献
拓扑谱 $\mathcal{X}_{\text{topo}}$ X_topo / Topological Spectrum	◇	持久同调与 Betti 数序列，编码流形宏观连通性；被指定为结构谱三重奏的拓扑分量	ESP	持久同调：Edelsbrunner & Harer, 2010
持久同调 Persistent Homology	◇	追踪拓扑特征生灭寿命；被集成为拓扑谱 X_topo 的计算工具	ESP	Edelsbrunner & Harer, 2010
Laplace-Beltrami 算子 $\Delta_{\mathcal{M}}$ Δ_M	○	流形上的拉普拉斯算子，特征分解定义流形本征几何	ESP	微分几何标准工具
Fiedler 值 $\lambda_1$ λ₁ / Fiedler Value	○	LB 矩阵第二小特征值，衡量图代数连通性	ESP	Fiedler M., 1973
Betti 数 $\beta_k$ β_k / Betti Number	○	拓扑不变量：β₀=连通分量，β₁=环路，β₂=腔体	ESP	代数拓扑标准定义
临界慢化 Critical Slowing Down	○	系统接近相变点时响应极大减慢的现象	ESP	相变物理学
Anderson 局域化 Anderson Localization	○	无序系统中本征函数被囚禁在特定区域的现象	ESP	Anderson P.W., 1958
EICPS Embodied Intelligent Cyber-Physical Systems	★	将 EST 三流形理论落地的完整具身智能信息物理系统工程框架	SYS	—
脑-脊-体架构 Brain-Spine-Body	★	EICPS 三层运行系统：VLA 大脑（秒级）→ ESP 脊髓（毫秒级）→ 机电本体（微秒级）	SYS	—
接口 A Interface A	★	大脑→脊髓低频异步通信（2 Hz），传递语义指令（目标流形）而非电机指令	SYS	—
接口 B Interface B	★	脊髓↔本体高频同步通信（1 kHz），传递控制流 u(t) 与观测流 y(t)	SYS	—
Proposal Neural Proposal	★	VLA 大脑在语义流形上生成的原始意图，可能含物理幻觉，尚未经物理检验	SYS	—
ActionPlan Physical Action Plan	★	Proposal 经凸优化投影（Φ 接口）后的物理可行版本；附带 STL 规约载荷	SYS	—
EvidencePack $\rho^*$ EvidencePack	★	ActionPlan 执行后的完整证明链：STL 规约 + 鲁棒度 ρ* + 实际轨迹 + 时间戳 + 证明哈希	SYS	—
双流 V 模型 Dual-Stream V-Model	★	物理仿真流（左）与智能训练流（右）并行，L4 物理 AI 工厂交汇	SYS	—
Harness 框架 EICPS Harness	★	EICPS 系统集成与执行引擎，协调三层架构，运行看门狗，驱动双流 V 模型验证	SYS	—
看门狗矩阵 Watchdog Matrix	★	六级实时安全监控：P0（硬件）P1（幻觉）P2（犹豫）P3（Zeno）P4（电量）P5（延迟）	SYS	—
安全反射弧 Safety Reflex Arc	★	P0/P1 触发时（<1 ms）绕过 VLA 大脑的纯 CBF 紧急制动通道	SYS	—
ETL 语言 ETL / Embodied Transform Language	★	EICPS 领域特定语言，声明式描述流形操作、Flow-Jump 控制和接口协议，支持形式化验证	SYS	已与 AADL、SysML 等既有 DSL 做对比分析
PDT 约束 Path Deformation Topology	★	接口 A 第三层约束：确保执行路径与语义规划的同伦类一致	SYS	—
PINN-EKF 混合架构 $F_k^{\text{PINN}}$ PINN-EKF Hybrid	★	用 PINN 学习系统动力学并通过自动微分提供 Jacobian，替代 EKF 中难以建模的解析导数；在柔性连接场景估计误差降低 40–60%	SYS	—
STL $\varphi$ Signal Temporal Logic	◇	信号时序逻辑；被集成为 EvidencePack 形式化验证的规约语言与 ActionPlan 的安全载荷	SYS	Maler & Nickovic, 2004
CBF $h(x)$ Control Barrier Function	◇	通过 QP 约束保证安全集 {x\|h(x)≥0} 前向不变性；被集成为安全反射弧与接口 A 约束的计算核心	SYS	Ames et al., 2016
CBF-QP $u^*$ CBF Quadratic Program	◇	以标称控制量为目标、CBF 条件为约束的凸二次规划，每毫秒求解一次，输出最小修正量 u*	SYS	Ames et al., 2017
HTN 规划 $\mathcal{N}=(T,\prec,\alpha)$ HTN / Hierarchical Task Network	◇	分层任务网络：将复合任务递归分解为原始动作序列；集成为 EICPS Brain 层的任务规划引擎，提供形式化保证	SYS	Erol, Hendler & Nau, 1994；SHOP2：Nau et al., 2003
EKF 扩展卡尔曼滤波 $\hat{x}_{k\|k}$ EKF / Extended Kalman Filter	◇	对非线性系统做局部线性化，递推估计状态后验均值与协方差；集成为 EICPS 跨频状态重建核心（1 kHz 多传感器融合）	SYS	NASA JPL 工程实践，1960s；Kalman 1960
STL-RHC STL-Guided Receding Horizon Control	◇	用 STL 描述时序任务约束、用 RHC/MPC 实现滚动在线求解的统一框架；Spine 层安全监控的核心执行机制	SYS	STL（Maler & Nickovic 2004）+ RHC（Mayne et al. 2000）；STL-MPC 先驱：Raman et al., 2014
物理 AI 工厂 Physical AI Factory	△	双流 V 模型 L4 交汇节点：机理仿真→物理数据集→PINN/HNN 训练→权重输出	SYS	借用 NVIDIA 行业术语（Jensen Huang 2024），赋予 V 模型精确工程定义
STL 鲁棒度 $\rho(\varphi,\mathbf{x},t)$ ρ / STL Robustness	△	STL 规约的定量满足程度（ρ>0 满足，ρ<0 违规），EvidencePack PASS/WARN/FAIL 的判定依据	SYS	STL 量化语义；Donzé & Maler, 2010
Guard 条件 $\text{pre}(m)$ Guard Condition / pre(m)	△	HTN 方法 m 的前置状态谓词（如 battery>30%）；满足时方法可用，谓词由 EKF 状态估计提供	SYS	HTN 规划形式化；Erol et al., 1994
创新序列 $\nu_k = z_k - h(\hat{x}_{k\|k-1})$ Innovation / ν_k	△	EKF 观测量与预测观测之差；健康滤波时服从零均值高斯，χ² 检验超限设 divergence_flag	SYS	卡尔曼滤波经典定义
平滑切换 Bumpless Transfer	△	控制律切换时以 sigmoid 在新旧律间平滑插值，防止电机冲击	SYS	工业控制标准技术
时间尺度分离 Time-Scale Separation	△	快动力学（脊髓 1 kHz）与慢决策（大脑 2 Hz）的分离，通过 ZOH 协调	SYS	多尺度建模理论，具身架构应用
PINN $\mathcal{L}_{\text{phys}}$ Physics-Informed Neural Network	◇	将微分方程残差编入损失函数；被集成为双流 V 模型右侧训练流的核心工具	SYS	Raissi et al., 2017
HNN $H_\theta$ Hamiltonian Neural Network	◇	学习哈密顿量 H_θ 强制辛结构输出；被集成为双流 V 模型能量守恒训练工具	SYS	Greydanus et al., 2019
RHC / MPC Receding Horizon Control	○	在每个采样时刻求解有限时域最优控制问题，只执行第一步然后滚动向前；为 STL-RHC 提供在线求解机制	SYS	Mayne, Rawlings et al., 2000
DSL Domain-Specific Language	○	针对特定应用领域设计的语言；ETL 是 EICPS 的具身任务 DSL，AADL/SysML 是既有参照	SYS	Fowler M., 2010
ZOH Zero-Order Hold	○	将低频指令在高频控制周期内保持恒定；用于 EKF 处理 30 Hz 视觉在 1 kHz 控制环中的跨频问题	SYS	控制论基础工具
Lyapunov 函数 $V(x)$ Lyapunov Function	○	用于证明稳定性或安全集不变性的标量函数；CBF 是 Lyapunov 函数思想在安全约束上的延伸	SYS	控制论基础
Shape-DNA $(\lambda_1,\lambda_2,\ldots)$ Shape-DNA	○	Laplacian 特征值序列作为形状的等距不变指纹	跨	Reuter et al., 2006
Gromov-Hausdorff 距离 $d_{GH}$ d_GH	○	两度量空间之间的距离，不依赖坐标对应；用于定量化 Sim-to-Real Gap	跨	Gromov M., 1981
Wasserstein 距离 $d_W$ d_W / Wasserstein	○	最优传输意义下的分布距离，量化数据流形的分布偏移	跨	Villani C., 2003
黎曼度量 $g_{ij}$ g_ij / Riemannian Metric	○	流形上每点处定义内积的协变张量	跨	黎曼几何基础
测地线 Geodesic	○	流形上的最短路径，替代欧氏直线；具身运动规划的几何基础	跨	微分几何基础
指数映射 $\exp$ Exp	○	李代数元素 → 李群：将切向量映射回群元素	跨	微分几何标准工具
对数映射 $\log$ Log	○	指数映射的逆运算：李群 → 李代数	跨	微分几何工具
李代数 $\mathfrak{g}$ Lie Algebra / 𝔤	○	李群在单位元处的切空间，满足括号运算；so(3) 和 se(3) 是机器人学核心	跨	李群论标准概念
纤维丛截面 Fiber Bundle Section	○	流形上每点携带一个纤维元素的映射，传感器信号的抽象模型	跨	微分几何基础
二次规划 QP / Quadratic Programming	○	目标二次、约束线性的优化问题；CBF-QP 和 Φ 投影都归结为此	跨	优化论标准形式

术语审计版本 v2 · 2026-04-25 　· 符号表 · 参考文献