面向航电系统任务安全性的形式化建模与验证

针对航电系统任务安全性分析缺少仿真与验证手段问题,提出了一种面向航电系统任务安全性的形式化建模与验证方法。首先,基于时间自动机理论与民航规章建立标准运行条件下航电系统任务过程的形式化模型。随后,将危险致因和安全约束分别以状态变迁的方式注入该模型,建立航电系统任务安全性验证模型。最后,通过遍历状态空间验证模型的活性、危险致因的可达性以及安全约束的充分性,实现任务安全性分析结果的自动化验证。实验结果表明,所提方法具有可行性和有效性,能够为持续进行的航电系统任务安全性分析和设计提供模型基础,确保分析结果的正确性和完整性。

多米诺效应下化工储罐区的脆弱性分析

为有效地减少和控制事故的多米诺效应,对影响事故扩展的关键装置,即脆弱单元的辨识及其有效控制措施进行了研究。根据具体的设计方案,依次选定不同储罐作为初始事故单元,借助ALOHA软件计算各储罐之间热辐射及冲击波相互作用强度的大小,与损伤阈值进行比较,并考虑设备间的协同作用,从而确定可能发生的多米诺事故;运用Probit模型计算事故扩展概率,根据计算结果通过Bayes Server软件建立贝叶斯网络,利用先验概率来进行整体脆弱性分析,从而确定各个方案的安全性;对优选的方案通过后验概率进行单元脆弱性分析,从而确定脆弱单元;在此基础上提出相应的控制措施。通过实例计算验证了该方法的可行性,结果表明,该方法能够在多米诺效应的预防和控制方面有效发挥作用。

基于多米诺效应的罐区安全距离确定方法研究

多米诺效应对事故扩展有重大的影响,是化工企业应重点关注的对象。本文通过对多米诺效应的分析,探讨了基于设备损伤概率的安全距离确定方法。并以池火灾模型为例,通过MATLAB软件计算了油罐的池火热辐射对周围设备的损伤概率,从而确定了各油罐的安全距离。

安全装置在多米诺效应中的作用分析

在多米诺效应的分析中考虑了安全装置的作用,并对考虑安全装置前后的事故扩展概率进行了比较。结果表明,安全装置在多米诺效应中可以显著降低事故扩展概率。在多米诺效应的分析中忽略了安全装置的作用会导致分析结果明显升高,从而造成整体风险偏高。

新型商用厨房火灾探测系统

利用张紧的熔丝来进行火灾探测的技术始于第二次世界大战期间,目前一项全新的电子系统已经被开发出来。新型眼镜蛇系统（COBRA TM system）可以使用点型探测器（见图1）,或者使用一个线型感温探测器（见图2）布置在排烟机的表面。点型探测器是定温型的（252℃）,即可以按照70 cm的间距单排布置在排烟机的表面,也可以布置在独立设备上。