高速公路钢波纹管涵的研究及应用

实践和研究均证明利用钢波纹管结构修筑涵洞更具有优势,也更具有广阔的应用前景.总结了河南省波纹管涵应用所取得的一些设计经验,并参考了国外一些先进的设计方法,对波纹管涵设计当中参数的确定、基础的处理及防腐处理、施工方法等关键技术进行了全面、系统的论述,对波纹管涵的设计和施工具有一定的指导意义,这将对波纹管涵的推广应用起到了推动作用.     

桥台加固中预应力对拉锚杆技术的设计和应用研究

预应力对拉锚杆技术在桥台加固中具有较大的优势,具有广阔的应用前景.结合张家庄公公分离式立交桥工程,从预应力对拉锚杆在桥台加固中的优点、锚杆的设计、钢筋混凝土网格梁的设计及施工要点等关键技术进行了全面地论述,系统地探讨在桥台加固中预应力对拉锚杆的设计及应用.     

量化单一带标公式的消解

在引入量化单一带标公式的概念后,给出其消解算法,并证明该消解算法是健全的和拒绝性完备的。因此该算法可用于对量化单一带标公式进行理论上的研究,同时也可用于在实际应用中解决这类公式的可满足性问题。最后,根据消解算法,得出一个可以在多项式时间内判定可满足性的量化单一带标公式的子类。     

量化带标公式的消解

首先引入量化带标公式,然后研究了量化带标公式的消解并且证明其健全性和拒绝完备性.另外,还引入了二元消解并证明其针对正规量化带标公式(一个量化带标公式的子集)是健全的和拒绝完备的.最后证明如果正规量化带标公式的每一个子句如果最多包含两个文字,则该公式的可满足性问题是易解的.