排序方式: 共有10条查询结果,搜索用时 0 毫秒
1
1.
2.
在安全关键系统的软件开发过程中,形式化验证是一种经检验的提高软件质量的技术.然而,无论从理论上还是从应用角度来看,软件的验证都必须是完整的,数据流验证应该是对实现层软件模型进行验证的必要体现.因此,环境输入、泛型函数、高阶迭代运算和中间变量对于分析形式化验证的可用性至关重要.为了验证同步反应式模型,工程师很容易验证控制流模型(即安全状态机).现有工作表明,这类工作无法全面地验证安全关键系统的同步反应式模型,尤其是数据流模型,导致这些方法没有达到工业应用的要求,这成为对工业安全软件进行形式化验证的一个挑战.提出了一种自动化验证方法.该方法可以实现对安全状态机和数据流模型的集成进行验证.采用了一种基于程序综合的方法,其中,SCADE模型描述了功能需求、安全性质和环境输入,可以通过对Lustre模型的程序综合,采用基于SMT的模型检查器进行验证.该技术将程序合成作为一种通用原理来提高形式化验证的完整性.在轨道交通的工业级应用(近200万行Lustre代码)上评估了该方法.实验结果表明,该方法在大规模同步反应式模型长期存在的复杂验证问题上是有效的. 相似文献
3.
以华能巢湖电厂循环水排污水处理工程为例,跟踪了采用物化-生物组合工艺处理火电厂循环水排污水达标排放的工艺流程,评估了不同处理单元对各污染物去除的贡献率。结果表明:包括曝气生物流化床→混凝澄清池→臭氧接触氧化池→生物活性炭滤池→石英砂过滤器的物化-生物组合工艺可实现对火电厂循环水排污水的高效稳定处理,处理后水质能够满足《地表水环境质量标准》(GB 3838—2002)IV类水体标准要求;曝气生物流化床和生物活性炭滤池的设置,强化了系统对氮和有机物的高效去除;混凝澄清池和生物活性炭滤池对循环水排污水中浊度、总磷、溶解性总磷和磷酸盐去除发挥着重要作用,而设于工艺末端的石英砂过滤器则确保了出水浊度的稳定达标;臭氧接触氧化池的设置不仅可大幅提高循环水排污水的可生化性,也有利于后续生物处理单元对水中污染物的进一步净化。该结论对于类似水质和排放要求的火电厂循环水排污水处理,具有重要的参考价值。 相似文献
4.
5.
轨道交通行业中的三取二安全计算机,使用双口RAM进行数据通信,不仅要考虑数据访问冲突、通信速度,还必须考虑数据的正确性和可靠性。针对这些要求,提出了一种基于角色轮换和自检技术的双口RAM数据通信方法,能够高效、安全地完成双口RAM流水线作业。实际项目应用结果显示,该方法可以避免数据访问冲突,提高数据通信速度,并保证数据的安全正确性。 相似文献
6.
超稠原油掺轻油长距离管道输送工艺技术研究 总被引:1,自引:1,他引:0
随着油田超稠原油产量的不断增加,超稠原油长距离输送呈现上升趋势.对于地处偏远的油田,急需研究一种新工艺实现超稠原油长距离管道输送.进行了超稠原油掺入轻油(拔头油)实现长距离管道输送的工艺技术研究,论述了掺轻油输送的工艺方案,分析研究了掺入油的重度对掺油比例的影响,以及轻油掺入量对混合原油的黏度和管道起输压力的影响,并从输油工艺的角度提出了几点认识,以寻求一种经济可靠、高效节能的超稠原油管道输送工艺. 相似文献
7.
8.
为减轻高分子絮凝剂、助凝剂对膜处理系统的污堵,强化循环水排污水混凝澄清效果,北方某热电厂采用了电絮凝-高效澄清池联用技术对其循环水排污水进行预处理。通过系统调试,考察了不同电流密度、凝聚池pH值及碳酸钠加药量下,澄清池出水浊度、总硬度及总碱度的变化情况。结果表明,在电流密度为5.96 A/m2,凝聚池pH值约为11.0,碳酸钠加药量为170 mg/L时,电絮凝-高效澄清池对浊度、总硬度和总碱度去除率分别约为90%、60%和66%,平均出水浊度为0.9 NTU,总硬度为9.7 mmol/L,总碱度为1.2 mmol/L,出水水质稳定,满足后续膜处理工艺进水水质要求,并降低了后续膜系统污堵的风险。 相似文献
9.
火电厂水处理系统采用水岛的建设模式,在更好实现水梯级使用的同时能节省较多的占地面积和设备投资。对于部分以海水淡化系统产水作为全厂工业用水的沿海火电厂来讲,采用水岛的建设模式意义更大。为此,以某沿海火电厂为例,对该类型火电厂水处理系统采用水岛方式设计的思路加以介绍,在占地面积和经济效益方面与分散布置方式进行对比分析,并给出水岛系统设计的注意要点。分析表明,沿海火电厂水岛集中布置比常规分散布置节约20%的占地面积,且可节省大量的公用设备/设施,在提高水务监管水平的同时,可做到减员增效,经济和环保效益显著。 相似文献
10.
该运算板内部提供了IPMI接口.结合板载温度和电压传感器及相应采样计算微控制器,通过IPMI (Intelligent Platform Management Interface)接口和协议,安全逻辑运算单元可获取关键核心温度及各种板载电源电压实时参数,一旦超出阈值范围,系统将导向安全状态. 相似文献
1