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.     

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

采用大型恒刚度桩土界面直剪试验系统,对不同含水率（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。桩土界面的力学特性受粗糙度、含水率、剪切速率的共同影响。     

柔性材料自承重式挡土墙有限元分析

介绍了柔性材料自承重式挡土墙的结构特征,将其与传统毛石、钢筋混凝土挡土墙在基础、整体性、外加荷载、地质灾害等方面进行了对比分析,并针对柔性材料自承重式挡土墙筋材与墙后填土的相互作用机理,采用有限元方法对柔性材料自承重式挡土墙进行了力学分析,得到挡墙结构中筋材的受力特点。     

有序畴界原子结构及其迁移特征的微观相场研究

利用微观相场模型研究了DO22 (Ni3V) 相间有序畴界原子层次的结构及其迁移特征。研究表明：界面的迁移性与界面结构有关。界面的迁移过程中,V原子跃迁至最近邻的Ni格点处并与之交换,原子的跃迁行为具有位置选择性。原子跃迁行为的位置选择性使得界面迁移前后界面结构保持不变。界面迁移过程及其特征可以用过渡界面来表征,每一种可迁移界面都按照自有的原子跃迁模式进行迁移,并且在迁移的过程中只形成一种独特的过渡界面,界面迁移过程中的原子跃迁模式是诱导界面迁移的热力学和动力学最优化路径。     

晶界元素偏聚及其机理的研究进展

晶界成分偏聚对多晶材料的力学性能有很大影响,探明影响晶界成分偏聚的因素和偏聚机理,对改善材料性能和优化设计合金系统具有重要意义。本文通过归纳近几年来国内外原子尺度研究晶界成分偏聚及其机理的研究进展,分析了间隙原子,置换型原子和空位在晶界的偏聚及其对材料性能的影响,讨论了成分偏聚与合金元素择优占位行为的关系,总结了晶界成分偏聚对材料力学性能影响的根本原因。     

GFRP抗浮锚杆在基础底板中的锚固性能现场试验研究

通过现场拉拔破坏性试验,测得不同直径的GFRP抗浮锚杆在基础底板内的极限承载力和滑移量,并与实际工程中不同形式的钢筋抗浮锚杆作比较,分析其承载性能和粘结特性。研究表明,在相同的混凝土强度与养护条件下,相同直径的GFRP抗浮锚杆的极限承载力、平均粘结强度与钢筋抗浮锚杆相比较高,且GFRP抗浮锚杆的变形能够满足实际工程需求,充分验证了GFRP材料用作抗浮锚杆的先进性与合理性。基于试验结果与理论分析,给出了GFRP抗浮锚杆与基础底板的最佳锚固面积,并提出了计算公式。     

低糖低脂南瓜核桃酥的研制

将南瓜加入核桃酥中,降低糖、油用量,获得一种低糖低脂核桃酥.结果表明:油脂添加量对核桃酥的影响最大,使其摊裂度降低,口感、色泽、形状、组织结构改变.以感官评定为指标,通过正交实验得出最优化工艺参数:低筋粉100%、酥油33%、白砂糖20%、南瓜20%、疏松剂3.5%.用这种配方制成的核桃酥在保持了传统核桃酥口感和风味不变的同时,降低核桃酥中油与糖的含量,并赋予了核桃酥新的营养价值.     

新疆某砂砾石隧洞的开挖支护技术方案

新疆某隧洞穿越的砂砾石地层属V类围岩,成洞条件差,施工中易塌方,开挖支护时采取"短进尺、强支护、快封闭、勤量测"的施工原则,确保了砂砾石隧洞安全、快速的施工。     

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

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

粉质黏土中静力沉桩过程产生的孔压试验研究

静压管桩在实际工程中有着广泛应用,桩-土界面超孔隙水压力对静压桩的工作性能有着巨大影响。目前的研究多集中于桩周土中超孔隙水压力的分布,缺少对桩-土界面处应力的真实情况的研究。通过在桩身开孔、嵌入硅压阻式孔隙水压力传感器的方法,在黏性土体中开展了2组模型桩的室内静力压桩试验,对桩-土界面的孔隙水压力、超孔隙水压力的变化规律进行了研究。试验结果表明:利用硅压阻式传感器首次成功监测了沉桩过程中桩-土界面产生的孔隙水压力;2根试桩在沉桩过程中产生的桩-土界面孔隙水压力、超孔隙水压力均随着沉桩深度的增加而增大;同时2根试桩沉桩过程中产生的超孔隙水压力均较大,最大可达4.21 kPa,约为上覆有效土重的75%,在实际工程中需对沉桩过程中产生的较大超孔隙水压力加以重视;同一深度处的超孔隙水压力存在消散现象,随着深度的增加,消散程度逐渐减小;在实际工程中,需采取有效措施,防止超孔隙水压力过大。试验结果可为静压桩施工和桩-土界面理论研究提供参考。