Muography Toolkit v0.2.6

天然缪子技术交互式工具包 · 物探科普 · 正反演教学 · 物理内核 · Reyna / Gaisser / Guan 修正 · 标准岩石能损 · MLEM / Tikhonov / SART

天然缪子成像是一类物探手段

地球物理勘探(物探)通过测量地下介质的物理场,反演地下结构。不同方法对不同物性敏感: 重力法测密度、磁法测磁化率、电法测电阻率、地震法测弹性模量…… 天然缪子成像 (muography) 加入了一个独特成员——它利用无处不在的宇宙射线 μ 子作为射线源, 通过测量 μ 子在地下物质中的吸收或散射,反演出密度分布。 与其他物探方法相比,它不需要人工激励源、穿透深度可达公里级、对大尺度密度差异敏感, 是名副其实的"绿色核技术"。

缪子技术与常见物探方法 · 快速对比

详细对比:测量物性 · 适用条件 · 优缺点

通用物探工作流(缪子成像也遵循同样的流程)

✦ 正演 (Forward Modeling)

已知地下结构 → 预测观测到什么信号。用于可行性评估(能不能看见?)、方案设计(测多久、几个点?)、反演初始化。

✦ 反演 (Inversion)

已知观测信号 → 推断地下结构。数学上是"病态问题":解不唯一、对噪声敏感。需要正则化(先验、平滑、稀疏约束)来稳定。

✦ 为什么缪子特别?

天然射线源零成本、穿透深(>1 km)、对大尺度密度差异敏感、绿色无污染。适用于大型矿体、火山、古建筑、反应堆等大尺度目标的无损勘查。

✦ 多方法联合

缪子反演可与重力、地震、电法等结果融合,在同一个地下模型上交叉约束,显著提高反演精度——这是近年来的研究热点。

真实地下密度编辑

这里模拟一条水平剖面(比如一段古城墙的横截面),密度可以通过下方按钮快速设置:
或直接在上方"真实"图上点击拖拽来画密度

正演参数(观测过程)

反演参数(算法)

对数滑动 (log₁₀ λ)

重建误差

RMSE (重建 vs 真实)
反问题为什么难? 正问题 y = K ρ(密度经模糊得到观测)是"前向的"、容易算; 逆问题 ρ = K⁻¹ y 在噪声存在时会剧烈放大误差——这就是"病态性"。 正则化的思想是:加一个"先验约束"(密度不要太大、不要太陡、不要太弯),牺牲一点拟合精度换来稳定的解。 试着把 λ 从极小调到极大,观察重建曲线从噪声主导精细匹配过度光滑的变化。

真实密度 ρ(x) (可直接拖拽编辑)

观测 y(x) = (K × ρ) + 噪声

反演重建 ρ̂(x) 对比 真实 ρ(x)

真实 ρ 重建 ρ̂

真实目标 (24×24 网格)

在"真实"图上左键画高密度,右键画低密度 (空洞)

探测器布置(多角度扫描)

将 α 调到 ≤ 90° 模拟有限角度问题(real-world muography 几何); 将 Nθ 增大到 ≥ Ngrid 可以让无噪声 SART 几次迭代就完全恢复真值

观测与反演

重建质量

RMSE (重建 vs 真实)
当前迭代
0
层析成像原理: 从多个角度"穿透"目标,每条射线记录的是沿途密度的线积分。 整组射线排成 Sinogram(投影图)。反演的任务是:给定 Sinogram,求出内部密度场。 SART (Simultaneous ART) 算法每次迭代用所有射线的残差同步更新图像,逐步让"投影差"趋零。
关键:欠定 vs. 适定。 当 Nθ · Nr < Ngrid2(576 for 24×24 grid), 问题欠定,即使无噪声、无穷多次迭代,SART 仍只能给出最小范数解而非真实模型 —— 这是数学决定的,不是算法 bug。把 Nθ 调到 24 以上、α 调到 180° 即可看到 RMSE→0。
实验:①把 α 降到 60° → "有限角度问题",沿缺失方向的结构拉伸畸变; ②减小 Nθ 到 4 → 欠采样、出现条纹伪影(Streak artifacts);③加大噪声 → 高频噪声被放大。

① 成像结果对比

真实密度 ρ左键高密 / 右键空洞

高密度 背景 空洞

反演重建 ρ̂ SART 输出

成像越接近左图、残差越小,反演效果越好

残差 |ρ̂ − ρ| 颜色越深误差越大

用于定位重建失败的区域(伪影、拉伸畸变)

② 观测数据:Sinogram(射线投影图)

← 射线位置(探测器阵列索引)
投影方向 →
θ ∈ [−90°, +90°]
每一列对应一个投影方向(探测器所在边);每一行对应该方向上一条射线的线积分值。 颜色:蓝=正投影(穿过高密区)、红=负投影(穿过空洞)。 这就是反演算法的输入。

RMSE 收敛曲线

迭代 RMSE 单调下降说明 SART 正在逼近真解;曲线平台期说明已达分辨极限。

参数控制

《天然缪子技术》2.2 节推荐 Guan 修正:全天顶角 + 低能段适用

关键指标

垂直积分通量 (E>1GeV)
cm⁻²s⁻¹sr⁻¹
当前 θ 积分通量
cm⁻²s⁻¹sr⁻¹

微分能谱 dN / dE dΩ

多天顶角对比,双对数坐标

天顶角分布(Φ(E>1GeV) 积分)

可验证 I(θ) ∝ cos²θ 规律

岩石 & 几何

柱密度 X = ρ·L = g/cm²
穿透阈值 E_min = GeV
CSDA 射程 R(1 TeV) = g/cm²

透射率

T = Φ(>E_min) / Φ(>0.1 GeV)

能损 dE/dX = a + bE

标准岩石:a ≈ 2.0 MeV/(g/cm²),b ≈ 4.4×10⁻⁶ /(g/cm²)

透射率 vs 柱密度

① 目标几何

μ 子从大气中各个方向射下,穿过目标后被探测器接收

② 探测器位置

▼ 探测器—目标俯视示意

③ 数据采集

④ 统计预算

穿透像素平均事件数 ⟨N⟩
相对统计误差 σ_N / ⟨N⟩
σ/N = 1/√N。要分辨 1% 的密度对比,通常需要 σ/N 低于 0.5–1%
这个模块在做什么? 天然 μ 子从大气各方向射下,穿过大目标(金字塔/火山)后剩余通量由柱密度 X = ρL(沿视线的密度 × 几何长度,单位 g/cm²)决定: N(β,α) ∝ Φ₀(θ)·T(X)T 是对能谱积分的透射率。
三张图各是什么:柱密度 X(β,α):沿视线穿过目标的"物质量"——几何图,与探测器无关;改变场景/方位角可看到目标"侧影"改变。 ② 透射率 T(β,α)X 经过 μ 子能损曲线 + 通量加权得到的观测量。 ③ 预期事件数 N(β,α):再乘上 A·T_obs·dΩ·Φ₀(θ),给出"这个像素大约能收几个 μ 子",直接决定 σ/N。
几何直觉:调大水平距离 d → 目标在图上变小、中心下移(探测器视线变平);抬高高度 h → 目标在图上下移(看得更"平");改变 φ₀ → 从不同侧面看,金字塔四面对称、火山锥本身轴对称。

① 柱密度 X(β,α) 几何量,与探测器无关

② 透射率 T(β,α) 观测量 = 物理内核输出

T 高 T 低

③ 预期事件数 N(β,α) = A·T_obs·Φ(>Emin)·dΩ

N 多 N 少

中线扫描(α=0 处 T 与 X 随 β 的变化)

透射率 T 凹陷处对应柱密度 X 峰值——即目标内部"最厚"方向。双 y 轴:左 T、右 X(g/cm²)

误差传递分析工具

通量测量柱密度/等效长度换算反演重建,每一环节都贡献不同来源的不确定度。 本模块交互式地把每个环节拆开、量化,并以 RSS(方差和开方)给出总相对误差, 帮助你在实验设计阶段就知道"把钱花在哪里"最有效。参考《天然缪子技术》2026 第 4.7 节。

误差传递(不确定度传递)分析

—— 从通量测量到反演成像的系统误差梳理

1 引言

用户比较关心缪子(muon)的成像精度,关心缪子成像的上下限到底是多少。事实上这个问题很难一概而论, 需要针对具体问题、具体场景具体分析。即便如此,我们仍可以从一个共同的出发点入手 —— 即误差传递 —— 系统地梳理各环节的不确定度如何汇入最终的成像结果。 这样做的意义有两方面:(1)为不同实验条件下的精度估算提供一个统一的框架; (2)为实验设计与后续数据处理优化指出优先级,帮助判断哪些环节是主导误差源、值得投入更多资源去压制, 哪些环节的改进只是锦上添花。

常规来说,按来源划分,误差可以分为统计误差系统误差两大类。 统计误差是由测量过程的随机性引起的、围绕真值上下波动的误差。对于缪子计数这种本质上服从泊松过程 (Poisson process) 的测量, 统计误差的大小直接由计数数量决定。 系统误差则是系统中存在的、测量结果与真值之间的固定偏移或倾向性偏差; 这种误差通常不会随测量时间增加而消除,需要通过更精确的建模、更精准的刻度与更合理的分析方法来压制。

在缪子成像中,统计误差一般通过增加测量时间、增大探测面积、提高探测效率等手段来降低; 而系统误差则要通过更准确的建模、更精确的仪器、更精准的方法等手段来压低。 统计误差的传递比较简单(第 2 节),我们更需要深入探讨的是系统误差的传递(第 3 节)。

2 统计误差的传递

设某方位 bin 内的缪子计数为 N,则该 bin 的相对统计不确定度为 σN / N = 1 / √N。 计数 N 与通量 Φ、有效面积 A、立体角 ΔΩ、探测效率 ε 以及测量时间 T 的关系近似为 N ≈ Φ · A · ε · ΔΩ · T

因此,要减小某方向上的相对统计不确定度,可以(1)延长测量时间 T;(2)增大探测面积 A; (3)提高探测效率 ε;(4)适当放大方位 bin 对应的立体角 ΔΩ。 前三者只影响统计误差本身,而扩大立体角 bin 虽然能压制统计涨落,但会同时牺牲角分辨、引入新的系统效应(见 3.3 节关于"几何代表性"的讨论)。 这本身就是缪子成像实验设计中的一个基本权衡。

当统计误差已足够小(例如相对不确定度 < 1%)时,最终成像精度便由系统误差主导。 换句话说,成像精度的上限由系统误差决定,下限由统计误差决定; 压制统计误差能让我们"看见"系统误差,而压制系统误差才能让缪子成像真正接近其理论精度。

3 系统误差传递的各个环节

下面我们从数据处理的各个环节定性地探讨系统误差的传递。整体流程依次为: 缪子方位通量的测量 → 通量到等效长度(或不透明度)的转换 → 反演算法得到密度分布或目标结构。 每一环节的残余系统误差最终都会汇入成像结果。

3.1 通量测量

缪子方位通量来自于缪子探测器对缪子方向的测量,即记录在各个方向上的缪子计数,再除以有效面积、立体角与时间得到微分通量。 根据是否需要知道通量的绝对数值,测量方法可分为绝对测量相对测量两种途径。

3.1.1 绝对测量途径。 探测器效率、几何接受度、空间不均匀度都必须修正掉,才能获得接近"真实值"的通量。这些修正本身带有不确定度,会直接传递到通量中。常见三项: 探测效率 ε 的修正(随径迹倾角、位置与触发电子学阈值变化); 几何接受度 A·ΔΩ 的计算(依赖板间距、条宽、死区建模与径迹重建几何,对大天顶角尤其敏感); 空间不均匀度与时间稳定度(子单元效率不一致、长期漂移未被持续监测时会引入不易察觉的相对偏差)。

3.1.2 相对测量途径。 使用计数比值(存活率)T(θ,φ)=N目标/N参考。许多乘性因子(ε、A 等)一级效应自动抵消 —— 这是相对测量相比绝对测量的一大优势。 但大气压强修正(近水平方向尤其明显)、温度修正(平流层温度影响 π/K 衰变,季节性偏差主要来源)、 太阳活动调制(11 年周期,跨年度测量不可忽略)、探测器长期漂移(分子分母不在同一时间窗时残留为系统偏差)需单独修正。

3.1.3 以"空测方向"作为基准的动态修正。 以麦积山石窟测量为例,在石窟中的探测器有部分角度方向并未穿过山体, 其通量仅受环境(气压、温度、太阳活动)影响而与待测目标无关。这些方向的时间序列可作为动态基准, 把环境调制实时折算出来:Φcorr(θ,φ,t) = Φmeas(θ,φ,t) / fenv(t)。 压力、温度、太阳活动等所有共模影响被一揽子消化,对长周期、多季节的动态测量尤其有价值。

3.2 通量到等效长度的转换

获得方向通量后,下一步是将其转换为目标沿该方向的等效长度(或不透明度 ρL,单位 g/cm²)。这是系统误差的集中环节

3.2.1 源项:海平面缪子能谱模型。 不同参数化模型在低能段(<10 GeV)、大天顶角、高能尾部均存在差异。 由于最终的透射率 T(ρL) 对源项形状非常敏感,源项差异会以乘性或形状偏差形式直接进入密度反演。 推荐:(1)至少用两种以上源项模型分别反演,报告差异作为模型系统误差; (2)有条件时用已知结构(标定块/已知厚度建筑物)做原位校准,固定源项绝对标度。

3.2.2 输运模型方法。 Geant4 / PUMAS / MUSIC 等蒙卡本身就是误差源。包括: 物理过程截面不确定度(Bethe–Bloch 电离能损、对产生、轫致辐射、核相互作用截面在不同能段精度各异); 介质建模(目标元素组成 Z/A 与典型密度需先验估计,真实组成偏离时给出系统性偏差); 模拟统计精度(粗糙模拟会造成反演震荡伪影)。

3.2.3 最小能量方法。 假设只有 E > Emin 的 μ 子能穿过目标,把通量比值换算为不透明度。 但 Emin 的拟合所用实验数据对应的等效长度本身是在假设密度已知的情况下得到的 —— 一旦真实密度偏离假设、 或目标密度不均匀,拟合出的 Emin 就不再严格对应真实能量截止阈值。在未知结构上盲目套用须谨慎。 改进思路:能量相关透射函数(替代硬截止)、分段拟合或 ML 训练响应曲线、与输运模型做一致性检查。

3.3 反演算法

最后一步是将各方向的等效长度反演为目标的三维密度分布。误差来源大致归为四类:

3.3.1 体素大小划分。 体素越小分辨率越高,但每条径迹穿过的体素数增加、未知量数目指数上升,反演问题更欠定; 体素过大则丢失细节,甚至将一个空洞和周围高密度介质平均成"看不出异常"的中等密度。需结合探测器角分辨、统计量和目标特征尺度综合确定。

3.3.2 地形数据精度。 目标外表面由 DEM/mesh 给出,地形精度直接决定每条径迹在每个体素内的真实几何长度。 DEM 误差以乘性方式进入系数矩阵的每一行,难以在反演时被自适应修正。

3.3.3 几何长度的代表性。 每个 bin 转化的等效长度被视作中心角度的长度。 当 bin 内几何特征变化剧烈(覆盖较大 θ 范围、跨越山脊/洞口等几何奇点),中心角度与"平均代表性角度"出现明显差距, 这种差距以系统性偏差形式渗入到 A 矩阵的每一行系数中。 改进策略:bin 进一步细分;用 bin 内径迹的实际几何长度分布代替单点取样; 在结果中将此类 bin 单独标记,报告保守的局部误差带。

3.3.4 反演方法的多样性。 即使排除前述所有误差,不同反演方法仍会给出不同结果 —— 这是因为未知量数量通常远远大于已知量,反演本质上是多解、欠定的逆问题, 必须借助正则化或先验约束才能得到唯一解。常见方法: 直接代数反演 / 最小二乘 (LSQ)(解析最简单但对噪声/几何缺陷敏感、易产生条纹伪影); Tikhonov (L2)(抑制高频噪声但过度平滑边界); 稀疏 / 全变差 (L1/TV)(适合块状异常如空洞,但低估缓变结构幅度); 贝叶斯 / MCMC(给出后验概率,计算代价高,依赖先验); 深度学习反演(非线性重建能力强,但对训练集外情况泛化性需谨慎评估)。 提示: 本工具包"2D 层析演示"标签页中可直接观察 SART 在不同 Nθ、扫描跨度下的欠定/适定行为。

4 小结:误差清单与优化策略

实际工程中,成像精度的优化应当以主导误差为抓手:先通过量级估算识别当前项目中的主导误差源,再针对性投入资源。 一个常见的误区是盲目追求更精细的体素或更长的测量时间 —— 实际上当误差瓶颈在源项模型或 DEM 精度时,这些投入收益有限。

下方嵌入的交互式误差传递计算器提供了上述四个环节(统计误差 / 通量测量 / 通量→等效长度 / 反演算法)的实时计算。 用户可调整实验参数,观察各误差源对最终成像精度的贡献。建议结合本文分析一并使用。

关于本工具包

Muography Toolkit 是面向 天然缪子成像 科研与科普的交互式 web 工具包。 定位:在开展 Geant4 / FLUKA 详细模拟前,快速获得通量、柱密度、观测时间、 统计精度、反演效果的数量级估计,并帮助非专业人员理解缪子成像作为一类物探手段的基本思想。

模块构成

物理模型参考

路线图

  1. PoCA 散射成像前向模型 (MST)
  2. DEM / STL 真实地形导入,体素化柱密度积分
  3. 团队原创"Seed 种子算法"作为 2D 反演选项
  4. 探测器响应插件(三棱柱塑闪 LUMIS / CORMIS 默认配置)
  5. GMAP 平台数据格式导入/导出钩子
  6. 打包 Python 包 pyMuToolkit,本 web UI 作前端

术语(遵循《天然缪子技术》2.5 节)