检索结果-南通市图书馆

塔河油田缝洞型碳酸盐岩油藏水驱后剩余油分布主控因素与提高采收率途径

在线全文

学校读者我要写书评

暂无评论

石油勘探与开发 2019年第4期46卷 746-754页

作者：郑松青杨敏康志江刘中春龙喜彬刘坤岩李小波张世亮中国石化石油勘探开发研究院北京100083 中国石化西北油田分公司乌鲁木齐830011

综合岩心、测井、地震、生产动态等多方面资料,对缝洞型碳酸盐岩油藏储集空间多尺度特征、储集体类型、缝洞体空间形态及分布模式、与生产井的配置关系等进行了系统研究,分析了各因素对剩余油分布的影响,建立了水驱后剩余油分布的主控... 详细信息

综合岩心、测井、地震、生产动态等多方面资料,对缝洞型碳酸盐岩油藏储集空间多尺度特征、储集体类型、缝洞体空间形态及分布模式、与生产井的配置关系等进行了系统研究,分析了各因素对剩余油分布的影响,建立了水驱后剩余油分布的主控因素模式;结合塔河油田的开发实践,系统研究了提高原油采收率的方法与途径。研究表明,缝洞型碳酸盐岩油藏水驱后剩余油分布主控因素可归结为局部高点、井控不足、连通通道屏蔽和弱水动力4大类。缝洞型碳酸盐岩油藏提高采收率是一个系统工程:天然能量开发阶段,做好生产调控,防止底水窜进;注水早期,依据储集体类型、连通性、空间位置构建注采关系,提高水驱控制及动用程度,尽量减少剩余油;注水开发中后期,依据剩余油分布主控因素及分布特征,通过加强井控、利用重力分异和毛细管的渗吸作用、扰动(改造)流场等措施,实施精准挖潜。同时做好技术储备,开展储集层改造、新型注入介质、智能优化开发等技术的研发,做好注水、注气技术的接替,最大限度地提高采收率。

关键词：碳酸盐岩缝洞型油藏多尺度性剩余油分布主控因素提高采收率

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

精准执行可达性分析:理论与应用

软件学报 2018年第1期29卷 1-22页

作者：杨克贺也平马恒太王雪飞中国科学院软件研究所基础软件国家工程研究中心北京100190 中国科学院大学北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

精准执行可达性分析探究计算机程序状态之间的可达性关系,通过分析软件的文档、源代码或二进制程序并进行必要的测试验证,以求出在既定限制下从初始状态到特定代码位置的目标状态的准确触发输入和执行路径.精准执行可达性分析在定向测... 详细信息

精准执行可达性分析探究计算机程序状态之间的可达性关系,通过分析软件的文档、源代码或二进制程序并进行必要的测试验证,以求出在既定限制下从初始状态到特定代码位置的目标状态的准确触发输入和执行路径.精准执行可达性分析在定向测试、静态分析结果核验、错误复现和漏洞POC构造等领域均有广泛的应用.对近年来国内外学者在该研究领域取得的相关研究成果进行了系统的分析、提炼和总结.首先,指出了精准执行可达性分析对应的约束求解问题,以双向符号分析和程序归纳为主线介绍了其主要研究方法,讨论了相关技术难点;其次,对目前已经存在的精准执行可达性应用进行了分类分析;进而,指出精准执行可达性分析应用中程序分析、归纳和约束求解等方面存在的挑战;最后,对可能的解决办法以及未来发展方向进行了展望.

关键词：程序分析可达性分析定向测试双向符号分析程序归纳

在线全文

学校读者我要写书评

暂无评论

规则波对台阶式海堤冲击的试验研究

哈尔滨工程大学学报 2016年第4期37卷 520-526页

作者：骆文广杨国录张小飞周成武汉大学水资源与水电工程科学国家重点实验室湖北武汉430072 武汉大学污淤泥研究中心湖北武汉430072 广西大学土木建筑工程学院广西南宁530004

为了研究台阶式海堤在规则波浪冲击作用下堤身的动压力分布特性,在广西大学水利实验室二维玻璃水槽中建立了不同结构参数的台阶式海堤物理模型,通过分别对比海堤的水平台阶面和直立台阶面上的规则波浪冲击后的动压力,得出了波浪冲击海... 详细信息

为了研究台阶式海堤在规则波浪冲击作用下堤身的动压力分布特性,在广西大学水利实验室二维玻璃水槽中建立了不同结构参数的台阶式海堤物理模型,通过分别对比海堤的水平台阶面和直立台阶面上的规则波浪冲击后的动压力,得出了波浪冲击海堤后的动压力与台阶式海堤坡度和台阶高度的相关规律。研究表明:在一定的海堤坡度范围内,同一入射条件下,当海堤台阶高度一定时,海堤坡度越缓,海堤台阶面上的动压力越小;而当海堤坡度一定时,海堤台阶高度越大,海堤台阶面上的动压力越大。

关键词：动压力波浪冲击水平台阶面直立台阶面二维玻璃水槽海堤结构

基于Hoare逻辑的密码软件安全性形式化验证方法

在线全文

学校读者我要写书评

暂无评论

吉林大学学报（工学版） 2019年第4期49卷 1301-1306页

作者：肖堃电子科技大学计算机科学与工程学院

为了解决密码软件安全性验证效率和准确率低的问题,提出了基于Hoare逻辑的密码软件安全性形式化验证方法。首先对密码软件的主要性质进行描述,然后通过密码软件运行时随机向量的分析,得到密码软件运行的矩阵表达式,再将其进行线性变换,... 详细信息

为了解决密码软件安全性验证效率和准确率低的问题,提出了基于Hoare逻辑的密码软件安全性形式化验证方法。首先对密码软件的主要性质进行描述,然后通过密码软件运行时随机向量的分析,得到密码软件运行的矩阵表达式,再将其进行线性变换,计算密码软件运行时数据的方差和协方差矩阵,获得密码软件运行时数据矩阵的主成分空间,并对密码软件运行的主成分进行分析;最后,利用密码软件的逻辑模型和软件运行的状态集合对密码软件安全形式化验证的流程进行分析,建立密码软件的运行模型并设置安全属性,并将密码软件运行时出现的故障进行标记和处理,得到密码软件运行的安全结果,从而实现密码软件安全性形式化的验证。实验结果表明,采用该方法对密码软件的安全性进行验证具有较高的效率,且能够准确地验证密码软件的安全。

关键词：计算机系统结构霍尔逻辑密码软件安全性验证

在线全文

学校读者我要写书评

暂无评论

核电厂重大设备健康状态的模糊综合评价方法

核动力工程 2018年第6期39卷 104-110页

作者：沈江飞潘天成毛晓明吴天昊顾访苏州热工研究院有限公司

针对核电厂重大设备管理细则、设备运行特点和要求,提出了核电厂的重大设备健康状态综合评价方法。根据核电厂设备状态监测特点,建立了基于监测任务的多层次指标体系模型。基于设备零部件潜在故障模式分析故障现象,分析设备监测任务,并... 详细信息

针对核电厂重大设备管理细则、设备运行特点和要求,提出了核电厂的重大设备健康状态综合评价方法。根据核电厂设备状态监测特点,建立了基于监测任务的多层次指标体系模型。基于设备零部件潜在故障模式分析故障现象,分析设备监测任务,并构建监测任务隶属度函数模型。总结专家实际评估经验,提出指标权重由所辖多个监测任务共享,由劣化最严重的监测任务继承权重,得到设备的指标状态;通过改进的层次分析法,分配各指标的初始权重,并提出基于指标状态等级的分级变权理论模型,均衡考虑关键指标的恶化情况。将建立的评价方法应用于核岛主泵轴封系统健康状态评估,结果表明该方法可靠实用,能够有效表征重大设备的实际运行健康状态。

关键词：核电设备健康评估层次分析法模糊综合评价

氯/二氧化氯消毒对热水管壁生物膜的控制作用

在线全文

学校读者我要写书评

暂无评论

哈尔滨工业大学学报 2019年第2期51卷 51-57页

作者：柴珊珊李星杨艳玲刘永旺赵锂北京工业大学建筑工程学院北京100124 中国建筑设计研究院有限公司北京100044

建筑生活热水存在严重的生物安全性问题,需要采取必要的消毒措施.为此,采用建筑生活热水模拟管道系统,对比研究氯或二氧化氯冲击消毒对管壁生物膜微生物的灭活效果,并通过高通量测序和扫描电子显微镜评估冲击消毒对管壁生物膜群落组成... 详细信息

建筑生活热水存在严重的生物安全性问题,需要采取必要的消毒措施.为此,采用建筑生活热水模拟管道系统,对比研究氯或二氧化氯冲击消毒对管壁生物膜微生物的灭活效果,并通过高通量测序和扫描电子显微镜评估冲击消毒对管壁生物膜群落组成和生物膜表观特征的影响.结果表明,高消毒剂质量浓度可显著提高微生物的灭活速率,但已不能进一步改善微生物灭活率; 1. 5 mg/L氯或二氧化氯的消毒效果不佳; 3～5 mg/L氯或二氧化氯在冲击消毒120 min后,总大肠菌群、细菌总数和异养菌(HPC)均可达到完全灭活的程度,能够有效控制热水管道生物膜,说明足够的消毒剂质量浓度和消毒时间对保持高效灭活率非常必要.生活热水管壁生物膜的微生物多样性丰富,异常球菌-栖热菌门和变形菌门为优势门,并含有多种致病菌,与市政供水和二次供水管道系统的优势菌群有很大差异;氯或二氧化氯冲击消毒对各种菌门均有不同程度的灭活效果,二氧化氯对致病菌、变形菌门和衣原体门等的灭活效果更佳.氯或二氧化氯冲击消毒能有效破坏生物膜的表面结构,使生物膜出现间隙变大、萎缩、脱落等现象,二氧化氯对生物膜的破坏作用更显著,具有更佳的冲击消毒作用和消毒效果.研究结果为建筑生活热水系统的安全消毒技术以及生物安全性保障提供了支持.

关键词：冲击消毒二氧化氯氯生活热水生物膜

在线全文

学校读者我要写书评

暂无评论

三维织造复合材料细观模型

中南大学学报（自然科学版） 2016年第8期47卷 2621-2628页

作者：师有玲单忠德刘丰陈思思康怀镕机械科学研究总院先进成形技术与装备国家重点实验室北京100083

以三维织造复合材料为对象,结合三维织造缠绕路径,建立三维织造复合材料细观结构分析模型,推导纤维体积分数与细观模型结构参数之间的数学关系。研究导向套直径、导向套中心距等结构参数对纤维体积分数的影响。研究结果表明：结合PAN基... 详细信息

以三维织造复合材料为对象,结合三维织造缠绕路径,建立三维织造复合材料细观结构分析模型,推导纤维体积分数与细观模型结构参数之间的数学关系。研究导向套直径、导向套中心距等结构参数对纤维体积分数的影响。研究结果表明：结合PAN基碳纤维T300实验研究发现纤维体积分数相对误差可控制在5%以内。通过合理的结构设计和纤维规格匹配,三维织造复合材料可达到满意的纤维体积分数和弹性模量。当PAN基碳纤维T300三维织造复合材料的导向套半径为1 mm时,导向套中心距在4-6 mm之间对纤维体积分数的变化最敏感,中心距从4 mm增加到6 mm时导向套的纤维体积分数从19.63%下降到10.19%;当导向套半径控制在2 mm以内时,导向套中心距建议选取4~6 mm之间,可有效提高纤维体积分数;导向套半径为1 mm时,6K纤维与6 mm中心距配合能达到最大限度的利用结构体积单元空间。

关键词：三维织造复合材料细观模型纤维体积分数结构参数

银离子-紫外线联合消毒的生活热水微生物灭活效能

在线全文

学校读者我要写书评

暂无评论

中国环境科学 2017年第8期37卷 2955-2962页

作者：尚思宏李星杨艳玲刘永旺赵锂张惠瑾北京工业大学北京100124 中国建筑设计研究院北京100044

采用建筑生活热水管道模拟实验系统,研究了银离子、银离子-紫外线联合消毒对微生物的灭活效能.结果表明,银离子投量对微生物灭活效能有显著影响,0.05mg/L银离子消毒60min时可达到极佳的微生物灭活效果.银离子投量较低时,增加消毒时间仍... 详细信息

采用建筑生活热水管道模拟实验系统,研究了银离子、银离子-紫外线联合消毒对微生物的灭活效能.结果表明,银离子投量对微生物灭活效能有显著影响,0.05mg/L银离子消毒60min时可达到极佳的微生物灭活效果.银离子投量较低时,增加消毒时间仍可达到相同的消毒效能.银离子的总大肠菌群灭活速率较低,需要保证足够的浓度和消毒时间(CT)值.银离子浓度的衰减速率慢,对生活热水生物膜微生物的高效持续消毒作用可保持48h以上.紫外线消毒、银离子消毒和银离子-紫外线联合消毒均可在很短的时间内对生物膜结构造成显著破坏,使生物膜出现脱落现象,其中紫外线消毒对生物膜结构的影响最小,银离子-紫外线联合消毒的影响最大.生物膜的16s r DNA测序分析表明,银离子消毒对病原微生物的灭活程度相对较低,紫外线消毒、银离子-紫外线联合消毒对病原微生物的灭活程度较高.银离子-紫外线联合消毒技术可充分发挥紫外线原位消毒和银离子持续消毒的特点,全面提高生活热水生物膜微生物消毒效能,是一种有应用价值的生活热水消毒和水质保障技术.

关键词：生活热水生物安全性银离子紫外线联合消毒

镍基合金蜂窝材料冰固持条件下的超低温铣削研究

在线全文

学校读者我要写书评

暂无评论

兵工学报 2016年第5期37卷 888-894页

作者：王凤彪侯博袁凯吴迪周连杰大连理工大学机械工程学院辽宁大连116024

由于低刚度航天用薄壁镍基合金蜂窝材料在机械加工后常伴有卷曲、开焊、塌边等缺陷,故需改进其固持和加工方法。将该材料进行冰固持方法处理,采用数控铣床进行高速超低温加工。分析蜂窝铣削性能和加工缺陷产生原因,揭示冰固持超低温铣... 详细信息

由于低刚度航天用薄壁镍基合金蜂窝材料在机械加工后常伴有卷曲、开焊、塌边等缺陷,故需改进其固持和加工方法。将该材料进行冰固持方法处理,采用数控铣床进行高速超低温加工。分析蜂窝铣削性能和加工缺陷产生原因,揭示冰固持超低温铣削机理。试验结果表明:相比于传统固持加工方式,冰固持超低温铣削后,蜂窝表面质量有很大提高,相关加工缺陷得到了有效抑制,切削深度对表面质量影响较大;获得了加工参数对铣削力影响顺序:切深最大,可提高3倍,其次为主轴转速,进给速度最小。该方法提高了蜂窝强度,改善了断屑方式。冰固持超低温工艺为面内径向等效强度小、低刚度薄壁金属蜂窝材料的高效加工提供了新方法。

关键词：机械制造工艺与设备镍基合金蜂窝材料缺陷冰固持铣削力等效强度