Makinson一个公开问题的注记

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

地基硬壳层的利用

讨论了地基硬壳层．特别是薄硬壳层的利用以及硬壳层上的基础选型问题．列举了地基硬壳层利用的工程实例．     

金属材料和结构的疲劳寿命预测概率模型及应用研究进展

疲劳过程的不确定性以及影响疲劳寿命的不确定性因素较多,导致疲劳寿命的分散性难以预测,在疲劳寿命预测模型中采用统计学和概率论的概念和方法是描述疲劳过程不确定性和疲劳寿命分散性的一种重要手段。本文针对疲劳寿命预测概率模型进行综述,总结和介绍了疲劳寿命经验公式和参数的随机化模型、表征疲劳寿命离散性的统计模型、基于材料微结构和疲劳物理机制的疲劳寿命预测概率模型以及研究广布疲劳损伤的概率模型,并对金属材料与结构的疲劳寿命预测方法进行了展望。     

静压桩贯入试验硅压阻式传感器的研制及应用

根据静压桩贯入过程中桩端阻力、桩土界面土压力和孔隙水压力测试对传感器的要求,介绍了硅压阻式压力传感器的压阻效应和工作原理。针对尝试采用的模型桩硅压阻式传感器安装工艺,研制了两种出现方式的传感器,并对贯入过程中桩端阻力、桩土界面土压力和孔隙水压力进行了测试。试验结果表明,硅压阻式压力传感器成活率高达100%,模型桩硅压阻式传感器安装工艺可行,测试结果准确、可靠。硅压阻式传感器可以应用到静压桩贯入模型试验中。     

Structure and migration characteristic of heterointerfaces during the phase transformation from L1<Subscript>2</Subscript> to DO<Subscript>22</Subscript> phase

Based on the microscopic phase-field model, the structure and migration characteristic of ordered domain interfaces formed between DO₂₂ and L1₂ phase are investigated, and the atomistic mechanism of phase transformation from L1₂ (Ni₃Al) to DO₂₂ (Ni₃V) in Ni₇₅Al _x V_25−x alloys are explored, using the simulated microstructure evolution pictures and the occupation probability evolution of alloy elements at the interface. The results show that five kinds of heterointerfaces are formed between DO₂₂ and L1₂ phase and four of them can migrate during the phase transformation from L1₂ to DO₂₂ except the interface (002)_D//(001)_L. The structure of interface (100)_D//(200)_L and interface (100)_D//(200)_L·1/2[001] remain the same before and after migration, while the interface (002)_D//(002)_L is formed after the migration of interface (002)_D//(002)_L·1/2[100] and vice versa. These two kinds of interface appear alternatively. The jump and substitute of atoms selects the optimization way to induce the migration of interface during the phase transformation, and the number of atoms needing to jump during the migration is the least among all of the possible atom jump modes.     

剪切速率对黏性土混凝土界面抗剪强度影响的试验研究

通过自行研制的大型恒刚度桩土界面直剪仪,进行6种剪切速率的黏性土混凝土界面剪切试验,探讨剪切速率对黏性土混凝土界面抗剪强度的影响规律。结果表明：在黏性土混凝土界面,超孔隙水压力随着剪切速率的提高而增大;法向应力和剪切速率通过影响超孔隙水压力大小,决定黏性土混凝土界面剪切峰值强度和剪切破坏位移的大小;剪应力剪切位移关系曲线由基本一致变化到一定范围内产生偏离,且法向应力和剪切速率越大偏离越显著,并出现明显的应变软化现象;剪切速率从0.4 mm/min增加至5.0 mm/min,黏性土混凝土界面抗剪强度减小幅度增大,摩擦系数减小0.1,有效黏着力的变化介于0.81~5.93 kPa之间。     

封闭与开放抛石路堤降温效果及机理对比试验研究

在多年冻土地区道路工程的修筑与维护中，所面临的最大问题就是冻土问题，抛石路堤对其下伏土体具有冷却降温的作用已得到公认。通过室内试验比较分析了封闭与开放抛石路堤结构降温效果及降温机理差异。试验结果表明：开放结构降温速度快，而封闭结构对外界温度变化相对不敏感，比较而言降温速度较慢，但从长远来看，在试验条件下，其降温能力要强于开放结构。同时，对抛石层顶底温差与其顶部温度变化关系以及抛石内温度场特征的分析，发现两种路堤结构在降温机理上存在着明显差异，封闭结构主要依靠内部空气自然对流强弱变化引起等效导热系数的变化来实现对其底部土层的降温作用；开放结构则主要依靠外界低温风的作用在其内部形成强迫对流，以强化传热的方式来实现降温。但实际工程中由于多种因素的影响往往导致两种对流方式同时并存，因此对于年平均气温低于0℃的多年冻土区而言，两种抛石路堤结构均应具有良好的应用前景。     

大直径玻璃纤维增强聚合物复合材料抗浮锚杆外锚固性能试验及黏结-滑移模型

玻璃纤维增强聚合物(GFRP)复合材料抗浮锚杆与建筑物混凝土底板的锚固效果关乎整个结构的安全性和稳定性。为深入探究GFRP复合材料抗浮锚杆与混凝土底板之间的锚固性能,本文通过自行设计的足尺锚杆对拉试验装置对不同锚固形式的GFRP复合材料抗浮锚杆进行抗拔试验,测定锚杆极限抗拔承载力及杆体与混凝土间相对滑移量。试验结果表明,采用新型应力分散锚具锚固的GFRP复合材料抗浮锚杆外锚固段锚固效率均在80%以上,与混凝土间滑移量均大于裸筋直锚试件,证实该新型应力分散锚具可有效提升GFRP复合材料抗浮锚杆外锚固效果。在双曲线模型基础上提出一种新型的描述GFRP复合材料抗浮锚杆与混凝土黏结-滑移关系上升段本构模型,该模型综合考虑杆体直径及锚固长度对锚杆杆体与混凝土间黏结-滑移本构关系的影响,模型预测结果与本次试验结果吻合度较高,并对模型的合理性和准确性进行了验证。     

风化岩地基微型抗浮桩承载性能原位试验研究

微型抗浮桩具有地层适应性强、布置形式灵活、成孔快、施工占用场地小、施工机械小型化及经济环保等优点。基于中风化花岗岩地层8根微型抗浮桩现场静载荷试验,研究青岛风化岩地基微型抗浮桩的竖向抗拔承载性状。试验结果表明:试桩Q-s曲线为缓变型,极限荷载作用下桩长为4.2~5.1 m的微型抗浮桩总上拔量不超过7.0 mm,极限抗拔承载力高达1 700 kN,承载力较高,满足设计要求;单桩单位平均极限侧摩阻力为0.307~0.425 MPa;在其他条件均不变的情况下,微型抗浮桩的单位平均极限侧摩阻力随桩径的增加而减小。     

人工加糙技术在乌拉泊水库溢洪道陡坡段中的应用

乌拉泊水库溢洪道的陡坡泄槽段上下游水面高差大,流速大、流态复杂、下游消力池消能率低,通过在陡坡泄槽段底板设加糙条的方法降低了陡槽内流速,改善了各段的水流流态。此做法可供类似工程参考。