專案編輯概覽

局部很精準,為甚麼仍會找錯熱源?

局部資訊很好的熱源實驗,是否仍容許遙遠的替代解釋?當來源強度與擴散率未知,同預算的測點/時間設計有何差別?

可重現研究更新於 2026年10月25日
絕熱區間上的兩個替代鏡像熱脈衝假說,以及無法分辨兩者溫度歷史的中心測點。
反射區間內,來源位置 0.23 與 0.77 各代表一個替代的單次脈衝假說。中點溫度感測器在兩者下得到相同響應,局部參數導數卻仍可互相獨立。這是合成初始脈衝模型,不是兩個同時存在的熱源、真實火警實驗或現場感測可靠性保證。

很小的局部橢圓,也可能漏掉另一個解釋

反射區間中央的一支溫度計,分不清某位置的脈衝與其鏡像。熱核恆等式是精確的,但同一實驗的局部參數導數仍可互相獨立。這個專案以既有數學反例,分開局部精度與全局唯一,再研究如何更有效地分配有限讀數。

物理模型是一次初始脈衝,不是持續加熱器。強度位於[0.7,1.3]、位置[0.15,0.85]、擴散率[0.04,0.06];替代解釋可以使用不同nuisance值。主配置使用兩個不同而有標籤的感測器,在四個共同時間讀數,總數一直是八。對稱位置的帶標籤測點不自動失明,因為反射可能只是交換通道,而不是保持有序輸出不變。

比較實際測試了甚麼?

研究在每個啟動延遲枚舉1,925種配置,比較local D-optimal、local E-optimal、等間距、預先固定的中心+偏心控制、既有extended-E的離散對照,以及maximin分離。挑選設計只用凍結參數網格;64個離網格Sobol案例與配對噪聲另作有限基準,不視為來自真實熱棒母體的獨立樣本。

三個問題始終分開。高斯oracle在兩個完整指定的均值中分類;複合分類器在兩個可能位置下,剖面化未知強度與擴散率;連續反演則估計任意位置及兩個nuisance。較簡單的任務成功,不會自動建立較難任務的表現。

有條件的結果,不是預設優勝者

零延遲比較不支持「總是需要複雜全局設計」的故事:普通配置已避免宣告的大幅錯誤,主噪聲設定下,等間距的中位位置誤差最低。延遲令錯誤增加,但29與31次大幅錯誤之間的細小差異,不會包裝成普遍優勢。

所有有限估計、邊界解及不成功refinement紀錄都保留。八項連續區間審核另外檢查整個參數區域,保留五個正分離下界及三個零下界未決;全部未達理想估計器的充分5%錯誤目標。正的網格最小值不能認證連續分離,而充分界限沒有統計判別力,也不代表分類本身不可能。

閱讀《局部很精準,為甚麼仍會找錯熱源?》,了解推導、十幅勃艮地研究圖、同預算比較與推論限制。

主要結果

  • 中央感測器即使有三個正的局部三參數資訊特徵值,仍存在精確鏡像來源歧義。
  • 有限比較在每個dead time枚舉1,925種雙測點/四時刻配置,六種準則都不使用預留真值挑選設計。
  • 零延遲、噪聲0.05下,各方法2,048次反演都沒有大幅位置錯誤;等間距中位誤差0.00246372小於maximin的0.00311622。
  • 延遲四時,各2,048次的大幅錯誤計數為local D、local E及extended-E各31,等間距72,固定中心+偏心124,maximin 29。
  • 基準保留61,440次反演及92,160次複合決策,包括391個最終不成功反演狀態與902次不成功refinement嘗試。
  • 八項連續分離審核保留五個正下界、三個零下界未決;全部未能建立理想估計器的充分5%錯誤目標。

限制

  • 這是既有方法、模型特定的比較,不是新的普遍定理或最佳設計算法。
  • 參數範圍、正強度下限、位置分離尺度、已知脈衝時間與高斯噪聲都是重要假設。
  • 有限網格分離是連續最小值的上界;數值反演不是經認證的全局估計器。
  • 結果不建立真實火警、感測滯後、未知校準、相關噪聲或任意熱源模型的可靠性。