第9章:3D扩散模型

扩散模型(Diffusion Models)已经在2D图像生成领域取得了革命性突破,而将这一强大的生成范式扩展到3D领域正成为当前研究的热点。本章将深入探讨3D扩散模型的理论基础、各种3D表示方法的选择、以及最新的研究成果和实践应用。我们将从DDPM的数学原理出发,逐步过渡到3D数据的特殊挑战,并详细分析Point-E、Shap-E、Zero123、SV3D等代表性工作,为读者建立完整的3D生成模型知识体系。

9.1 扩散模型基础理论

9.1.1 前向扩散过程

扩散模型的核心思想是通过逐步添加高斯噪声将数据分布转换为标准高斯分布,然后学习反向过程来生成新样本。前向扩散过程定义为:

$$q(x_t|x_{t-1}) = \mathcal{N}(x_t; \sqrt{1-\beta_t}x_{t-1}, \beta_t I)$$ 其中 $\beta_t$ 是预定义的噪声调度(noise schedule),控制每一步添加噪声的强度。通过重参数化技巧,我们可以直接从 $x_0$ 采样 $x_t$: $$x_t = \sqrt{\bar{\alpha}_t}x_0 + \sqrt{1-\bar{\alpha}_t}\epsilon$$ 这里 $\bar{\alpha}_t = \prod_{i=1}^t (1-\beta_i)$,$\epsilon \sim \mathcal{N}(0, I)$。

9.1.2 反向去噪过程

反向过程通过神经网络学习条件分布 $p_\theta(x_{t-1}|x_t)$: $$p_\theta(x_{t-1}|x_t) = \mathcal{N}(x_{t-1}; \mu_\theta(x_t, t), \Sigma_\theta(x_t, t))$$ 训练目标是最小化变分下界(ELBO),在实践中通常简化为噪声预测任务: $$\mathcal{L}_{\text{simple}} = \mathbb{E}_{t,x_0,\epsilon} \left[ |\epsilon - \epsilon_\theta(x_t, t)|^2 \right]$$

9.1.3 条件生成与引导

为了实现可控生成,我们需要引入条件信息 $c$(如文本、图像或类别标签)。分类器引导(Classifier Guidance)通过梯度修正采样方向: $$\nabla_{x_t} \log p(x_t|c) = \nabla_{x_t} \log p(x_t) + \nabla_{x_t} \log p(c|x_t)$$ 无分类器引导(Classifier-Free Guidance)则通过联合训练条件和无条件模型: $$\epsilon_\theta(x_t, t, c) = (1+w)\epsilon_\theta(x_t, t, c) - w\epsilon_\theta(x_t, t, \emptyset)$$ 其中 $w$ 是引导强度,$\emptyset$ 表示空条件。

9.1.4 采样算法优化

DDPM的原始采样过程需要上千步迭代,计算开销巨大。DDIM(Denoising Diffusion Implicit Models)通过确定性采样大幅减少步数: $$x_{t-1} = \sqrt{\bar{\alpha}_{t-1}} \left( \frac{x_t - \sqrt{1-\bar{\alpha}_t}\epsilon_\theta(x_t, t)}{\sqrt{\bar{\alpha}_t}} \right) + \sqrt{1-\bar{\alpha}_{t-1}-\sigma_t^2}\epsilon_\theta(x_t, t)$$ 当 $\sigma_t = 0$ 时,采样过程变为确定性的,允许更少的采样步数(通常50-100步)。

9.2 3D数据表示:点云、体素、SDF、三平面

9.2.1 点云表示

点云是最直接的3D表示,由无序的3D坐标集合 $\{p_i \in \mathbb{R}^3\}_{i=1}^N$ 组成。在扩散模型中处理点云的关键挑战:

置换不变性:点云本质上是无序的,需要使用PointNet、DGCNN等置换不变架构。扩散过程可以表示为: $$x_t^{(i)} = \sqrt{\bar{\alpha}_t}x_0^{(i)} + \sqrt{1-\bar{\alpha}_t}\epsilon^{(i)}, \quad i=1,\ldots,N$$ 变长处理:不同物体的点数可能不同。常见策略包括:

  • 固定点数采样/填充
  • 层次化表示(如PointNet++)
  • 使用注意力机制处理变长序列

局部结构保持:点云的局部几何结构在扩散过程中容易被破坏。解决方案:

  • 使用图神经网络建模局部邻域
  • 在潜在空间进行扩散(如Point-E)

9.2.2 体素表示

体素将3D空间离散化为规则网格 $V \in \{0,1\}^{D \times H \times W}$ 或 $V \in \mathbb{R}^{D \times H \times W}$:

优势

  • 可直接应用3D卷积
  • 空间关系明确
  • 易于处理拓扑变化

挑战与解决方案

  • 内存消耗:$O(n^3)$ 复杂度。使用稀疏表示(OctTree)或多分辨率
  • 表面细节:低分辨率下细节丢失。结合超分辨率或隐式表示
  • 空洞问题:内部体素难以约束。使用表面体素或SDF表示

9.2.3 符号距离函数(SDF)

SDF定义为空间中每点到最近表面的带符号距离: $$\text{SDF}(p) = \begin{cases} -d(p, \partial\Omega) & p \in \Omega \\ +d(p, \partial\Omega) & p \notin \Omega \end{cases}$$ 在扩散模型中的应用

  • 连续表示,可在任意分辨率采样
  • 零水平集 $\{p: \text{SDF}(p) = 0\}$ 定义表面
  • 梯度 $\nabla \text{SDF}$ 给出表面法线

神经隐式表示: 使用MLP网络 $f_\theta: \mathbb{R}^3 \rightarrow \mathbb{R}$ 表示SDF,扩散过程作用于网络参数或潜在编码: $$\theta_t = \sqrt{\bar{\alpha}_t}\theta_0 + \sqrt{1-\bar{\alpha}_t}\epsilon$$

9.2.4 三平面表示(Tri-plane)

三平面将3D特征投影到三个正交平面 $F_{xy}, F_{xz}, F_{yz} \in \mathbb{R}^{H \times W \times C}$:

对于查询点 p = (x, y, z):

1. 投影到三个平面:p_xy = (x,y), p_xz = (x,z), p_yz = (y,z)
2. 双线性插值获取特征:f_xy = interp(F_xy, p_xy)
3. 聚合特征:f(p) = f_xy ⊕ f_xz ⊕ f_yz
4. 解码为密度/颜色:(σ, c) = MLP(f(p))

优势

  • 内存效率:$O(n^2)$ vs 体素的 $O(n^3)$
  • 保持空间连续性
  • 易于与2D卷积网络集成

在扩散模型中的应用

  • EG3D风格:在三平面特征上进行扩散
  • 混合表示:结合全局潜在码和局部三平面特征

9.3 Point-E、Shap-E与OpenLRM

9.3.1 Point-E:文本到点云生成

Point-E是OpenAI提出的两阶段生成系统:

第一阶段:文本到图像 使用GLIDE模型生成条件图像: $$I = \text{GLIDE}(\text{prompt})$$ 第二阶段:图像到点云 条件扩散模型生成点云:

  1. 编码器提取图像特征:$z_{\text{img}} = E_{\text{img}}(I)$
  2. 点云扩散过程: $$p_\theta(x_{t-1}|x_t, z_{\text{img}}) = \mathcal{N}(x_{t-1}; \mu_\theta(x_t, t, z_{\text{img}}), \sigma_t^2 I)$$ 架构设计
  • Transformer backbone处理点云
  • 交叉注意力融合图像条件
  • 位置编码增强空间感知

关键创新

  • 使用潜在点云表示降低维度
  • 分层生成:先生成粗糙形状,再细化
  • 辅助任务(颜色预测)改善几何质量

9.3.2 Shap-E:直接生成神经辐射场

Shap-E扩展Point-E,直接生成隐式神经表示:

神经场参数化: 生成MLP参数 $\theta$ 表示SDF和颜色场: $$f_\theta: \mathbb{R}^3 \rightarrow (\text{SDF}, \text{RGB})$$ 两种训练模式

  1. 潜在扩散:在预训练的自编码器潜在空间进行 - 编码器:3D形状 → 潜在码 $z$ - 解码器:$z$ → 神经场参数 $\theta$ - 扩散模型:在 $z$ 空间操作

  2. 直接参数扩散:直接在MLP权重空间扩散 - 挑战:高维、非欧几里得空间 - 解决:使用超网络(HyperNetwork)生成

多模态条件

  • 文本条件:CLIP编码
  • 图像条件:视觉Transformer
  • 联合训练实现灵活控制

9.3.3 OpenLRM:大规模重建模型

OpenLRM(Large Reconstruction Model)采用自回归范式:

架构概述

输入图像 → ViT编码 → 交叉注意力 → 三平面Token生成 → 3D重建

关键组件

  1. 图像编码器: - 使用预训练的DINOv2或CLIP - 多尺度特征提取 - 相机参数编码

  2. 三平面生成器: - 将三平面离散化为token序列 - 使用因果Transformer自回归生成 - VQ-VAE量化减少序列长度

  3. 几何解码器: - 从三平面特征查询点的属性 - 轻量级MLP解码SDF/占用率 - 可微渲染用于端到端训练

训练策略

  • 大规模数据集(Objaverse)
  • 渐进式训练:低分辨率→高分辨率
  • 混合监督:图像重建+几何约束

推理优化

  • KV-cache加速自回归
  • 并行解码多个平面
  • 后处理:Marching Cubes提取mesh

9.4 SV3D:单图到多视图生成

9.4.1 核心思想与动机

SV3D(Stable Video 3D)将视频扩散模型适配到多视图生成:

问题定义: 给定单张图像 $I_0$ 和相机轨迹 $\{K_i, R_i, t_i\}_{i=1}^N$,生成一致的多视图图像 $\{I_i\}_{i=1}^N$。

为什么基于视频模型

  • 视频模型已经学习了时间一致性
  • 轨道运动类似相机运动
  • 可以利用预训练的大规模视频模型

9.4.2 模型架构

条件编码

  1. 图像条件:参考图像通过VAE编码
  2. 相机条件: - 方位角和仰角:$(\theta, \phi)$ - 相机内参归一化:$K' = K / f$ - 正弦位置编码:$\gamma(\theta) = [\sin(2^i\theta), \cos(2^i\theta)]$

时空注意力机制

空间自注意力:处理单帧内的空间关系
时间自注意力:保持多视图一致性
交叉注意力:融合条件信息

轨道采样策略

  • 训练时:随机采样轨道参数
  • 推理时:预定义轨道(如环绕、螺旋)
  • 轨道平滑:贝塞尔曲线插值

9.4.3 训练方法

数据准备

  1. 3D数据渲染:从3D模型渲染多视图
  2. 真实视频提取:使用COLMAP重建相机
  3. 合成数据增强:域随机化提高泛化

损失函数: $$\mathcal{L} = \mathbb{E}_{t,\epsilon,c} \left[ |\epsilon - \epsilon_\theta(x_t, t, c)|^2 + \lambda_{\text{temp}} \mathcal{L}_{\text{temporal}} + \lambda_{\text{cam}} \mathcal{L}_{\text{camera}} \right]$$ 其中:

  • $\mathcal{L}_{\text{temporal}}$:时间一致性损失
  • $\mathcal{L}_{\text{camera}}$:相机参数预测辅助任务

两阶段训练

  1. 静态阶段:固定视频模型权重,只训练相机条件模块
  2. 联合微调:解冻所有参数,端到端优化

9.4.4 推理与后处理

多视图生成pipeline

  1. 输入预处理:背景移除、中心裁剪
  2. 轨道生成:根据物体类型选择合适轨道
  3. 批次推理:分块生成避免内存溢出
  4. 后处理: - 颜色校正:直方图匹配 - 边界混合:泊松融合 - 超分辨率:Real-ESRGAN

3D重建: 生成的多视图可以通过以下方法重建3D:

  • NeuS/VolSDF:神经隐式曲面
  • 3D Gaussian Splatting:快速重建
  • MVS pipeline:传统多视图立体

9.5 Zero123系列与多视图扩散

9.5.1 Zero123:单视图到新视图合成

核心贡献: 将Stable Diffusion适配为几何感知的视图合成模型。

相机参数化: 相对相机变换表示为: $$\Delta = (R_{\text{rel}}, t_{\text{rel}}) = (R_2 R_1^{-1}, t_2 - R_2 R_1^{-1} t_1)$$ 编码为6D向量:$[\Delta\theta, \Delta\phi, \Delta\psi, \Delta x, \Delta y, \Delta z]$

条件注入机制

  1. 图像条件:通过交叉注意力
  2. 相机条件: - 方案A:拼接到时间步嵌入 - 方案B:独立MLP处理后相加 - 方案C:FiLM调制(推荐)

训练细节

  • 数据集:Objaverse渲染的多视图对
  • 分辨率:256×256(Zero123)→ 512×512(Zero123-XL)
  • 噪声调度:线性→余弦调度提升质量

9.5.2 Zero123++:一致性多视图生成

动机: Zero123生成的多视图存在不一致性,需要全局优化。

解决方案: 同时生成6个正交视图(前后左右上下): $$\{I_{\text{front}}, I_{\text{back}}, I_{\text{left}}, I_{\text{right}}, I_{\text{top}}, I_{\text{bottom}}\} = G_\theta(I_{\text{input}}, \text{poses})$$ 架构改进

  1. 共享backbone:所有视图共享特征提取
  2. 视图间注意力
# 伪代码
for view_i in views:
    attn_out = MultiHeadAttention(
        Q=view_i, 
        K=concat(all_views), 
        V=concat(all_views)
    )
  1. 全局一致性约束:极线约束、深度一致性

9.5.3 MVDream:多视图扩散

创新点: 将文本到图像扩散模型扩展为文本到多视图模型。

多视图U-Net

输入:4视图拼接 [B, 4, C, H, W]
处理流程:

1. 独立编码每个视图
2. 3D感知注意力层(每3个2D层后插入)
3. 联合解码保持一致性

3D感知注意力: 将像素位置提升到3D:

  1. 反投影到相机坐标系
  2. 转换到世界坐标系
  3. 3D位置编码
  4. 基于3D距离的注意力权重

训练策略

  • 预训练:2D扩散模型初始化
  • 多阶段:逐步增加视图数量
  • 课程学习:简单→复杂物体

9.5.4 一致性保证机制

极线约束: 对应点必须满足: $$p_2^T F p_1 = 0$$ 其中 $F$ 是基础矩阵。

深度一致性: 通过可微渲染约束深度图: $$D_i = \text{render}(G, K_i, R_i, t_i)$$ 循环一致性: $$I_j = G(I_i, \Delta_{i→j}), \quad I_i = G(I_j, \Delta_{j→i})$$

9.6 高级话题

9.6.1 Score Distillation与DreamFusion

Score Distillation Sampling (SDS): 使用2D扩散模型指导3D优化: $$\nabla_\theta \mathcal{L}_{\text{SDS}} = \mathbb{E}_{t,\epsilon} \left[ w(t) (\epsilon_\phi(x_t, t, y) - \epsilon) \frac{\partial x}{\partial \theta} \right]$$ 其中:

  • $\theta$:3D表示参数(如NeRF)
  • $x = g(\theta)$:渲染图像
  • $\epsilon_\phi$:预训练的2D扩散模型

DreamFusion pipeline

  1. 初始化NeRF或mesh
  2. 随机采样相机视角
  3. 渲染当前3D表示
  4. 计算SDS梯度
  5. 更新3D参数

改进方向

  • Variational Score Distillation (VSD):减少过饱和
  • Interval Score Matching (ISM):提高收敛速度
  • 多分辨率优化:coarse-to-fine策略

9.6.2 可控3D生成

语义控制

  • Part-level编辑:分割mask指导
  • 属性控制:材质、颜色、风格
  • 结构编辑:skeleton、cage变形

物理约束

  • 稳定性:重心、支撑分析
  • 可制造性:最小厚度、悬垂角
  • 功能性:关节、运动约束

交互式生成

# 伪代码:交互式编辑循环
while not satisfied:
    mesh = generate(prompt, constraints)
    feedback = user_interaction(mesh)
    constraints = update_constraints(feedback)
    prompt = refine_prompt(feedback)

9.6.3 大规模3D生成

数据并行训练

  • 模型分片:将大模型分布到多GPU
  • 梯度累积:模拟大batch size
  • 混合精度:FP16/BF16加速

高效推理

  • 模型量化:INT8/INT4
  • 知识蒸馏:学生模型
  • 稀疏化:动态计算图

质量 vs 速度权衡: |方法|质量|速度|内存|

方法 质量 速度 内存
完整扩散
Few-step (DDIM)
Latent扩散 中高
蒸馏模型 很快

9.6.4 评估指标

几何质量

  • Chamfer Distance:点云距离
  • F-Score:精确率和召回率
  • Normal Consistency:法线一致性

视觉质量

  • FID/KID:分布距离
  • LPIPS:感知相似度
  • CLIP Score:语义一致性

多视图一致性

  • Epipolar Error:极线误差
  • Rotation Consistency:旋转一致性
  • Depth RMSE:深度误差

本章小结

本章系统介绍了3D扩散模型的理论基础和实践应用:

  1. 扩散模型基础:从DDPM的数学原理出发,理解前向扩散和反向去噪过程,掌握条件生成和采样优化技术

  2. 3D表示选择:不同的3D表示(点云、体素、SDF、三平面)各有优劣,选择合适的表示对模型性能至关重要

  3. 代表性工作: - Point-E/Shap-E:OpenAI的渐进式方案 - SV3D:利用视频模型的多视图生成 - Zero123系列:单视图到新视图的几何感知合成 - MVDream:文本直接生成多视图

  4. 关键技术: - Score Distillation:2D指导3D的桥梁 - 一致性保证:极线、深度、循环约束 - 可控生成:语义、物理、交互控制

  5. 未来方向: - 更高质量:接近产品级别 - 更快速度:实时生成 - 更好控制:精确编辑 - 更大规模:十亿参数模型

关键公式回顾:

  • 扩散前向过程:$x_t = \sqrt{\bar{\alpha}_t}x_0 + \sqrt{1-\bar{\alpha}_t}\epsilon$
  • 简化训练目标:$\mathcal{L} = \mathbb{E}[|\epsilon - \epsilon_\theta(x_t, t)|^2]$
  • SDS损失:$\nabla_\theta \mathcal{L}_{\text{SDS}} = \mathbb{E}[w(t)(\epsilon_\phi - \epsilon)\frac{\partial x}{\partial \theta}]$

练习题

基础题

练习9.1:扩散过程理解 给定噪声调度 $\beta_t = 0.0001 + \frac{t}{T}(0.02 - 0.0001)$,其中 $T=1000$: a) 计算 $t=500$ 时的 $\bar{\alpha}_{500}$ b) 如果原始数据 $x_0 = [1.0, 0.5, -0.3]$,计算 $x_{500}$ 的分布 c) 解释为什么选择递增的噪声调度

Hint: $\bar{\alpha}_t = \prod_{i=1}^t (1-\beta_i)$,注意对数变换可以简化计算。

答案

a) 首先计算每步的 $\beta_i$:

  • $\beta_i = 0.0001 + \frac{i}{1000}(0.02 - 0.0001) = 0.0001 + 0.0000199i$
  • $\alpha_i = 1 - \beta_i$
  • $\bar{\alpha}_{500} = \prod_{i=1}^{500} \alpha_i$

使用对数:$\log \bar{\alpha}_{500} = \sum_{i=1}^{500} \log(1-\beta_i)$

近似计算(当$\beta_i$很小):$\log(1-\beta_i) \approx -\beta_i$

因此:$\log \bar{\alpha}_{500} \approx -\sum_{i=1}^{500} \beta_i = -[0.0001 \times 500 + 0.0000199 \times \frac{500 \times 501}{2}]$

$\log \bar{\alpha}_{500} \approx -2.54$,所以 $\bar{\alpha}_{500} \approx 0.079$

b) $x_{500} \sim \mathcal{N}(\sqrt{0.079} \cdot x_0, (1-0.079) \cdot I)$

  • 均值:$\mu = 0.281 \times [1.0, 0.5, -0.3] = [0.281, 0.141, -0.084]$
  • 方差:$\sigma^2 = 0.921$

c) 递增的噪声调度确保:

  • 初期保留更多原始信息,便于学习大尺度结构
  • 后期加速收敛到纯噪声分布
  • 平衡生成质量和采样效率

练习9.2:3D表示转换 设计算法将1024个点的点云转换为 $32^3$ 的体素网格: a) 描述基本的体素化流程 b) 如何处理多个点落入同一体素的情况? c) 如何从体素网格提取表面点云?

Hint: 考虑占用率、密度平均、最近邻等策略。

答案

a) 基本体素化流程:

  1. 计算点云包围盒:$[x_{min}, x_{max}] \times [y_{min}, y_{max}] \times [z_{min}, z_{max}]$
  2. 计算体素大小:$\Delta = \max(x_{max}-x_{min}, y_{max}-y_{min}, z_{max}-z_{min}) / 32$
  3. 对每个点 $p_i$,计算体素索引:
    • $idx_x = \lfloor (p_i.x - x_{min}) / \Delta \rfloor$
    • $idx_y = \lfloor (p_i.y - y_{min}) / \Delta \rfloor$
    • $idx_z = \lfloor (p_i.z - z_{min}) / \Delta \rfloor$
  4. 设置 $V[idx_x, idx_y, idx_z] = 1$(二值)或累加(密度)

b) 多点处理策略:

  • 二值占用:只要有点就设为1
  • 密度累加:计数或归一化密度
  • 特征平均:如果点带有特征(颜色、法线),取平均
  • 最近中心:保留最接近体素中心的点的属性

c) 表面提取:

  1. 边界体素法:找出所有与空体素相邻的占用体素
  2. Marching Cubes:对于密度场,提取等值面
  3. 形态学操作:腐蚀后的差集得到表面体素
  4. 将表面体素中心作为点云坐标,可选加入随机扰动

练习9.3:条件扩散模型 实现一个简化的类别条件扩散模型训练循环(伪代码): a) 如何在训练中随机丢弃条件(dropout)? b) 推理时如何使用Classifier-Free Guidance? c) 引导强度 $w$ 对生成结果有什么影响?

Hint: 考虑条件dropout概率通常设为0.1。

答案

a) 训练循环伪代码:

def train_step(x_0, class_label, dropout_prob=0.1):
    # 随机时间步
    t = random.randint(1, T)

    # 添加噪声
    epsilon = randn_like(x_0)
    x_t = sqrt(alpha_bar[t]) * x_0 + sqrt(1 - alpha_bar[t]) * epsilon

    # 条件dropout
    if random.random() < dropout_prob:
        condition = null_token  # 使用特殊的空条件标记
    else:
        condition = class_embedding[class_label]

    # 预测噪声
    epsilon_pred = model(x_t, t, condition)

    # 计算损失
    loss = MSE(epsilon_pred, epsilon)
    return loss

b) 推理时的CFG:

def sample_with_cfg(class_label, guidance_scale=7.5):
    x_t = randn(shape)

    for t in reversed(range(T)):
        # 有条件预测
        epsilon_cond = model(x_t, t, class_embedding[class_label])

        # 无条件预测
        epsilon_uncond = model(x_t, t, null_token)

        # CFG组合
        epsilon = epsilon_uncond + guidance_scale * (epsilon_cond - epsilon_uncond)

        # 去噪步骤
        x_t = denoise_step(x_t, epsilon, t)

    return x_t

c) 引导强度 $w$ 的影响:

  • $w=0$:纯无条件生成,多样性高但与条件无关
  • $w=1$:标准条件生成
  • $w>1$:增强条件影响,提高保真度但降低多样性
  • $w>>1$:过度引导,可能导致饱和或模式崩塌
  • 典型值:图像生成7.5,3D生成5-10

挑战题

练习9.4:多视图一致性分析 给定两个视图的相机矩阵 $P_1, P_2$ 和对应点 $p_1, p_2$: a) 推导基础矩阵 $F$ 的计算公式 b) 设计算法检测和修正不一致的对应点 c) 如何利用多视图约束改进单视图生成质量?

Hint: 考虑RANSAC算法和三角化验证。

答案

a) 基础矩阵推导:

  • 相机矩阵:$P_1 = K_1[R_1|t_1]$,$P_2 = K_2[R_2|t_2]$
  • 本质矩阵:$E = [t_{\times}]R$,其中 $R = R_2R_1^T$,$t = t_2 - R_2R_1^Tt_1$
  • 基础矩阵:$F = K_2^{-T}EK_1^{-1}$
  • 对应点约束:$p_2^T F p_1 = 0$

b) 一致性检测与修正:

def check_consistency(p1_list, p2_list, F, threshold=1.0):
    consistent = []
    inconsistent = []

    for p1, p2 in zip(p1_list, p2_list):
        # 计算极线误差
        error = abs(p2.T @ F @ p1)

        if error < threshold:
            consistent.append((p1, p2))
        else:
            # 修正:投影到极线
            l2 = F @ p1  # p1在图2中的极线
            p2_corrected = project_to_line(p2, l2)

            l1 = F.T @ p2  # p2在图1中的极线
            p1_corrected = project_to_line(p1, l1)

            # 选择移动较小的修正
            if norm(p1 - p1_corrected) < norm(p2 - p2_corrected):
                inconsistent.append((p1_corrected, p2))
            else:
                inconsistent.append((p1, p2_corrected))

    return consistent, inconsistent

def project_to_line(point, line):
    # 点到直线的投影
    # line: ax + by + c = 0
    a, b, c = line
    x, y, _ = point
    t = -(a*x + b*y + c) / (a*a + b*b)
    return [x + t*a, y + t*b, 1]

c) 利用多视图约束改进生成:

  1. 训练阶段

    • 加入极线一致性损失:$\mathcal{L}_{epi} = \sum_{i,j} |p_j^T F_{ij} p_i|$
    • 深度一致性:通过三角化验证深度
    • 光度一致性:匹配点的颜色/特征相似
  2. 推理阶段

    • 迭代refinement:生成→检测不一致→局部修正→重新生成
    • 全局优化:将所有视图联合优化,最小化重投影误差
    • 后处理:使用bundle adjustment精化相机参数和3D点
  3. 架构设计

    • 共享编码器确保特征一致
    • 交叉视图注意力传递信息
    • 几何感知损失函数

练习9.5:SDS优化分析 分析Score Distillation Sampling的数学性质: a) 证明SDS梯度是有偏的 b) 设计改进方案减少偏差 c) 分析不同timestep采样策略的影响

Hint: 考虑SDS与变分推断的关系。

答案

a) SDS梯度偏差证明:

SDS梯度: $$\nabla_\theta \mathcal{L}_{SDS} = \mathbb{E}_t[\omega(t)(\epsilon_\phi(x_t,t,y) - \epsilon)\frac{\partial x}{\partial \theta}]$$ 理想梯度(最大似然): $$\nabla_\theta \mathcal{L}_{ML} = \mathbb{E}_t[\omega(t)(\epsilon_\theta(x_t,t) - \epsilon)\frac{\partial x}{\partial \theta}]$$

偏差来源:

  1. 使用固定的预训练模型 $\epsilon_\phi$ 而非当前参数 $\epsilon_\theta$
  2. 单样本估计而非期望
  3. 缺少Jacobian项:$\frac{\partial \epsilon_\phi}{\partial x} \frac{\partial x}{\partial \theta}$

因此:$\text{Bias} = \mathbb{E}[\nabla_\theta \mathcal{L}_{SDS}] - \nabla_\theta \log p(x)$

b) 减少偏差的改进方案:

  1. Variational Score Distillation (VSD)
def vsd_gradient(theta, phi):
    x = render(theta)
    t = sample_timestep()
    epsilon = randn_like(x)
    x_t = forward_diffusion(x, t, epsilon)

    # 优化一个独立的分布q_phi
    epsilon_q = q_network(x_t, t, phi)
    epsilon_p = pretrained_model(x_t, t)

    # VSD梯度
    grad = (epsilon_p - epsilon_q) * dx_dtheta

    # 同时更新q网络
    update_q_network(phi, epsilon_q, epsilon)

    return grad
  1. Interval Score Matching (ISM): - 使用多个时间步的平均 - 考虑时间步之间的相关性

  2. Control Variates: - 使用基线减少方差 - 自适应调整权重函数

c) Timestep采样策略分析:

  1. 均匀采样:$t \sim \mathcal{U}(1, T)$ - 优点:无偏,理论保证 - 缺点:早期步骤(大t)贡献小

  2. 重要性采样:$t \sim p(t) \propto \omega(t)\sigma_t$ - 优点:关注贡献大的时间步 - 缺点:需要估计重要性权重

  3. 退火策略:逐步减小t的范围

def annealed_timestep(iteration, max_iter):
    progress = iteration / max_iter
    t_max = T * (1 - progress) + 1 * progress
    t_min = T * 0.5 * (1 - progress) + 1 * progress
    return random.uniform(t_min, t_max)
  • 早期:大t,全局结构
  • 后期:小t,细节优化
  1. 自适应采样:基于梯度方差 - 监控不同t的梯度方差 - 优先采样方差大的时间步 - 动态平衡探索与利用

练习9.6:3D表示选择决策树 设计一个决策框架,根据应用需求选择合适的3D表示: a) 列出关键决策因素 b) 为每种表示评分(1-5分) c) 给出具体场景的推荐

Hint: 考虑质量、速度、内存、可编辑性等因素。

答案

a) 关键决策因素:

  1. 几何复杂度:简单形状 vs 复杂拓扑
  2. 分辨率需求:粗糙 vs 精细细节
  3. 内存限制:移动设备 vs 服务器
  4. 实时性要求:离线 vs 交互 vs 实时
  5. 可编辑性:固定 vs 需要修改
  6. 拓扑变化:固定拓扑 vs 任意拓扑
  7. 渲染方式:光栅化 vs 光线追踪
  8. 数据可用性:点云 vs 图像 vs CAD

b) 表示评分表:

| 表示 | 质量 | 速度 | 内存 | 编辑 | 拓扑 | 渲染 |

表示 质量 速度 内存 编辑 拓扑 渲染
点云 3 5 4 2 5 3
体素 2 3 1 4 5 4
Mesh 5 4 3 3 2 5
SDF 4 2 3 4 5 3
三平面 4 4 5 3 4 4
NeRF 5 1 2 2 4 2

c) 场景推荐:

  1. 实时游戏资产生成: - 推荐:Mesh + 纹理 - 理由:渲染效率高,引擎兼容性好 - Pipeline:生成→简化→UV展开→纹理

  2. 医学影像重建: - 推荐:SDF/体素 - 理由:保持拓扑准确,支持布尔运算 - Pipeline:CT/MRI→体素→SDF→Marching Cubes

  3. 建筑可视化: - 推荐:三平面 + NeRF混合 - 理由:大场景效率,局部高质量 - Pipeline:粗糙三平面→局部NeRF细化

  4. 3D打印: - 推荐:Mesh(水密) - 理由:标准格式,易验证 - Pipeline:生成→修复→检查→切片

  5. VR/AR应用: - 推荐:LOD Mesh + 点云 - 理由:平衡质量和性能 - Pipeline:远处点云→近处Mesh

  6. AI训练数据: - 推荐:多种表示混合 - 理由:增强泛化能力 - Pipeline:采集→多表示转换→增强

决策树示例:

START
├─ 实时要求?
│  ├─ 是 → 内存受限?
│  │       ├─ 是 → 三平面/点云
│  │       └─ 否 → Mesh/体素
│  └─ 否 → 质量优先?
│          ├─ 是 → NeRF/高分辨率SDF
│          └─ 否 → 标准Mesh

练习9.7:扩散模型架构设计 为特定的3D生成任务设计网络架构: a) 设计一个处理变长点云的扩散模型 b) 提出多模态条件融合方案 c) 优化推理速度的架构改进

Hint: 考虑Transformer、图神经网络、知识蒸馏等技术。

答案

a) 变长点云扩散模型架构:

class VariableLengthPointDiffusion(nn.Module):
    def __init__(self):
        # 1. 点编码器(处理变长)
        self.point_encoder = nn.Sequential(
            nn.Linear(3, 128),  # 坐标 → 特征
            nn.ReLU(),
            nn.Linear(128, 256)
        )

        # 2. Set Transformer(置换不变+变长)
        self.set_attention = nn.ModuleList([
            InducedSetAttention(256, num_inducing_points=32),
            SelfAttention(256),
            InducedSetAttention(256, num_inducing_points=32)
        ])

        # 3. 时间嵌入
        self.time_mlp = nn.Sequential(
            SinusoidalEmbedding(256),
            nn.Linear(256, 512),
            nn.GELU(),
            nn.Linear(512, 256)
        )

        # 4. 去噪网络
        self.denoiser = nn.ModuleList([
            CrossAttentionBlock(256),  # 全局信息
            GraphConvBlock(256, k=20),  # 局部结构
            PointwiseMLP(256)  # 逐点处理
        ])

    def forward(self, x, t, mask=None):
        # x: [B, N, 3], 变长通过mask处理
        B, N, _ = x.shape

        # 编码点
        h = self.point_encoder(x)  # [B, N, 256]

        # 时间编码
        t_emb = self.time_mlp(t)  # [B, 256]

        # Set Transformer处理变长
        for layer in self.set_attention:
            h = layer(h, mask=mask)

        # 加入时间信息
        h = h + t_emb.unsqueeze(1)

        # 去噪
        for layer in self.denoiser:
            h = layer(h, mask=mask)

        # 预测噪声
        return h[..., :3]  # [B, N, 3]

class InducedSetAttention(nn.Module):
    """使用诱导点处理变长序列"""
    def __init__(self, dim, num_inducing_points):
        super().__init__()
        self.inducing_points = nn.Parameter(
            torch.randn(num_inducing_points, dim)
        )
        self.attention = nn.MultiheadAttention(dim, 8)

    def forward(self, x, mask=None):
        # 通过固定数量的诱导点聚合信息
        induced = self.inducing_points.unsqueeze(0).expand(x.size(0), -1, -1)

        # 诱导点attend to输入
        induced, _ = self.attention(induced, x, x, key_padding_mask=mask)

        # 输入attend to诱导点
        x, _ = self.attention(x, induced, induced)

        return x

b) 多模态条件融合方案:

class MultiModalConditioner(nn.Module):
    def __init__(self):
        # 各模态编码器
        self.text_encoder = CLIPTextEncoder()
        self.image_encoder = DINOv2Encoder()
        self.sketch_encoder = SketchCNN()
        self.audio_encoder = AudioTransformer()  # 用于描述声音的3D源

        # 模态对齐
        self.projectors = nn.ModuleDict({
            'text': nn.Linear(768, 512),
            'image': nn.Linear(1024, 512),
            'sketch': nn.Linear(256, 512),
            'audio': nn.Linear(512, 512)
        })

        # 跨模态注意力
        self.cross_modal_attention = nn.ModuleList([
            CrossModalTransformer(512, num_heads=8)
            for _ in range(3)
        ])

        # 自适应融合
        self.fusion_gate = nn.Sequential(
            nn.Linear(512 * 4, 512),
            nn.Sigmoid()
        )

    def forward(self, conditions):
        embeddings = {}

        # 编码各模态
        for modality, data in conditions.items():
            if data is not None:
                feat = getattr(self, f'{modality}_encoder')(data)
                embeddings[modality] = self.projectors[modality](feat)

        # 填充缺失模态
        all_modalities = ['text', 'image', 'sketch', 'audio']
        for mod in all_modalities:
            if mod not in embeddings:
                embeddings[mod] = torch.zeros(B, 512)  # 学习的null embedding

        # 堆叠所有嵌入
        stacked = torch.stack(list(embeddings.values()), dim=1)  # [B, 4, 512]

        # 跨模态交互
        for layer in self.cross_modal_attention:
            stacked = layer(stacked)

        # 自适应融合
        concat = stacked.flatten(1, 2)  # [B, 4*512]
        gate = self.fusion_gate(concat)  # [B, 512]

        # 加权平均
        fused = (stacked * gate.unsqueeze(1)).mean(dim=1)  # [B, 512]

        return fused, embeddings  # 返回融合结果和各模态嵌入

class CrossModalTransformer(nn.Module):
    """跨模态注意力层"""
    def __init__(self, dim, num_heads):
        super().__init__()
        self.self_attn = nn.MultiheadAttention(dim, num_heads)
        self.cross_attn = nn.MultiheadAttention(dim, num_heads)
        self.ffn = nn.Sequential(
            nn.Linear(dim, dim * 4),
            nn.GELU(),
            nn.Linear(dim * 4, dim)
        )
        self.norm1 = nn.LayerNorm(dim)
        self.norm2 = nn.LayerNorm(dim)
        self.norm3 = nn.LayerNorm(dim)

    def forward(self, x):
        # x: [B, num_modalities, dim]
        x = x + self.self_attn(x, x, x)[0]
        x = self.norm1(x)

        # 循环cross attention
        for i in range(x.size(1)):
            others = torch.cat([x[:, :i], x[:, i+1:]], dim=1)
            x[:, i:i+1] = x[:, i:i+1] + self.cross_attn(
                x[:, i:i+1], others, others
            )[0]

        x = self.norm2(x)
        x = x + self.ffn(x)
        x = self.norm3(x)

        return x

c) 推理速度优化:

class FastDiffusionModel(nn.Module):
    def __init__(self, teacher_model):
        super().__init__()

        # 1. 知识蒸馏 - 学生网络
        self.student = nn.Sequential(
            # 更少的层
            ResBlock(256, 256),
            ResBlock(256, 256),
            ResBlock(256, 256)
        )

        # 2. 渐进式蒸馏
        self.progressive_steps = [1000, 500, 100, 50, 10, 4, 1]
        self.step_networks = nn.ModuleList([
            self.create_step_network(s) for s in self.progressive_steps
        ])

        # 3. 缓存机制
        self.cache = {}
        self.cache_size = 1000

        # 4. 量化准备
        self.quant = torch.quantization.QuantStub()
        self.dequant = torch.quantization.DeQuantStub()

    def create_step_network(self, num_steps):
        """为特定步数创建优化网络"""
        if num_steps > 100:
            return self.teacher_model  # 使用完整模型
        elif num_steps > 10:
            return self.student  # 使用学生模型
        else:
            # 极简网络
            return nn.Sequential(
                nn.Linear(256, 128),
                nn.ReLU(),
                nn.Linear(128, 256)
            )

    def fast_sample(self, condition, num_steps=50):
        """快速采样"""
        x = torch.randn(shape)

        # 选择合适的网络
        network_idx = min(range(len(self.progressive_steps)),
                         key=lambda i: abs(self.progressive_steps[i] - num_steps))
        network = self.step_networks[network_idx]

        # DDIM采样
        timesteps = torch.linspace(1000, 0, num_steps)

        for i, t in enumerate(timesteps[:-1]):
            t_next = timesteps[i + 1]

            # 缓存检查
            cache_key = (x.sum().item(), t.item(), condition.sum().item())
            if cache_key in self.cache:
                pred_noise = self.cache[cache_key]
            else:
                # 预测噪声
                with torch.cuda.amp.autocast():  # 混合精度
                    pred_noise = network(x, t, condition)

                # 更新缓存
                if len(self.cache) < self.cache_size:
                    self.cache[cache_key] = pred_noise.detach()

            # DDIM更新
            x = self.ddim_step(x, pred_noise, t, t_next)

        return x

    def compile_for_inference(self):
        """编译优化"""
        # 1. TorchScript
        self.student = torch.jit.script(self.student)

        # 2. 图优化
        self.student = torch.jit.optimize_for_inference(self.student)

        # 3. 量化
        self.student = torch.quantization.quantize_dynamic(
            self.student,
            {nn.Linear, nn.Conv2d},
            dtype=torch.qint8
        )

        # 4. ONNX导出(可选)
        dummy_input = torch.randn(1, 256)
        torch.onnx.export(self.student, dummy_input, "fast_model.onnx",
                         opset_version=11,
                         do_constant_folding=True)

# 使用示例
teacher = load_pretrained_model()
fast_model = FastDiffusionModel(teacher)
fast_model.compile_for_inference()

# 基准测试
@torch.no_grad()
def benchmark():
    times = []
    for _ in range(100):
        start = time.time()
        output = fast_model.fast_sample(condition, num_steps=4)
        times.append(time.time() - start)

    print(f"Average inference time: {np.mean(times):.3f}s")
    print(f"FPS: {1/np.mean(times):.1f}")

优化技术总结:

  1. 模型压缩:蒸馏、剪枝、量化
  2. 采样加速:DDIM、DPM-Solver、一步生成
  3. 计算优化:混合精度、算子融合、缓存
  4. 并行化:批处理、多GPU、流水线
  5. 架构改进:早停、渐进生成、稀疏注意力

练习9.8:实现简单的2D扩散模型 实现一个最小化的2D点集扩散模型,生成简单的几何形状: a) 实现前向扩散过程 b) 实现U-Net去噪网络 c) 实现训练和采样循环

Hint: 从2D开始理解原理,然后扩展到3D。

答案

完整的2D扩散模型实现:

import torch
import torch.nn as nn
import torch.nn.functional as F
import numpy as np
import matplotlib.pyplot as plt

# 1. 前向扩散过程
class ForwardDiffusion:
    def __init__(self, num_steps=1000, beta_start=0.0001, beta_end=0.02):
        self.num_steps = num_steps

        # 线性噪声调度
        self.betas = torch.linspace(beta_start, beta_end, num_steps)
        self.alphas = 1 - self.betas
        self.alpha_bars = torch.cumprod(self.alphas, dim=0)

        # 预计算常数
        self.sqrt_alpha_bars = torch.sqrt(self.alpha_bars)
        self.sqrt_one_minus_alpha_bars = torch.sqrt(1 - self.alpha_bars)

    def add_noise(self, x0, t, noise=None):
        """添加噪声到时间步t"""
        if noise is None:
            noise = torch.randn_like(x0)

        sqrt_alpha_bar_t = self.sqrt_alpha_bars[t].view(-1, 1, 1)
        sqrt_one_minus_alpha_bar_t = self.sqrt_one_minus_alpha_bars[t].view(-1, 1, 1)

        return sqrt_alpha_bar_t * x0 + sqrt_one_minus_alpha_bar_t * noise, noise

# 2. 简单的U-Net去噪网络
class SimpleUNet2D(nn.Module):
    def __init__(self, in_channels=2, time_dim=32):
        super().__init__()

        # 时间嵌入
        self.time_mlp = nn.Sequential(
            nn.Linear(1, time_dim),
            nn.SiLU(),
            nn.Linear(time_dim, time_dim)
        )

        # 编码器
        self.enc1 = self.conv_block(in_channels, 64)
        self.enc2 = self.conv_block(64, 128)
        self.enc3 = self.conv_block(128, 256)

        # 中间层
        self.bottleneck = self.conv_block(256, 512)

        # 解码器
        self.dec3 = self.conv_block(512 + 256, 256)
        self.dec2 = self.conv_block(256 + 128, 128)
        self.dec1 = self.conv_block(128 + 64, 64)

        # 输出层
        self.output = nn.Conv2d(64, in_channels, 1)

        # 时间注入层
        self.time_layers = nn.ModuleList([
            nn.Linear(time_dim, 64),
            nn.Linear(time_dim, 128),
            nn.Linear(time_dim, 256),
            nn.Linear(time_dim, 512)
        ])

    def conv_block(self, in_c, out_c):
        return nn.Sequential(
            nn.Conv2d(in_c, out_c, 3, padding=1),
            nn.BatchNorm2d(out_c),
            nn.SiLU(),
            nn.Conv2d(out_c, out_c, 3, padding=1),
            nn.BatchNorm2d(out_c),
            nn.SiLU()
        )

    def forward(self, x, t):
        # 时间嵌入
        t_emb = self.time_mlp(t.float().unsqueeze(-1))

        # 编码
        e1 = self.enc1(x)
        e1 = e1 + self.time_layers[0](t_emb).unsqueeze(-1).unsqueeze(-1)

        e2 = self.enc2(F.max_pool2d(e1, 2))
        e2 = e2 + self.time_layers[1](t_emb).unsqueeze(-1).unsqueeze(-1)

        e3 = self.enc3(F.max_pool2d(e2, 2))
        e3 = e3 + self.time_layers[2](t_emb).unsqueeze(-1).unsqueeze(-1)

        # 瓶颈层
        b = self.bottleneck(F.max_pool2d(e3, 2))
        b = b + self.time_layers[3](t_emb).unsqueeze(-1).unsqueeze(-1)

        # 解码
        d3 = self.dec3(torch.cat([F.interpolate(b, e3.shape[-2:]), e3], 1))
        d2 = self.dec2(torch.cat([F.interpolate(d3, e2.shape[-2:]), e2], 1))
        d1 = self.dec1(torch.cat([F.interpolate(d2, e1.shape[-2:]), e1], 1))

        return self.output(d1)

# 3. 训练循环
def train_diffusion_model(model, data_loader, num_epochs=100):
    device = torch.device('cuda' if torch.cuda.is_available() else 'cpu')
    model = model.to(device)

    diffusion = ForwardDiffusion()
    optimizer = torch.optim.Adam(model.parameters(), lr=1e-3)

    for epoch in range(num_epochs):
        total_loss = 0
        for batch in data_loader:
            batch = batch.to(device)
            batch_size = batch.shape[0]

            # 随机时间步
            t = torch.randint(0, diffusion.num_steps, (batch_size,), device=device)

            # 添加噪声
            noisy_batch, noise = diffusion.add_noise(batch, t)

            # 预测噪声
            predicted_noise = model(noisy_batch, t)

            # 计算损失
            loss = F.mse_loss(predicted_noise, noise)

            # 反向传播
            optimizer.zero_grad()
            loss.backward()
            optimizer.step()

            total_loss += loss.item()

        if (epoch + 1) % 10 == 0:
            print(f'Epoch {epoch+1}/{num_epochs}, Loss: {total_loss/len(data_loader):.4f}')

    return model

# 4. 采样函数
@torch.no_grad()
def sample(model, diffusion, num_samples=16, image_size=32, device='cuda'):
    model.eval()

    # 从纯噪声开始
    x = torch.randn(num_samples, 2, image_size, image_size).to(device)

    for t in reversed(range(diffusion.num_steps)):
        t_batch = torch.full((num_samples,), t, device=device)

        # 预测噪声
        predicted_noise = model(x, t_batch)

        # 去噪步骤
        alpha = diffusion.alphas[t]
        alpha_bar = diffusion.alpha_bars[t]

        if t > 0:
            noise = torch.randn_like(x)
            sigma = torch.sqrt(diffusion.betas[t])
        else:
            noise = 0
            sigma = 0

        x = (1 / torch.sqrt(alpha)) * (x - (1 - alpha) / torch.sqrt(1 - alpha_bar) * predicted_noise)
        x = x + sigma * noise

    return x

# 5. 生成2D形状数据集
def generate_2d_shapes(num_samples=1000, image_size=32):
    """生成简单的2D形状(圆形、方形、三角形)"""
    data = []

    for _ in range(num_samples):
        img = np.zeros((2, image_size, image_size))
        shape_type = np.random.choice(['circle', 'square', 'triangle'])

        # 随机位置和大小
        center = np.random.randint(8, 24, 2)
        size = np.random.randint(4, 12)

        if shape_type == 'circle':
            # 生成圆形
            y, x = np.ogrid[:image_size, :image_size]
            mask = (x - center[0])**2 + (y - center[1])**2 <= size**2
            img[0, mask] = 1

        elif shape_type == 'square':
            # 生成方形
            x1, y1 = center - size
            x2, y2 = center + size
            x1, y1 = max(0, x1), max(0, y1)
            x2, y2 = min(image_size, x2), min(image_size, y2)
            img[0, y1:y2, x1:x2] = 1

        else:  # triangle
            # 生成三角形
            pts = np.array([
                [center[0], center[1] - size],
                [center[0] - size, center[1] + size],
                [center[0] + size, center[1] + size]
            ])
            # 简化:使用方形近似
            mask = np.zeros((image_size, image_size))
            for i in range(image_size):
                for j in range(image_size):
                    if point_in_triangle([j, i], pts):
                        mask[i, j] = 1
            img[0] = mask

        # 添加边缘信息到第二个通道
        img[1] = edge_detect(img[0])

        data.append(torch.FloatTensor(img))

    return torch.stack(data)

def point_in_triangle(p, triangle):
    """检查点是否在三角形内"""
    def sign(p1, p2, p3):
        return (p1[0] - p3[0]) * (p2[1] - p3[1]) - (p2[0] - p3[0]) * (p1[1] - p3[1])

    d1 = sign(p, triangle[0], triangle[1])
    d2 = sign(p, triangle[1], triangle[2])
    d3 = sign(p, triangle[2], triangle[0])

    has_neg = (d1 < 0) or (d2 < 0) or (d3 < 0)
    has_pos = (d1 > 0) or (d2 > 0) or (d3 > 0)

    return not (has_neg and has_pos)

def edge_detect(img):
    """简单的边缘检测"""
    kernel = np.array([[-1, -1, -1],
                       [-1,  8, -1],
                       [-1, -1, -1]])
    from scipy.signal import convolve2d
    return convolve2d(img, kernel, mode='same', boundary='fill')

# 6. 可视化函数
def visualize_samples(samples, title="Generated Samples"):
    fig, axes = plt.subplots(4, 4, figsize=(10, 10))

    for i, ax in enumerate(axes.flat):
        if i < len(samples):
            # 显示第一个通道(形状)
            img = samples[i, 0].cpu().numpy()
            ax.imshow(img, cmap='gray')
            ax.axis('off')

    plt.suptitle(title)
    plt.tight_layout()
    plt.show()

# 7. 主训练脚本
if __name__ == "__main__":
    # 生成数据
    print("Generating dataset...")
    dataset = generate_2d_shapes(5000, 32)
    data_loader = torch.utils.data.DataLoader(
        dataset, batch_size=32, shuffle=True
    )

    # 创建模型
    model = SimpleUNet2D()

    # 训练
    print("Training model...")
    model = train_diffusion_model(model, data_loader, num_epochs=50)

    # 生成样本
    print("Generating samples...")
    diffusion = ForwardDiffusion()
    samples = sample(model, diffusion, num_samples=16)

    # 可视化
    visualize_samples(samples)

    # 保存模型
    torch.save(model.state_dict(), 'diffusion_2d.pth')
    print("Model saved!")

# 8. 条件生成扩展
class ConditionalUNet2D(SimpleUNet2D):
    def __init__(self, in_channels=2, time_dim=32, num_classes=3):
        super().__init__(in_channels, time_dim)

        # 类别嵌入
        self.class_emb = nn.Embedding(num_classes, time_dim)

    def forward(self, x, t, class_label=None):
        # 时间嵌入
        t_emb = self.time_mlp(t.float().unsqueeze(-1))

        # 添加类别条件
        if class_label is not None:
            class_emb = self.class_emb(class_label)
            t_emb = t_emb + class_emb

        # 继续原始forward流程...
        return super().forward(x, t)

这个实现展示了:

  1. 完整的扩散过程数学实现
  2. 简化但功能完整的U-Net架构
  3. 训练和采样循环
  4. 2D形状数据生成
  5. 可视化工具
  6. 条件生成的扩展

关键学习点:

  • 噪声调度的作用
  • U-Net中时间信息的注入
  • 去噪过程的数学推导
  • 从2D到3D的扩展思路

常见陷阱与错误 (Gotchas)

1. 训练相关问题

梯度爆炸/消失

  • 症状:损失突然变为NaN或训练不收敛
  • 原因:噪声调度不当、学习率过高、网络初始化问题
  • 解决
# 使用梯度裁剪
torch.nn.utils.clip_grad_norm_(model.parameters(), max_norm=1.0)

# 使用更稳定的噪声调度
betas = torch.linspace(beta_start**0.5, beta_end**0.5, T)**2

# 监控梯度范数
grad_norm = sum(p.grad.norm()**2 for p in model.parameters())**0.5

模式崩塌

  • 症状:生成的3D形状缺乏多样性
  • 原因:过度引导、数据不平衡、网络容量不足
  • 解决:降低CFG权重、数据增强、增加模型容量

内存溢出

  • 症状:CUDA out of memory
  • 原因:3D数据维度高、批次过大
  • 解决
  • 使用梯度累积
  • 降低分辨率
  • 使用混合精度训练
  • 分块处理大模型

2. 3D表示选择错误

点云顺序问题

# 错误:假设点云有序
def process_pointcloud(points):
    first_point = points[0]  # 危险!

# 正确:使用置换不变操作
def process_pointcloud(points):
    global_feature = points.max(dim=1)[0]  # 置换不变

体素分辨率陷阱

# 错误:直接使用高分辨率
voxels = torch.zeros(256, 256, 256)  # 16GB内存!

# 正确:渐进式或稀疏表示
sparse_voxels = {}  # 只存储非空体素
for point in points:
    key = tuple(quantize(point))
    sparse_voxels[key] = 1

SDF符号约定混淆

# 常见混淆:内部是正还是负?
# 约定1:内部负,外部正(更常见)
sdf_value = -distance if inside else distance

# 约定2:内部正,外部负
# 确保整个pipeline使用一致的约定!

3. 多视图一致性问题

相机参数错误

# 错误:混淆相机坐标系
# OpenGL: Y向上,Z向外
# OpenCV: Y向下,Z向内

# 正确:明确坐标系转换
def opencv_to_opengl(R, t):
    # 翻转Y和Z轴
    flip = np.array([[1, 0, 0],
                     [0, -1, 0],
                     [0, 0, -1]])
    R_gl = flip @ R
    t_gl = flip @ t
    return R_gl, t_gl

极线约束违反

# 调试:检查极线误差
def check_epipolar(F, pts1, pts2):
    errors = []
    for p1, p2 in zip(pts1, pts2):
        error = abs(p2.T @ F @ p1)
        errors.append(error)
        if error > threshold:
            print(f"Large epipolar error: {error}")
    return np.array(errors)

4. 采样过程错误

时间步索引混淆

# 错误:混淆连续和离散时间
t = torch.rand(batch_size)  # 连续[0,1]
noise_level = betas[t]  # 错误!betas需要整数索引

# 正确:
t = torch.randint(0, num_steps, (batch_size,))
noise_level = betas[t]

DDIM采样错误

# 错误:忘记调整方差
x_prev = denoise(x_t, t)  # 缺少方差项

# 正确:包含方差控制
sigma = eta * torch.sqrt((1 - alpha_prev) / (1 - alpha) * beta)
x_prev = pred_x0 * sqrt_alpha_prev + sqrt_one_minus_alpha_prev * (epsilon + sigma * noise)

5. Score Distillation陷阱

过饱和问题

  • 症状:生成的3D物体颜色过度鲜艳、细节丢失
  • 原因:SDS梯度偏差累积
  • 解决
# 使用VSD或其他改进方法
# 添加正则化项
loss = sds_loss + lambda_smooth * smoothness_loss

# 动态调整引导权重
cfg_weight = cfg_max * (1 - iteration / max_iter)

Janus问题(多面问题)

  • 症状:物体的不同面呈现相同特征(如多个脸)
  • 原因:2D先验缺乏3D一致性
  • 解决
  • 使用多视图扩散模型
  • 添加视角感知提示
  • 引入3D先验约束

6. 调试技巧

可视化中间结果

def debug_diffusion(model, x, t):
    # 可视化各时间步
    with torch.no_grad():
        x_t = add_noise(x, t)
        pred_noise = model(x_t, t)
        pred_x0 = reconstruct_x0(x_t, pred_noise, t)

    fig, axes = plt.subplots(1, 3)
    axes[0].imshow(x_t[0])
    axes[0].set_title(f't={t}')
    axes[1].imshow(pred_noise[0])
    axes[1].set_title('Predicted Noise')
    axes[2].imshow(pred_x0[0])
    axes[2].set_title('Reconstructed x0')
    plt.show()

监控训练指标

# 关键指标监控
metrics = {
    'loss': loss.item(),
    'grad_norm': compute_grad_norm(model),
    'noise_pred_norm': pred_noise.norm().item(),
    'snr': compute_snr(t),  # 信噪比
    'x0_range': [x0.min().item(), x0.max().item()]
}

# 异常检测
if torch.isnan(loss):
    print("NaN detected!")
    print(f"Last valid metrics: {metrics}")
    # 保存checkpoint用于调试

最佳实践检查清单

训练前准备

  • [ ] 数据验证
  • 检查数据范围和分布
  • 验证3D表示的正确性(水密性、法线朝向等)
  • 确保训练集多样性和平衡性

  • [ ] 架构选择

  • 根据数据规模选择合适的模型大小
  • 考虑内存限制和推理速度要求
  • 选择合适的3D表示(点云/体素/SDF/三平面)

  • [ ] 超参数设置

  • 噪声调度:从线性开始,根据需要调整为余弦或其他
  • 学习率:建议从1e-4开始,使用warmup
  • 批次大小:在内存允许范围内尽量大

训练过程

  • [ ] 监控与验证
  • 定期保存checkpoint(每epoch或每N步)
  • 监控损失曲线和梯度范数
  • 定期生成样本验证质量
  • 使用tensorboard或wandb记录实验

  • [ ] 稳定性保证

  • 使用梯度裁剪(clip_grad_norm)
  • 混合精度训练节省内存
  • 实现早停机制防止过拟合
  • 异常检测和自动恢复

  • [ ] 数据增强

  • 3D旋转、缩放、平移
  • 添加噪声和扰动
  • 视角随机化(用于多视图)
  • 颜色和光照变化

推理优化

  • [ ] 速度优化
  • 使用DDIM或其他快速采样方法
  • 模型量化(INT8/FP16)
  • 批处理并行推理
  • 缓存重复计算

  • [ ] 质量保证

  • 后处理:网格平滑、孔洞填充
  • 多次采样选最佳
  • 集成多个模型
  • 迭代细化

  • [ ] 一致性检查

  • 多视图:极线约束验证
  • 几何:流形性、水密性检查
  • 物理:稳定性、可打印性验证
  • 语义:与输入条件的匹配度

部署考虑

  • [ ] 模型优化
  • 知识蒸馏到小模型
  • 剪枝不重要的连接
  • 导出ONNX格式
  • 针对目标硬件优化

  • [ ] 接口设计

  • RESTful API或gRPC
  • 批处理支持
  • 流式生成
  • 错误处理和重试机制

  • [ ] 可扩展性

  • 水平扩展方案
  • 缓存策略
  • 负载均衡
  • 版本管理

评估与改进

  • [ ] 定量评估
  • FID/KID分数(分布质量)
  • Chamfer距离(几何精度)
  • 用户研究(主观质量)
  • 推理时间和内存占用

  • [ ] 定性分析

  • 失败案例分析
  • 多样性评估
  • 细节保真度
  • 条件遵循程度

  • [ ] 持续改进

  • 收集用户反馈
  • A/B测试新模型
  • 增量训练和微调
  • 定期更新数据集

特定应用检查

  • [ ] 游戏资产
  • 多边形数量限制
  • UV展开质量
  • LOD生成
  • 纹理分辨率

  • [ ] 3D打印

  • 最小壁厚检查
  • 支撑结构需求
  • 材料体积估算
  • 打印时间预测

  • [ ] AR/VR

  • 实时渲染性能
  • 遮挡处理
  • 光照一致性
  • 交互响应延迟

  • [ ] 科学可视化

  • 数据准确性
  • 不确定性量化
  • 可重现性
  • 标注和测量工具