隧道预应力锚杆锚固结构承载效应及围岩力学分析

隧道中锚杆与围岩作用机理比较复杂，设计多偏于类比法和经验法，以锚杆在连续均匀地层中形成锚固结构为出发点，建立锚固结构承载强度表达式，并确定锚杆设计参数。通过对锚固结构承载特性分析，得到各影响因素对承载强度的贡献程度，在此基础上提出了“支护力放大系数”和“锚固界限强度”概念，再将锚固结构整体考虑并等效成支护力对隧道围岩应力分布、塑性区、位移进行重新求解，最终结合数值模拟和算例验证。研究结果表明：锚固结构对锚杆支护力具有放大作用，对隧道深部围岩也提供一个较强的支护力，锚固结构强度影响程度由大到小依次为力学参数、锚固厚度、支护强度，其中力学参数对锚固承载强度起着至关重要作用，合理锚固厚度为洞径的0.4～0.8倍，进一步提出了围岩稳定性控制原则。数值模拟中锚杆支护、等效力支护与理论结果加以比较，隧道周边的塑性区、应力分布、位移基本一致，可为锚杆支护下隧道围岩控制提供一种科学的分析方法。     

上海中心城区区域绿地规划建设思路初探普陀区长寿绿地“普陀春潮”方案简介

以普陀区长寿绿地的建设实施为例,阐明现代意义上的城市园林绿化的规划、建设已经扩展到城市空间区域环境方面,即通过城市园林绿化对区域环境加以优化和调节,增强城市环境景观面貌,改进人们生存空间的环境质量和生活质量。     

基于限定的规划识别问题求解

该文把McCarthy的限定理论同规划识别结合起来，在限定中研究规划识别问题，证明了在一定的限制下，由观察到的现象求出的最小规划集与对这些现象作限定获得的解集是一样的，以此为基础，文中提出了一种用限定求解规划识别问题的方式，这种方法把Kautz提出的规划识别表示形式做了某些改变，求解的过程中把二阶限定的表示形式转化为一阶形式，这种一阶形式的限定结果可以用逐点限定的方法直接求得，因为利用了逐点限定的这一特点，该文的方法对限定的计算过程中可以用机器自动完成。     

超协调限制逻辑的计算复杂性分析

超协调限制逻辑LPc是一种同时具有非单调性和超协调性的非经典逻辑，它可作为在不完全与不协调知识下常识推理的形式化.给出了命题LPc的计算复杂性结果和算法实现，指出LPc是NP完全问题，并给出了将LPc转化为等价的优先限制逻辑的线性时间算法，由于限制逻辑具有实用的实现算法且可用归结方法实现，因而该算法为LPc的实现提供了新的途径.     

建筑结构中短柱的界定及对改善抗震性能措施的评述

建筑结构设计特别是高层建筑结构设计中,在结构底部或者设备转换层常常形成短柱,本文依据现行规范及国内外关于柱抗震性能的研究成果,以及作者的结构设计经验,提出如何界定短柱及几种如何改善提高短柱抗震性能的措施,从而使广大结构设计人员更好的把握短柱设计,使短柱避免发生脆性破坏,保证结构安全。     

一个在弗协调逻辑中的限制

本文通过应用限制到一个弗协调逻辑给出一种弗协调限制，弗协调限制是一种弗协调非单调逻辑，它能被极小化语义所刻划，并具有两方面优点：非单调逻辑在包含矛盾时是不平凡的；弗协调逻辑在矛盾没有影响时等价于经典逻辑．