三机冗余容错系统的描述和验证

使用XYZ/E描述和验证三机冗余容错系统.考虑每台计算机加载了一个不断向外界环境输出数据的确定性顺序程序P,用XYZ/E程序SingleProcessorP刻画程序P在单机上运行,用时序逻辑式SpecP刻画P向外部环境输出的数据所满足的性质.最后证明,采用三机冗余模式所得到的程序TripleProcessorsP即使在出现硬件错误的情况下运行,也能满足性质SpecP.

三重冗余容错控制系统在压缩机防喘振中的应用

扬子石化炼油厂新建160万吨延迟焦化气体脱硫装置富气压缩机，采用的是沈阳鼓风机厂制造的2MCL527型两段离心式压缩机和杭州汽轮机厂制造的NG32／35背压式汽轮机，在机组所有的控制中，防喘振控制是最重要和最复杂的控制之一。控制系统选用Triconex公司TS3000三重冗余容错控制系统，TS3000的防喘振控制基于三重模件冗余容错结构的控制器，采用三取二表决提供高度完善、广泛诊断、不间断的过程操作，该系统不仅可实施对机组的防喘振控制，还可实施机组的安全保护控制。在实施过程中，采用了该系统进行压缩机防喘振控制和机组安全保护控制相结合的方案，有效提高了机组运行效率和安全保护速率。实践证明这是一套成功的方案。

交互式两阶段评估演化策略在容错系统中的应用

随着电子技术的飞速发展,电子产品的微型化和智能化使其成为人们日常生活的重要组成部分,由此人们对系统的稳定性和可靠性提出了更高的要求,容错技术已成为当前研究热点。全文首先提出一种三模异构冗余容错系统架构平台,该平台利用演化机制有效构建成功个体池,从而确保系统中三个冗余模块出错时的实时修复能力。为了进一步提高成功个体池中演化个体生成效率,引入交互式两阶段评估演化策略,从演化个体适应值及个体间的异构度两方面评估优化对系统性能进行了改进。最终以三位乘法器为例进行实验,结果表明该演化策略在演化效率上明显高于传统1+λ演化策略,同时也确保了系统生成个体的多样性,增强了该平台的容错性能。

机组综合控制系统TS3000的应用探讨

TS3000集成综合控制系统,在石油、化工、冶金、铁路等联锁、控制方面应用较广。系统硬件是由美国TRICONEX公司生产。针对TS3000集成综合控制系统应用中大家最关心的问题,分别进行了探讨。

汽轮机—离心压缩机组集成综合控制系统

介绍了汽轮机—离心压缩机组集成综合控制系统 (ITCC)的组成及应用。阐述了其先进性、实用性和稳定性。

催化主风机TS3000控制系统功能完善

一 存在问题 中石化洛阳分公司一催化3#主风机控制系统在2001年5月进行了整体升级改造，采用Triconex公司的TS3000三重冗余容错PLC控制系统，系统投用以来总体运行状况良好，但也存在两大问题：

Tricon TS-3000在催化机组控制上的应用及改进

介绍了洛阳石化总厂催化裂化装置大型机组控制系统技术升级改造情况,针对Tricon TS3000控制系统在机组运行过程出现的问题进行分析和改进,保证了机组的长周期安全运行与控制。

工程设计中电磁阀的选型

随着安全仪表系统在石油化工装置的广泛应用,电磁阀作为控制安全联锁的执行者,起着非常重要的作用;从工程设计角度出发,通过介绍电磁阀分类,低功耗电磁阀的优势,电磁阀的功耗及允许传输距离的计算,双电磁阀气路的连接方式等,探讨电磁阀在工程设计中的选型特点以及在安全仪表系统中电磁阀的设计。