一、引言

现代数字工程体系横跨理论物理、计算机仿真、产品设计与制造计量等多个领域。
不同领域虽共享数学语言，却在有效性判据和本体承诺上存在深层断裂。
本文提出三个基本命题，分别界定计算机图形学与理论物理的关系、CAx系统内核与可视化的关系，以及标称数学模型在规约与实现之间的临界地位。
由这三个命题出发，可演绎出一组具有方法论约束力的推论，构成一个异质多层的认识论架构。

二、命题一及其推论

命题一：计算机图形学与理论物理共享数学语言，但分属不同的有效性范畴。

二者均以微分几何、线性代数、测度论与概率论等为形式工具，但有效性判据存在本质差异。
理论物理以经验可证伪性为判据，承诺对物理实在的预测性描述。
计算机图形学以感知一致性为判据，承诺生成视觉系统可接受的像素分布。
图形学并非公理化系统，而是由不同抽象层级模型构成的模型集合（Lambert、Phong、Cook-Torrance等）。
即便基于物理的渲染也仅依赖几何光学近似，已在形式上排除了波动光学与量子电动力学效应。
两者的交集限于数学工具层，其本体承诺相互独立。
物理学描述实在的结构与演化，图形学构造满足感知约束的像素分布。

由命题一可推演出以下三个推论：

• 推论1.1（视觉保真度与物理真实性在范畴上解耦）
  渲染结果的“逼真”是感知闭环内的自洽，不能作为物理有效性的证据。
  图形学输出在原则上不具有经验可证伪性，仅具有视觉可接受性。
  任何基于渲染图像断言物理现象成立的企图，均构成范畴谬误。

• 推论1.2（图形学是模型与人之间的“感觉运动接口”）
  图形学的角色并非描述实在，而是将抽象数学结构转译为人类视觉系统可处理的信号。
  其作用类似认知科学中的感觉运动偶联，不增加或改变模型的本体内容。
  因此，图形学的评价准则是人因工程与认知效率，而非物理真值或数学完备性。

• 推论1.3（视觉错觉在工程评审中构成系统性认知风险）
  人类观察者极易将感知一致性误认为物理准确性，这导致基于渲染的仿真验证存在系统性偏差。
  若不加约束，审美上“逼真”的渲染可能淹没几何与物理层面的真实缺陷。

三、命题二及其推论

命题二：CAx系统的本体为数学模型，计算机图形学构成其呈现层。

CAD的核心数学对象是NURBS、边界表示（B-rep）和参数化约束图。
CAE的核心是偏微分方程的离散化方法及其在Sobolev空间中的弱解表述。
CAM的核心是微分几何曲线族、机床运动学方程与刀位轨迹插补算法。
这些数学对象均为观察者无关的规约对象，其存在与同一性由形式定义唯一确定，独立于任何可视化呈现。
计算机图形学仅在人机交互、后处理与仿真验证等环节作为呈现层介入，不构成CAx的本体内容。

由命题二可推演出：

• 推论2.1（语义完整性独立于可视化实现）
  模型的权威性与同一性完全寄寓于形式化数学描述。
  渲染管线或可视化技术的更迭、失效甚至缺失，都不影响规约对象的真值。
  据此，模型交换与长期存档的标准应基于数学语义，而非图形显示约定。

• 推论2.2（呈现层隔离原则）
  任何设计评审与符合性评定，必须以规约模型的数学语义为唯一依据。
  渲染图像仅作为认知辅助，不得进入决策的证据链。
  这一原则杜绝了以视觉印象替代几何与物理判定的逻辑通道。

四、命题三及其推论

命题三：标称数学模型构成规约域与实现域之间的临界面。

整个建模—制造—计量过程可划分为三个层级：理论域（连续数学对象，无穷精度）、可计算域（有限精度离散化，引入截断误差、离散化误差、舍入误差）和物理域（制造与计量，引入工艺误差、环境扰动与测量不确定度）。
完成数值离散化但尚未进入物理实现的数学模型，即GPS框架中的标称模型，构成从规约域向实现域投射的唯一临界面。
在计量学语境下，它充当名义值（设计规约目标），而非约定真值。
加工误差的形式化定义为 ( e = M - N )，其中 ( M ) 为实测几何（伴随不确定度 ( U )），( N ) 为标称几何。
该定义构成ISO 1101与ISO 14253-1的形式基础。

由命题三可推演出：

• 推论3.1（标称模型是数字线索中“规约—实现”二元性的唯一分界面）
  标称模型是最后一个“纯规约”实体，定义了设计与制造之间信息无损传递的终结点。
  所有偏差评定均以此为准。
  任何企图绕过标称模型、直接由可视化图像进行判定的行为，均混淆了呈现层与规约层。

• 推论3.2（测量不确定度与误差的形上学基础独立于视觉表征）
  误差定义仅依赖标称模型 ( N ) 与实测几何 ( M )，与二者能否被“真实渲染”无关。
  即使对象特征超出图形学表达能力（如内部微结构或量子效应主导的表面），计量学判据依然健壮。
  图形学仅提供视觉转译，而非定义本身。

五、综合推论：异质多层有效性架构

上述三个命题共同揭示了一个根本图景：数字工程体系并非扁平的单层结构，而是一个异质多层架构，每一层拥有独立且不可相互归约的有效性判据。

• 物理层（理论域目标）判据：经验可证伪性、预测精度。
• 可计算层判据：数值收敛性，误差范数有界（( \epsilon_t, \epsilon_d, \epsilon_r ) 可控）。
• 规约层（标称模型）判据：形式一致性、几何公差定义的完备性。
• 呈现层（图形学）判据：感知一致性、交互响应速度、视觉辨识度。
• 物理实现层判据：实测值 ( M ) 与标称值 ( N ) 的偏差 ( e ) 处于容许区间，且 ( |e| + U \le \text{容差} )（符合ISO 14253-1）。

任何层内的“成功”（如渲染真实、求解收敛）均不能向上或向下传递为另一层的有效性保证。
由此，可导出一条方法论禁令：禁止跨层有效性论证，即不得以图形真实论证物理准确，亦不得以数学收敛论证制造合格。

六、元推论：权威的唯一载体与感知的合法边界

以上命题与推论最终收敛于一个核心元命题：在数字工程体系中，权威性唯一地寄寓于形式化数学规约。
计算机图形学是实现认知可达性的透明中介，而非知识本体。
标称数学模型是联结纯粹形式世界与物理因果世界的唯一合法临界实体。
这一架构将“真实”分化为数学真实、物理真实与感知真实三个独立的维度，并彻底拒绝了以视觉逼真度僭越数学或物理有效性判据的错误逻辑。
由此确立的规约层主导、呈现层隔离、标称模型临界的方法论秩序，构成了从设计意图到计量评定的严谨认知根基。

七、结论

本文讨论了计算机图形学、数学标称模型与物理实现之间在数字工程体系中的关系。分析表明，这三者各自遵循不同的有效性判据，不宜相互替代或混淆。

第一，计算机图形学与理论物理虽然使用相近的数学工具，但二者的目标不同：理论物理关注对物理实在的经验可证伪性描述，图形学关注生成满足视觉感知要求的像素分布。因此，图形学中的“逼真”不等同于物理真实，这一点在基于渲染的仿真验证中值得留意。

第二，CAx系统的核心是数学模型（如NURBS、B-rep、偏微分方程离散化等），图形学作为呈现层服务于人机交互与结果展示，并不改变模型本身的语义内容。模型的完整性与一致性依赖于其数学定义，而非可视化效果。这意味着在模型交换、存档与评审中，应以数学描述为主要依据，图形显示可作为辅助参考。

第三，标称模型处于数学规约与物理实现之间，是误差评定的基准。加工误差定义为实测几何与标称几何的偏差，这一关系独立于任何可视化表达。测量不确定度的处理也以标称模型为基础，不受图形学能力的影响。

由此可以认为，数字工程体系呈现为一个多层结构：物理层、可计算层、规约层、呈现层和物理实现层各有其适用的判据。某一层内的有效结果（例如求解收敛、渲染真实）并不自动保证其他层的有效性。在工程实践中，明确各层的边界，并以标称模型作为设计、制造与计量之间信息传递的基准，有助于减少因范畴混淆带来的认知偏差。图形学在提供认知辅助方面具有实际价值，但其作用应限于这一范围，不宜作为工程决策的直接证据。