地质录井技术对策分析

随着现代经济社会的前进发展,地质勘探以及石油开发等项目得到一定创新。在钻井施工作业环节中,具有投入大、周期长、环境条件特殊、风险因素多等特点,因此在开展地质录井工作中需要采取有效的技术手段和对策,以此实现安全生产的目标。鉴于此,本文主要阐述地质录井技术的概念,探究当前阶段常用的几种录井技术,并提出相关有效对策,以此降低钻井风险。旨在为相关工程提供借鉴和参考,合理控制井下复杂情况,提高工程时效。     

基于半扩展规则的定理证明方法

自动定理证明一直是人工智能领域中最重要的问题之一,基于归结的方法是通过推出空子句的方法来判定子句集的可满足性.基于扩展规则的定理证明方法在一定意义上是和归结原理对偶的方法,是通过子句集能否推导出所有极大项组成的子句集来判定可满足性.通过对扩展规则的研究给出了半扩展规则的概念,并提出了基于半扩展规则的定理证明算法SER.然后分析及证明了该算法的正确性、完备性和复杂性.实验结果表明,算法SER的执行效率较基于归结的有向归结算法DR和基于扩展规则算法IER,NER有明显的提高.     

基于GPU的混合精度平方根共轭梯度算法

针对当前基于GPU的数值算法具有双精度数据性能低下的缺陷.提出了一种适于GPU统一计算架构Fermi-CUDA的混合精度平方根共轭梯度算法用以求解稀疏线性方程组.该算法采用单精度内迭代与双精度外迭代结合的方法,以充分利用GPU体系结构下单精度高性能和双精度高精度的优点.整个算法的计算部分完全在GPU端进行,减少了CPU和GPU之间的数据通信.实现了基于GPU的平方根共轭梯度法、Jacobi迭代法和Gauss-Seidel迭代法,分析它们作为内迭代算子对算法收敛性的影响.实验表明,该算法获得了与全双精度数据处理等同的计算精度,比GPU全双精度在浮点性能上提升近一倍,相对于CPU全双精度串行算法,最大加速比达到70以上.     

基于OpenMP+MPI的2.5维电磁场正演并行化方法

针对2.5维复电阻率电磁场正演串行算法的效率瓶颈,研究了一种基于OpenMP+MPI的混合计算并行化方法。将波数域分解到计算机集群的各节点上,采用MPI对各波数进行并行运算;在各节点内部,对复双共轭梯度法求解线性方程组的过程采用OpenMP并行运算。波数等间隔分配到各集群节点,以利负载均衡;集群节点读取各自的模型参数,MPI群集传递当前波数的计算结果,以降低通信开销。不同类型和规模算例的实验结果表明,该并行方法不仅能够达到与串行方法等同的精度,而且获得了接近线性的加速比。     

混凝土箱梁分层浇筑水化热实测与模拟分析

为探究混凝土箱梁在分层浇筑施工过程中水化热温度的发展规律及其温度应力,对某主跨230 m的大跨度预应力混凝土箱梁桥零号块水化热进行了连续观测,并基于观测结果和有限元数值模拟计算,分析了零号块水化过程中底板、腹板和横隔板的温度应力发展规律;同时,讨论了分层浇筑和整体浇筑两种不同施工方案对零号块水化热温度应力分布的影响,研究了拆模时间对结构内外温度的影响程度。结果表明：内外温差在结构内部产生的温度应力超过了材料的抗拉强度,从而导致了温度裂缝的产生;采用分层浇筑施工的零号块将在上下层混凝土交界面附近形成一条拉应力带;过早拆模会使混凝土内外温差迅速扩大,而养护4 d后拆模混凝土内外温差相对较小,建议零号块拆模前养护时间不宜少于4 d。     

建筑施工管理创新体会

随着社会经济的发展,我国建筑行业也有了较大发展。目前,我国建筑行业的施工管理仍然存在体制不健全、管理不规范等问题,不仅不利于建筑工程质量的提高,也阻碍了建筑企业的发展。建筑企业想要实现可持续发展,就必须要创新思路和方法,进而实现对建筑施工管理的创新。本文分析了我国建筑工程管理中存在的问题,分析了建筑施工管理创新的意义,明确了建筑施工管理创新的方法。     

小区建筑中水回用的途径

开发利用再生水是缓解水资源紧缺的重要途径,既有利于保护生态环境,也是实现政府提出循环经济的要求。     

基于射频识别技术的机房实验课教学系统研发

提出一个基于射频识别设备技术的机房管理系统的设计与实现。可建立二级到多级服务器模式,通过射频识别设备的使用实现跨校区的统一管理机制。它由多个模块组成,每个模块独立工作,本文对模块功能有详细描述。本系统也可通过局域网,校园网或internet网协作运行。     

施药覆膜一体化土壤消毒机的设计开发

为了解决化学药剂消毒中人工覆膜问题,设计开发了施药和覆膜一体化土壤消毒机。通过试验测定,土壤消毒机作业速度1.28 m/s,施药深度为20 cm,能够满足土壤消毒作业要求。     

用概念格方法挖掘Aspect

横切关注引起的代码散布和代码交织现象是面向对象编程技术自身的局限性造成的，面向方面的编程（AOP）技术有望成为解决该问题的有效途径。本文以改善程序代码的横切现象为目标，把面向对象遗产系统中的方法作为实例，方法问的直接调用关系作为实例的特征，使用概念格技术挖掘候选Aspect集。候选Aspect集较好地反映了遗产系统中横切关注点的行为结构，为Aspect重构提供有用的帮助。本文使用一个银行应用系统的实际例子进行了实验．说明了概念格方法的可用性。