带模理论的回答集程序设计

基于回答集语义的逻辑程序（ASP）是一种描述性问题求解的典范，目前人们提出了各种ASP的扩张。本文提出带背景理论的回答集程序设计框架，它不仅是正规逻辑程序的一般化，对带聚合函数的ASP而言，也与SPT—PDB的回答集语义一致。经证明，当背景理论是命题逻辑时，该框架与Shen和You提出的方法一致。     

抗拔桩在抗浮工程中的研究进展

随着城市地下空间的大规模开发,基础埋深不断增大,地下水的浮力也随之加大,易导致施工过程中基坑上浮或影响地下结构正常使用。抗拔桩因施工时对桩周岩土体扰动较小,工艺简单,施工便捷,抗浮效果好等优势,被广泛应用于抗浮工程中。目前,抗拔桩的力学特性、承载能力和变形特征等是现阶段抗拔桩在抗浮工程中的研究热点。本文主要从抗拔桩的作用机理、常见的破坏形式及极限承载力等方面进行了归纳分析,梳理了抗拔桩在数值模拟方面的研究进展,提出了抗拔桩在抗浮工程中存在的一些问题,并为抗拔桩在地下结构抗浮领域的未来发展提供了新的思路。     

面向方面程序的精化演算框架

面向方面程序越来越受到软件工程领域研究者的重视.精化演算已经广泛应用到各种程序设计中,以消除开发过程中的错误.利用精化演算和统一程序理论定义一种面向方面程序的精化演算框架.在该框架中,首先定义了面向方面程序的精化,在此基础上,提出了12条可靠的精化规则,最后用一个例子说明了该框架的可行性.     

深厚回填土中嵌岩灌注桩承载性状现场试验研究

以青岛某重点工程为依托,对6根冲孔嵌岩灌注桩进行大吨位竖向静载荷试验与桩身内力测试(其中3根试桩加载至极限状态),探讨深厚回填土中(厚度为10 m)嵌岩灌注桩的荷载传递机理与竖向承载特性,分析强夯预处理技术对深厚回填土承载力的影响,总结现存嵌岩段极限侧摩阻力估算方法并评估其在本场地条件下的适用性。研究结果表明:6根试桩荷载-沉降曲线均为缓慢型,沉降与桩顶荷载呈非线性关系;桩顶沉降介于23~60 mm,且卸载回弹率较大,多数超过50%,嵌岩灌注桩的弹性工作性状较明显;在极限荷载状态下,桩端分担的桩顶荷载高达50%,嵌岩段侧摩阻力高达750 k Pa。强夯后回填土层的桩侧摩阻力由30 k Pa上升至120 k Pa,桩顶沉降平均值约为21 mm,约为未强夯处理回填土层中基桩沉降的50%;与采用Hoek-Brown破坏准则的理论估算法相比,基于岩石单轴抗压强度(UCS)的经验法较简单且能提供较为合理的估算值,且当折减系数取0.200~0.225时,误差率小于10%。     

GFRP抗浮锚杆在混凝土底板中锚固特性现场试验

玻璃纤维增强聚合物(GFRP)材料因其抗拉强度高、质量轻、耐腐蚀、抗电磁干扰、易切割等优点,受到越来越多的重视,但弯折后的力学性能有待研究。本文基于6根GFRP抗浮锚杆和6根钢筋抗浮锚杆的现场足尺拉拔破坏性试验,研究了不同形式GFRP抗浮锚杆在混凝土底板中的受力特性与变形规律。试验结果表明:弯曲处理对提高GFRP抗浮锚杆极限承载力不利,且随着弯折长度的增加,极限承载力降低程度增大,但弯曲处理可以有效限制抗浮锚杆在底板中的位移,且弯折长度越长,位移限制效果越明显。此外,通过引入抗浮锚杆弯曲处理影响系数就弯曲处理对于GFRP抗浮锚杆承载力与滑移量影响进行讨论,并提出了需进一步研究的问题。     

全长黏结岩石GFRP抗浮锚杆变形特性分析

以弹性理论为基础,研究了全长黏结岩石GFRP抗浮锚杆的变形组成和变形特征。在第二界面剪应力呈倒三角形分布模式的基础上推导出锚固体的弹性变形,因抗浮锚杆的荷载传递机理与抗拔桩一致,通过引入剪切位移模型,推导出锚固体顶端紧贴第二界面周围岩土体的变形。提出"全变形"的概念,比以往仅考虑抗浮锚杆在拉拔试验中上拔量的做法更合理,更能反映GFRP抗浮锚杆的变形全貌。结合实测结果求取抗浮锚杆全变形并与现有研究成果比较发现,工作荷载作用下,GFRP抗浮锚杆全变形较小,但在长期服役下的GFRP抗浮锚杆,其蠕变变形占全变形的比例较大,对抗浮结构的变形影响显著。研究结果可为GFRP抗浮锚杆的理论分析与工程应用奠定基础。     

似近概念的泛系逼近表示

七十年代以来发展的泛系方法论(PM),开拓了一个新的富有生命力的研究领域,对事物的广义系统对称、转化和关系作了科学的概括和形式化分析,为交缘学科的研究提供了新的工具。泛系方法论的一个重要内容——半等价关系理论发展和深化了庞卡勒的思想。与此同时,波兰数学家Pawlak提出了粗略集合的概念与理论,开辟了Fuzzy集的又一研究途径。作者也曾对半等价关系的代数性质作过探讨,本文则进一步从半等价关系理论出发,研究更为一般的粗略集合,从而为知识(尤其是不完全知识)的表示与利用,提供有力的工具和理论依据。通过这一工作,使近似概念的泛系逼近表示得到较好的处理,且更为适应于人工智能中关于知识表示、自然语言处理、似然推理等分支的需要,并导致划分理论、聚类分析、测度论等学科的更为丰富的研究。     

逻辑程序设计与第五代计算机核心语言

以第五代计算机的研究开发为代表的新技术革命浪潮的持续高涨,强烈刺激世界发达国家在科技领域的竞争。第五代计算机建立在革新的理论和技术的基础上,面向智能应用的知识信息处理系统,又称智能计算机,而最能体现革新理论的革命的思想的,就是逻辑程序设计,它已被选作第五代计算机的核心的程序设计语言。本文正是从这样的角度,通过扼要的历史回顾,综述介绍第五代计算机的软件与语言的特点,建立在人工智能成就上的智能数据库与专家系统,以及作为第五代机核心语言的逻辑程序设计和它在思维自动化这一重要领域中迈开的第一步——PROLOG。     

双壁静压开口管桩贯入及承载特性试验研究

为了更进一步研究黏性土地基上静压桩贯入及承载特性,通过在桩身安装光纤光栅(FBG)以及在桩顶安装温度自补偿传感器,对双壁开口模型管桩的沉桩和单桩承载特性进行研究。结果表明:压桩力、桩端阻力、桩侧摩阻力随着贯入深度的增加而增大,且桩端阻力为沉桩过程的主要阻力,沉桩结束时占比为66.7%。相比于外管,内管桩侧摩阻力和桩身轴力均较小。荷载-位移曲线为陡降型,最大沉降为47.72 mm,极限荷载为6.3 kN,是沉桩终压力的2.48倍。试桩内管桩身轴力在土塞高度范围内以及外管桩身轴力在桩长范围内随着桩身埋深逐渐减小。内管桩侧摩阻力仅在土塞高度的范围内随着深度逐渐增加;外管桩侧摩阻力在荷载小于7.0 kN时,随着深度呈先增大后减小的趋势,当桩顶荷载达到7.0 kN时,随着深度逐渐增大。在各级荷载作用下桩端阻力占桩顶荷载的比例为53.6%～65.1%,表现出了较好的端承桩性状。研究结果对双壁开口管桩内外管贯入及承载特性的研究具有重要的意义。     

微观相场计算D0_（22）-Ni_3V结构反位缺陷类型及演化

微观相场法研究Ni75AlxV25-x中D022-Ni3V反位缺陷类型及演化规律发现：D022结构中存在两种类型反位缺陷：VNi和NiV,其中NiV占位几率值远大于VNi,是反位缺陷主要类型;增加Al：V比,析出相由D022单相析出逐渐向D022＋L12两相析出转变,反位缺陷VNi与Al：V比无明显响应关系,NiV在第二相L12析出前后呈增大和减小两种截然相反的两种变化趋势;VNi和NiV两种反位缺陷同时具有时间相关性和温度相关性,时间推移,二者均从初始高度反位状态逐渐降低至平衡,温度提高,二者均呈增加趋势;第三组元Al原子同时占据D022结构的α位和β位,且AlNi〉AlV,Al优先占据D022结构α位.