熱升高之前的警報 — Kenneth Cheng

預警系統只有在能夠分辨即將發生的故障與一個麻煩感測器時，才真正配得上「預警」這個名字。

兩者很容易被混淆。假設電池組報告的最高溫度持續上升，電池可能正在升溫，量度通道亦可能只是漂移。單一閾值無法分辨這兩個故事。如果規則在幾乎所有帶偏差但物理上健康的序列都發出警報，表面上的高靈敏度並不是安全證據。

本研究從另一項線索開始：熱具有幾何。模組中的電芯會與物理鄰居交換熱量；真實局部熱事件應逐步形成空間足跡，而一條單獨漂移的通道最初不會得到周圍證據支持。研究問題是：這種鄰接資訊能否幫助一個小型序列偵測器——不是深度神經網絡，也不是數碼分身——在受控感測器故障下發出更有用的早期警報？

合成基準的答案令人鼓舞，但應保持克制。在感測器漂移與丟失同時出現時，graph-CUSUM 在研究邊界前偵測到 94.4% 故障，獨立 CUSUM 為 90.0%；其假警報率略高，分別是 6.25% 與 5.0%，而置信區間互相重疊。這是一個值得進一步測試的取捨，不代表問題已解決。

研究主張，以及我們拒絕作出的主張

精確問題是：

在把假警報維持於留出校準目標附近的前提下，共模移除與圖鄰居匯聚能否在合成電池組溫度邊界前改善預警？

句中每個部分都限制結果。

共模移除是從每條有效通道的溫度變化率中，減去所有通道共同運動的中位數。
圖鄰居匯聚只在 4 × 4 電池組中熱力相鄰的電芯之間結合證據。
合成邊界是首個模擬電芯到達 60 °C 的時間，只用作評估終點。
留出校準代表沒有任何評估軌跡參與選擇偵測閾值。

研究沒有重現電化學熱失控，亦不包含濫用測試量度、荷電狀態、排氣、氣體釋放、老化、冷卻控制動力學或失效電芯之間的傳播。60 °C 並非普遍電池安全閾值，只是本實驗的截止時間。

這項界線是研究核心，不是最後補上的免責聲明。數值模型可測試演算法是否表現一致，不能認證電池管理系統。

把熱電池組表示成圖

模擬模組包含排列成正方網格的 16 個電芯，每個電芯最多與四個鄰居交換熱量。狀態方程是一個精簡能量平衡代理：

T_i^{k+1}=T_i^k+\Delta t\left[q_i^k-h_i(T_i^k-T_a^k) +\kappa(\bar T_{\mathcal N(i)}^k-T_i^k)+q_{f,i}^k+\epsilon_i^k\right].

$q_i^k$ 是依負載而定的基線熱， $h_i$ 控制向環境溫度 $T_a^k$ 冷卻，圖項把溫度推向鄰居平均。故障項 $q_{f,i}^k$ 在指定開始前處處為零，之後在一個隨機選定電芯呈指數增長。小量過程與量度雜訊避免實驗變成確定性圖樣配對。

4 × 4 熱圖結構及代表性故障軌跡。

一個代表性綜合壓力測試。圖面板標示故障、漂移與缺失通道；軌跡面板顯示真實電芯溫度、故障開始、graph-CUSUM 警報及研究邊界。所有圖中文字為黑色，顏色與標記形狀提供重複編碼。

這個代理保留四種與偵測器有關的結構：

緩慢變化的全電池組熱背景；
電芯之間的發熱與冷卻差異；
沿物理鄰接傳播的局部故障增長；以及
可只影響一條通道的量度故障。

它省略的內容遠多於保留的內容。只要省略保持可見，下一項實驗亦刻意挑戰它們，這對演算法先導研究仍然合理。

從溫度讀數走到序列證據

偵測器不直接使用絕對溫度，而先計算一階差分：

d_i^k=y_i^k-y_i^{k-1},

其中 $y_i^k$ 是觀測溫度。健康校準軌跡透過中位數絕對偏差提供穩健差分尺度 $s$ 。每個時間步先移除有效通道運動的中位數：

z_i^k=\frac{d_i^k-\operatorname{median}_{j\in A_k}d_j^k}{s}.

這個轉換問的是：某個區域是否相對整個電池組加速升溫？它亦令偵測器較不受大部分通道共同承受的平滑環境或負載變化影響。

模型只保留正向證據，並為電芯 $i$ 結合本地與鄰居訊號：

e_i^k=0.38[z_i^k]_++0.62\frac{1}{|\mathcal N(i)|} \sum_{j\in\mathcal N(i)}[z_j^k]_+.

其後單側累積和按以下方式演化：

g_i^k=[g_i^{k-1}+e_i^k-0.38]_+, \qquad G^k=\max_i g_i^k.

當 $G^k$ 超越由健康校準軌跡選定的閾值便發出警報。方法受 Page 的 CUSUM 啟發，但圖分數是啟發式建構，不是似然比最優量或定理。

圖校準序列預警的方法流程。

計算證據鏈。圖證據與序列檢驗是建議組合；周圍的模擬、校準及壓力評估令主張可接受審核。

先校準，後比較

若每種方法有不同的過度擬合機會，偵測器比較便失去意義。本實驗採用同一套校準協議：

設計項目	設定
健康校準軌跡	220
閾值規則	全軌跡最大分數的第 95 百分位
每個條件的評估	160 健康 + 160 故障軌跡
模擬長度	240 s，1 s 解像度
故障開始	90 s
正漂移壓力	55 s 後每秒 0.010 °C
丟失壓力	115 s 後缺失一條通道
評估截止	首個真實電芯到達 60 °C

校準與評估使用互不重疊的種子範圍。在每個評估條件內，所有方法看到同一批軌跡。四個主要偵測器為：

經校準最高溫度閾值；
正溫度變化率的指數加權移動平均；
每感測器獨立 CUSUM；以及
建議的共模 graph-CUSUM。

主要指標是故障開始後、邊界前發出警報的機率。故障序列上的過早警報不算成功預測；健康軌跡假警報率另行報告。比例使用 Wilson 區間，及時偵測的中位提前時間使用 bootstrap 區間。

基準發現

完整結果可分成兩個問題：每個偵測器多常及時預警？預警時還剩多少時間？

各壓力條件下的偵測機率與預警提前時間。

名義、漂移、丟失及綜合條件下的及時偵測機率與中位提前時間。誤差棒為 95% 區間，每點使用 160 條軌跡。

指定綜合壓力下的主要數值為：

偵測器	及時偵測	健康假警報	中位提前
溫度閾值	98.8%	95.0%	76 s
變化率 EWMA	92.5%	8.13%	42 s
獨立 CUSUM	90.0%	5.0%	40 s
建議 graph-CUSUM	94.4%	6.25%	41 s

若只看偵測與提前時間，溫度閾值似乎最好；假警報欄卻完全改變解讀。正向感測器漂移令最高觀測溫度超越以無漂移資料校準的閾值，於 160 條健康綜合壓力軌跡中有 152 條發出警報。

這不證明溫度閾值本質上很差。生產系統可以使用感測器診斷、投票、持續性規則、多重閾值、電流與電壓背景或冗餘估計。它只證明，以名義資料校準的最高值規則，面對此處表示的偏差機制時是一個脆弱基準。

兩個 CUSUM 的比較更有資訊。Graph-CUSUM 把綜合壓力下的及時偵測點估計提高 4.4 個百分點，中位提前增加一秒；假警報增加 1.25 個百分點。偵測區間——graph-CUSUM 的 89.7–97.0% 與獨立 CUSUM 的 84.4–93.8%——互相重疊。謹慎摘要可以報告數值，但不應聲稱統計上決定性的優越性。

消融實驗揭示甚麼

建議方法不能只因捆綁了多個操作便獲得功勞。消融實驗獨立校準每個變體，再評估相同綜合壓力軌跡。

感測器漂移穩健度與 graph-CUSUM 消融。

左：正向感測器漂移增加時的健康假警報。右：移除共模修正或圖匯聚後的及時偵測。陰影線與標記形狀令比較不依賴顏色。

只有共模的變體達到 95.6% 及時偵測與 50 秒中位提前，但假警報升至 9.4%。只有圖結構的變體達到 94.4% 偵測及 7.5% 假警報，但中位提前降至 34 秒。完整方法則為 94.4%、6.25% 及 41 秒。

沒有一個組件在所有指標取勝。共模修正改變對共同運動的敏感度；鄰居匯聚改變局部證據取得信任的速度。完整設計只佔據其中一個取捨點，並非普遍最優。

漂移掃描再帶來一項警告。Graph-CUSUM 假警報由零漂移時的 3.1%，升至每秒 0.016 °C 時的 10.0%；獨立 CUSUM 在同一掃描保持約 4.4% 至 7.5%。圖方法仍維持很高故障偵測，卻不是對漂移不變。稱它為「不受漂移影響」會直接違反資料。

四項效度威脅

構念效度

終點是首個真實模擬溫度到達 60 °C。真實熱失控涉及電化學自熱、隔膜與電解質行為、壓力、氣體、排氣及快速傳播。本實驗量度的是相對自身邊界的早期預警，不是真實危險開始。

內部效度

偵測器閾值使用留出資料，種子亦固定，但模型方程與偵測器由同一專案設計。另一個熱代理可能偏好不同空間規則。正確下一步是獨立資料，而不是在同一生成器上再調整。

外部效度

單一 4 × 4 幾何不能代表圓柱、方形和軟包模組在冷卻板、匯流排、感測器位置、化學、老化、負載或控制策略上的差異。研究展示可重現機制，不代表可廣泛部署。

統計效度

每類別與條件有 160 條軌跡。Wilson 與 bootstrap 區間顯示其不確定性，但多項比較仍未解決。未來研究應預先註冊主要指標、定義等效或優越幅度，並按值得偵測的效應量選擇樣本數。

重現與編輯控制

ScienceProject 目錄是技術真實來源；run.py 重新產生機器可讀指標表、校準閾值、摘要和四張 SVG。公開網站只同步整理清單中 figures/publish/ 下列出的圖片。

本文維持人手撰寫。重新運行實驗可更新證據與核准圖片，不能覆寫解釋、限制或正文。這種分隔是刻意的：計算提供證據，編輯審查決定證據容許我們說甚麼。

來源與研究脈絡

熱代理由 Bernardi、Pawlikowski 與 Newman的電池能量平衡及 Guo 與 White的耦合電池組模型啟發。Li 等人以實驗討論基於溫度的預警及內、外部量度差異。序列累積器追溯至 Page 的原始 CUSUM 論文，圖表示則採用 Shuman 等人綜述的訊號處理視角。Finegan 等人代表診斷時間的實驗比較。

這些來源提供模型與評估問題的動機，沒有一項驗證本文數值；數值只來自專案的可重現合成基準。

結語

圖視角帶來一個有用想法：局部熱預警應得到熱量實際傳播鄰域的支持。在本基準中，面對漂移與丟失同時出現，這個想法相對獨立 CUSUM 溫和提高及時偵測，代價是小量假警報增加。它沒有消除漂移敏感度，在所有條件下亦沒有統計上決定性的優勢。

這是一個有用的中期結果：基準顯示適度取捨、配對基準、不確定性區間、消融與明確反證。合適的下一句不是「電池安全」，而是「這個構想仍須在並非用來設計代理的資料上測試」。