抛石挤淤在吹填淤泥区地基处理中的应用

首先阐述了抛石挤淤的适用范围及其原理,然后结合工程实例,详细描述了其施工工艺及施工过程的质量控制标准,对该吹填淤泥区所布设的沉降监测点、周边隆起监测点、深层水平位移监测点、孔隙水压力监测点分别进行了监测,通过分析监测数据,得出相关结论,进而探讨抛石挤淤在本试验中的可行性及所存在的问题.     

印尼地区嵌岩灌注桩竖向承载特性现场试验

为更加深入研究不同竖向荷载作用下大直径嵌岩灌注桩的承载特性与荷载传递规律,以印尼地区某工程为依托,对3根直径为800 mm的嵌岩灌注桩进行单桩竖向抗压静载试验与桩身应力测试。试验结果表明:3根试桩的Q-s曲线均为缓变型,沉降量均不超过17 mm,回弹率较大,介于54.8%~70.9%之间,残余沉降较小,承载力较高,均满足设计要求。桩身轴力随桩顶荷载的增加逐渐增大,随深度逐渐递减;桩侧摩阻力的发挥具有异步性,随着荷载的增大,桩侧摩阻力逐渐发挥,在嵌岩段桩侧摩阻力最大,但仍未充分发挥;桩端阻力随桩顶荷载的增加近似呈线性增大,在最大荷载作用下,桩端阻力占比约55%,表现出摩擦端承桩的特性。研究结果对国内桩基规范的完善以及当地桩基规范的制订具有较重要的意义。     

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.     

增敏微型FBG应变传感器设计

提出了一种两端夹持套管封装的光纤Bragg光栅(FBG)应变传感器,其结构包括光纤光栅、夹持套管、尾纤3部分,夹持套管封装的传感器尺寸小,可以改变灵敏度系数,测量精度高,适用于应变较小、受尺寸限制的室内模型试验.测试结果表明:增敏微型FBG应变传感器灵敏度高、低噪、稳定可靠,在标距范围内线性关系良好,线性度均达到0.999以上,制作工艺简单,具有很高的实用价值.     

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

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

不同物态配比碱渣-粉煤灰混合料强度特性

为改善传统碱渣土填筑方法工艺复杂、耗时较长的缺点,以山东海化集团的碱渣和粉煤灰为原材料,对不同物态和配比的碱渣土进行了室外填筑试验,并通过室内试验对液相填筑碱渣土的均匀性和强度进行改良.采用击实试验、轻型动力触探试验、便携式可变能量动力触探试验对现场填筑碱渣土的强度特性进行测试表征;采用自制的沉淀器模拟液相碱渣土的一维...     

静压沉桩桩土界面抗剪强度及其参数室内试验研究

采用大型恒刚度桩土界面直剪试验系统,对不同含水率（w=18%,20%,25%,28%）的低塑性黏性土,在不同界面粗糙度（R=0, 2, 4, 6 mm）条件下,施加不同法向应力（σ=25、50、100、150 kPa）,进行不同剪切速率（v=0.4、0.6、0.8、1.0 mm/min）的直剪试验,分析低塑性黏性土的剪应力-剪切位移关系、抗剪强度及其参数。结果表明：桩土界面抗剪强度随界面粗糙度等级的增大而增大;法向应力越大,粗糙度对桩土界面抗剪强度影响越小,桩土界面黏聚力和摩擦系数随着粗糙度的增大而减小;黏性土受含水率影响的主要原因为其黏聚力,在含水率为25%左右时黏聚力出现峰值,此时桩土界面抗剪强度达到最大;随含水率的增加,桩土界面摩擦系数先减小后趋于平稳,减小幅度仅为5.5%左右;在研究剪切速率范围内,剪切速率对桩土界面抗剪强度影响较小,抗剪强度波动仅为10%～15%,随剪切速率的增加,黏聚力先增加0.87 kPa后降低1.41 kPa。桩土界面的力学特性受粗糙度、含水率、剪切速率的共同影响。     

Makinson一个公开问题的注记

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

太赫兹平面天线的设计

天线与太赫兹检测器的匹配网络是集成天线与太赫兹检测器的核心。针对低阻抗太赫兹检测器,在650 GHz设计了输入阻抗为7 Ω的平面U型天线和接有λg/4匹配器的蝶形天线,以及输入阻抗为50 Ω的平面对数天线和平面对数正弦天线。检测器的直流偏置电路会使天线上的高频能量通过该偏置回路漏出,故在偏置线上应用带隙结构形成低通滤波器。仿真了该滤波器的相关参数及接入位置,使得高频下天线不受超导检测器偏置回路的影响。     

子句型缺省逻辑中的分情形推理

引进一种树型方法以研究缺省逻辑中分情形推理下的Roos扩张,深入讨论了Roos扩张的计算,并分析了Roos扩张与Reiter扩张的关系.为计算Roos扩张,引入了从子句集分解最小文字集的算法.方法对于在缺省逻辑中计算Roos扩张以及分析分情形推理的计算复杂性是有用的.