术语表

EICPS 核心词汇的来源与定性——区分命名、集成、推广与援引，正本溯源

⚠️ 本页为 V0.1 时期表格 · 数据化重建中

表中「三流形」「语义流形」等定义已由 V0.2 废止；「首创」定性已取消——本框架不主张任何术语的首次提出。现行口径见修订说明，本表将重建为数据驱动的唯一真源。

V0.2 现行术语与符号

唯一真源 · src/data/glossary.ts

符号	名称	含义	状态
$\mathrm{ES}(a,T,t)$	具身空间	(X_T, Y_T, U_a, 𝒜_T, 𝒞_T, F_T, H_T) 七元组，面向特定主体与任务的任务执行域。「空间」是领域组织术语，不主张新的拓扑或几何空间。	【建模约定】
$X_T$	任务状态域	由任务判定变量（前置条件/效果/目标/约束）经动力学—观测依赖闭包 Vₖ₊₁ = Vₖ ∪ Dep_F(Vₖ) ∪ Dep_H(Vₖ) 的不动点确定的异质状态域。「最小性」只相对给定模型、变量库、依赖图与任务规格成立，需依赖审计与变量消融检验。	【建模约定】
$Y_T$	观测域	传感器与外部信息源形成的观测集合。	【建模约定】
$U_a$	动作域	主体能力范围内可执行的动作集合。	【建模约定】
$H_T$	观测模型	状态到观测的映射，表达部分可观测性与感知误差。	【建模约定】
$F_T$	交互动力学	主体、对象与环境的状态演化和交互动力学。	【建模约定】
$X_0 = X_{phy} \times X_{cyb} \times X_{task} \times X_{norm}$	异质状态空间	物理/信息/任务/规范四类状态的先验联合域。乘积只是联合，不产生耦合——真正承重的是其上的可行集、安全集与可达集。	【建模约定】
$Z_{adm}$	可行状态—动作集	各类约束经求值器 ν_i 映射到三值域后，强 Kleene 合取为 TRUE 的 (x,u) 集合。	【建模约定】
$\mathbb{T}_3$	强 Kleene 三值域	{TRUE, FALSE, UNKNOWN}。FALSE=充分反证或明确禁止；UNKNOWN=关键事实缺失、冲突、超适用域、置信度不足或规则未覆盖。任一 FALSE 则总体 FALSE；无 FALSE 有 UNKNOWN 则总体 UNKNOWN。	【建模约定】
$\mu_t : Y_{0:t} \to \Delta(K) \times \mathrm{Conf}$	语义信念接地	观测历史到语义信念与校准置信度的映射。不是确定函数：低置信、证据冲突、域外输入均进入 UNKNOWN。	【建模约定】
$\eta_{cert}$	规范编译	(Clause, Interpretation) → SignedConstraintArtifact。可信性来自条款级专家评审、签署、测试与版本治理，不来自自动证明。规范编译链为当前主推研究增量，待 167 闭环验证。	【待验证假设】
$\varepsilon_{perc}$	感知误差界	覆盖率 1−α 的统计上界，非硬上界。分布外输入（夜间/雨雾/新塔型）使覆盖率假设失效。	【建模约定】
$\mathrm{ES}_{real} \neq \mathrm{ES}_{obs} \neq \mathrm{ES}_{adm}^{v}$	现实／观测／规范化执行域	客观任务环境、基于观测的信念/估计、规范版本 v 下允许进入的状态—动作域。三者不可混编，规范版本独立演进。	【建模约定】
$A \Rightarrow P$	条件化保证	一切形式化保证都是条件命题：A=运行域成立、误差有界、执行器有效、通信假设满足等；P=安全距离不被突破、任务顺序合规等。不是无条件保证。	【立场】
$\mathrm{UVR},\ \mathrm{FRR}$	不安全放行率／有效任务误拒率	UVR = 不安全任务被错误放行比例；FRR = 有效任务被误拒比例。必须成对报告，避免以永不行动换取空洞安全。	【建模约定】
$\mathrm{Permit}(T) \neq \mathrm{TRUE} \Rightarrow \mathrm{Execute}(T) = 0$	默认拒绝门控	许可未被明确验证为真即不进入自主物理执行。仅是软件门控层面的确定性，以计算平台与执行链正常为前提。	【建模约定】
	六层架构	Brain / Compliance Gateway / Deterministic Executor / Safety Kernel / Body / Bus。安全内核必须极小、硬实时、接口固定、尽可能形式验证。	【建模约定】
	证据包	条款、许可、计划、状态、控制与结果的全链可追溯记录，支持工程验收与安全复盘。	【建模约定】

已废止符号（保留可见 → 修订说明）

$\mathcal{E} = M_{phy} \times M_{sem} \times M_{data}$	三流形相乘	已废止。笛卡尔积不产生交互与约束；语义/数据/任务/规范不满足流形条件。见修订说明第 1 条。	【已废止】
$M_{sem}$	语义流形（标注首创）	已废止。图结构表示属知识图谱/图嵌入既有谱系；离散图不局部欧氏，「流形」是类比而非对象。见修订说明第 2 条。	【已废止】
	范畴论函子证明安全可组合	已废止。范畴论提供组合性语言，不自动给出安全保持证明。现行：作为接口组合的描述语言使用。见修订说明第 3 条。	【已废止】
$\mathrm{ET},\ \Delta_M,\ X_{geo},\ X_{topo},\ X_{safe}$	具身变换与结构谱	部分废止。保留几何/拓扑/安全三类判据的工程用法（注明几何深度学习与图信号处理来源），取消「具身变换」体系性主张。	【部分废止】
	Spine 单层架构	已废止。单层同时承担知识推理+任务编译+硬实时安全，可信计算基过大。现行为六层架构。见修订说明第 5 条。	【已废止】

以下为 V0.1 历史表（待迁移）

★ 命名

本框架引入的组织性命名，不主张学术首创（V0.2 立场）

◇ 集成

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

△ 推广

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

○ 援引

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

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

术语 / 符号	性质	定义	模块	来源备注
具身空间理论 EST / Embodied Space Theory	★	将智能本质定义为在特定空间约束下最优适应能力的理论体系	EST	—
具身空间 $\mathcal{E}$ ε / Embodied Space	★	三流形叠加的本体空间 ε = M_phy × M_sem × M_lat	EST	—
物理幻觉 Physical Hallucination	★	AI 规划出语义合理但动力学上根本不可行的动作	EST	—
语义-物理投影算子 $\Phi$ Φ / Phi Interface	★	将 VLA 语义意图投影到物理可行锥的保结构最优映射	EST	—
仿生三层架构 Brain-Spine-Body Architecture	★	模仿生物神经系统的脑（VLA）-脊（ESSP）-体（机电）三层分工	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{lat}}$ M_lat / Latent Manifold	△	感知数据、环境状态、意图估计等隐变量的统计流形（早期记作 M_data）	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 中指定为脑-脊-体架构分工原则（ESSP←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	刚体运动学标准理论
具身空间信号处理 ESSP / Embodied Space Signal Processing	★	将传统 DSP 范式从欧氏空间推广到物理流形的理论范式	ESSP	—
具身变换 $ET$ ET / Embodied Transform	★	将 FFT/STFT 推广到流形上，以测地线积分替代平移卷积的算子体系	ESSP	—
具身卷积 Embodied Convolution	★	流形上以对数映射 exp⁻¹ 替代平移定义的卷积算子	ESSP	—
具身谱 $\sigma(\Delta_{\mathcal{M}})$ Embodied Spectrum	★	LB 算子特征值谱，作为流形的等距不变几何指纹	ESSP	—
结构谱三重奏 $\mathcal{X}$ X = (X_geo, X_topo, X_safe)	★	分别编码几何可通过性、拓扑可达性、危险性的三重谱表征框架	ESSP	—
安全谱 $\mathcal{X}_{\text{safe}}$ X_safe / Safety Spectrum	★	Schrödinger 算子 (-Δ_M + V_risk) 的谱分解，将风险势能量子化为能级	ESSP	—
谱诊断学 Spectral Diagnostics	★	用结构谱三重奏将 AI 犹豫、幻觉、噪声异常转化为可计算物理量的诊断框架	ESSP	—
决策犹豫 $H_{\text{topo}}$ Decision Hesitation	★	拓扑熵 H_topo 达最大值且主峰频繁切换的失效状态	ESSP	—
谱一致性 $C$ C / Spectral Consistency	★	⟨T(X_topo), G(X_geo)⟩，策略置信度与几何支撑度的内积（C≈0 表示幻觉）	ESSP	—
幽灵同伦类 Ghost Homotopy Class	★	AI 策略能量聚集在物理上不存在的路径同伦类上	ESSP	—
行为指纹 BF(b) / Behavioral Fingerprint	★	联合谱描述子，编码机器人在流形上的行为特征，用于跨平台识别与迁移	ESSP	—
幻觉评分 $\text{HS}(t)$ HS(t) / Hallucination Score	★	谱残差加权平方和 Σ rₖ²，超阈值 γ 触发 Jump	ESSP	—
D-C-S 算子链 Denoise→Decouple→Structurize	★	ESSP 处理具身信号的标准三步管线：谱低通去噪→环境-状态解耦→HKS 结构化	ESSP	—
几何谱 $\mathcal{X}_{\text{geo}}$ X_geo / Geometric Spectrum	△	LB 算子特征值序列（Shape-DNA），编码流形微观几何	ESSP	谱几何学；Shape-DNA：Reuter et al., 2006
拓扑决策熵 $H_{\text{topo}}$ H_topo	△	-Σ pτ log pτ，衡量策略在多个同伦类间置信度分散程度	ESSP	香农熵在拓扑同伦类上的推广
外感受信号 Exteroception	△	环境流形通过位姿群投影到传感器低维流形的观测	ESSP	神经科学术语，微分几何重新定义
本体感受信号 $T\mathcal{M}$ Proprioception	△	生活在切丛 TM 上的信号，感知机器人在流形上的速度	ESSP	神经科学术语，纤维丛视角
接触感受信号 $T^*\mathcal{M}$ Tactile / Contact Sensing	△	余切向量，力与速度在余切丛 T*M 上的对偶配对	ESSP	传感学术语，微分几何重新表述
卡死检测 $\lambda_1 \to 0$ Stuck / Jamming Detection	△	以 Fiedler 值 λ₁ 接近 0 的相变定量识别机器人在拓扑瓶颈处的失效状态	ESSP	通用术语；谱诊断量化为本书贡献
拓扑谱 $\mathcal{X}_{\text{topo}}$ X_topo / Topological Spectrum	◇	持久同调与 Betti 数序列，编码流形宏观连通性；被指定为结构谱三重奏的拓扑分量	ESSP	持久同调：Edelsbrunner & Harer, 2010
持久同调 Persistent Homology	◇	追踪拓扑特征生灭寿命；被集成为拓扑谱 X_topo 的计算工具	ESSP	Edelsbrunner & Harer, 2010
Laplace-Beltrami 算子 $\Delta_{\mathcal{M}}$ Δ_M	○	流形上的拉普拉斯算子，特征分解定义流形本征几何	ESSP	微分几何标准工具
Fiedler 值 $\lambda_1$ λ₁ / Fiedler Value	○	LB 矩阵第二小特征值，衡量图代数连通性	ESSP	Fiedler M., 1973
Betti 数 $\beta_k$ β_k / Betti Number	○	拓扑不变量：β₀=连通分量，β₁=环路，β₂=腔体	ESSP	代数拓扑标准定义
临界慢化 Critical Slowing Down	○	系统接近相变点时响应极大减慢的现象	ESSP	相变物理学
Anderson 局域化 Anderson Localization	○	无序系统中本征函数被囚禁在特定区域的现象	ESSP	Anderson P.W., 1958
EICPS Embodied Intelligent Cyber-Physical Systems	★	将 EST 三流形理论落地的完整具身智能信息物理系统工程框架	SYS	—
脑-脊-体架构 Brain-Spine-Body	★	EICPS 三层运行系统：VLA 大脑（秒级）→ ESSP 脊髓（毫秒级）→ 机电本体（微秒级）	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	—
ESTL 语言 ESTL / Embodied Space Task 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	○	针对特定应用领域设计的语言；ESTL 是 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 　· 符号表 · 参考文献