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

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

昆明城市东北出入口交通瓶颈调查分析与对策

为明确交通瓶颈对城市出入口的影响并制定改善措施,以昆明市东三环北出入口的交通瓶颈为研究对象,进行交通流量调查,并加以分析。以各交通瓶颈的交通流量分析为线索,对其规划通行能力与现有通行能力作比较,提出各交通瓶颈的改善方案。     

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

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

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

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

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

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

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

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