E4 · 出版卷 26

栅格数据模型

网格、像元中心、范围、分辨率、无数据值与对齐

学习目标

  • 解释“网格、像元中心、范围、分辨率、无数据值与对齐”的决定边界与证据边界。
  • 选择并实现相关表示或算法，不使用隐藏坐标、支撑或拓扑假设。
  • 区分精确谓词、近似误差、来源不确定性与视觉交付。
  • 使用合成证据产出一份带仿射变换与掩膜夹具的对齐栅格契约。

只有当学习者能够为表示、变换、谓词、测试与发布决定同时辩护时，本章才算完成。没有可执行不变量与来源记录的整洁地图或三维场景仍然未经验证。

这是一部通用、机构中立的教程，与任何公司或个人没有关系。本章中的坐标、几何、网格、点、曲面、体积、属性和审查事件全部为合成教学材料，不得用于实际业务决定。

决定情境

本章决定是数组位置能否解释为空间支撑，并在没有未记录位移的情况下组合。宽度、高度与像元值并不足够。栅格需要坐标参考、仿射或其他定位模型、像元面或点解释、范围约定、分辨率、波段语义、数据类型、有效范围、掩膜或无数据值政策以及对齐键。尺寸和名义分辨率相同的两幅栅格，只有在对应索引指向相同支撑时才算对齐。

选择表示或转换前先写明预期用途、错误后果、所需证据、空间支撑与发布权限。适用性应针对版本化契约和用途评估，而不能永久附着在文件扩展名上。

核心概念

栅格是定义在索引域上的覆盖。在仿射模型中，像素与行坐标通过六个系数映射到世界坐标。常见面像元约定下，左上像元的左上角位于索引坐标 (0,0)，中心位于 (0.5,0.5)。范围可以描述外部像元边界，也可以描述中心坐标；混用会造成半像元偏移。无数据值是值状态声明，不是极小或极大的科学测量；外部有效性掩膜往往比哨兵值更安全。

接收证据、合格分析视图与派生表示应保持为不同对象。这样，更正证据、改变变换或新增细节层级都能生成新结果而不改写历史。每个坐标和基元都同时回答空间问题与来源问题。

算法与数据模型

网格身份由坐标参考、变换、维度、轴方向、像元解释与索引原点共同定义。波段级单位、类别、比例与偏移、缺失状态和不确定性分开存储。对齐测试把一组选定角点与中心索引通过两套变换映射到世界坐标，并在由变换精度推导的声明容差下比较，而不是方便地取像元大小百分比。旋转或剪切网格仍然有效，但不能通过丢弃非对角项把它当作北向上数组。

把解析、语义验证、规范化、索引、精确或近似计算、质量评估与编码定义为不同阶段。每个阶段输出结构化结果，不依赖界面状态、文件顺序、图形驱动行为或无文档默认值。

约束与不变量

| 不变量 | 可执行或审查测试 | | --- | --- | | 网格身份包含参考、变换、维度与像元解释。 | 拒绝或隔离精确受影响对象，并保留接收表示。 | | 波段值、单位、掩膜与无数据状态保持为不同元数据。 | 在创建任何派生几何、网格、曲面或体积前评估该条件。 | | 对齐在声明索引位置的世界坐标中测试。 | 记录谓词、容差政策、观测值与坐标框架。 | | 旋转或剪切项必须保留，除非版本化重采样显式移除。 | 把每次修复创建为新版本，并重跑全部依赖黄金用例。 |

不变量必须在导入、变换、处理、导出与重跑中持续成立。硬不变量失败时，不得生成表面有效的替代结果。诊断保留谓词、阈值、坐标框架、作用域与证据，只有经审查规则允许时才能触发修复。

定量推理

仿射系数为 GT 时，世界坐标为 X=GT_0+iGT_1+jGT_2、Y=GT_3+iGT_4+jGT_5。对于 n 列 m 行面像元网格，用 (0,0)、(n,0)、(0,m) 与 (n,m) 评估四个外角。应报告行列式 GT_1GT_5-GT_2GT_4、像元面积绝对值、轴方向、有效像元比例、掩膜比例与对齐残差。行列式为零时变换不可逆。测试应覆盖单像元网格、负行间距、旋转网格、整数哨兵、浮点 NaN、全掩膜波段和恰好相差半像元的变换。

每项指标都包含单位、支撑、适用时的分子与分母、排除项、比较政策与评估版本。若汇总会掩盖局部几何失败，应分层报告。性能提升不能推翻无效拓扑、参考元数据缺失或血缘断裂。

证据与不确定性

采集不确定性、解释不确定性、离散误差、数值舍入与交付误差应保持分离。增加坐标位数或三角形数量不会改善原始证据。采样曲面可以平滑且水密，却在观测之间仍缺乏约束。应按误差所属的量和支撑报告不确定性。

证据包应包含不可变接收对象、语义声明、验证发现、变换输入输出、测量误差、测试结果、审查决定与指纹。矛盾证据继续保留。必需参考、拓扑状态或分类无法解析时，返回未知、冲突或阻止，而不是编造几何。

接口与存储

接口在坐标旁传递身份、坐标参考、单位、轴顺序、支撑、拓扑预期、属性关联、空值状态、版本与血缘。结构化错误标识对象、基元、谓词、观测值、预期条件与规则。只传顶点却丢弃变换或面方向的接口并未保留对象。

权威接收证据与可复现分析派生物、可丢弃交付制品分开存储。索引、缓存、金字塔与渲染网格可改善访问，但不能成为来源属性或坐标元数据的唯一副本。编码变化后，用往返测试验证身份、精度、拓扑、顺序、缺失与关联。

治理与审查

责任分配给角色，而不是具名机构或个人：证据保管角色、表示编写角色、算法维护角色、独立验证角色与发布审查角色。角色可以提出修复，但不能抹去接收几何。变换、谓词与容差变更在发布前都要版本化，并针对固定回归夹具评估。

例外是显式决定，包含作用域、理由、证据、批准角色、受影响版本与复审触发条件。例外不能只靠改标签把无效拓扑变成有效拓扑。承载教程的网站在该工作流中没有所有权或科学权威角色，只负责内容交付。

综合检查点

一份带仿射变换与掩膜夹具的对齐栅格契约
一份带仿射变换与掩膜夹具的对齐栅格契约

把本图视为从保留证据，经声明支撑与坐标、受控转换和验证，通向有作用域发布的推理地图。每条箭头代表声明关系。把一份带仿射变换与掩膜夹具的对齐栅格契约整合到 SYN-SPATIAL，重跑此前夹具，并记录每项变化的假设。

合成算例

合成栅格 SYN-R01 与 SYN-R02 都是 100×100 像元、10 m 分辨率。文件名和尺寸看似对齐，但 SYN-R02 向东和向南各偏 5 m，因为生成方写入像元中心，而接收契约期望外角。逐索引相减会比较不同地面支撑。对齐验证器检测到中心残差 (5,-5) m，阻止地图代数；只有选定一幅网格作为目标契约后，才创建显式重采样派生物。

  1. 保留接收对象，在不修复的情况下声明预期决定。
  2. 解析身份、参考、单位、支撑、拓扑与证据资格。
  3. 运行版本化变换或谓词，同时保留中间诊断。
  4. 作出接受、拒绝或隔离决定，并展示独立审查者如何复现。

练习任务

针对一个合成夹具实现本章成果。夹具至少包含正常、边界、无效与证据未解决用例各一个。保留接收夹具，并产出规范输入、验证发现、派生输出、处理清单、测量误差与简短发布决定。

验收条件：

  • 每个必需身份、坐标参考、单位、支撑与约定均显式声明。
  • 实现在稳定排序与声明数值政策下具有确定性。
  • 任何修复都不覆盖接收证据，也不把未知变成猜测值。
  • 所有硬失败均阻止受影响派生物，并保持机器可读。
  • 第二个实现或审查者可只依靠数据包复现结果。

提交一份带仿射变换与掩膜夹具的对齐栅格契约、黄金与对抗夹具、精确发现项、测量误差和限制说明。截图不能作为充分证据，因为它不标识输入版本、变换、算法或规则配置。

常见失败模式

  • 仅因宽度、高度与分辨率相同就比较数组。
  • 把无数据保留值当作合法零值或极端测量。
  • 混淆像元边界范围与像元中心范围。
  • 导出名义北向上网格时丢弃仿射旋转项。

这些失败具有共同模式：用隐含便利替代证据。应定位假设最早进入的边界，恢复来源主张，把变换或谓词显式化，重跑全部依赖派生物，并以替代方式更新受影响发布，而不是覆盖。

复习问题

  1. 哪些声明使数组成为地理参考栅格？
  2. 为什么像元中心与外角约定不一致会产生半像元偏移？
  3. 无数据值应如何区别于科学零值？
  4. 仿射变换夹具应测试哪些索引位置？

每个答案都要指出支配不变量、评估所需证据、涉及的数值或语义政策，以及条件失败时的正确行为。

来源与延伸阅读