E3 · 出版卷 25

钻孔坐标框架

孔口、方位角、倾斜角、实测深度、真垂深与局部向量

学习目标

  • 解释“孔口、方位角、倾斜角、实测深度、真垂深与局部向量”的决定边界与证据边界。
  • 设计并实现相关钻孔数据或算法契约，不使用隐藏约定。
  • 区分硬发布质量门、诊断、解释与获授权审查。
  • 使用合成证据产出一份坐标约定契约与经过验证的方向向量测试集。

只有当学习者能够为数据模型、算法、测试与发布决定同时辩护时，本章才算完成。没有来源证据与可执行不变量的美观轨迹或整洁区间表仍然未经验证。

这是一部通用、机构中立的教程，与任何公司或个人没有关系。本章中的钻孔标识、坐标、深度、方向、区间、数值和审查事件全部为合成教学材料，不得用于实际业务决定。

决定情境

仅凭三列坐标和两列角度无法解释钻孔轨迹。决定边界必须声明孔口参考、水平与垂直坐标参考、轴顺序、垂向正方向、北向参考、角度单位和角度约定，还要说明所存深度究竟是从钻进基准起算的路径长度、垂向位移、高程还是其他坐标。任何可能使轨迹反向或旋转的约定未解决时，计算都应被阻止。

选择转换前先写明预期用途、错误后果、所需证据与发布权限。同一来源可以适合探索显示，却不适合正式派生发布。适用性应针对版本化契约和用途评估，而不能永久贴在文件上。

核心概念

计算应使用一个明确的内部框架，并把每种输入约定显式映射到该框架。本教程内部采用东—北—上坐标，方位角从声明的北向顺时针量取，倾斜角从垂直向下方向量取。倾斜角为 I、方位角为 A 时，单位切向量为 \mathbf{t}=(\sin I\sin A,\sin I\cos A,-\cos I)。实测深度 MD 是沿路径的累计距离；真垂深是另一项派生坐标，其符号和基准必须声明。若来源使用从水平面向下量取的倾角，必须先转换后才能进入内部计算。

接收观测、合格证据视图与派生结果应保持为不同对象。这样，更正证据或改变方法可以生成新结果而不改写历史。每个派生坐标或区间都同时回答一个科学问题与一个来源问题。

算法与数据模型

孔口应建模为带版本的空间观测，包含坐标、坐标参考、适用时的测量历元、垂直基准、钻进基准与不确定性。每个方向同时保留来源角度及其约定，并派生单位向量。保留来源表示与规范向量，可使转换可审计。在垂直测站处，方位角在几何上不确定；软件可以为连续性保留来源方位角，但不得声称该角度约束了垂直方向。

在可行范围内，把转换定义为纯粹、可测试的运算。解析、语义验证、证据选择、数值计算与发布评估是不同阶段；每个阶段输出结构化结果，不依赖界面状态、文件名顺序或无文档默认值。

约束与不变量

| 不变量 | 可执行或审查测试 | | --- | --- | | 每个位置都声明水平与垂直参考。 | 拒绝或隔离违反该条件的记录，并记录精确受影响身份。 | | 每个角度都声明起算方向、旋转方向、单位与北向参考。 | 在生成任何轨迹或区间派生结果前评估该条件。 | | 实测深度与垂深始终保持为不同量。 | 保留接收证据，并为每次更正创建新版本。 | | 来源角度与规范向量都予以保留。 | 在审计输出中包含规则标识、观测值与解决状态。 |

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

定量推理

应在声明的数值容差内验证向量范数 ||\mathbf{t}||_2=1。对每个非奇异测试方向执行角度—向量—角度往返，并用圆周距离 d_A=\min(|A_1-A_2|,2\pi-|A_1-A_2|) 比较方位角。测试应覆盖四个基本方向、垂直向下、近垂直、近水平和 0/2\pi 环绕。平移只作用于位置，旋转作用于向量；基准或网格改正不得伪装成标签变化。

每项指标都包含单位、适用时的分子与分母、排除项、比较政策与评估版本。若汇总可能掩盖局部失败，应分层报告。定量诊断支持决定，但不能推翻身份缺失、几何无效、冲突未解决或血缘断裂。

证据与不确定性

观测不确定性、插值不确定性、数值近似与元数据不确定性应保持分离。平滑轨迹可以在数值上非常精确，但在测站间距过大时仍缺乏约束；精确区间叠置在来源深度基准未知时仍可能不适用。考核结果应说明哪些不确定性属于现象、测量、算法和解释。

证据包应包含不可变接收记录、语义声明、验证发现、算法输入输出、测试结果、审查决定与指纹。矛盾证据继续保留。必需依赖无法解析时，返回显式未知、冲突或阻止状态，而不是选择最方便的值。

接口与存储

接口在数值旁传递身份、单位、坐标与深度参考、约定、值状态、版本与血缘。轨迹交换包含孔口与基准上下文、合格测站身份、算法身份、数值政策与输出坐标；区间交换包含支撑类型、边界约定与来源链接。结构化错误标识记录、字段、观测值、预期条件与规则。

权威接收证据与可复现派生物、可丢弃视图分开存储。索引、缓存与可视化可以改善访问，但不能成为角度约定、合格测站决定或区间血缘的唯一副本。导出往返应验证标识、精度、顺序与缺失状态在编码变化后仍然保留。

治理与审查

责任分配给角色，而不是具名机构或个人：证据保管角色、规则编写角色、实现维护角色、独立验证角色与发布审查角色。任何角色都不能抹去来源证据。规则与算法变更在影响发布前必须经过审查、版本化，并对固定回归夹具评估。

例外是显式决定，包含作用域、理由、证据、批准角色、受影响版本与复审触发条件。例外不会改写失败规则，也不会自动传播。承载教程的网站在该工作流中没有所有权或科学权威角色，只负责内容交付。

综合检查点

一份坐标约定契约与经过验证的方向向量测试集
一份坐标约定契约与经过验证的方向向量测试集

把本图视为从保留证据，经显式约定、确定性计算与验证，通向发布的推理地图。每条箭头代表声明关系或转换。把一份坐标约定契约与经过验证的方向向量测试集整合到持续演进的合成钻孔数据包，重跑此前全部夹具，并记录任何变化的假设。

合成算例

合成钻孔 SYN-H001 的孔口局部坐标为 (5000, 8000, 240) m。一份文件记录方位角 090°、从水平面向下的倾角 -60°，另一接口却要求从垂直方向量取倾斜角。正确转换得到倾斜角 30°，其切向量东分量为正、北分量为零、上分量为负。若把 -60 直接当作倾斜角，约定本身即无效，轨迹还会朝错误垂向延伸。修复后的数据包保留接收值、记录转换并通过基本方向向量测试。

  1. 保留接收记录，在不更正的情况下声明预期决定。
  2. 解析身份、单位、约定与证据资格，并标记每个未解决项。
  3. 运行版本化算法与测试，同时保留中间诊断。
  4. 作出接受、拒绝或隔离决定，并展示独立审查者如何复现。

练习任务

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

验收条件：

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

提交一份坐标约定契约与经过验证的方向向量测试集、黄金与对抗夹具、精确发现项和限制说明。截图不能作为充分证据，因为它不标识输入版本、算法或规则配置。

常见失败模式

  • 未经转换就把倾角当作倾斜角。
  • 在同一列中混用向上为正的高程与向下为正的深度。
  • 网格收敛角被重复应用或完全遗漏。
  • 把垂直测站的方位角当作受约束实测方向。

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

复习问题

  1. 为什么实测深度不是垂向坐标？
  2. 解释方位角需要哪些声明？
  3. 如何把从水平面向下量取的倾角映射为从垂直方向量取的倾斜角？
  4. 为什么规范转换后仍要保留来源角度？

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

来源与延伸阅读