两种通信软件描述语言间一致性检验的定义及分析

对两种通信软件描述语言ＦＤＬ和ＳＥＱＤ进行了简要介绍,给出它们基本对应关系的一致性定义,用状态树的概念对ＦＤＬ和ＳＥＱＤ之间的一致生检验方法进行了形式化分析与描述。     

基于Aspen Plus的11BF3同位素分离工艺模拟研究

为实现高丰度¹¹BF₃同位素分离工艺的优化设计，本文通过自定义组分，补充商用化工流程模拟软件Aspen Plus数据库中同位素分子的相对分子质量和饱和蒸气压数据，回归扩展安托因方程参数，建立了基于Aspen Plus的¹¹BF₃同位素分离工艺模型。以两组实验数据为依据，采用默弗里板效率修正Aspen Plus中的模型，获得两组模拟值与实验值间的相对误差分别为-2.69%和0.91%,表明修正后的模型可较好地描述¹¹BF₃同位素分离过程。最后根据建立的数学模型分析了理论塔板数、回流比和塔顶压力对交换塔塔顶¹¹BF₃同位素丰度的影响。结果表明，塔顶压力降低、回流比增加和理论塔板数增加均有利于¹¹BF₃同位素的富集。通过计算得到当塔顶压力为常压、理论塔板数为720、回流比为300时，交换塔塔顶丰度达到最大值99.95%。本文结果可为后续的优化设计提供理论依据。