缔合体系精馏过程模拟软件开发

建立了缔合体系相平衡模型,并对含缔合组分汽相焓进行了校正,液相用NRTL、Wilson方程修正其非理想性计算出的汽液相平衡数据及焓值,用于缔合体系多股进料精馏模拟取得了满意的效果。本软件采用三对角矩阵法求解精馏过程的MESH方程组,用Visual Basic 6．0开发出缔合体系精馏模拟软件,同时软件也包括了一般体系的多元复杂精馏模拟。     

Ponchon-Savarit法模拟精馏的过程

根据汽液平衡数据和相关的气相焓和液相焓数据,利用插值和迭代法模拟精馏过程,用Ponchon-Savarit法计算精馏过程,先根据物料衡算方程、组分衡算方程和焓衡算方程,利用迭代法精算每一块塔板上的汽液组成、汽液流量以及回流量,再分别计算塔顶冷凝器、精馏段、进料板、提馏段、塔底再沸器。在Visual C++环境中,采用面向对象的方法自行设计出精馏模拟软件,通过苯-甲苯二元混合物的研究,证明该法可用于模拟精馏过程,模拟效果较好。     

无实验参数模型的汽液平衡模拟

在无实验参数的条件下模拟汽液平衡,计算量大,计算过程复杂,对一些特殊的混合物计算误差较大,限制了模拟计算的应用范围,本文采用改进的UNIFAC计算活度系数模型和修正的拉乌尔定律模拟汽液平衡,再用构造饱和蒸汽压计算误差函数迭代计算汽液平衡温度,用试位法克服迭代计算中的收敛问题.改进了试位法的终止条件,通过调整迭代的初始温度,大大降低了迭代次数,有效提高了计算速度,对一些特殊的混合物也具有较好的模拟结果,在5 931 mmHg压力下,对水-乙酸混合物模拟计算的平均迭代次数仪19次,在Visual C++环境中,用面向对象的方法,实现了无实验参数模型模拟汽液平衡,数据处理用独立的类完成,并采用了动态分配内存的方法处理数据,使计算模块具有较好的独立性和复用性,最后在不同的压力下,模拟计算了乙醇-水、水-醋酸和苯-甲苯等混合物,证明该法可模拟实际过程,计算速度较快,模拟效果较好.     

汽-液-液三相平衡计算研究

汽-液-液三相平衡计算兼有汽-液平衡与液-液平衡过程,是多相平衡计算的基础。相对于两相平衡计算,三相平衡计算参数和非线性方程数增加,计算难度相对增大。首先分析汽-液-液三相平衡数学模型,主要包括物料平衡、相平衡和能量平衡方程,其次选用平衡常数法计算汽-液-液三相平衡,包括初值的选取及迭代计算,最后用开发的汽-液-液三相平衡方法计算工业实例,并与化工流程模拟软件Aspen Plus计算结果对比,对三相平衡计算方法的准确性进行验证。结果表明该方法计算结果与Aspen Plus软件计算结果相比,各相分率及组成的相对偏差较小,计算精度较高,可用于汽-液-液三相平衡体系的计算。     

基于二参数Antoine方程的石油物系汽-液平衡模型

石油物系汽-液平衡计算在石油蒸馏计算过程中至关重要,本文应用一种简化的汽.液平衡模型对石油物系进行相平衡计算。通过引入简化的蒸汽压方程简化了计算步骤,进而大幅度的降低了计算时间,最终达到提高计算效率的目的。该方法与广泛应用的严谨汽.液平衡计算的SRK方程对比,具有结构简单、迭代步骤少等优点。通过实验,将该简化模型应用于大庆石油、胜利石油等5种石油的石油物系中,经过对比PT闪蒸的仿真结果得到,该简化模型与应用SRK方程方法相比,在0.002 MPa-0.5MPa下的汽化分率的绝对误差约为1%,故该方法与严谨算法的误差在一个较小的范围内,证明了该简化模型的有效性。同时,通过应用简化模型可将计算速度提升98倍,证明模型具有较强的实用价值。     

VPML过程模型到面向对象Petri网模型的映射

为了支持对企业业务流程进行建模和分析,辅助过程改进,文章提出了用VPML语言建立过程模型.然后将该过程模型映射为面向对象Petri网模型,通过对Petri网模型的定性分析和模拟仿真,其结果可用于修正和改进模型设计.     

Maple在闪蒸过程计算中的应用

本文提出以数学软件Maple为运算工具计算闪蒸过程中汽化率、平衡组成的新方法.该法编程简单,计算过程快捷,容易反复计算,计算的准确性好、精度高.通过解方程直接求得汽化率,无需试差.软件特有的图形绘制功能为计算等焓节流问题提供了较大的便利.列举了汽液平衡常数与组成无关的等温闪蒸计算、汽液平衡常数与组成有关的等温闪蒸计算以及等焓节流的计算3个计算实例.讨论了进料组成对汽化率的影响,并用图形表示了进料组成不同取值时的汽化率.对等焓节流的计算方法进行了比较,利用此方法计算所得节流后温度与其他方法差别不大,但汽化率的差别比较明显.计算结果表明,Maple软件能有效地计算各类闪蒸过程,可成为教师授课与工程技术人员计算的工具,也可提高学生利用计算机解决闪蒸过程中汽化率等问题的能力.     

尿素装置解吸塔的模拟

本文对含有挥发性弱电解质的汽液平衡计算进行了探讨，将Ｅｄｗａｒｄｓ模型用于多级多组分吸收或解吸过程，在微机上开发了可用于弱电解质溶液体系的模拟算法。通过对尿素装置解吸塔的考核分析，表明该算法收敛稳定性好，计算结果准确可靠。     

CH_3OH-H_2O-CO_2-CO-N_2-CH_4-Ar八元体系的汽液相平衡

本文针对工业合成甲醇流程中合成反应后气体分离甲醇的过程,应用R-K方程和Wilson方程建立了CH_3OH-H_2O-CO_2-CO-H_2-N_2-CH_4-Ar八元体系汽液相平衡的模型。以文献上提供的各种纯物质和二元汽液相平衡的测定数据为依据,回归得出了模型中所需的各项参数。并完成了程序设计。在DJS-6计算机上计算得出了该八元体系、在压力范围为1～100atm(绝对),温度范围为10～100℃条件下各组份的汽液相平衡参数。作者应用本文建立的模型及程序设计,对合成甲醇流程中的分离甲醇过程进行了模拟计算。并将结果与生产数据进行对比,得到了满意的结果。     

甲酸-水-N-甲基吡咯烷酮体系等压汽液平衡的研究

在常压下测试甲酸-水、甲酸-N-甲基吡咯烷酮、水-甲酸-N-甲基吡咯烷酮的汽液平衡数据。考虑甲酸在汽相中的缔合效应,用维里方程和Hayden-O'connell关联式修正了汽相的非理想性,并用非线性最小二乘法关联前2对二元体系的汽液平衡数据,得NRTL和Wilson方程的模型参数。以NRTL模型参数预测三元体系汽液平衡数据,温度平均偏差为1.76℃,甲酸的汽相平均偏差为0.032 2,水的汽相平均偏差为0.040 4;以Wilson模型参数预测三元体系汽液平衡数据,温度平均偏差为1.66℃,甲酸的汽相平均偏差为0.027 5,水的汽相平均偏差0.011 6,可见2个模型预测值均与实验值吻合良好,而Wilson模型的关联精度较高。     

一种适用于软件生命周期系统模型的需求获取方法研究

软件工程形式化是软件工程自动化的前提,软件自动化能在根本上提高软件质量和生产效率。文章提出了一种形式化的需求获取方法,首先在离散系统模型的基础上,提出了一个可以适用于软件生命周期所有阶段的模型-公平离散系统模型,进而给出了其在软件需求获取过程中求精、验证和控制复杂性的方法、需求模型复用的概念。     

NH3—CO2—H2O体系的相平衡计算及图形输出

针对含化学反应的ＮＨ３－ＣＯ２－Ｈ２Ｏ弱电解质体系的复杂相平衡计算问题，以Ｅｄｗａｒｄｓ（１９７８）的模型为基础，采用液相内的化学平衡与汽液相平衡分计计算的思想，成功地编制了在较宽的温度和压力范围内的计算机程序，除了可用于实工业生产的模拟计算，还设计了图形输出块，通过计算机自动绘制汽液平衡相图，可直接与实验结果进行比较。     

基于会话关联的软件网络通信行为分析技术

针对软件网络通信过程,提出一种基于会话关联的逆向分析方法,该方法首先对软件产生的网络通信流量和软件执行的应用程序编程接口(API)序列分别进行会话还原,再对还原的会话进行会话关联,为软件网络行为分析中的基于网络流量的分析方法和基于执行轨迹的分析方法建立了直接映射。设计并实现了相关的会话关联系统,并在此系统上进行了函数调用链的提取,使针对软件网络通信过程的分析更快捷。     

B方法在家庭智能控制系统开发中的应用

精确的软件需求规约是确保软件质量的基础,软件过程中保证方法更为重要,良好的方法可以保证在产品的开发过程中不引入人为的错误。现有流行的软件过程方法都可以在一定程度上减少此类错误的引入,很难从本质上避免人为错误的引入,形式化方法以其精确的数学语义为基础,可以保证开发过程中的一致性和准确性,以B方法尤为突出,它可以适用于软件过程中的任一阶段。文章以家庭智能控制系统为例,介绍了B方法在软件开发过程中的应用。     

Estimation of reliability and cost relationship for architecture-based software

In this paper, we propose a new method to estimate the relationship between software reliability and software development cost taking into account the complexity for developing the software system and the size of software intended to develop during the implementation phase of the software development life cycle. On the basis of estimated relationship, a set of empirical data has been used to validate the correctness of the proposed model by comparing the result with the other existing models. The outcome of this work shows that the method proposed here is a relatively straightforward one in formulating the relationship between reliability and cost during implementation phase.     

Iterative design and testing within the software development life cycle

The activity of testing begins during system development and spans all subsequent phases. Some system development lifecycles describe testing which is performed after the coding phase, but this may cause the software to be delivered without sufficient testing. In this paper, we present a software system development lifecycle model, called the Test design Stages Processed model (TSP model), in which we emphasize that iterative test design stages should be incorporated at each phase of the software development lifecycle. When a phase is completed, testing of the phase should also be completed at that time. Within this paper we have added unit, integration and system testing processes into BoochÕs micro–design process to generate a new designs and test model. This shows the process of iterative and incremental software development. Comparing this with our model, we explain how the TSP model can be used for developing and testing an object-oriented software system.     

基于统一过程的软件需求

软件需求向来都是软件工程中最重要的一个环节,软件需求的质量直接关系到软件开发的成功与否。该文从实践的角度给出了一个基于统一过程的软件需求的分析方法,并以CNETMAN局域网管理系统为例,介绍了它的实际应用过程。给出了当需求变更时如何使用所创建的软件需求结构。     

核电厂DCS安全级应用软件开发的危险分析

为了减小或避免因控制系统软件而导致的核电厂安全性降低的不良后果,提出了对核电厂数字控制系统安全级应用软件开发过程进行危险分析的活动.采用验证和确认的方法,并结合安全保护层模型、预先危险分析方法(PHA)、故障树分析等方法对应用软件开发过程中的系统设计、软件设计、软件实现各个阶段的危险进行分析.通过CPR1000项目工程实践表明,采用验证和确认的方法能有效地减小软件开发过程中的危险以提高应用软件的安全性,从而最终提高核电厂的安全性.     

基于构件的开放式网络化自动测试技术研究

针对当前网络化自动测试系统的软件复用局限于代码复用的问题,提出基于构件的开放式网络化自动测试系统软件开发方法,实现测试软件的更高层次复用。引入领域工程的思想,将软件开发过程划分为三个阶段：领域分析阶段运用UML建模语言对网络化自动测试系统进行需求分析、静态分析和动态分析;领域设计阶段完成可复用构件的辨识和提取,并建立可复用构件框架模型;领域实现阶段对关键的可复用构件进行实现。