改进GEP方法在边坡非圆临界滑动面搜索中的应用

基因表达式编程(Genetic Expression Programming,简称GEP)是模拟生物遗传进化过程的一种新型优化方法,其结合遗传算法(GA)和遗传编程(GP)各自的优点,使编码更为方便、简单。为了进一步改善GEP方法的局部搜索能力和克服“早熟”现象,将局部搜索能力很强的单纯形法和回溯机制引入GEP中,提出了混合GEP方法。以安全系数为目标函数,将混合GEP法和不平衡推力法结合,提出确定非圆弧临界滑动面的新方法。2个经典算例的计算结果表明:该新方法可以准确地搜索到边坡非圆临界滑动面及相应的安全系数,且混合GEP方法的局部搜索精度和全局搜索能力均优于标准GEP方法,同时收敛速度得到明显提高。     

采用CPAChecker的动态程序验证

针对模型检测中状态空间爆炸问题,在CPAChecker的抽象谓词检测方法的基础上,提出了一种基于动态执行的检测方法. 首先,根据程序的控制流程图,对程序进行静态检测。 在静态检测的过程中,根据分支语句的确定性,利用动态执行的方法来加快检测的过程。 其中,抽象检测可以有效地限制系统模型的规模,动态执行不仅可以有效地减少静态检测导致的误判,而且有助于引导构建精确的系统模型,降低虚假反例的数量和不必要的反例分析和精化。 实验数据显示,这种算法明显提高了传统的反例引导谓词抽象精化算法的检测效率和准确率。     

中细砂与有机玻璃界面剪切模型

为了研究试验材料与有机玻璃界面剪切特性,对中细砂-有机玻璃接触界面开展直剪试验,对比了不同法向应力下的应力-应变曲线,并以峰值强度为界限将曲线划分为峰前阶段和峰后阶段2部分,在此基础上,建立了适用于中细砂-有机玻璃界面的剪切模型,通过分析试验数据得到了模型参数,最后与实测数据进行了对比验证。结果表明:随着应变或剪切位移的增加,中细砂-有机玻璃界面上的剪切过程会表现出明显的应变软化特征,界面峰值强度和残余强度包络线可通过摩尔-库伦强度准则计算得到,对应的峰值摩擦角为28.3°,残余摩擦角为24.1°。利用研究得到的参数所构建的峰前与峰后模型能够较好地拟合实测数据,可为地质灾害物理模拟试验设计及材料接触界面剪切行为建模提供参考。     

基于分数阶微积分的Q2黄土含水损伤蠕变模型

为探索含水Q₂黄土的蠕变特性,对Q₂黄土进行不同含水状态下的三轴蠕变试验,试验结果表明随着含水率的增高,Q₂黄土的流变性能增强。基于分数阶微积分构造的软体元件可描述理想的固体与流体之间材料性质的特性,选用包含软体元件在内的四元件非线性蠕变模型对试验数据进行回归计算拟合求参,并对不同含水率下的模型参数进行分析。结果显示瞬时变形模量E_H与黏弹性系数ξ₁均随含水率增加呈指数形式递减;引入含水损伤变量D_(ω),计算得出各蠕变参数含水损伤演化方程,进而建立考虑含水损伤的非线性蠕变模型,通过应用试验数据对其进行验证,结果表明基于分数阶微积分的含水损伤蠕变模型能够有效地描述Q₂黄土的整体流变特征,模型具有较好的应用前景。     

蠕变对河流侧蚀型黄土滑坡影响的数值模拟

为了解蠕变对黄土斜坡变形破坏的影响,给河流侧蚀型黄土滑坡治理提供技术参考,对泾河下游舒唐王村一带塬边黄土进行蠕变试验,建立适用于该区黄土的自定义蠕变模型并进行数值模拟,分析蠕变效应对河流侧蚀型黄土滑坡变形破坏的影响,结果表明:蠕变对黄土滑坡变形破坏过程具有显著的促滑效应,蠕变效应显著加速了滑坡土体塑性区的发展及贯通,明显加剧了滑坡土体剪应变增量的放大与集中、增大了滑坡的水平位移。     

考虑含水损伤的Q2黄土非线性蠕变模型研究

对Q2黄土进行不同含水状态下的三轴蠕变试验,结果表明,随着含水率的增高,Q2黄土的流变性能增强。根据试验曲线形态特征,选用一个广义Kelvin模型串联一个非线性黏塑元件组成非线性黏弹塑性模型(改进的西原模型)。应用改进的西原模型对试验数据进行拟合求参,结果显示瞬时变形模量EH、黏弹性变形模量EK、黏弹性黏滞系数ηK随含水率增加呈指数形式递减。引入含水损伤变量D(ω),计算得出各蠕变参数含水损伤演化方程,进而建立考虑含水损伤的非线性蠕变模型。应用试验数据对其进行验证,证明考虑含水损伤的非线性蠕变模型能够有效的描述Q2黄土的整体流变特征。     

某黄土崩塌体变形破坏特征及应急治理措施

基于礼泉县烽火镇兴隆村的地理位置及地质环境条件,从崩滑区的地质环境条件、成因、规模、变形破坏迹象等,深入分析了兴隆村坡体变形破坏特征,并将宏观定性分析与定量计算相结合,对崩滑体的稳定性进行了分析和评价,结合工程实际对工程治理措施进行了初步研究,从而为防治该类崩塌体积累经验.     

延安Q2黄土三轴蠕变特性试验研究

对延安地区Q₂黄土进行了三轴蠕变试验,通过试验得到了延安Q₂黄土不同含水率及不同围压条件下应变-时间曲线和应力应变等时曲线。经过曲线分析发现,应力水平、围压及含水率对延安Q₂黄土的蠕变特性具有较大影响,且当应力水平高于试样的屈服应力时,Q₂黄土表现出显著的非线性蠕变特性。根据蠕变试验结果及模型原理,利用类比法建立了三维应力状态下的黏弹塑性蠕变模型。在此基础上,建立了考虑瞬时损伤的黄土蠕变本构模型,并运用拟牛顿法对模型中的各项参数进行拟合,结果表明：该本构模型适用于延安地区Q₂黄土的蠕变研究,同时,期望该研究成果能为黄土高原其他地区岩土工程设计提供理论及实践意义。