排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
2.
在桩基施工中,桩基负摩阻力会导致桩的负荷增加,使桩的沉降量增加。对结构施工的安全性有比较大的影响。为了降低这种影响,需要对桩基负摩阻力产生的原因进行分析,并制定具体的处理措施。基于此,本文对桩基负摩阻力产生的原因、计算与处理进行探讨。 相似文献
3.
4.
软件模型检验面临的难题是状态空间爆炸问题.解决此问题的重要方法是谓词抽象.在传统的反例导向精化方法中,谓词抽象是通过调用定理证明器计算抽象程序,然而计算效率不高,因此引入了SAT求解器计算抽象程序.通过具体迁移关系的布尔公式构造,用SAT计算抽象程序的方法,包括基本块和控制流语句抽象迁移关系的构造,完成基于SAT抽象程序构造方法的优势.实例分析表明,基于SAT的谓词抽象技术是一种构造程序抽象模型更高效的方法. 相似文献
1