油气行业安全生产“四不两直”监督检查实践与建议

自国家实施安全生产“四不两直”监督检查方式以来,其已日益成为各行业风险识别、隐患排查的 重要手段。油气行业生产工艺和过程较为复杂,一些环节存在较大风险,严格开展安全生产“四不两直”监督检 查成为促进事故防范的重要着力点。文章以中国石油集团公司上游业务为例,系统分析了“四不两直”模式在各个层级安全生产监督检查领域的应用情况,总结出了油气行业处于严格监管阶段下的“四不两直”监督检查开展现状,并据此提出了一系列对策措施及建议。     

基于可满足性模理论求解器的程序路径验证方法

针对程序中因存在路径条数过多或复杂循环路径而导致路径验证时的路径搜索空间过大,直接影响验证的效率和准确率的问题,提出一种基于可满足性模理论（SMT）求解器的程序路径验证方法。首先利用决策树的方法对复杂循环路径提取不变式,构造无循环控制流图（NLCFG）;然后通过基本路径法对控制流图（CFG）进行遍历,提取基本路径信息;最后利用SMT求解器作为约束求解器,将路径验证问题转化为约束求解问题来进行处理。与同样基于SMT求解器的路径验证工具CBMC和FSoft-SMT相比,该方法在对测试集程序的验证时间上比CBMC降低了25%以上,比FSoft-SMT降低了15%以上;在验证精度上,该方法有明显的提升。实验结果表明,方法可以有效解决路径搜索空间过大的问题,同时提高路径验证的效率和准确率。     

强化井喷失控应急救援队伍建设的思考

数据在不同格式和应用程序之间的迁移通常不只是数据格式之间的简单转换,转换常常包含很多复杂的部分,最终结果很可能与目标系统的需求不匹配,为了保留数据的关键部分,将其无损地加载到目标应用程序中,可能需要调整数据模型、内容、描述信息或坐标系统,而FME软件对此可提供良好的解决方案.本文探索和研究FME软件在GIS数据处理中的一些典型应用,经多个项目验证,FME在数据处理及转换中发挥了便捷、快速、高效、灵活的特点,在提高GIS数据处理作业效率、增强数据质量检查准确度、降低数据更新维护成本等方面发挥了重要作用.     

关于加强QHSE管理体系审核工作的思考与建议

中国石油首次实施以企业内审为主、集团总部督导为辅的QHSE管理体系审核方式,取得了较好 的效果,对推动企业QHSE管理体系内审具有重要的促进作用。针对体系审核中存在的企业机关审核难度较 大、审核深度与质量有待提高、审核员的整体能力难以满足审核需要等问题,提出总结推广以企业内审为主、集 团总部督导为辅的审核方式,持续推进企业QHSE管理体系内审及QHSE审核信息化建设,建立上下联动的保障机制,加强QHSE管理体系审核基础研究及QHSE审核队伍建设等建议。     

我国商业银行碳金融业务发展研究

随着二氧化碳排放的不断增加造成的温室效应加剧,节能减排背景下的低碳经济模式已成为全球共识,而低碳经济的发展也带动了碳金融的蓬勃发展。商业银行作为不可缺少的中介机构,在推动碳金融业务发展中的作用不容忽视,而支持低碳经济发展和开展碳金融业务也已成为国内外商业银行新的业务增长点。通过分析我国商业银行发展碳金融业务的意义及当前存在的问题,指出国内商业银行应抓住机遇向碳金融领域拓展,并就商业银行如何拓展碳金融业务提出了建议。     

两亲性四臂星型PEO_4-PCL_4温敏性水凝胶的合成

通过阴离子开环聚合和配位开环聚合合成了两亲性四臂星型聚合物PEO4-PCL4。核磁氢谱和凝胶渗透色谱(GPC)结果显示,合成的聚合物结构和相对分子质量与设计的相符。胶束粒径测定结果表明,随着温度升高,胶束粒径逐渐增大。对溶胶-凝胶相转变温度的测定发现,聚合物在人体温度附近发生溶胶-凝胶相转变。对载药水凝胶在磷酸盐溶液中的释放行为进行了研究,药物释放呈现先快-后慢的整体释放现象,随着疏水性链段相对分子质量的增加,药物的释放速率减缓,累积释放率降低。