岩石节理对大石林景观空间结构塑造和控制

大石林景区节理走向集中在NW30°～60°以及NE50°～75°两个方向,形成“X”型共扼性质,表现出高密度、高角度、深切割、延伸长的特点。景区剑状石林与溶蚀洼地的组合、石柱的定向展布以及空旷地、廊道和游路所体现出的特有空间结构都受到上述节理的塑造和控制。     

饱和成层地基中静压单桩挤土效应的有限元模拟

针对实际工程中成层土情况中静压桩存在的问题,在ANSYS平台上,应用位移贯入法对静力压桩的连续贯入的全过程进行有限元模拟,详细对比了在均质土和成层土中静力压桩产生的位移场和应力场。指出软硬土层交界处土体位移加 大,土中挤压应力剧变,出现应力间断。实际工程中,挤压应力间断使已压入桩的侧向受力剧变,导致桩体易开裂、弯折。这里提出相应的解决方法。     

亚对数空间限定的多墨水点交替式下推自动机的闭包属性

交替式下推自动机是并行计算的一种模型,它的空间计算复杂性研究对于解明并行算法的内存消耗具有重要意义。复杂性语言族的闭包属性反映了具有一定复杂性空间的并行计算模型之间的组合关系。论文研究仅有全称状态的交替式下推自动机的闭包属性,这些自动机均具有多个墨水点和亚对数限定的存储空间.通过设立巧妙的证人语言,本文使用反证法证明了具有有限多个墨水点的仅有全称状态的交替式下推自动机在星号、保持长度的同态、以及与正则语言的连结等运算下是不封闭的。