摘要：含硫场所的硫化氢中毒是油田安全生产中的主要风险之一,目前大多数的含硫油气处理厂站都会有地坑操作。经测试,当地坑内发生人员硫化氢中毒时,将中毒者从地坑底部救援至地坑边沿的救援时间至少约3~4 min。为了缩短硫化氢中毒救援时间,在现有的救援方法、救援工具的基础上,通过不断改进和现场测试,发现借助工具才能实现地坑内硫化氢中毒人员的快速救援。所以,笔者探索设计了一种救援工具,将地坑内的救援时间缩短至1 min以内,实现了安全、高效救援。

摘要：与非图模型是一种表示电路设计的通用基础形式,同时也是模型检查器的一种通用输入格式.介绍了一种基于与非图结构编码的特征提取方法,并基于该方法实现了一种快速的组合模型检查器Liquid.所提出的结构编码的核心思想:首先罗列出与非图中所有可能的子结构,再将每个子结构出现的次数编码成向量,该向量即作为与非图的特征向量参与之后的机器学习过程.由于各种模型检查算法的性能在不同的与非图上参差不齐,Liquid的设计目标是组合多种模型检查算法,针对不同的与非图使用机器学习模型挑选出合适的算法.收集了目前所有的模型检查器基准测试集作为实验数据集并进行了实验.实验结果表明,Liquid在实验数据集上的表现优于所有组合中的独立模型检查算法,并有着不错的预测准确率.同时,还从多个维度分析了Liquid有效的原因.