化工分离过程仿真系列教程（1）：分离问题全景与假设链——公式族之前先立适用条件

版本声明块

• 工具基线：aspenONE V15（2025-05-13/14 发布；上一主版本 V14.5——2024-11）；模块名 DSTWU、Distl、RadFrac 等保留官方全大写（各篇首现给全称）。
• 理论口径：简捷法公式族与假设链以官方 Study Guide 与权威教学教程为证据；未逐字确证处标注"以官方文档为准"。所有数值标注为示例值（非官方工况数据）；判定线阈值标注为工程约定（必须标注）。
• 本文目标：确立全系列工作方式——假设层、账本层、交付层三层结构

一句话结论：分离仿真的一切结果都必须带假设链——简捷法（Fenske/Underwood/Gilliland/Edmister）建立在恒摩尔流与恒相对挥发度上，严格逐板法（MESH）建立在"每板达到平衡"上，速率模型把平衡假设替换为传质通量；三层结构是：假设层决定"结论可否引用"、账本层决定"模型可不可解"、交付层决定"结果可不可复现追责"——缺任何一层即工程上不完整。

〇、本篇要解决的认知问题

1. 平衡级模型与速率模型的本质差别是什么——"板"在两种模型里的身份分别是什么？
2. 简捷法的假设链由哪几条构成——每条假设失效时的可观察信号是什么？
3. 三层结构（假设/账本/交付）在工作流程里如何串起来——一次完整判定走什么顺序？
4. "恒摩尔流"与"恒相对挥发度"为什么是两条独立假设——一条成立另一条不成立时的后果？
5. 交付文档的最小格式是什么——第三方如何据此复现判定（全系列收口口径）？

一、机制解析

1.1 平衡级 vs 速率模型：两种"板"的本体（价值锚点：换模型即换假设，不是换参数）

判定线（练习用）：对任一塔模型能指出①它属于哪种形态、②"板数"在结果里的含义（理论板 vs 实际板+效率）——两者混写即交付事故（第 08/10 篇展开）。

1.2 简捷法假设链与失效信号

经验法则：每条公式的结论随结果交付适用假设——报告里"Fenske 给出 Nmin=8"必须带"恒 α+全回流"两个前提；假设不成立时该数字不可引用（铁律 1）。

1.3 三层结构的工作顺序（一次完整判定）

① 假设层：列出本结果依赖的假设 → 逐条给适用性证据（对照数据或偏差量级） ② 账本层：未知量清单 vs 方程清单——自由度=0（逐板/逐流程口径，第 05/06 篇展开） ③ 交付层：来源表（K 值/效率/参数出处与适用域）+ 判定线执行结果（工程容差 <5%——必须标注为约定）

现场信号：三层任一缺失的典型形态——只给数字不给假设（不可引用）、规格把解当输入（不可解）、只给结果不给来源（不可追责）。

1.4 恒摩尔流与恒 α 是两条独立假设（常见混淆）

反例场景（示例值口径）：近理想体系（恒 α 成立）但进料为冷液且组分潜热差异大（CMO 不成立）——Fenske 的 Nmin 仍可用（它不需要 CMO），Underwood/Gilliland 的回流估算偏差放大。判定线：指出"哪个公式依赖哪条假设"——逐公式标注即达标；混用即把一条假设的失效传染给另一条公式的结论。

1.5 交付文档最小格式（全系列收口口径）

结果 | 依赖假设（逐条+适用性证据） | 参数来源与适用域 | 判定线执行结果 | 判定 Nmin=8（示例值） | 恒α：塔顶/塔底 K 比值偏差 3%（<10%——工程约定）；全回流定义 | α: 文献（标注口径） | 逐板对照 <5%（近理想体系——工程容差） | OK

判定线：第三方按此表复跑得到同一结果；任一 FAIL 行能还原"哪个量、哪条假设或哪条来源缺失"——缺列即不可追责（铁律 10）。

二、完整代码与逐行剖析

2.1 工具形态对照（概念级——以 aspenONE V15 模块口径；具体操作以官方文档为准）

DSTWU（Design Shortcut for Distillation：Fenske/Underwood/Gilliland 简捷法——Study Guide 口径） 输入: 关键组分、回收率规格、进料 → 输出: Nmin、Rmin（结果带假设链——1.2） Distl（Edmister 简捷塔——教学教程口径：理论板数给定，估算分割与回流） 边界: 二组分/窄沸程近似——适用域标注（第 04 篇展开） RadFrac（Rigorous Multistage Separation：严格逐板 MESH；两相 V-L 与三相 V-L-L；任意进料/侧采/倾析器） 账本: 每板四类方程消四类未知量（铁律 2——第 05 篇展开）

逐行要点：同一分离问题三种工具对应三层——简捷层给"假设下的估算"，严格层给"账本闭合的解"；两者结果对照（工程容差 <5%，近理想体系——必须标注为约定）是第 18 篇一致化流程的基线。

2.2 一次可复现的假设失效现场（判定线）

# 场景（示例值口径）：强非理想体系用单点 α=2.5 跑 Fenske → 塔顶/塔底 K 比值偏差 18%（>10%——工程约定） # 信号：简捷结果与逐板解对照偏差 >5%（工程容差）且不可归因到数值问题——归因到假设失效（1.2） # 处置：报告标注"Fenske 结论不可引用"；改用逐板/速率模型或在适用域内分段取 α——写出即达标

三、常见报错与排查

1. 只给数字不给假设—— 现象：结果被下游引用后在失效域翻车。根因：假设链未交付（1.2/铁律 1）。解法：逐公式标注依赖假设+适用性证据；超域结论标注不可引用。
2. 理论板与实际板混写—— 现象：板数口径冲突、复现不一致。根因：模型形态未指明（1.1）。解法：交付文档区分理论板/实际板+效率来源；两口径对照可指认。
3. CMO 与恒 α 混淆传染—— 现象：一条假设失效导致全部简捷结论被否或全被信。根因：逐公式依赖关系不清（1.4）。解法：逐公式标注——Fenske 不需要 CMO、Underwood/Gilliland/Edmister 需要。
4. K 值来源不同源—— 现象：同一流程两处 K 值不一致、残差不随容差下降（定义问题——与系列物性通道纪律同构）。根因：活度模型基准态不一致（铁律 6）。解法：统一走同一物性包并标注适用域（铁律 8）。

四、动手练习

1. 假设链交付：给一个苯-甲苯近理想体系跑简捷法并按 1.5 格式交付。判定标准：逐条假设带适用性证据（K 比值偏差 <10%——工程约定）；与逐板解对照 <5%（工程容差）——写出"假设不成立即结论不可引用"的一条现场记录（2.2 复现）。
2. 模型形态判别：对高黏度体系分别用平衡级与速率模型口径分析。判定标准：指出"板"的两种身份与各自核心方程；给出一个"平衡假设失真但数据不可得"的场景与退化解法（经验效率标注为工程约定——铁律 7）。
3. 思考题（无标准答案）：为什么三层结构缺一不可？验证要点清单：① 写出"可解但不可引用"与"可引用但不可追责"各一个场景；② 举一个"简捷法结果被严格法否定后归因失败"的案例；③ 给出交付表在十塔流程中的列设计（第 20 篇收口呼应）。

五、小结与下一篇预告

本篇确立全系列工作方式：假设层决定可否引用、账本层决定可否求解、交付层决定可否追责。第 02 篇进入简捷法第一块基石——Fenske 全回流最小板数：它的适用边界（不需要 CMO、需要恒 α）在此已标注，判定线是与逐板核算对照 <5%（近理想体系——工程约定）。

本篇认知问题回显（FAQ）

Q1：平衡级模型与速率模型的本质差别是什么？

A：平衡级的"板"是理想接触单元——出口两相达平衡，核心是 MESH 四类方程；速率模型的"板/段"是有传质阻力的接触段，平衡方程被双膜通量方程替换（教学教程口径）。高黏度、强非均相、速率控制体系中"达平衡"假设失真；速率参数不可得时退化为经验效率——两者混写即交付事故。

Q2：简捷法的假设链由哪几条构成？各假设失效的信号是什么？

A：恒相对挥发度（支撑 Fenske/Underwood——信号：塔顶/塔底 K 比值随组成漂移 >10%，工程约定口径）、恒摩尔流 CMO（支撑 Underwood/Gilliland/Edmister——信号：进料热状态或潜热差异大时热量闭合残差异常）、理想或近理想平衡关系（全部简捷结果的可引用性）。每条公式的结论必须随结果交付适用假设（铁律 1）。

Q3：三层结构在工作流程里如何串起来？

A：①假设层——列出结果依赖的假设并逐条给适用性证据；②账本层——未知量清单对方程清单、自由度为零（逐板/逐流程口径）；③交付层——来源表（K 值/效率出处与适用域，铁律 8）加判定线执行结果（工程容差 <5%，必须标注为约定）。三层任一缺失即工程上不完整。

Q4：恒摩尔流与恒相对挥发度为什么是两条独立假设？

A：反例可分离——近理想体系恒 α 成立但冷液进料+组分潜热差异大使 CMO 不成立：Fenske（不需要 CMO）结论仍可用，Underwood/Gilliland（需要 CMO）偏差放大。判定线是逐公式标注依赖关系——混用即把一条假设的失效传染给另一条公式的结论。

Q5：交付文档的最小格式是什么？

A：结果、依赖假设（逐条+适用性证据）、参数来源与适用域、判定线执行结果、判定五列——第三方按此表复跑得到同一结果；任一 FAIL 行能还原哪个量、哪条假设或哪条来源缺失才算可追责（铁律 10）。