站场电动放空阀控制逻辑的形式化建模与验证

在油气管道控制系统典型逻辑标准编制的早期,对拟标准化控制逻辑的建模与验证能够提前发现设计缺陷,有助于提高控制系统的功能完整性与安全性,进而避免因控制逻辑设计失误导致的危险事故发生。根据形式化验证方法中模型检验的原理,利用时间自动机及其验证工具UPPAAL,对天然气站场电动放空阀通用控制逻辑开展形式化建模与验证,将逻辑图中的各类功能组件以及阀门动作流程独立建模,用于刻画完整的控制逻辑操作过程,综合验证结果发现,阀门的“开”“关”切换逻辑存在设计缺陷。最后,通过反例分析给出合理的优化方案,优化后的验证结果表明,优化方案能够满足控制系统功能完整性与安全性需求,形式化方法为管道站控系统控制逻辑可靠性验证提供了一个全新的技术路径。

煤炭矿山机械的发展现状及发展方向

1我国煤炭矿山机械现状（1）我国煤炭工业发展趋势,＂十一五＂期间,我国将新建煤矿3亿吨左右,其中投产2亿吨。对煤炭行业的工业结构进行调整,大力整合、改造、关闭小煤矿,同时适度加快大型煤炭基地的建设。

浅谈矿山机械设备的发展趋势

专业从事采矿、选矿、探矿的机械被称为矿山机械设备,矿山作业中还应用大量的起重机、输送机、通风机和排水机械等都统称为矿山机械设备。矿山机械是一种处理矿石,使低品质矿石有利用价值的机械。使有价值的矿物与脉石分离。狭义上说,直接用于矿物开采和富选等作业的机械。