高温-超压-高CO2背景下致密砂岩储层成岩作用特征——以莺歌海盆地LD10区新近系梅山组-黄流组为例

利用薄片鉴定、扫描电镜、阴极发光及碳氧同位素分析等手段,对莺歌海盆地LD10区新近系梅山组-黄流组高温-超压-高CO₂背景下的储层成岩作用特征及其对孔隙的影响进行了系统研究。研究结果表明: ①莺歌海盆地LD10区新近系梅山组-黄流组储层发育重力流沉积,岩性以中-细粒长石岩屑石英砂岩为主,储层物性以特低-低孔、特低渗特征为主。②压实、胶结和溶蚀作用是研究区主要的成岩作用类型。超压对黏土矿物的转化及石英次生加大具有明显抑制作用,并在一定程度上保护了原生孔隙。富含CO₂的高温流体不仅造成了黏土矿物的异常转化,同时促进了溶蚀作用发生,增加了次生孔隙。③研究区黄二段储层的成岩演化序列为: 菱铁矿胶结→石英次生加大→绿泥石胶结→长石淋滤溶蚀→高岭石形成→早期方解石胶结→早期白云石胶结→长石溶蚀→方解石溶蚀→伊利石大量生成→晚期铁方解石、铁白云石形成。④总体上,压实作用使孔隙度减少了45.30%～62.93%,胶结作用使孔隙度减少了1.65%～35.01%,溶蚀作用使孔隙度增加了0.72%～8.00%。其中,黄流组中下部砂岩储层受到了超压保护和CO₂溶蚀作用的双重影响,物性较好,钻井过程中应考虑高CO₂风险。     

关于D.W.Etherington的扩充产生算法的一个注记

Ｄ．Ｗ．Ｅｔｈｅｒｉｎｇｔｏｎ提出了一类总是有扩充的缺省理论，即有限有序缺省理论，同时使用接连近似的方法给出产生这类缺省理论的所有扩充的算法，并证明该算法对有限有序网络缺省理论总是收敛到一扩充。本文首先举例说明Ｄ．Ｗ．Ｅｔｈｅｒｉｎｇｔｏｎｄ的算法对一般的有限有序缺省理论并非总是收敛，然后给出了该算法对
对一般的有限有序缺省理论收敛的一个充分条件。     

海南酒店项目BIM-5D精细化管理研究

本研究以精细化管理理念为指导,结合国内外大型建设项目中BIM技术在设计阶段和施工阶段的应用,从业主视角深入发掘除碰撞检查、综合布局优化、施工漫游及施工模拟等BIM应用点之外,基于BIM-5D技术在投资管控等关键节点的新型并联工作模式,旨在探索企业基于BIM技术进行流程再造以实现精细化建造在成本管理等方面的创新应用,提高工作流程转化的效率,节约交易成本,为企业新建项目BIM技术的应用提供可参考的实施方案。     

安全协议认证的形式化方法研究

安全协议认证是网络安全领域中重大课题之一。形式化方法多种多样。该文首先论述了模型检测技术及其在安全协议验证中的应用,然后介绍了各种定理证明方法和定理证明工具,接着讨论其它形式化验证方法,最后论述形式化方法的一些研究方向。     

基于HALCON的四光源光度立体法金属表面缺陷检测方法

为了提高金属表面缺陷的检测效率,提出了一种基于四光源光度立体法的检测方法。先用CCD相机采集4个不同空间角度的打孔金属试样图像。然后,利用HALCON算子,基于四光源的光度立体技术原理计算得到表面梯度图像,再将其转化为平均曲率图像。最后,把图像各点曲率值转化为灰度值,使用全局阈值分割出缺陷区域。结果表明,与经典光度立体法相比,四光源光度立体法能够准确构建图像表面梯度信息,利用图像平均曲率信息可以快速检测出金属表面缺陷。     

测量二次电子空间分布特征矩阵法的有效性分析

为了准确测量不同材料在实际环境中的二次电子空间分布,设计了一种新型的二次电子发射空间分布测量结构,给出了实验测量原理,用求解特征矩阵的方法对实验结果进行处理,得到了所需的二次电子空间分布。通过模拟计算对该测量方法进行了校验,模拟结果与假设二次电子空间分布函数相吻合,表明该测量方法可靠、测量精度高,为后续样机研制奠定了理论基础。     

PIN/PAN聚合物基电解质膜的制备及性能

利用静电纺丝技术制备了聚吲哚/聚丙烯腈(PIN/PAN)聚合物基电解质膜,代替纸基铝空气电池中的纤维素纸(C-P),并应用于固态铝空气电池。探究了PIN含量对电解质膜离子电导率及吸液率的影响。采用SEM和FTIR对PIN/PAN聚合物基电解质膜表面形貌及化学组成进行分析。借助电化学工作站和电池测试系统,分析了电解质膜离子电导率及固态铝空气电池放电特性。结果表明,采用PIN/PAN聚合物基电解质膜可有效提升固态铝空气电池性能,在3 mA.cm_^-2、5 mA.cm_^-2、7 mA.cm_^-2电流密度下,放电时长比纸基铝空气电池分别提升了21%、27%、34%,且放电时长与电解质膜的吸液率及离子电导率相关。其中4%PIN/PAN聚合物基电解质膜离子电导率可达6.7×10_^-4 S.cm_^-1,同时对碱性溶液具有良好的吸附能力,吸液率最高可达496%,为纤维素纸的3.2倍。     

基于模型检测的微服务组合平台QoS验证

针对当前缺少对微服务组合平台的服务质量（QoS）指标进行分析验证的问题，提出一种基于模型检测的形式化验证方法，对影响微服务平台性能的因素进行分析评估。首先，将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶段，并分别由服务请求队列、服务请求配置器和提供服务资源的虚拟机等模块实现；其次，将各个模块的实现过程建模为带标记Markov回报模型（LMRM），借助类似于进程代数的同步概念获得微服务组合过程的全局模型；接着，用连续随机回报逻辑公式刻画期望的QoS指标；最后，将形式模型与逻辑公式作为模型检测工具PRISM的输入以获得验证结果。实验结果表明，LMRM可较好地用于微服务组合平台的建模和QoS验证分析。     

数字隔离型RS-232转M-Bus接口电路的设计

分析介绍了仪表总线(M-Bus)信号和传统的RS-232转M-Bus的电路实现方式,并就此分析了光电耦合隔离型电路和数字隔离型电路各自的优缺点,在此基础上提出了采用了ADI公司数字隔离芯片ADuM1201来实现数字隔离型RS-232转M-Bus的电路设计.这种新型电路简单易用、隔离性能更强、功耗更低并具有很好的可靠性.