Prolog程序正确性的一种证明方法

提出了一种Ｐｒｏｌｏｇ程序说明结构，对求解问题的程序加以说明，并以此为基础结合问题特征证明Ｐｒｏｌｏｇ程序的正确性。同是，以整数划分问题Ｐｒｏｌｏｇ改进程序和证明为例，说明程序设计应立足程序说明和程序正确性的证明。     

基于BIM技术钢筋下料优化研究及应用

为了降低预制装配式桥梁钢筋分项工程的成本，提高钢筋使用率，实现钢筋智能化加工制造，应用BIM技术，提出了一种基于Monte Carlo模拟与整数线性规划的智能化钢筋下料优化方法。通过CATIA软件建立桥梁普通钢筋三维模型并自动提取钢筋相关数据信息，实现钢筋尺寸、数量等属性的批量自动获取；然后，对钢筋长度、根数进行处理，建立钢筋加工剪裁初步方案；在此基础上，根据工程需求，利用整数线性规划方法对初步加工方案进行组合优化，提出满足钢筋总用量最少优化目标的钢筋下料优化方法，同时获取钢筋最优加工剪裁方案和下料次数。将该方法应用于南京312国道预制拼装项目，实现了钢筋下料优化的自动化、智能化，避免人为因素造成的原材料损失。     

公路隧道二次衬砌和电缆沟间连接钢筋的改进

以某公路隧道为例,通过对比分析“先做边墙基础法”和“不做边墙基础法”2种施工方法的优缺点,认为二次衬砌边墙混凝土与电缆沟之间需通过连接钢筋来保证其成为一个整体。由于预埋连接钢筋存在着“顺直度不易保证、架立钢筋的安装需采取辅助措施”等问题,在施工过程中采用了连接钢筋的改进方法-植筋法。最后从施工质量、施工用料、施工进度等方面比较预埋连接钢筋法和植筋法,得出了植筋法优于预埋钢筋法的结论。     

外海区域RC箱形拱桥缆索吊装施工介绍

介绍浙江省温州市深门大桥单跨160m的钢筋混凝土箱形拱桥缆索吊装施工技术。通过对外海区域缆索无支架吊装系统的设计实践、亚劣气候条件下缆索无支架施工钢筋混凝土箱形拱吊装过程控制实践及海岛修建拱桥的施工组织等进行总结，探讨外海区域拱桥工程的施工技术。     

地铁暗挖车站风道与车站主体交叉段及马头门处系统锚杆与钢架联体支护技术

以"青岛地铁一期工程(3号线)土建03标的延安三路站施工"为例,指出"风道进入车站主体的马头门和交叉段"部位设计要求的方法施工将造成工期拖延,并且个别支护措施在施工中不易实现而且在后续施工中存在安全隐患,通过对原设计中"风道进入车站主体的马头门和交叉段"施工方法的优化、提出了"系统锚杆与钢架联体支护"的新方法,并在现场实际施工中取得了成功;进而对"系统锚杆与钢架联体支护"的改进使用进行了阐述,为同类工程施工及隧道支护提出了一种新思路。     

水平旋喷技术在兴旺峁隧道砂层加固施工中的应用

结合兴旺峁隧道改DK355+494～+517段含水砂层采用水平旋喷桩加固的成功实例,介绍水平旋喷桩加固砂层的施工工艺及方法;并对施工所需的人员、设备配制以及在施工过程中出现的“抢钻”、“断桩”与“短桩”的处理方法进行简单介绍。通过对现场施工参数的统计得出合理的水平旋喷桩加固砂层施工参数：旋喷压力33～36MPa,旋喷速度20～30m/min;水泥浆配合比W︰C=1︰1。所采用的施工方法与施工参数使旋喷桩的咬合达到了预期效果;抽取的3组孔内返出的砂与水泥浆混合物的强度远高于砂层强度,加快了施工进度,节约了资金。     

地铁浅埋群洞施工工序与关键技术

广州地铁2号线越秀公园站车站中部为暗挖分离式、假岛武站台,两端为明挖3层结构,站厅层和站台层采用斜通道相接,结构型式独特.利用明挖段作为暗挖的施工作业面,施工的转换复杂、工序多.暗挖隧道为浅埋、大跨、动载以及在软弱地层条件下修建的群洞,施工来件困难.提出了群洞施工的合理工序.施工的关键技术是减小对夹持土体的扰动以及对土体的加固,可采取拱部长管棚超前支护、中间土体进行注浆加固、设置锁脚锚杆或加大拱脚喷混凝土厚度等方法.