SPI演算规范的建模、实现验证研究

针对安全协议安全属性是否满足,缺乏有效性能评价方法的现状,大都使用SPI演算或相近的进程代数方法进行建模。利用这种方法不仅能够有效地形式化描述安全协议,并且能够对安全协议进行多方面的系统评价,但基本上没有说明怎么样寻找设计合适的验证工具,验证其安全属性实现的正确性。本文引入基于SPI演算的验证工具SPRITE来保证建模过程正确性,并设计给出实现映射的具体方法。本方法通过对典型的WOO-LAM单向认证协议予以说明,最后SPRITE产生的具体JAVA代码,给出了安全协议的安全属性,使形式化描述的协议的安全属性是否满足更接近于人的理解而不仅只是机器的解释。     

基于Java与XML的测井矢量图形处理技术

根据测井图的构成特点及存储、处理要求,提出了Java与XML结合处理测井矢量图的方法和流程;讨论了XML文件存储测井矢量图的可行性;介绍了存储测井矢量图的XML文件的组织结构和创建过程以及从XML文件生成测井矢量图的步骤;最后给出了创建XML存储文件和通过XML文件生成测井矢量图的示例。     

超深井非均匀地应力场中射孔套管强度分析

针对非均匀地应力、内压、射孔耦合作用下超深油气井试油和生产过程中经常出现的射孔套管损坏问题,采用有限差分软件建立了射孔套管-水泥环-地层三维地质模型,分析了射孔、内压以及非均匀地应力对超深井射孔后套管强度的影响。研究表明,射孔套管的剩余强度低于未射孔套管的剩余强度;射孔改变了套管应力的分布状态,射孔后套管最大应力发生在射孔处,孔眼处局部应力增大;射孔套管等效应力随内压的增加先降低后增加,存在一个临界值;当套管受非均匀地应力作用时,套管等效应力和变形量增大,且随着应力比的增加,套管等效应力和变形量随之增加,套管更容易发生损坏。该研究为套管的设计和应用提供了理论依据。     

聚合物驱宏观剩余油受效机制及分布规律

基于油藏数值模拟定义了"聚合物驱受效剩余油饱和度"新概念,研究了聚合物驱作用下宏观剩余油受效机制及受效剩余油在油藏中的分布部位和形态,讨论了储层韵律性、原油黏度和注聚用量对受效剩余油分布的影响。研究结果表明,受效剩余油在油层内纵向上主要分布于注入水窜流区的上部,呈斜纺锤体形状,平面上受效区域则位于注采井间,呈环状分布。不同韵律储层剩余油受效机制及受效剩余油分布有所不同。随着原油黏度的增加,受效剩余油主体区向油层底部移动,且受效剩余油饱和度峰值降低。随着注聚用量的增多,受效剩余油范围沿斜纺锤体的轴线向两侧扩大。     

浮式防波堤的锚泊系统

基于静态悬链线理论推导了深海浮式防波堤的锚链刚度曲线表达式,给出了浮式结构物偏移量-环境力-预张力的关系曲线图.为浮式防波堤锚泊系统定位的发展奠定了一定的理论基础.     

改性淀粉凝胶与三元复合驱体系的组合调驱研究

采用双层非均质岩心模型,将调剖和驱油结合,评价不同级差条件下8种开发方案提高采收率的效果。结果表明,岩心渗透率为30×10^-3/1000×10^-3μm²时,单独聚合物驱和三元驱使含水率下降约15%,采收率分别提高6.7%和8.3%。用改性淀粉凝胶封堵后,三元驱岩心含水率下降至44%,明显低于聚合物驱和水驱的最低含水率60%、70%,三元驱、聚合物驱及水驱采收率增幅分别为23.5%、19.2%和10.1%。三元驱能有效启动低渗层位,三元复合驱对低渗层位剩余油的开采效果明显好于聚合物驱。“改性淀粉凝胶体系+三元复合驱”组合调驱采收率增幅为40.4%,好于二者单独作用时的采收率增幅加和35.6%,并比“铬凝胶+三元复合驱”组合调驱采收率增幅高4.3个百分点。岩心渗透率为30×10^-3/2000×10^-3 μm²和30×10^-3/500×10^-3μm²时,“改性淀粉凝胶体系+三元复合驱”组合调驱采收率增幅分别为45.3%和34.4%,三元驱提高采收率25.1%和22.2%,油藏非均质性越严重,该组合调驱体系开采效果越好。     

氧化镍改性的ZSM-5催化剂对甲苯和甲醇择形甲基化反应稳定性的影响

在常压下,以N₂为载气,采用固定床反应器考察了NiO改性的ZSM-5催化剂催化甲苯和甲醇择形烷基化反应的性能。采用Ar物理吸附、XRD、XRF、TEM、XPS、H₂-TPR、NH₃-TPD、Py-IR、UV-Vis、UV-Raman、TG、GC-MS等手段表征所制备的催化剂。结果表明,在ZSM-5催化剂上负载质量分数为3%或5%的Ni,催化剂的稳定性明显得到提高。在催化甲苯甲基化反应后,NiO改性ZSM-5催化剂上出现了金属Ni,这可能是由于在积炭过程中,伴随着氢转移过程或者是水消炭反应过程而产生的H2将NiO还原为金属Ni;而且,催化剂的积炭量明显降低,同时作为积炭前驱体的稠环芳烃的生成量也明显减少,推测可能是由于金属Ni的存在,抑制了烷基苯脱氢生成稠环芳烃积炭前驱体的反应,因而提高了催化剂的稳定性。     

ZSM-5催化剂在乙醇脱水反应中的失活与再生

在固定床反应器中进行了ZSM-5分子筛催化乙醇脱水生成乙烯反应的积碳失活实验,采用X射线衍射、热重、傅里叶变换红外光谱、低温氮吸附和核磁共振等方法对催化剂进行了表征。结果表明,在乙醇脱水反应中,催化剂表面的积碳导致分子筛微孔堵塞是造成催化剂失活的主要原因,积碳物种主要是带有双键的聚合态化合物(或芳香族化合物)。再生后的催化剂仍具有良好的活性和稳定性,在1000h的反应过程中,乙醇转化率始终在99.5%以上,乙烯收率也保持在98%以上。同时再生过程未改变分子筛中铝的状态。     

吉林扶余油田稠油乳化降黏实验研究

针对典型油样进行组分分析,找出原油中影响黏度的主要因素。采用A型水溶性降黏剂进行乳化降黏实验,通过静态评价试验,研究了水溶性A型降黏剂与原油之间形成乳状液的稳定性和粒径分布、油水界面张力、降黏率及洗油率,考察了该降黏剂降黏效果。实验结果表明:原油中蜡含量迭14.7%,高含蜡是影响原油黏度的主要因素;降黏剂浓度越大,乳状液分水率越低,乳状液粒径分布越集中,油水界面张力越低,乳状液越稳定;油水比越大,分水率随降黏剂浓度变化越显著;随降黏剂浓度增大和油水比降低,降黏率逐渐升高,降黏率最高可达91.5%;该降黏剂有较好的洗油效果,洗油率为61.1%。     

东营凹陷南斜坡沙四段高分辨率层序地层格架研究

东营凹陷南斜坡沙四段的滩坝砂体等分布广泛，其中蕴藏着丰富的油气资源，勘探30多年来不断取得新的发现和突破。该类砂体具有储集层薄、横向变化快的特点，分布规律比较复杂。本文运用高分辨率层序地层学原理，通过地震、测井、岩心资料的综合分析，建立了沙四段高分辨率层序地层格架，将主力含油层段——沙四上亚段划分为2个中期地层旋回和7个短期地层旋回，并指出：短期旋回基准面的升降变化控制了砂体的类型；中期旋回基准面的变化控制了砂体的叠加样式及横向展布。