岩石GFRP抗浮锚杆承载性能室内试验与机理分析

基于4根岩石GFRP抗浮锚杆的室内足尺拉拔破坏性试验,探讨了风化岩地基中全长黏结GFRP抗浮锚杆的界面黏结特性和承载性能,揭示了GFRP锚杆的细观破坏机理。结果表明：GFRP抗浮锚杆发生拔出破坏,主要是由螺纹表面劣化所引起的剪胀破坏;直径25 mm、灌浆体强度M30、锚固长度1.3和0.55 m的GFRP抗浮锚杆的极限抗拔承载力分别为255、195 kN,满足工程抗浮要求;GFRP抗浮锚杆杆体与灌浆体界面平均黏结强度介于2.41~5.10 MPa之间,高于《岩土锚固与喷射混凝土支护工程技术规范》（GB 50086—2015）中钢锚杆与灌浆体的黏结强度推荐值。     

合金结构钢的奥氏体晶粒度与旋转弯曲疲劳极限关系的研究

前言 近年来,不少航空工厂和冶金工厂所做的大量研究工作表明:航空结构钢的本质晶粒度对室温常规机械性能无明显影响。但是,航空结构零件的破坏,其中90％是由于疲劳断裂引起的。因此,在对航空结构钢不同晶粒度的力学性能全部考核时,应把疲劳性能作为评定力学性能的重要指标。     

压扩桩施工中混凝土振捣对拔管阻力影响的研究

多支盘压扩桩是一种借助静力压桩机液压形成的新型钢筋混凝土灌注桩。针对多支盘压扩桩在施工中遇到的拔管困难问题,文章利用振捣时振动波在新拌混凝土中的传播机理,分析了振幅的衰减规律,并运用公式反算法和加权平均值法对振动波在新拌混凝土中传播的阻尼系数进行确定,算得振捣力传至沉管壁的衰减为24％左右,对降低拔管阻力有显著的作用,能够降低压扩桩拔管施工的难度。     

特殊土质条件下的强夯施工

结合具体的工程实例,对强夯法在特殊土质和特殊环境条件下的应用进行研究。提出了在厚度差别大且碎石含量多、周围房屋距离近的杂填土地基上强夯施工以及在粉煤灰回填土地基上设置排水沟后进行低能量强夯的施工工艺。建议了相应的工艺参数,包括砂石混合土回填分层分区、排水沟设置、夯点布置、夯击能量等,并给出了处理后地基的承载力等设计指标参考值。     

不同直径单桩静压贯入力学特性模型试验研究

为探讨不同桩径静力压入单桩的贯入力学特性，设计了不同桩径的模型桩，基于光纤光栅（Fiber Bragg Grating，简称FBG）传感技术，开展了黏性土中静压贯入两种不同直径单桩的模型试验研究。结果表明：试桩的压桩力基本呈线性增加趋势，桩径越大，压桩力越大；桩径不同会影响单桩的荷载传递性能，由于桩径越大挤土效应越明显，沿深度方向的桩身轴力传递性能优于小桩径桩；桩身单位侧摩阻力随深度增大而增大，桩径越大，对土体的侧向挤压力越大，桩身单位侧摩阻力越大；同一深度，两种不同直径单桩桩身单位侧摩阻力都出现“侧阻退化”现象，“侧阻退化”现象随着贯入深度的增加越明显，且桩径越大，桩身单位侧摩阻力退化越显著；均质黏性土地层静压沉桩阻力主要为桩端阻力，沉桩结束时，试桩桩端阻力占沉桩阻力的比例分别为59.5%和66.2%，不同的桩身直径既影响桩端阻力，又影响桩侧阻力。确定静压贯入沉桩阻力时，考虑基于黏性土的侧阻退化后实际值更为合理。     

Logic Programs,Compatibility and Forward Chaining Construction

Logic programming under the stable model semantics is proposed as a non-monotonic language for knowledge representation and reasoning in artificial intelligence. In this paper, we explore and extend the notion of compatibility and the Λ operator, which were first proposed by Zhang to characterize default theories. First, we present a new characterization of stable models of a logic program and show that an extended notion of compatibility can characterize stable submodels. We further propose the notion of weak auto-compatibility which characterizes the Normal Forward Chaining Construction proposed by Marek, Nerode and Remmel. Previously, this construction was only known to construct the stable models of FC-normal logic programs, which turn out to be a proper subclass of weakly auto-compatible logic programs. We investigate the properties and complexity issues for weakly auto-compatible logic programs and compare them with some subclasses of logic programs.     

Makinson一个公开问题的注记

公式集的essential原子在逻辑中扮演了重要角色,如在SAT问题中可以去掉非essemial原子,从而加快搜索解的速度.将essential原子引入到赋值集是近年的一个研究热点,2005年Makinson提出一个关于essential原子的公开问题.现解决了这个公开问题,即证明了结论:任何原子都不是赋值集V的essential原子当且仅当等价的赋值都属于V或者都不属于V.     

一栋五层住宅楼倾斜原因及其纠偏

一栋建于深厚不均匀地基上的五层住宅发生严重倾斜,成为危房。本文分析了其倾斜原因,并采用一种新的可控纠偏技术,将其纠偏扶正。     

低代价最短路径树快速算法的时间复杂度研究

低代价最短路径树是一种广泛使用的多播树,它能够在保证传送时延最小的同时尽量降低带宽消耗.快速低代价最短路径树算法FLSPT是在DDSP算法的基础上,通过改进节点的搜索过程,该算法构造的最短路径树与DDSP算法构造的树具有相同的性能,但其时间复杂度低于DDSP,其时间复杂度为O(nlog n e).FLSPT是利用Fibonacci堆来选择图中未计算点的最小值来计算时间复杂度的.通过对FLSPT的程序和Fibonacci堆的分析发现,用O(log(n!) e)来表示FLSPT算法的时间复杂度比文献[6]中分析的O(nlog(n) e)更能体现FLSPT算法高效率.     

精化UML模型

本文通过融合UML用例图、类图、顺序图和状态图，得到一个软件系统的需求模型和设计模型，给出了需求模型和设计模型的协调性条件及精化规则。这样，我们可以从软件开发的需求分析和设计阶段检查模型的协调性，通过协调地精化模型后生成代码。用这种方法，我们可在软件设计的早期阶段发现不协调问题，减少生成代码后除错所产生的代价。