LLLMWIKI
ArticleResearch mapReading portalMetadata

Topic · Updated 2026-09-24

Image Generation

研究如何把生成底座、条件控制、数据与评测接成可靠图像系统,并判断统一生成—编辑、少步部署和组合控制中仍有价值的问题。

Choose a research entry

English translation pending — this page shows the Chinese original.

Current view

Image Generation

研究如何把生成底座、条件控制、数据与评测接成可靠图像系统,并判断统一生成—编辑、少步部署和组合控制中仍有价值的问题。

28 Source notes2 Open questions

Reading path

  1. ProblemDefine task and evidence boundary
  2. MethodsCompare families and design choices
  3. EvidenceReturn to papers and searchable text
  4. Open questionsTrack unresolved tensions

Method family map

From problem definition to verifiable system capability

28 Source notes
1ProblemDefine task and evidence boundary
2MethodsCompare families and design choices
3EvidenceReturn to papers and searchable text
4Open questionsTrack unresolved tensions

三分钟摘要

  • 任务已经从“给文字出图”扩展为系统问题。 现代图像生成同时受表示空间、去噪主干、条件接口、训练数据、推理预算和评测协议约束。
  • 成熟底座不等于完整答案。 LDM 与 DiT 已把潜空间和可扩展主干做成平台,但精确布局、多个条件冲突、文字与细节、数据许可、真实延迟和可靠人评仍未被一个指标解决。
  • 统一生成—编辑正在形成,但证据多为系统覆盖而非严格胜出。 OmniGen、DreamOmni 与 UniReal 说明共享接口和联合训练可行;它们没有完成同数据、同参数、同算力下对全部专用模型的受控替代实验。
  • 适合研究生的机会更偏“可证伪的系统问题”。 例如组合控制失效、同预算质量—延迟比较、中文或专业领域数据、统一与模块化的受控比较,而不是只换一个更大的主干。

先懂这几个词

术语白话解释
扩散模型(diffusion model)从噪声一步步“去噪”生成图像,是当前主流方法
潜空间(latent space)先把图像压缩成小尺寸的特征,在上面生成,省计算
主干(backbone):U-Net / DiT负责去噪的核心网络;DiT 是 Transformer 版本,更容易扩大规模
条件控制(conditioning)除文字外,用布局、姿态、边缘图、参考主体等指定生成内容
无分类器引导(CFG)放大“有条件”和“无条件”预测的差,让图更贴合文字;太强会失真,还多一次计算
NFE去噪网络实际运行的次数,比“步数”更接近真实计算量
蒸馏 / 少步生成把几十步的模型压到几步甚至一步,换取速度
GAN(生成对抗网络)一次前向就出图的另一类生成模型

指标怎么读

指标含义方向
FID生成图整体分布和真实图有多接近↓ 越低越好;只看分布,不看是否符合文字
CLIP 分数 / CLIPScore图像和文字描述的匹配程度↑ 越高越好
组合正确率计数、关系、多物体等是否画对↑ 越高越好
人评胜率人类在两种结果中选某方法的比例↑ 越高越好;自动“代理胜率”不等于人投票
延迟 / 显存生成一张图的时间和资源↓ 越低越好;要看端到端,而非只看主干

任务或系统流程

一个现代图像生成系统中,哪些环节分别决定语义、构图、细节和成本?

文本或视觉条件怎样变成一张可验收图像

条件编码决定模型能“听懂”什么,生成主干决定怎样形成视觉样本,解码器决定可恢复的细节上限,评测层决定我们是否真的知道系统变好了。

  1. 用户条件文本、参考图、主体、边缘、深度、姿态或布局
  2. 条件表示与路由文本编码、视觉 token、交叉注意力或专用控制分支
  3. 生成主干在像素或潜空间中用扩散、流或自回归过程形成样本
  4. 解码与后处理从潜变量恢复分辨率、纹理、文字与局部细节
  5. 联合验收同时检查感知质量、条件一致、空间控制、多样性、延迟和失败模式
Diagram evidenceLDM、ControlNet、可验证人评

用户条件先编码为语义与空间约束,再进入迭代或少步生成主干,潜变量被解码为图像,最后用质量、对齐、控制与成本联合验收。

阅读论文时先标注每项工作改的是哪一环。只报告生成主干 FID 的论文,不能自动支持控制、数据合规或端到端延迟结论。

当前综合判断

1. 生成底座已经成熟,竞争转向整个系统

为什么重要:再证明“扩散能生成图像”或“Transformer 能去噪”价值已经很低,新手应把注意力放在系统层面的问题上。

工作奠定了什么
潜空间扩散(LDM)在压缩后的潜空间生成,降低高分辨率的计算量
DiT可扩展的 Transformer 去噪主干
GLIGEN、ControlNet把布局、边缘等空间条件接到预训练模型上

2. 真正还在变化的是四个“接口”

为什么重要:这四个接口是判断一篇新论文改了什么的坐标轴。

接口要回答的问题
任务接口生成、编辑、参考图和多条件是否由同一个模型处理
控制接口文字、主体身份、局部布局和像素级结构怎样组合,冲突时听谁的
成本接口训练预算、NFE、单步成本、CFG、解码器和硬件怎样共同决定真实延迟
证据接口自动指标、人评、空间遵循、文字细节、安全和数据来源怎样形成可复核结论

怎么读:统一模型是重要平台路线,模块化条件器仍有明确价值;少步模型在特定配置下已能做到亚秒级,但训练成本、质量退化和适用范围要单独核算。

3. 多条件统一接口:能组合使用,但冲突时容易出错

为什么重要:同时给文字、布局、参考图时,信息更丰富的结构或图像条件常会“压过”文字,这是需要单独验收的控制失败。

  • Composer 用八种条件和一个统一 U-Net 证明组合使用可行。
  • 但不同训练策略下,总体偏好和逐任务偏好不一致。
  • 附录尝试过“只用单/双条件训练、再处理更多条件”,但没有严格的留出清单,所以不能当作严格的组合泛化证明。

4. 一步出图的 GAN 仍是值得保留的对照

为什么重要:扩散模型并非在所有方面都胜出。比较时要看同任务、同质量和完整成本,单一 FID 或“单步”不能决定胜负。

方法COCO FID ↓512px 生成时间 ↓
GigaGAN9.090.13 秒
Stable Diffusion v1.59.622.9 秒

怎么读:GigaGAN 更快、FID 略好。注意:Imagen(7.27)等模型的 FID 更低;作者也承认 GigaGAN 的真实感和组合能力不如 DALL·E 2,而且没有系统人评。

5. 引导方法的“提升”要先和调好的基线比

为什么重要:很多新引导方法的提升,其实来自隐式加大了引导强度。

方法对固定 CFG 的代理胜率对校准后 CFG 的代理胜率
TDG56%48%
Z-Sampling70%62%

条件:SDXL、HPD 提示集,五种自动指标平均。来源:Guidance Matters。怎么读:把基线的 CFG 调好后,TDG 的优势消失,Z-Sampling 仍有优势。注意:这是自动指标的平均,不是人类投票;比较时还要同时匹配引导强度和步数。

近五年演化(2022—2026)

近五年图像生成的研究重心怎样移动?

从生成底座到统一系统与可靠验收

时间线强调问题变化而非穷举模型。2026 表示截至本库复核时间的综合状态,不暗示每个节点都有同年论文。

  1. 2022 · 可扩展底座LDM 把高分辨率扩散搬入压缩潜空间
  2. 2023 · 主干与控制DiT、DreamBooth、GLIGEN、ControlNet 分别推进扩展、个性化与空间接口
  3. 2024 · 数据与评测开放许可数据、快速评测和可验证人评开始补齐系统证据
  4. 2025 · 统一与少步统一生成—编辑接口、动态主干和一步/少步部署并行推进
  5. 2026 · 受控系统比较研究价值转向同预算、跨域、失败模式和统一—模块化边界的可复现实验
Diagram evidenceLDM、DreamBooth、DiT、OmniGen、SANA-Sprint

2022 年潜空间扩散建立底座;2023 年主干、个性化与空间控制成形;2024 年开放数据和评测加强;2025 年统一生成编辑与少步系统发展;2026 年关注受控比较与可靠部署。

这条演化不等于旧方法被线性淘汰。DreamBooth 显示高保真个性化仍可能需要逐主体适配;DiffuSSM 则构成“注意力是唯一可扩展主干”的反证。平台越统一,越需要说明哪些能力来自共享先验、哪些仍来自专用数据与模块。

方法家族与成熟阶段

常被放在同一排行榜的方法,实际分别解决什么?

图像生成的六类方法对应六种不同问题

底座、主干、个性化、空间控制、统一接口和部署优化并非可互换路线。比较前必须先对齐任务、数据、预算与输出约束。

  1. 表示与基础生成像素或潜空间决定细节上限和计算尺度
  2. 主干与扩展U-Net、DiT、SSM 或混合网络决定单步表示与硬件特性
  3. 个性化与主体保持少样本适配、视觉提示或检索增强解决特定主体一致性
  4. 空间与组合控制box、mask、pose、depth、layout 和多条件冲突需要显式接口
  5. 统一生成—编辑共享模型与任务路由减少工作流割裂,但可能发生任务干扰
  6. 效率与部署蒸馏、求解器、缓存、量化和解码器共同形成端到端成本
Diagram evidenceLDM、DreamBooth、ControlNet、OmniGen、SANA-Sprint

方法地图列出潜空间底座、可扩展主干、个性化、空间控制、统一生成编辑、效率与部署六个分支。

方法家族的成熟度

Current stage成熟底座

潜空间扩散与基础生成

Evidence anchors

LDM 已用固定预算比较像素与多个压缩率;现代系统广泛复用这层表示,但精细文字和几何仍受解码上限影响。

Research opportunity

价值不在重复证明潜空间更省,而在可测量地改进压缩—细节—延迟取舍。

Current stage系统优化期

可扩展去噪主干

Evidence anchors

DiT 证明计算规模与 FID 强相关;DiffuSSM 说明注意力并非唯一扩展路径。

Research opportunity

同 FLOPs、显存和真实硬件下比较混合主干,避免只以参数量或单数据集 FID 排名。

Current stage活跃发展期

个性化与主体驱动生成

Evidence anchors

DreamBooth 建立少样本主体适配基线,AnyDoor 与 CosmicMan 扩展对象与人物专门能力。

Research opportunity

身份保持、组合多个主体、版权/记忆审计和低存储适配仍可形成明确问题。

Current stage活跃发展期

空间与多条件控制

Evidence anchors

GLIGEN 与 ControlNet 证明专用接口有效,但复杂冲突条件、多模态组合和跨主干迁移证据不足。

Research opportunity

建立冲突条件诊断集、控制强度校准与局部证据指标,比再加一个条件器更有辨识度。

Current stage早期整合期

统一生成—编辑系统

Evidence anchors

OmniGen、DreamOmni、UniReal 证明共享接口与联合训练可行,但统一模型与强专用系统缺少同预算全任务对照。

Research opportunity

测量任务干扰、路由、数据混合和模块化补偿,回答“统一到哪一层最划算”。

Current stage评测建设期

少步生成、数据与可靠评测

Evidence anchors

SANA-Sprint 展示特定硬件上的一步端到端延迟;CommonCanvas 与 可验证人评 分别暴露数据来源和评测协议的重要性。

Research opportunity

把训练预算、真实延迟、偏好、组合遵循和数据许可放进同一可复现实验账本。

Current stage可扩展性已展示,公开复现与复杂语义仍受限。

前馈GAN与模块化超分

Evidence anchors

GigaGAN扩展到约1.0B生成参数,基础生成与超分可分工;这不是扩散蒸馏,也不是整个系统只有一次网络调用。

Research opportunity

测量前馈/少步扩散在相同质量阈值、截断或CFG强度、结构失败率与真实延迟上的Pareto边界。其作者扩展版消融显示多尺度改善CLIP却略损FID,Vision-Aided改善FID却损CLIP;不能把所有模块写成无代价进步。

哪些方向拥挤,哪些方向仍值得做

成熟度描述的是“证据与基础设施到了哪里”,不是给方向贴好坏标签。底座成熟后,研究需要更窄、更可证伪的问题定义。

拥挤方向与研究机会

相对拥挤、需要更强差异化的方向:

  • 只在通用文本到图像上替换主干,并只报告单个 FID/CLIP 指标;
  • 只把采样步数从若干步减到更少,却不报告单步成本、训练预算、CFG 与端到端延迟;
  • 新增一个条件注入模块,但没有冲突条件、跨域或强基线消融;
  • 用若干漂亮样例宣称统一模型已替代专用系统。

仍有清晰研究价值的方向:

  • 可靠组合控制:关系、计数、文字、多个主体与空间条件同时出现时,定位失败发生在编码、路由、去噪还是评测层;
  • 同预算生成系统比较:固定数据、参数/训练算力、分辨率、NFE 与硬件,比较 U-Net、DiT、SSM、蒸馏和求解器;
  • 中文与专业领域生成:建立许可清楚、术语准确、含困难负例的数据和人评协议,而不只是翻译英文 prompt;
  • 统一—模块化边界:量化联合训练的迁移收益与任务干扰,寻找“共享底座 + 专用轻模块”的最小系统;
  • 评测可靠性:自动指标、人评、数据重叠、记忆和安全失败共同进入版本化评测。

先看结论

Avoid first

只换更大的主干、只报一个 FID

典型做法

替换主干网络,只报告 FID 或 CLIP 分数;或只减少采样步数。

为什么不够

单一指标看不出组合失败;减步不报训练成本、CFG 和端到端延迟,结论不完整。

怎样改成研究问题

固定数据和预算,同时报告质量、组合正确率和真实延迟,并分析失败样例。

四个研究入口怎么选

首选

多条件冲突的诊断

一句话

文字、布局、姿态和参考主体冲突时,找出模型在哪一层失效。

适合你

算力有限,想先做出清晰的诊断结果。

第一步

冻结一个公开底座,比较纯文本、ControlNet/GLIGEN 类条件器和简单组合。

继续条件

失败能定位到具体环节,而不只是模型不会画这个概念。

查看候选课题 A
稳健

同预算下的主干与少步方法对比

一句话

在同一硬件和预算下,量化主干、步数、CFG、解码器各自贡献多少质量和延迟。

适合你

偏工程,重视可复现。

第一步

选 2–3 个公开模型,统一分辨率、prompt 和测量脚本。

继续条件

模型间的数据和规模差异能被控制或说明。

查看候选课题 B
应用驱动

中文或专业领域的数据与人评

一句话

找出专业术语、文字渲染和文化实体的失败,是数据、文本编码还是生成器的问题。

适合你

能拿到许可清晰的中文或专业领域数据。

第一步

先建评测集,比较零样本、轻量适配和检索增强三组。

继续条件

专家标注的一致性足够高。

查看候选课题 C
高风险

统一模型与模块化系统的边界

一句话

统一训练在哪些任务互相帮助,在哪些任务互相干扰。

适合你

有可比的训练预算。

第一步

只选 2–3 个互补任务,固定样本数和训练步数做三组对比。

继续条件

能保证各组训练预算可比。

查看候选课题 D

对“能否作为研究生方向”的修订结论

图像生成可以作为研究生方向,前提是研究系统问题。建议顺序 A → B → C → D:A 最容易形成“数据集 + 诊断指标 + 方法”的连续成果,B 最容易复现,C 需要真实领域资源,D 的训练预算和因果控制风险最高。

反方证据、局限与可证伪条件

  • 速度与指标可能共同遮蔽失败。 GigaGAN正式主表有低延迟与较低FID,作者失败案例仍有组合/几何缺陷;扩展版超分的感知指标与PSNR/SSIM也反向。4783 A100 GPU-days的训练账本不能被0.13s推理覆盖。若同质量点下优势消失,只能保留特定配置的低延迟结论。
  • 先固定评测输入完整性,再比较分数。 GigaGAN公开loader的合成审计发现位置zip可静默截断/错配,CLIP样本上限不约束FID目录。它提示复现应断言图片—caption一一对应和统一分母,并非证明作者真实数据包或原榜单已经错误。正式PDF、作者扩展版、评测代码的表号、encoder与resize需分开登记。
  • 反方 1:主干并未收敛为唯一答案。 DiffuSSM 在受限设置中以更低训练计算接近 DiT;若后续同预算跨任务结果持续成立,“标准注意力 DiT 是唯一可扩展主干”应被否定。
  • 反方 2:统一覆盖不等于全面优越。 DreamBooth、GLIGEN 与 ControlNet 都显示专用适配仍能提供统一文本接口缺失的能力。若同数据、同规模评测中统一模型在多个关键任务持续落后,强“统一替代”结论应撤回。
  • 反方 3:少步不自动等于低成本。 SANA-Sprint 的推理很快,但依赖大规模蒸馏训练;若完整生命周期成本或质量—多样性下降抵消收益,就只能称部署优化而非全面效率胜出。
  • 反方 4:单一自动指标可能反向排序。 可验证人评 发现 FID/CLIPScore 与人类判断可能冲突。任何“全面更好”结论都应至少覆盖质量、条件遵循、多样性和成本。
  • 共同局限:训练数据许可、记忆、偏差、深度伪造、文字/手部/细几何失败及模型更新后的不可复现性,不能由更低 FID 自动消除。
  • 条件数不等于控制可靠性。 Composer的COCO FID9.2只测caption-only质量;文本被结构压制、上色改变背景、style/semantics纠缠均有正式附录反例。必须以逐条件遵循和冲突优先级补充总分,且README的代码/权重TODO不能当作可复现模型。
  • 反证本身也要审计。 Guidance Matters没有新的独立盲评;表5两个数据集整块重复,SD3.5部分配置又出现校准后胜率上升。可采纳的是更严格的基线/预算协议,不是“所有引导方法无效”的全称结论。

研究生可行的研究入口

候选课题 A:多条件冲突的可解释诊断优先推荐

Expand research designCollapse research design
研究问题

当文本、布局、姿态与参考主体冲突时,系统在哪一层失效,能否用局部证据定位并校准控制强度?

最小基线

冻结同一个公开底座,对比纯文本、ControlNet/GLIGEN 类条件器与简单组合。

最小数据

先构造 300–1000 组可程序生成的冲突/非冲突条件,人工核验一小部分。

指标

全局语义、局部区域命中、关系/计数正确率、身份相似度、延迟与失败类型。

组合暴露对照

借鉴Composer,固定底座、曝光和数据,比较独立dropout、仅单/双条件训练、专用控制器;分别测试seen/unseen组合阶数,并按原始来源图聚类人评区间。若拿不到原模型,则只复用协议,不声称复现Composer。

止损条件

若错误主要来自基础模型无法生成目标概念,先收窄为单一专业域;不要把概念缺失误判为控制器失败。

候选课题 B:同预算主干与少步方法账本稳健

Expand research designCollapse research design
研究问题

在固定训练/推理预算和硬件上,主干、NFE、CFG、解码器分别贡献多少质量与延迟?

最小基线

选择 2–3 个公开 checkpoint,不从头训练超大模型;统一分辨率、prompt、样本数和测量脚本。

最小实验

先比较从 1 步到 50 步的四档步数、开启和关闭 CFG、端到端与仅主干延迟,再决定是否训练轻量蒸馏模型。

指标

质量、文本/组合遵循、显存、吞吐、P50/P95 延迟和能耗代理。

止损条件

若 checkpoint 数据与规模差异无法控制,就把结论限定为系统测量,不声称架构因果。

引导校准补充

对比原CFG、CFG扫描、仅有效强度匹配、强度加NFE匹配;保留相同prompt/seed、独立盲评与prompt聚类区间。若优势只来自额外计算或代理偏置,停止宣称真实质量改进(依据Guidance Matters形成的实验建议,尚未执行)。

前馈对照与可执行门

依据GigaGAN同时扫描GAN截断和扩散CFG,记录结构/计数失败、同质量延迟与训练成本;先校验图像manifest、caption ID、CLIP/FID同一集合和版本。若无官方生成器权重,仅能复查预生成样本评测,不能声称完成GigaGAN推理速度复现。

候选课题 C:中文或专业领域的许可数据与可靠人评应用驱动

Expand research designCollapse research design
研究问题

领域术语、文字渲染、关系和文化实体的失败来自数据覆盖、文本编码还是生成器?

最小基线

公开模型零样本、轻量适配和检索增强三组;数据许可与来源逐条记录。

最小数据

500–3000 条高信息 prompt,包含对照、改写和困难负例;先做评测集再决定训练集。

指标

专家正确率、可验证属性、文字 OCR、人评一致性、数据重叠与成本。

止损条件

若专家标注一致性不足,先修订任务定义,不用模型分数掩盖标签歧义。

候选课题 D:统一模型与模块化系统的受控边界高风险

Expand research designCollapse research design
研究问题

统一训练在哪些任务产生正迁移,在哪些任务发生干扰;轻量路由或 adapter 能否恢复?

最小基线

共享底座 + 独立适配、联合训练统一模型、带路由统一模型三组。

最小数据

只选 2–3 个互补任务,固定总样本与更新步数,避免“大而全”。

指标

每任务质量、最差任务退化、参数/存储、训练算力与任务扩展成本。

止损条件

若无法获得可比训练预算,退回表征/梯度冲突的小模型实验,不外推到基础模型。

推荐排序与止损条件

优先级建议为 A → B → C → D。A 最容易形成“数据集 + 诊断指标 + 方法”连续成果;B 最可复现;C 需要真实领域资源;D 的训练预算与因果控制风险最高。任何入口都先用小规模数据证明测量可靠,再扩大模型或训练量。

证据基础

开放问题

相关页面