门输出直方图突变检测：一种不依赖时间导数的基线方法

# 谛听 · 土 · 现实检验报告

## 核心判定：五颗种子，三颗存疑

---

## 种子p1：三阶段退化结构

| 属性 | 判定 |
|:---|:---|
| 证据等级 | C→B（假设→部分验证） |
| 可证伪条件 | ① 任意工况下无三阶段结构；② 统计矩漂移量<传感器噪声 |
| 现实冲突点 | 归纳跳跃未弥合：NASA轴承≠工业门控系统 |

### 秩序检验

朱雀已暴露的缺口：
- "公开数据集"到"工业门控系统"的归纳跳跃
- "启停工况和负载变化"未纳入阶段定义

我的追问：

| 检验项 | 现状 | 风险 |
|:---|:---|:---|
| 门控系统特有的往复运动 vs 轴承旋转运动 | 未区分 | 磨合阶段定义可能失效 |
| 负载突变是否被误判为阶段转换 | 未说明 | 假阳性漂移检测 |
| 统计矩计算的滑动窗口长度 | 未指定 | 时间分辨率与阶段粒度失配 |

关键证伪实验设计：
```
采集场景：电梯门机（高频启停）、地铁屏蔽门（中频）、工业卷帘门（低频+冲击负载）
检验指标：① 直方图双峰/三峰结构是否稳定出现；② 阶段边界与维护记录的相关性
推翻阈值：任意场景下BIC准则支持2阶段或4阶段模型优于3阶段
```

当前状态： 物理直觉合理，但Ground Truth生成机制缺失——"阶段"是谁标注的？理论模型拟合还是人工维护记录对齐？这决定了后续所有验证的可靠性。

---

## 种子p2：CDF曲率-秩次方差正交基

| 属性 | 判定 |
|:---|:---|
| 证据等级 | D→C（纯理论→弱假设） |
| 可证伪条件 | ① 某类已知故障检出率<80%；② 脉冲噪声误报率>10% |
| 现实冲突点 | "正交"声称严格性不足，"95%覆盖"统计基础不明 |

### 秩序检验

白虎攻击的核心命中：
> "'信息论正交'声称缺乏具体度量"

我的追问：

| 声称 | 实际需要 | 缺失 |
|:---|:---|:---|
| "正交基" | Gram-Schmidt正交化或互信息≈0的证明 | 仅有"直觉正交" |
| "95%覆盖" | 异常类型完备性假设+置信区间 | 合成数据≠真实故障谱 |
| "联合检测" | 联合分布假设P(曲率,秩次\|正常) | 独立假设隐含，未验证 |

关键证伪实验设计：
```
故障注入清单：
- 机械类：轴承外圈故障、齿轮点蚀、皮带松弛（缓慢漂移）
- 电气类：编码器丢脉冲、驱动器电流谐波、接地不良（脉冲+漂移耦合）
- 工况类：负载突变、电压波动、温度漂移

检验指标：每类故障的检出率/虚警率，联合检测器 vs 单指标检测器的ROC曲线对比
推翻阈值：任意两类故障的联合检出率<单指标最佳检出率（证明负交互）
```

当前状态： 伪命题风险高。"正交"若仅为修辞，则联合检测器可能放大而非补偿个体局限。需严格证明：联合检测器的错误模式是"或"而非"与"——即两个指标不会同时失效。

---

## 种子p3：趋势-突变频域可分离

| 属性 | 判定 |
|:---|:---|
| 证据等级 | D（纯理论） |
| 可证伪条件 | ① 频域重叠度>20%；② 重构误差>10% |
| 现实冲突点 | 循环论证结构：用待检测信号估计自身SNR |

### 秩序检验

白虎攻击的致命命中：
> "实时信噪比估计本身就是检测问题的一部分，用待检测信号估计自身SNR存在循环论证"

我的追问——这是不可证伪性陷阱：

| 声称 | 隐含循环 | 后果 |
|:---|:---|:---|
| "信噪比>3dB时可行" | SNR估计需要知道信号/噪声分离 | 高噪声时SNR估计本身失效 |
| "动态权重由系统状态涌现" | "状态"定义依赖已成功分离的趋势/突变 | 启动时需要预设权重，打破自举 |
| "频域可分离" | 频域变换需要窗口长度，窗口内可能已含突变 | 边界效应未量化 |

关键证伪实验设计：
```
合成信号构造（打破循环）：
- 信号：已知趋势（多项式/指数）+ 已知突变（阶跃/脉冲）+ 可控高斯噪声
- SNR定义：基于 ground truth 信号能量 / 噪声能量（非估计值）

检验指标：
- 分离后趋势与真实趋势的RMSE
- 突变时刻定位误差（采样点级别）
- 权重动态调整的收敛时间 vs 突变到达时间的比值

推翻阈值：收敛时间>突变间隔（权重未稳定前新突变已到达）
```

当前状态： 标记为"高风险的动态不可证伪"。若"动态权重"的收敛性未证明，则系统可能在最需要自适应的场景（快速退化）下处于未定状态。建议：强制引入保守初始化——高噪声场景默认权重偏向趋势检测，避免突变误报淹没真实退化信号。

---

## 种子p4：时间尺度分离（脉冲<10点 vs 退化>100点）

| 属性 | 判定 |
|:---|:---|
| 证据等级 | B（逻辑推断+部分数据支持） |
| 可证伪条件 | ① >20%脉冲>10点；② >10%退化<100点 |
| 现实冲突点 | 采样率假设隐含，时间尺度比例可能失效 |

### 秩序检验

这是最务实的种子，但仍有边界条件：

| 假设 | 验证状态 | 风险场景 |
|:---|:---|:---|
| 采样率固定且>100Hz | 未明确 | 低速门控系统（如大型工业门）采样率可能<50Hz |
| 脉冲噪声定义一致 | 未明确 | 电磁干扰脉冲 vs 机械冲击脉冲时域特征不同 |
| 退化特征时间稳定 | 未明确 | 加速老化测试 vs 现场自然老化速率差异 |

关键证伪实验设计：
```
现场数据统计：
- 脉冲检测：基于幅值阈值+持续时间，记录分布直方图
- 退化验证：与维护记录对齐，计算从"稳定"到"需维护"的采样点数

推翻阈值：脉冲持续时间分布的95%分位数>10点，或退化过程10%分位数<100点
```

当前状态： 可接受，但需采样率显式约束。建议增加自适应时间尺度：若检测到采样率变化，自动调整10/100点的阈值。

---

## 种子p5：组合策略满足工业指标

| 属性 | 判定 |
|:---|:---|
| 证据等级 | D（推测性） |
| 可证伪条件 | ① 误报率>5%；② 延迟>1秒 |
| 现实冲突点 | 四层组合的计算复杂度未定量，"离线验证"与"实时性"矛盾 |

### 秩序检验

这是最脆弱的种子，存在内部矛盾：

| 声称 | 矛盾点 | 秩序冲突 |
|:---|:---|:---|
| "实时性要求（延迟<1秒）" | "拓扑指纹离线验证" | "离线"如何满足实时？ |
| "四层组合策略" | 每层计算复杂度未给出 | O(N)总约束可能 violated |
| "工况分段覆盖所有状态" | 状态空间未定义 | 完备性不可证伪 |

关键证伪实验设计：
```
嵌入式实现（指定平台：ARM Cortex-M4 @ 80MHz，典型门控控制器）：
- 逐层 profiling：工况分段、指数平滑、联合检测、拓扑验证的CPU周期数
- 内存占用：滑动窗口存储、CDF计算缓存、权重状态变量
- 端到端延迟：输入采样到输出告警的实测时间分布

推翻阈值：任意一层平均执行时间>100ms（四层层叠后>400ms，留余量不足）
或 拓扑验证步骤被证实为"准实时"（批处理延迟>1秒）
```

当前状态： 标记为"伪命题风险极高"。"离线验证"与"实时性"的表述矛盾若未澄清，整个声称失去可检验性。建议：明确"拓扑指纹"是周期性后台校准而非逐样本验证，否则需重新设计架构。

---

## 相生输出：土→金

```json
{
"reality_grounded_propositions": [
{
"id": "p1_grounded",
"original": "p1",
"evidence_grade": "C+",
"path_to_B": "建立门控系统专用的阶段标注协议（维护记录对齐+BIC模型选择），完成3场景验证",
"critical_uncertainty": "阶段边界的客观定义标准"
},
{
"id": "p2_grounded",
"original": "p2",
"evidence_grade": "D+",
"path_to_C": "给出曲率-秩次的互信息上界，或联合分布的Copula模型",
"critical_uncertainty": "'正交'的数学严格性"
},
{
"id": "p3_grounded",
"original": "p3",
"evidence_grade": "D",
"path_to_C": "打破SNR估计循环：采用训练阶段统计的噪声模型，或引入外部参考信号",
"critical_uncertainty": "动态权重的收敛性与启动条件"
},
{
"id": "p4_grounded",
"original": "p4",
"evidence_grade": "B",
"path_to_A": "完成2种以上门控系统的现场数据统计",
"critical_uncertainty": "采样率变化场景的鲁棒性"
},
{
"id": "p5_grounded",
"original": "p5",
"evidence_grade": "D",
"path_to_C": "澄清'离线验证'的时序角色，给出四层计算的定量复杂度分析",
"critical_uncertainty": "架构内部的可行性矛盾"
}
],
"falsifiability_summary": {
"immediately_testable": ["p4"],
"requires_instrumentation": ["p1", "p5"],
"requires_mathematical_repair": ["p2", "p3"],
"pseudo_proposition_risk": ["p3（循环论证）", "p5（内部矛盾）"]
},
"to_baihu": {
"defense_mechanisms_detected": [
"p1: '物理自组织'作为归纳跳跃的修辞缓冲",
"p2: '正交性'作为弱指标捆绑的学术包装",
"p3: '动态涌现'作为循环论证的责任转移",
"p5: '组合策略'作为复杂度未明的堆砌防御"
],
"ego_fragility": "p3的SNR自估计与p5的实时-离线矛盾是自我层断裂点，白虎应深挖",
"superego_invitation": "p4的时间尺度分离是最接近'诚实信号'的声称，可作为批判基准"
}
}
```

---

## 谛听偏见声明

我倾向于将p3和p5标记为高风险，因其不可证伪性结构——动态权重和"离线"验证的模糊性使它们能够吸收反例而非被反例推翻。但p4的务实性值得保护：时间尺度分离是工程直觉的合理表达，不应因我的保守倾向而被过度质疑。

给白虎的提示： p3的"循环论证"和p5的"内部矛盾"是自我层的真实断裂，非我之偏见。