Stability analysis for natural slope by kinematical approach

The stability of natural slope was analyzed on the basis of limit analysis. The sliding model of a kind of natural slope was presented. A new kinematically admissible velocity field for the new sliding model was constructed. The stability factor formulation by the upper bound theorem leads to a classical nonlinear programming problem, when the external work rate and internal energy dissipation were solved, and the constraint condition of the programming problem was given. The upper bound optimization problem can be solved efficiently by applying a nonlinear SQP algorithm, and stability factor was obtained, which agrees well with previous achievements.     

Upper bound limit analysis of roof collapse in shallow tunnels with arbitrary cross sections under condition of seepage force

The analytical solutions for predicting the exact shape of collapse mechanisms in shallow tunnels with arbitrary excavation profiles were obtained by virtue of the upper bound theorem of limit analysis and variation principle according to Hoek-Brown failure criterion. The seepage force was included in the upper bound limit analysis, and it was computed from the gradient of excess pore pressure distribution. The seepage was regarded as a work rate of external force. The numerical results of roof collapse in square and circular tunnels with different rock parameters were derived and discussed, which proves to be valid in comparison with the previous work. The influences of different parameters on the shape of collapsing blocks were also discussed.     

曲线箱梁桥的空间传递矩阵

为了分析曲线箱梁桥的受力情况,将传递矩阵法用于曲线箱梁桥的受力分析,以变化固定端的悬臂梁作为单元基本计算体系,利用平衡方程、卡式定理及虚功原理推导了弹性曲线箱梁的显式空间传递矩阵,并考虑了截面剪切中心与形心不重合的影响。为验证公式的正确性,分别采用传递矩阵法与有限元法对某一单跨曲线箱梁桥进行空间受力分析,结果显示2种方法计算结果基本吻合,而传递矩阵法划分较少单元却可达到很高的精度,计算效率大大提高。表明该公式正确,推导方法可行,可推广应用于其他结构在不同荷载情况下传递矩阵的推导。     

拉格朗日中值定理的应用

通过实例,介绍拉格朗日中值定理在求极限、证明不等式、证明恒等式及证明与区间端点函数值有关的等式中的应用.     

谈拉格朗日中值定理在高等数学课程教学中的应用

拉格朗日中值定理是微分学的基础定理之一,是连接函数及其导数之间关系的桥梁,有着广泛的应用。文章用七个例题,从三大方面总结了拉格朗日中值定理的灵活应用。这对于正确的理解和掌握拉格朗日中值定理,以及以后进一步学习数学具有重要的作用和深远的意义。     

AVO流体反演技术在低孔渗砂岩气藏预测中的应用

西湖凹陷A构造的砂岩气藏,主要埋藏于3000m以下的深层,且发育于浅水沉积环境,储层物性较致密,厚度横向变化大,导致储层的AVO响应复杂,常规AVO分析难以对储层流体进行有效识别。研究了AVO流体反演技术在该构造含气储层预测中的应用。该技术在对储层以及非储层速度、密度、厚度等关键参数的统计分析的基础上,利用Monte－Carlo随机模型建立、地震正演模拟、流体替换等技术,获得储层在不同流体下AVO响应的验前概率;然后利用Bayes理论,估算实际地震数据AVO响应指示储层含某种流体的可能性一验后概率,从而实现储层流体的预测。实际钻探结果证实了该方法的有效性。     

基于示踪剂质量守恒的测流模型研究

地下水渗透流速是一个很重要的水文地质参数,示踪技术可较为准确地估算地下水渗透流速。针对前人计算公式受诸多条件限制或存在不足之处,根据示踪剂质量守恒原理重新建立了示踪稀释物理模型,利用微元法推导了含水层水平流速计算新公式,修正了广义稀释定理,讨论了新公式与传统公式的内在联系,给出了实测数据的处理方法。应用于工程实例,表明采用新公式能够得到更为丰富的含水层水平流速变化信息,并与地质条件相一致,计算结果更为可靠的。     

GJK算法的一种特殊情形的形式化验证和应用

计算几何算法经常用于机器人避碰运动规划等安全攸关领域,对这些算法进行正确性证明非常重要.用形式化方法对算法进行验证是一种十分有效的手段,尤其是定理证明的方法用严格的数学公理和定理推理证明逻辑模型的性质,对所验证的性质而言是完备的.基于GJK算法设计了计算空间两条线段间距离的算法,用定理证明器HOL4对其相关的定义和定理进行形式化定义和证明,进而基于霍尔逻辑完成形式化表示和证明,对该算法的正确性实现了形式化验证.最后,给出了这一经过验证的算法在双臂机器人无碰撞运动规划中的应用.     

同步数据流语言高阶运算消去的可信翻译

Lustre是一种广泛应用于工业界核心安全级控制系统的同步数据流语言,采用形式化验证的方法实现Lustre到C的编译器可以有效地提高编译器的可信度.基于这种方法,开展了从Lustre*(一种类Lustre语言)到C子集Clight的可信编译器的研究.由于Lustre*与Clight之间巨大的语言差异,整个编译过程划分为多个层次,每个层次完成特定的翻译工作.阐述了其中高阶运算消去的翻译算法,翻译过程采用辅助定理证明工具Coq实现,并进行严格的正确性证明.     

具有属性析取扩展特征的内逆P-信息智能挖掘

逆P-集合(inverse packet sets)是由内逆P-集合P-F(internal inverse packet set(X)F)与外逆P-集合XF(outerinverse packet setXF)构成的集合对;或者,((X)F,(X)F)是逆P-集合;逆P-集合具有动态特性.它是研究另一类动态信息与应用的新模型.逆P-集合中元素的属性满足属性析取.利用内逆P-集合的结构,给出了元素的属性析取扩展形式与特征、属性析取扩展条件下的内逆P-信息智能挖掘,以及挖掘定理与智能挖掘原理;给出了满足内逆P-推理与非完整信息条件下的完整信息的智能挖掘-发现.利用这些结果,给出了具有属性析取扩展特征的信息智能挖掘的应用.