通用表达与工业系统覆盖

研究总览 · 2026-09-20

航空几何族、通用性边界和五类工业系统的组合论证。

• 19. 如何实现，以及如何判断能否承接飞机与火箭设计
• 20. 确切回答：能否通用，表达和设计一切
• 21. 五类实际工业系统：怎样判断共同核心能否支撑

19. 如何实现，以及如何判断能否承接飞机与火箭设计

19.1 修正“少量语义”的范围

用户追问的不是再增加一个案例，而是：这套架构如何落地，凭什么能承接飞机、火箭这种复杂产品？“少量”应约束重复概念和组合机制，不能被解释为永远只提供孔、板、同轴等少数领域关系。 核心需要开放、可组合且有明确语义的设计语言；机翼、机身、壳体、连接件等领域对象可以由该语言定义，必要的新基础语义有清楚的扩展边界。不得用“小原语集”口号锁死表达能力。

这里将“制作”分成可区分的承诺：生成并编辑几何；表达完整零部件与装配定义；在指定模型下进行工程分析；得到可制造并满足实际使用要求的设计。上一层成立不会自动证明下一层。当前孔板关系研究足以说明一类编译方法，尚不能证明 Aira 已经具备飞机或运载器的完整设计能力。

19.2 实现为同一核心中的六项职责

下表是实现分工，不是要求新建六个包、六套执行器或引入六个库；落入现有 AMIR、共享能力定义、编译器、几何内核与事务路径，替换重复职责。

职责	要实现的具体机制	航空复杂模型为何需要
持久设计表示	带单位的参数、坐标系、曲线/曲面/实体、实例、关系、目标、固定/开放量与稳定身份；显式关联材料、场量及分析定义	一个翼面同时参与外形、内部结构、装配和分析，必须指向同一设计事实
可组合语义定义	同一权威定义提供类型、前提、数学含义、构造/残差生成、恢复映射、检查与失效范围；领域概念可展开或调用有明确契约的原生能力	“翼肋”“壳段”可复用截面、曲面、相交和装配能力；不复制一套产品引擎
关系编译	绑定对象与坐标，代入已知量，传播定义域，识别直接依赖与联立块，生成数学问题及构造依赖，并记录约束来源	把“截面保持某种关系”转换成实际计算，避免 AI 手写每个控制点和构造顺序
数学与几何执行	支持的直接构造优先求值；余下未知量按 §18.4 路由；结构变化在明确语法内搜索；生成真实曲面、拓扑、实体与实例	参数求解和拓扑构造各负其责；求得控制点不等于已经形成有效实体
分析连接	用同一修订关联几何、材料、网格/降阶模型、载荷、边界条件、结果与模型适用范围；耦合量和误差显式传递	几何编辑与结构、热、气动等分析之间存在依赖；不能仅按分析名称宣称物理能力
验收与原子编辑	检查关系见证、实际几何、连接和保持项；绑定完整候选状态后提交，诊断回指原要求；保持撤销、重做和恢复	部件有效仍可能整机干涉或连接错误，整机修改必须保留共同约束

能力定义的重点是可执行含义，而非庞大说明。例如一个截面关系必须指明输入曲线所在坐标系、参数对应、闭合与正则条件、输出曲面的构造方式；不能只写“自动生成高质量机翼”。能力发现从同一权威定义投影，AI 可先使用“截面族/翼面”层，必要时下钻到曲线或约束层。

原生的成熟曲面、布尔、草图、优化算法继续按 §1、§3 分工复用。新增领域模块不默认携带第二份 OCCT 或第二套等价求解器。一般程序可作为受控表达方式，但它能前向执行不代表其任意逆问题都可自动求解；这一边界必须出现在能力契约中。

19.3 已有航空软件给出的依据

DLR TiGL 将 CPACS 参数描述转换为飞机几何，底层使用 Open CASCADE 和 NURBS。其功能说明明确列出机翼、机身、操纵面，以及用于结构分析的梁和肋模型，并说明曲线网络插值采用 Gordon 曲面。TiGL 原始论文论述了基于 B-spline 的 Gordon 曲面及曲线网络相容条件，应用阶段为概念与初步设计。

这提供了具体依据：参数化描述、曲面生成、实体底座与分析连接能够服务于实际航空几何工作。它没有证明 Aira 的当前绑定、语义、模型规模和诊断已达到相同范围，也没有证明任何参数组合都有效。

本节把 TiGL/CPACS 用作已有构造方法和领域语义的研究依据，不据此直接加入 TiGL 运行时，不把其整套分发变成 Aira 的额外几何底座。若某成熟曲面算法确实需要复用，按具体能力、现有底座、锁定 API 与重复职责作决定。已有航空软件说明底层数学路线可行，Aira 的创新仍在统一关系表达、自动编译、编辑语义与 AI 使用方式。

19.4 不遍历产品，用构造性映射证明覆盖

先由独立工程要求定义目标设计族 T：曲面和实体类别、装配连接、允许编辑、精度、规模及分析边界；可借助 CPACS/TiGL 的明确几何子域作为参照，但必须指明子域，不能直接继承整个软件的能力。不得把 T 定义成“当前核心能做的东西”，再宣称覆盖成立。

设核心语言为 L。对 T 的每类基础对象与组合规则，给出可执行翻译 C:T→L，并证明相应前提下的语义保持：

[ Obs(\llbracket C(t)\rrbracket)\simeq_\varepsilon Obs(t). ]

Obs 不只包含表面位置，还包含要求中指定的实体数、拓扑连接、身份、尺寸及关系。符号 (\simeq_\varepsilon) 表示分别满足声明的保持条件：几何距离可用误差界，拓扑和身份不可仅靠距离近似替代。对允许编辑 Eδ，还需证明翻译与核心编辑具有相同规定效果：

[ C(E_\delta(t))\simeq_\varepsilon E^K_\delta(C(t)). ]

证明以规则为单位：基础构造具有实现与前提；每种组合保持规定性质并保留跨部件约束；再以结构归纳覆盖所有有限合法组合和其参数域。由此可说明整个定义族如何表达和修改，无需逐架飞机试用。预算效率另外取决于模型规模、耦合图和数值条件；表达覆盖不保证从任意需求自动发现结构，也不保证预算内求解完整。

“可容纳大装配”还要求层级实例、局部求值、共享定义和跨部件关系都进入模型。任何分块只能在保留耦合边界条件后进行；每个部件单独正确不推出整机正确。

19.5 机翼：可以直接证明的一类曲面性质

给出一个理想连续几何族，说明怎样按数学结构获得范围依据。令 s∈[0,1] 为展向参数，b>0 为半展长；a(u,s) 是各截面在自身平面内的闭合、简单、正则曲线，u 是圆周 S¹ 上的参数。设弦向比例 c(s)>0，截面内旋转 R(θ(s))，位置函数 ℓ(s)、h(s)。所有函数在讨论域内联合至少 C¹，包括周期接缝处的导数相容，且 a_u≠0。定义侧面：

[ S(u,s)=\left( \ell(s)+c(s)[R(\theta(s))a(u,s)]_1,; bs,; h(s)+c(s)[R(\theta(s))a(u,s)]_2 \right). ]

它直接给出一族带展向截面变化、弦向缩放、扭转与位置变化的翼面构造。可推导：

• 不同 s 的点具有不同 y=bs，因而不同截面不会相交。
• 同一 s 下，正比例缩放与旋转保持截面曲线的单射性；周期接缝按同一点处理，侧面没有额外自交。
• S_u 的 y 分量为 0 且非零，S_s 的 y 分量为 b>0，二者线性无关，所以该侧面片正则。

这对整个满足前提的参数族成立。端盖、实体化、内部结构、与机身连接、尖尾缘及缩为零的翼尖等需要各自构造与前提；它们没有被上述侧面证明自动覆盖。截面族本身仍须满足所声明的简单性与正则性，不能靠命名为“翼型”代替检查。

一般 θ(s)、a(u,s) 不保证 S 恰好属于有限 NURBS 表示。落到 B-Rep 时，应采用已支持的样条曲面构造或带误差控制的逼近；理想曲面的无自交证明不会自动转移到任意数值拟合。若要继承性质，还需对应的误差/正则保持条件，或对实际输出重新检查。这里已给出构造性数学依据，尚未实现或认证这条 Aira 曲面路径。

19.6 火箭壳段：由回转与连接规则得到几何族

只讨论运载器的轴对称壳段几何。对有限轴向区间 z∈[z₀,z₁]，z₀<z₁，定义连续且分片光滑的内外半径 0<r_i(z)<r_o(z)。两侧边界为：

[ S_j(z,\theta)=\big(r_j(z)\cos\theta,;r_j(z)\sin\theta,;z\big), \qquad j\in{i,o}. ]

每一 z 的内外圆不交，不同 z 的截面处于不同平面；以相应环形端面闭合，可以描述理想壳体区域 (r_i(z)\le\sqrt{x^2+y^2}\le r_o(z))。在上述域中，几何构造由母线、回转和端面连接共同给出，参数无需逐尺寸枚举。角度接缝采用周期识别；轴上尖点、分叉或非轴对称开口需额外构造规则。

该理想边界通常分片光滑，端盖接缝可以有棱边，不宣称整体光滑。这里的 r_o−r_i 是径向厚度，并不一般等于沿法向测得的壁厚或最小壁厚。若要求法向等厚，必须使用对应的偏置语义及有效域，不能替换成半径相减。材料、连接承载、热环境及其他工程要求有各自的模型和检查，本几何构造不提供整机性能保证。有限样条母线可映射到成熟回转构造；一般函数则需明确表示与逼近契约，实际 B-Rep 仍须检查。

19.7 本次能够确定的结论

本节给出的航空几何族和编辑保持义务支持架构可行性；完整参照域及构造性翻译见 §22.3。几何族成立不自动证明整机气动、结构、材料、制造和控制要求成立，也不表示当前 Aira 已完成这些工程链。

20. 确切回答：能否通用，表达和设计一切

20.1 三个不同命题，分别给结论

用户要求确切答案，因此不能继续用“开放、可组合、可以扩展”替代表达能力的证明。当前研究已经选择架构职责，但尚未证明当前 Aira 语言与实现具备通用工程表达能力；§18–§19 的推导不能被升级为该结论。 同时，通用性并不需要按飞机、火箭、汽车等产品名称逐项加入：它应当相对于明确的表示和操作语义来证明。

命题	确切结论
一个固定解释规则的数字系统，用有限描述精确表达所有数学几何对象	不可能；有限字符串可数，而即便单点集合的坐标选择也已不可数
不受产品类别限制，在明确表示与误差契约下覆盖一类工程模型	可以建立严格的表达覆盖命题；必须给出独立目标域、有效编码/翻译、求值和语义保持证明，当前 Aira 尚未完成
输入任意可表述要求，系统总能结束并交付设计或正确证明无解	对足够一般的要求语言，不存在这样的通用算法；限制问题域后可以有完备算法，但不自动有可接受的成本

有限描述和可计算并不等价：有限数学语句可以定义不可计算对象。能把语句保存为字符串，也不代表系统能够求值、构造或检查它。图灵完备性说明计算表达能力；没有几何输出表示、语义连接、编辑和误差论证，不能据此证明 CAD 通用性。Turing，1936 原文

20.2 一个可完整证明的几何表达命题

先给出一个强度有限但确实成立的定理，避免只承诺“有办法证明”。令 K⊂R³ 为非空、有界、闭合的点集，采用边长 h>0 的规则网格。取所有与 K 相交的闭立方体，其有限并集记为 V_h，则：

[ K\subseteq V_h,\qquad d_H(K,V_h)\le\sqrt3h. ]

证明：有界性保证涉及的网格单元有限。任意 K 中的点属于某个被选单元；任意 V_h 中的点与 K 中某点同处一个单元，距离不超过单元对角线 √3h。于是对任意 ε>0，取 h≤ε/√3，即存在一个有限离散描述，使占据点集的 Hausdorff 距离不超过 ε。

这已经是与产品类别无关的有限精度几何表达结果，但必须准确解释：

• 它证明近似描述存在。对任意给定的抽象 K，“单元是否与 K 相交”未必可判定；不能将存在性证明称为通用有效生成算法。实际算法需要合适的可计算输入表示、可用查询或已知收敛误差界。
• 它控制点集距离，不保证边界距离、孔洞、薄壁、拓扑、流形性、法向、曲率、工程身份或设计意图保持。不同拓扑可以在此距离下非常接近。
• 它不证明任意 V_h 都是现有 OCCT 路径可接受的单一有效实体，也不意味着应将产品改成体素内核。
• 细化网格的资源成本可以很高；表达通用不等于高效、易编辑或易被 AI 使用。

还可在明确可计算输入下加强为有效构造。假设 K 由程序 G 给出：对任意非负整数 m，G(m) 都终止并输出有限非空有理点集 Q_m，且 d_H(K,Q_m)≤2⁻ᵐ。这是本节明确采用的输入契约，不等同于只会查询某点是否在 K 中。

给定有理精度 ε>0，令 δ=2⁻ᵐ，选择 m 使 (1+√3)δ≤ε；运行 G(m)，把每个 q∈Q_m 替换成闭立方体 q+[−δ,δ]³，并保留其有限并集 V。每个 K 中的点距某 q 不超过 δ，故 K⊆V；每个 V 中的点距某 q 不超过 √3δ，而该 q 距 K 不超过 δ，故 d_H(K,V)≤(1+√3)δ≤ε。这给出对所有满足输入契约的 G 通用的、逐精度终止的构造算法；没有枚举所有产品或所有候选设计。

因此，若核心语言能语义保持地执行此类生成程序，并能表示任意有限个有理立方体的并集，就获得上述可计算紧几何的有限精度表达覆盖。 这里的并集可以是明确解释的离散区域表示，不强行称为单一有效 B-Rep。该定理没有统一时间/内存上界，不自动判断任意提交的 G 是否满足契约，也没有证明当前 AMIR/执行器已具备所需能力。

这两种定理的作用是把“几何通用表达”与“好用的工业设计核心”分开：前者能够有通用数学依据，后者还需要更强的语义、拓扑、编辑与计算条件。不能用曲面/体素逼近把这些额外条件默默删掉。

20.3 工程表达通用性的证明义务

先独立定义目标模型域 D：允许的曲线与曲面表示、实体和装配拓扑、有限参数与计算定义、材料及分析模型语义、可执行要求、编辑操作、精度与规模条件。目标域应来自工程对象及明确的参考语义，不由“目前实现了什么”反向定义。

所需表达覆盖命题是：

[ \forall d\in D,;\exists p\in L: \quad\llbracket p\rrbracket\simeq_{\varepsilon,\Sigma} d. ]

L 是 Aira 的设计语言，Σ 列出必须保持的非距离语义，例如拓扑连接、身份、单位和要求。要证明这不是存在某段不可找到的代码，还需给出可执行翻译 C(d)=p；要支持修改，还需满足 §19.4 的编辑保持条件。求值保证必须注明输入域与资源前提；不能把无界数学机器的能力直接赋予浏览器运行时。

具体证明内容是：

1. 数据覆盖：目标域中每类几何、拓扑、装配和关系都有实际模型表示，不能仅作为不透明文本存入 metadata。
2. 计算覆盖：目标域内的计算定义能够编译或由受控执行器解释，输出连接到真实几何与设计状态。支持一种通用程序语言可覆盖其可执行程序，但其几何 API、数值类型与资源限制仍须纳入证明。
3. 组合保持：基础构造与组合规则的适用域、单位、引用、误差和语义保持成立，以结构归纳覆盖所有合法有限组合。个别叶节点未证明时，不得把整个模型判为已覆盖。
4. 编辑保持：改变参数或结构后的行为仍满足约定，需求与身份不会因为几何重建而丢失。

证明按语言规则、数学片段和翻译机制进行，不按产品数量进行。这可以建立明确域内的表达通用性；扩展域时，增加的语义与证明义务也必须明确。不存在因为语言叫“开放”就自动获得的覆盖。

20.4 表达通用为何不能推出自动设计万能

一个具体归约足以说明边界。假设要求语言可表达任意程序 M 在整数 t 步内停机这一谓词 H(M,t)，并允许无上界的整数 t。构造设计请求：“生成一个普通立方体，并给出满足 H(M,t) 的 t”。对给定 M、t，该谓词可通过有限步模拟检查；合格设计存在，当且仅当 M 最终停机。

如果一个设计器对所有此类请求都能终止，并正确返回合格设计或证明不存在，它就能决定任意程序是否停机；这与不可判定性结论矛盾。因此，一般表达能力不能同时带来对所有要求的完备终止求解保证。这个归约针对允许上述一般计算与无界整数的语言，不能拿来否定所有受限 CAD 子问题。Turing，1936

若给程序、参数、精度和候选数量都设有限上界，并且每个判定终止，则问题可以通过有限搜索决定；这里是可判定性说明，不是实施枚举建议。即使可判定，可靠核验与高效找解也不能混同；对含任意布尔子句的选择域，普遍多项式求解会涉及 P 与 NP 问题，不能将尚未证明的复杂度假设当成产品保证。Clay Mathematics Institute 的问题说明

也不能由上述归约声称“不存在任何通用找解过程”：在候选可枚举且合格性可判定时，可行实例可能通过搜索最终找到见证，但无解实例不一定能终止报告。用户需要的预算内自动设计能力，仍比这种半判定性质更强。

20.5 对 Aira 的确切裁决

采用明确工程语义域内的表达覆盖，并按数学片段提供求解保证。§22.3 已给出参照域 P 的构造性嵌入；这与当前 AMIR/执行器已经实现该覆盖是两个命题。有限精度逼近、图灵完备或开放扩展都不能单独替代工程语义、编辑保持及实际接线。

工业目标域专题把这一条件落实为 Iμ → Pᴵ 的逐构造翻译和结构归纳，覆盖对象、几何、量、连接、行为、离散场、分析、要求和编辑。它显式扩展旧 P，并列明目前 AST 与后端尚未接通的构造；不借用旧定理声称已有完整工业实现。

21. 五类实际工业系统：怎样判断共同核心能否支撑

21.1 具体目标取代无限对象问题

用户明确举出工业流水线、机器人、航空飞行器、潜艇和火箭。这是具体的工业设计范围，不能继续以“数学上一切对象不可表达”代替可行性回答。以几何、零部件、装配、运动、流程与指定工程分析模型构成的设计平台为目标，这五类产品可以共享核心；已有建模与求解方法提供了技术可行性的依据。 这不等同于当前 Aira 已经完成对应能力，也不代表每个工程要求都已建模。

需要检查的是工程信息是否完整、组合与修改是否保持意义、每类求值是否有适用实现，以及模型规模和工况是否在接受域内。产品名称不是求解算法，也不应是核心能力白名单。下面的分解用于论证职责，不作为五个产品逐一试做的任务表。

目标	必须表达的工程内容	只提供几何与静态尺寸会漏掉的内容
工业流水线	设备、工装、布局、输送连接、工艺先后、资源占用、事件和节拍	等待、拥堵、并发、物流与控制过程
机器人	连杆、关节、闭环、执行器、传感器、运动与控制状态	动力学、驱动负载、时间上的碰撞和可达性
航空飞行器	外形、内部结构、材料、装配、活动机构和工况	气动、结构、热及设备系统之间的耦合
潜艇/潜航器	壳体、舱室、结构连接、管路、设备和环境	压力响应、浮力、流体、热及电气系统
火箭/运载器	壳段、连接、设备、材料、管线、状态和载荷工况	结构、热、流体和动态行为之间的耦合

这里的物理模型与制造定义必须具体化后才能形成可检查要求；把“气动合格”保存为字符串不算支持气动分析。本节仅论述通用设计表达和分析组织，不给出具体载具的运行或制造参数。

21.2 从共同信息推导核心表示

可将上述设计模型按职责表示为 D=(H,Γ,θ,F,Σ,C)：

• H：零部件、共享实例、端口和连接构成的有类型图，容纳层级与闭环。
• Γ：曲线、曲面、实体拓扑、局部坐标和语义引用。
• θ：带单位的参数、材料与场定义、离散选择、固定量和允许修改范围。
• F：代数、微分关系，以及具有输入输出、工况、边界条件、精度与有效域的分析模型。
• Σ：状态、事件、时序、控制和流程行为。
• C：设计需求、跨部件约束、目标与验收条件。

这是同一设计状态的语义分解，不是六份独立真相或六个新执行器。场问题可以先保留连续模型和几何域，再关联离散化与数值求值；不得把一个任意维数组伪装成已经实现了全部物理。不同分析分辨率、网格和求解结果均为有来源的派生物。

这一分解对架构有实质要求：仅有“形状＋静态等式”不足以承接用户列出的完整范围。连接、行为、流程和分析工况必须有明确语义。AI 可使用设备、机构或壳段等领域抽象；核心仍要能展开其关系、定位对象并把修改传播到受影响的几何与分析。

21.3 按组合规则给出覆盖论证

设一个独立定义的工程模型含部件 i=1,…,n。每个部件在声明域内由关系 R_i 描述，其变量可包含几何、参数、状态轨迹和场；连接关系为 K_j。给每个实例的内部变量作不冲突的重命名，并保留共享端口和所有跨部件约束，整体语义可以写成：

[ R_{system}(x)=\exists z:\left[ \left(\bigwedge_{i=1}^n R_i(x_i,z_i)\right) \land\left(\bigwedge_j K_j(x,z)\right)\right]. ]

这里的存在量词只隐藏约定的内部变量；涉及时间的关系必须保留时间、初始条件、事件顺序及允许轨迹的完整语义，不能降为一次静态采样。同步、异步和物理连接分别有自己的 K_j，不能把所有端口连接统一成一个标量相等。

若编译后的每个 R̂_i、K̂_j 在其前提下与原关系等价，变量映射、作用域和内部变量隐藏也保持语义，则合取与存在量化保持等价，得到 R̂_system 与 R_system 等价。这就是从部件与连接到系统的组合论证。按基础定义与组合规则证明，可以覆盖任意有限合法组合；不用对每个型号或尺寸重新证明一次。

这个结论证明的是模型表达和编译保持，不证明组合后必然有解。各部件的环境前提必须由连接后的模型满足；闭环机构可能过约束，控制和流程可能死锁，跨部件载荷与几何可能冲突。若只证明各部件输出可靠而没有可行域等价，最多得到相应的可靠性结论，不能升级为完整覆盖。实际求解仍按可处理的数学片段、适用条件和预算执行。

因此，判断能否支撑某一类产品的有效问题是：该类工程描述是否存在无法表达、无法编译、无法求值或无法验收的语义类别？缺失一类就定位到共同能力补齐，而不是为每个产品另写特例。共同模型仍须通过 §20.3 的独立目标域与有效翻译要求，不能用自身语法循环证明自身覆盖。

21.4 核查已有工程方法，避免凭空假设

核查对象	本轮可采用的依据	不能据此推出的结论
TiGL	参数化航空几何、NURBS 与 Open CASCADE 的实际组合，外形与内部结构之间有模型对应	Aira 已覆盖完整航空设计或所有曲面参数均可构造
Modelica 3.6 连接语义与OpenModelica	部件连接具有明确语义，可生成方程；已有建模、编译与仿真实现。图形界面并非连接语义成立的前提	任意连接都良定、任何物理模型都正确，或当前 Aira 已实现等价语义
OMPL	运动规划基于状态空间和有效性条件，可用于多类机器人系统；几何、运动学与碰撞能力通过明确集成提供	只装规划库就具有碰撞检查、完整机器人设计或控制正确性；规划失败不自动证明无路径
SimPy	流程、事件与有限容量共享资源有成熟的离散事件建模方式	静态布局已等于流水线运行正确，或离散事件模拟等于连续物理仿真

这些来源分别支持几何、连接方程、运动和流程的可实现机制。本表是方法依据，不是新增依赖清单，也没有宣布这些库在 Aira 场景下性能最优。 本轮不引入或运行它们；是否需要具体算法实现，仍按现有成熟算法复用、职责唯一和实际成本规则决定。

21.5 对当前架构的具体补充与实现判断

既有 OCCT、PlaneGCS、CasADi/IPOPT 与 HiGHS 的研究，建立的是实体/曲面、草图及部分连续和离散求解底座。这个选型本身没有证明流程事件、机电连接、运动有效性、场分析及其与持久设计对象的关系已经在 Aira 接通。历史模块名称或里程碑宣称不能补上这种语义连接。

实现必须贯通同一条链：工程对象与关系 → 有类型、单位和身份的模型 → 对应数学/行为问题 → 实际几何或分析结果 → 逐要求验收 → 保持编辑语义的提交。 领域新增能力在这条链中接入，不另建产品特有的模型权威；大模型采用实例共享、稀疏依赖、增量重算和按需分析，不能靠省略工程信息来假装支持更大规模。

本链条的研究义务由三份专题具体化：工业语义矩阵与翻译证明、构造与未来编辑保持、带条件的工程有效性判定。模型覆盖、实际执行和有证据的工程结论分别标记；外部物性未知时保留 unknown，不反向否定语言可表达，也不伪造要求通过。

据此可以作出正面判断：用户列出的五类系统，可以作为同一通用工程设计平台的目标，产品类别并没有要求五套不同核心。 可行性依据是可明确表达的共同工程结构及已有成熟实现方法。对 Aira 的完成判断则取决于上述完整翻译和执行链是否建立，以及支持域、误差和规模是否满足具体设计要求；目前不能把架构可行性写成产品能力已完成。