Visible-Surface Detection Methods

Visible-Surface Detection Methods：为同一像素选择最近可见片元，以公式、章专属交互和可重放故障证据独立重写。

学习目标

能说明Visible-Surface Detection Methods中的“为同一像素选择最近可见片元”，并指出公式中每个量的空间、单位或概率含义
能比较正常基线与“清除值与比较函数不匹配，或用线性直觉解释非线性深度”反例，定位深度格式、近远平面、比较函数和重叠片元结果中的首个差异
能操作三个章专属实验，让visible-surface detection、z-buffer同时具备解释、视觉和练习证据
能修改最小实现、固定输入重放，并判断“Visible-Surface Detection Methods的输入、公式中间量、输出与恢复结果可用同一基线复算”是否重新成立

从一个会失败的图像实验开始

Visible-Surface Detection Methods要回答的不是“这个名词是什么”，而是：在固定输入下，如何验证“为同一像素选择最近可见片元”，并让一个反例可重复地推翻错误实现？先写下预期像素、几何或估计量，再运行基线；只要深度格式、近远平面、比较函数和重叠片元结果无法指出差异来自哪一步，图像看起来正确也不能通过。

本页的不变量是：Visible-Surface Detection Methods的输入、公式中间量、输出与恢复结果可用同一基线复算。反例“清除值与比较函数不匹配，或用线性直觉解释非线性深度”只改变一个条件，因而正常、故障与恢复三次运行应能用同一输入直接比较。

原版、版次与事实来源

Visible-Surface Detection Methods只用Pearson第4版书目与22章目录确定原书单元；未取得正文，因此不宣称复现作者表述。以下机制、公式与代码按图形学定义独立编写，OpenGL 4.6 Core规范与GLSL 4.60规范只核对现代API事实，不替代原书历史内容。

六个检查词

、、、、。这些词共同约束为同一像素选择最近可见片元，每个词都必须落到公式、交互状态或可重放输出，不能只出现在术语表。

原书单元与独立机制解释

Visible-Surface Detection Methods

visible-surface detection 比较遮挡候选，z-buffer 为每个像素保存当前最近深度。算法简单但依赖深度精度、比较方向和清除值；近远平面比例过大时会出现z-fighting。

本单元的正式坐标是visible-surface detection、z-buffer。验证Visible-Surface Detection Methods时，先制造“清除值与比较函数不匹配，或用线性直觉解释非线性深度”，再检查深度格式、近远平面、比较函数和重叠片元结果能否把错误定位到为同一像素选择最近可见片元的首个分叉。

z_{new}\prec z_{buffer}\Rightarrow (C,z)\leftarrow(C_{new},z_{new})

先预测，再操作三个章专属实验

分步1 / 3

1. 概念与因果路径

在Visible-Surface Detection Methods中选择任一正式坐标，沿机制链查看它的输入、状态变化和可推翻探针。

图形管线坐标审计

Visible-Surface Detection Methods

把为同一像素选择最近可见片元放进输入、变换、离散、外观与显示五个责任阶段。

正式概念

Visible-Surface Detection Methods / visible-surface detection

模型/输入

定义图元、属性、数据或交互事件

探针：深度格式、近远平面、比较函数和重叠片元结果

当前公式坐标

z_{new}\prec z_{buffer}\Rightarrow (C,z)\leftarrow(C_{new},z_{new})

原书边界：Donald Hearn、M. Pauline Baker、Warren Carithers《Computer Graphics with OpenGL》第4版。课程实验显式标注坐标和状态，不把现代API示例冒充原书正文。

最小可重现实验

if (fragment.depth < depthBuffer[pixel]) {
  depthBuffer[pixel] = fragment.depth;
  colorBuffer[pixel] = shade(fragment);
}

运行Visible-Surface Detection Methods时固定随机种子、输入几何、坐标约定和数值精度；记录编译命令或算法版本、输出摘要与失败条件。实验输出若依赖隐藏全局状态，必须先消除该依赖再比较。

练习与答案

练习

问题 1：公式与边界。 怎样用一个数值样本证明 $z_{new}\prec z_{buffer}\Rightarrow (C,z)\leftarrow(C_{new},z_{new})$ 中的量没有混用空间、单位或概率密度？

问题 2：正式坐标。 visible-surface detection、z-buffer如何进入可操作验证？

visible-surface detection：在专属实验中选中该节点，保存输入与深度格式、近远平面、比较函数和重叠片元结果，注入“清除值与比较函数不匹配，或用线性直觉解释非线性深度”后恢复并重放。
z-buffer：在专属实验中选中该节点，保存输入与深度格式、近远平面、比较函数和重叠片元结果，注入“清除值与比较函数不匹配，或用线性直觉解释非线性深度”后恢复并重放。

问题 3：故障恢复。 如何证明“清除值与比较函数不匹配，或用线性直觉解释非线性深度”已经真正修复？

本章回顾

掌握Visible-Surface Detection Methods意味着能将“为同一像素选择最近可见片元”写成明确公式或算法，能操作正式坐标，能制造“清除值与比较函数不匹配，或用线性直觉解释非线性深度”，还能凭深度格式、近远平面、比较函数和重叠片元结果恢复同输入结果，而不是把一段Vulkan生命周期模板换上本章标题。

名词解释

本章出现的专业名词，用大白话再讲一遍。

visible-surface detection: visible-surface detection在Visible-Surface Detection Methods中用于为同一像素选择最近可见片元；应由深度格式、近远平面、比较函数和重叠片元结果确认，而不是只凭术语出现。
z-buffer: z-buffer在Visible-Surface Detection Methods中用于为同一像素选择最近可见片元；应由深度格式、近远平面、比较函数和重叠片元结果确认，而不是只凭术语出现。
coordinate space: coordinate space：坐标空间声明数值当前属于模型、世界、观察、裁剪或设备阶段。
raster state: raster state：光栅状态决定覆盖、深度、混合和面剔除等离散规则。
reference image: reference image：参考图用固定输入和高质量设置提供误差比较基线。

阅读导航

← Three-Dimensional Viewing × Hierarchical Modeling · Illumination Models and Surface-Rendering Methods × Global Illumination →