联合公式判定非循环执行路径

针对触发图中有环时,在实际运行中仅执行有限次,该规则集可能是可终止的,通过对规则集的静态分析,提出了联合公式的概念,给出了判定联合公式是否满足条件的算法和时间复杂度分析.联合公式的提出,简化了非循环路径的判定工作,为判定主动规则触发图为有环时的可终止性奠定了基础.

基于联合公式的规则集终止性判定算法

针对有环触发图对应规则集的终止性问题进行了研究,通过对触发图、活化图的分析,提出了联合公式的概念,在此基础上给出了有环触发图对应规则集的终止性判定算法,该算法的提出能够更精确地判定规则集的终止性。

基于联合强度的黄土主动土压力公式与计算比较

土压力计算问题虽然是岩土工程中的传统研究课题之一,但对于结构性黄土而言,抗剪强度和抗拉强度是结构性黄土强度特性的两个方面,因此,黄土抗拉强度在黄土土压力计算中存在的影响需要进行合理的评价。基于建立的可综合考虑黄土抗拉和抗剪特性的联合强度理论,开展了主动极限应力平衡分析,推导了主动土压力新的计算公式,对该计算公式进行了验证并与朗肯主动土压力进行了比较。研究结果表明:在主动土压力计算与比较中,基于黄土联合强度确定的主动土压力比基于传统的Mohr-Coulomb理论确定的朗肯主动土压力要大,且墙后填土拉张区开裂深度相对要小。由于Mohr-Coulomb强度理论高估了黄土的抗拉强度,导致朗肯主动土压力计算值偏小,而基于黄土抗拉强度建立的联合强度可以合理地评价黄土的主动土压力。

基于黄土联合强度的黄土隧道围岩应力及位移研究

隧道围岩应力及位移计算问题是隧道工程界中传统研究课题之一,但黄土抗拉强度在黄土隧道围岩应力及位移计算中存在的影响需要进行合理性评价。基于建立的可综合考虑黄土抗拉和抗剪特性的联合强度,开展了极限应力平衡分析,重新推导了强度破坏曲线的主应力表达式;然后重新确定了轴对称圆形隧道条件下黄土围岩塑性区半径;最后得到了隧道周边黄土围岩位移表达式。研究结果表明:在围岩塑性区应力计算与比较中,基于联合强度确定的围岩塑性区应力小于基于传统的Mohr-Coulomb理论确定的围岩塑性区应力,而塑性区半径和隧道周边围岩位移相对较大;基于拉强度建立的联合强度理论克服了Mohr-Coulomb理论高估黄土抗拉强度的缺陷,可以合理评价黄土隧道围岩应力及位移。

应用图形表达热力学函数间的关系

利用十字形坐标图中各函数位置间的关系 ,表达了热力学联合公式、麦克斯韦关系式等热力学函数间的关系 .

结构性黄土被动极限平衡状态及被动土压力推导

结构性黄土的抗拉强度通常较大,结构性黄土的土压力计算需要合理考虑其显著的抗拉强度,在已建立的可综合考虑结构性黄土拉剪与压剪破坏的强度准则基础上,针对不同破坏状态,分析土压力被动极限应力平衡条件,推导结构性黄土被动土压力计算公式,并与基于Mohr-Coulomb强度理论的朗肯被动土压力公式进行对比分析。研究结果表明:在被动土压力计算与比较中,基于黄土联合强度理论的被动土压力比基于传统的Mohr-Coulomb理论确定的朗肯被动土压力值小。由于Mohr-Coulomb强度理论高估了黄土的抗拉强度,导致被动土压力计算值偏大,而基于黄土拉、压剪切破坏特性建立的联合强度计算所得被动土压力值更接近实际。

高薄拱坝安全评价探究

针对高拱坝安全评价中对屈曲失稳考虑缺乏和评价标准经验性较强的情况,以拱梁分载理论和弹性稳定理论为基础,考虑高拱坝分层分段的拱圈和悬臂梁系统的协调作用,分别以均布荷载作用下的圆拱和自重及分布水平荷载作用下变截面悬臂梁为分析模型,建立了拱圈系统的屈曲临界应力总图和悬臂梁系统的联合作用公式。该公式统一了高拱坝安全评价的各种典型方法,建立了高拱坝安全评价的新标准,为拱坝优化设计建立安全控制条件提供参考。