知识表达与逻辑推理—谈PROLOG语言程序设计

知识的表达与处理是当今计算机科学的一个重要研究方向,PROLOG语言是这一研究的得力工具。本文从逻辑推理的角度谈了PROLOG的结构,说明了用PROLOG表达知识的方式,并以在IBM—PC机上运行通过的程序为例介绍了PROLOG的程序设计和简单应用。     

朝阳沟油田双30-2区扶Ⅰ层裂缝发育区预测研究

通过构造裂缝形成的力学机制分析，应用弹性理论、有限单元法和岩石破坏准则等，对朝阳沟油田双30—2区块扶I层应力裂缝发育区进行预测，旨在判断裂缝性油藏区。结果表明，预测结果与现场钻探取样结果符合较好，从而为该区下一步布井和注水提供了依据。     

赣南花岗岩残积土非饱和特性

赣南地区花岗岩残积土边坡在降雨等作用下易发生失稳破坏,研究其非饱和特性对该地区的地质灾害防治具有重要意义.采用 X粉晶衍射、扫描电镜等方法对赣南地区的二长花岗岩残积土和黑云母二长花岗岩残积土的矿物成分、微观结构进行了分析,结果表明:残积土的孔隙率较大,矿物成分主要为高岭石、伊利石和石英.采用三轴固结不排水剪切试验和瞬态脱湿与吸湿试验对其力学性质和非饱和特性进行了研究,结果表明:２类残积土的应力－应变关系曲线均存在应力－应变转型现象;在脱湿过程和吸湿过程中,残积土的土－水特征曲线、渗透系数函数曲线均存在滞后效应,基质吸力随含水率增大而减小,渗透系数随含水率增大而增大,二长花岗岩残积土对水的敏感性相对更高;残积土非饱和抗剪强度随含水率的升高而降低,在残余含水率处变化速率较快;二长花岗岩残积土抗剪强度的变化幅度比黑云母二长花岗岩残积土更大.      

清江水布垭坝址软弱夹层变形机制分析

清江水布垭坝址软弱夹层的变形机制为:(1)差异沉积作用造成了软弱夹层物质成分和结构构造上的差别,从本质上决定了软弱夹层的变形强度;(2)软沉积变形加强了软弱夹层物质的分异和软化;(3)构造活动导致软弱夹层发生多期次剪切滑动,使软弱夹层中的软弱物质泥化、叶理化并发生揉皱;使相对坚硬的结核和团块压扁、旋转和圆化。      

强夯振动对高铁桥墩造成的地震效应检测

为确保高铁设施的安全,针对强夯振动的特点,根据场地的地质条件,选取离桥墩最近的夯点进行检测,在附近三个桥墩处设置三组检测点,每组三个分向(径、切、垂),对强夯造成的地面振动速度进行了检测,结果显示,根据国家标准,该次强夯振动不会对桥墩产生破坏性影响。     

黔东早寒武世早期重晶石富集机制研究——来自硫同位素的约束

在中国, 早寒武世早期重晶石矿床主要展布于扬子地台北缘秦岭—大巴山一带及扬子地台东南缘湘黔地区, 而黔东天柱大河边重晶石矿床已探明的资源储量就达到了2亿多吨, 是全国, 乃至世界上所罕见的超大型重晶石矿床。近年来, 于大河边重晶石矿床北西翼亦发现了赋存于同一层位的云洞重晶石矿床, 但二者的成矿特征却表现出显著的差异。本文对比了含矿较差的云洞重晶石矿床与高品位大河边重晶石矿床的含矿岩系、沉积相、地球化学特征等。结果表明两者之间的缺氧程度、热水作用强度存在明显差异。综合矿床地质和有机质、硫同位素特征, 提出成矿作用与生物活动和同期海底热液活动关系密切, 矿床中SO2– 4来源于海水硫酸盐, Ba2+来自海水和海底热液。大河边地区与云洞地区相比, 水位更浅, 氧逸度更高, 硫酸盐还原程度更弱, 剩余硫酸盐的浓度更高, 从而导致云洞重晶石矿床表现出较大河边重晶石矿床成矿性差的特征。     

水压力作用下三峡库区侏罗系软岩裂纹扩展规律及力学机制

三峡库区侏罗系地层滑坡发育广泛,研究该地层软岩夹层在不同水压力作用下的强度及变形破坏特性对库区岸坡的长期稳定性评价具有重要理论指导意义。以三峡库区侏罗系典型软岩——沙溪庙组泥质粉砂岩为例,对其进行了不同水压力下的力学试验系统(MTS)三轴压缩试验,并基于断裂力学与有效应力原理对水-力耦合效应下岩石的起裂及裂纹扩展机制进行了分析。研究结果表明：水压力的存在可降低岩石的峰值抗压强度,水压力越大岩石破坏后控制性裂纹的长度及倾角也总体随之增大,次生裂纹的数目也呈现出随之增多的趋势;原生裂纹的起裂及次生裂纹的扩展分别受控于K_Ⅱ、K_Ⅰ型应力强度因子,原生裂纹的起裂角最大为70.5°;次生裂纹的临界扩展长度随原生裂纹长度的增加而增大,当原生裂纹倾角约为45°时,在相同条件下次生裂纹的扩展长度最大;说明水压力的存在加剧了岩石裂纹的扩展,且使岩石的张拉破坏趋势更为明显,而原生裂纹形态特征对裂纹的扩展规律亦具有较大的影响。     

雅鲁藏布江大拐弯地区河流形态特征及其意义

为探讨雅鲁藏布江大拐弯地区区域隆升的特点,通过DEM(数字高程模型)和遥感影像提取雅鲁藏布江干流和帕隆藏布江的形态特征,引入Hack剖面、SL参数和Amos河宽理论模型进行分析。雅鲁藏布江干流在大渡卡以下河段的Hack剖面表现为上凸形态,SL参数升高、河流宽度减小,在藏布巴东瀑布-雅鲁藏布江大拐弯顶端段,SL参数达到最大值,河流宽度达到最小值;大拐弯顶端以下河段,SL参数减小,河流渐宽。帕隆藏布江古乡以下河段SL参数梯级增高,河流宽度总体收窄,大拐弯顶端附近达到最大值。综合2条河流的地貌特征和区域地质与地理背景,认为雅鲁藏布江大拐弯地区的隆升具有不均一性,雅鲁藏布江在大渡卡附近开始进入快速隆升区段,隆升最强烈的区段位于藏布巴东瀑布-大拐弯顶端段,大拐弯顶端之后雅鲁藏布江逐渐远离隆升中心区。     

川东天台乡滑坡滑带特征及其工程意义

天台乡滑坡是川东典型的缓倾角红层基岩滑坡,对其滑带特征进行详细的研究有助于揭示缓倾角红层基岩滑坡的形成机制。物理性质实验证明,天台乡滑坡滑带土为可塑粉质黏土。X射线衍射分析表明,天台乡滑坡滑带土主要矿物成分为绿泥石、伊利石、石英、长石与方解石; 扫描电镜观察发现,滑带土微观结构以片状结构与定向排列结构为主,微孔隙发育。作滑带土的直接慢剪试验,获得强度为:c=9.2~10.7kPa; =10.4~12.3; 作滑带土三轴固结排水蠕变试验,获得蠕变强度为:c=18.1kPa; =8.0。天台乡滑坡滑带滑带土中绿泥石和伊利石含量多,导致滑带的抗剪强度与蠕变强度低,是天台乡滑坡产生的主要内因。     

足三里穴位植线联合四君子汤治疗功能性消化不良50例

目的：观察足三里穴位植线联合四君子汤治疗功能性消化不良（FD）的临床疗效。方法：将50 例FD患者纳入本次研究,予以足三里穴植线联合四君子汤治疗。观察患者临床疗效、治疗前后中医症状及生活质量的变化。结果：总有效率为94.00%（47/50）。中医症状积分及健康调查简表（SF-36）评分治疗前后比较,差异均有统计学意义（P＜0.01）。结论：足三里穴位植线联合四君子汤治疗FD的效果显著,患者症状改善明显,生活质量显著提高。