石油天然气生产储运中安全管理方法探讨

石油和天然气在我国能源使用中占有重要的地位,日益受到人们的重视,针对于石油和天然气的特点,对生产储运过程中加强其管理尤其重要,本文针对于石油和天然气在生产储运过程可能存在的危险和解决措施进行了分析。     

一种粗糙集属性约简算法

基于粗糙集理论提出一种新的属性重要度的度量方法,引入决策强度的概念,克服经典粗糙集理论约简定义的不完备性及无法获得最优属性约简的缺陷,改进基于信息熵的启发式属性约简算法,通过对既有线CTCS-2级车站列控中心软件测试平台的测试数据的实证分析,成功获得最优属性约简,发现数据之间的潜在联系及规律,给出决策规则,使决策分析更为高效。     

基于重要抽样的联锁软件安全性评估

根据计算机联锁软件失效危险严重性等级的不同,科学地建立了安全性评估指标,介绍了重要抽样的基本原理,以及利用层次分析法确定抽样概率。重点研究了基于重要抽样方法在计算机联锁软件测试和评估中的具体应用。实验证明,该方法在不影响评估结果的准确性情况下,解决了传统联锁软件测试效率低的问题。     

基于时序Petri网的联锁逻辑形式建模与验证

时序Petri网结合Petri和时序逻辑的优点,清晰简洁地描述并发系统事件间的时序和因果关系,包括系统的最终性和公平性。文章给出安全苛求系统——车站信号联锁逻辑系统的时序Petri网描述,并使用时序逻辑描述系统状态的时序和因果关系,最后通过分析和验证模型的性质得出系统是正确的。     

基于ASM的元模型形式化语义的研究*

提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术,形式化地描述了元模型及其语义间的映射关系,以提供精确的语义描述,从而为模型驱动开发提供有力的支持。将描述框架用于模型转换规则的定义以及元模型的分析与验证,并以简单Petri网为例,说明该方法可以有效地支持模型转换和代码生成。     

一种站场图逻辑语义解析算法

本文介绍了铁路车站站场图的结构,阐述了站场图逻辑语义的含义及站场图构成规则库的构建,提出了一种基于图搜索技术的站场图逻辑语义解析算法,并将该算法在铁路计算机联锁软件测试评估平台子系统的站场CAD拼贴及数据校验中实现。     

基于动作序列的行为需求模式验证的研究

提出了基于动作序列刻画安全关键系统的功能行为需求和安全性行为需求,较传统的类逻辑规范和类图式规范更准确表达交互行为间的时序关系。基于动作序列构造功能需求和安全需求两类行为模式,并给出每个模式的操作语义。为实现基于行为模式的需求验证,重新定义LTS安全性和活性的属性表达、组合操作,给出并证明功能需求模式和安全性需求模式满足的充要条件。该框架在高速铁路CTCS2/3的形式验证与确认得到了广泛应用,对指导构件化安全关键系统的组合形式验证具有较高的理论与实践价值。     

基于数据融合的无线传感器网络路由算法

在分簇协议LEACH和链状协议PEGASIS的基础上,提出一种新的基于数据融合的分簇路由算法.簇首节点采用多跳方式传输数据,并根据周围节点的密集程度构造不同大小的簇;簇内节点计算上行和下行节点构造数据融合树,采用时分复用调度算法进行多跳路由.NS2仿真结果表明该路由算法均衡了各个节点的能量消耗,延长了网络存活时间,并降低了网络延迟.     

有源电力滤波器在谐波抑制中的应用

本文分析了电力系统运行中谐波的产生及危害，根据谐波源的不同类型提出了利用不同的有源电力滤波器进行补偿的观点，并利用仿真对补偿前后的波形进行了对比研究。