部分赋值一阶逻辑公式的条件求值——NP完全性及在特定情况下的求解

部分赋值的一阶逻辑公式的条件求值问题是在关系数据库应用，尤其是在分布式环境下应用中经常遇到的问题．此问题在一般意义下的解是NP完全的．本文首先证明此问题的解存在的充要条件，从而推知其NP完全性．然后给出该问题在一种特定情况下的求解方法。     

大管径直埋预热管道穿越道路设计方案

针对管径大于1000mm的高温热水管道穿越市区不允许开挖道路的情况，考虑3种管道设计方案，分别进行了分析，比较结果表明，采用球型补偿器的方案切实可行，不仅可以减少固定支架的数量，而且可以降低施工难度。     

多层溶洞在桩基工程中的特殊处理实例

通过对多层溶洞的复杂性质和构造分析，施工难度分析，以及基础结构设计和分析，探索解决多层溶洞的优化施工方案，达到质量保证，成本高效的目标。     

20t直燃机组吊装

江西省南昌市江信国际大厦是一幢高31层的现代化建筑物,在第29层标高97郾000m的屋面上,安装有2台Ⅱ型溴化锂直燃机组作为中央空调的主机,机组外形尺寸为长×宽×高=5郾52m×2郾74m×2郾70m,重力为190kN。欲将此庞大体积的机组安装就位,施工难度很大。我们通过几个吊装方案的比较,最后采用在97郾000m屋面上架设人字钢桅杆的吊装方案,用1d的时间将机组吊装就位,圆满完成了吊装任务。根据计算机检索查询,这样的吊装方案在国内尚属首次。江信国际大厦位于南昌市闹市区的北京西路南侧,建筑物的东西两侧均为已建建筑,相隔为4m,大厦北面为北京西路…     

如何写好旁站记录

旁站监督是监理人员控制工程质量，保证项目目标实现必不可少的重要手段。旁站部位往往是那些施工难度大，技术要求高，难以检查，出现问题后难以处理的关键部位或关键工序。因此真实、准确地记录好旁站情况，对于每一位监理人员来说至关重要。结合笔者自身实践，谈一谈如何写好旁站记录。     

小湾水电站孔雀沟人工砂石系统设计、施工与运行管理

小湾水电站孔雀沟人工砂石加工系统是在复杂的地质条件下和狭窄的空间内建成的目前国内第二大人工砂石系统,其生产规模大,生产工艺复杂,对成品骨料的品质和调节能力要求较高.但因系统布置场地及地质条件的限制,各车间调节料仓的容积较小.因此,系统的设计、施工、运行管理难度很大.系统建成后,经过近一年的生产运行,各方面运行正常.     

入世后我国监理行业面临的形势和我们的对策

归纳了入世后四年来监理行业取得的发展和进步，并结合本企业的实际叙述了监理行业实现与国际接轨的进程缓慢、难度较大的现状和原因；同时介绍了本企业的做法和今后打算。     

《建筑施工》07/2006 SMW工法在13m深基坑支护施工中的应用

上海泓鑫商厦商业楼工程位于天山路、古北路交叉口，该工程为地上6层商场，地下3层车库和商场，施工难度较大。商厦南侧的天山路又为上海市交通主干线，车流量密集，并且在基坑周边的管线较多，基坑边北侧离多层民联只有10m，基坑开挖深度11．5m～13．1m。在施工场地狭小的情况下，SMW工法基坑围护具有施工速度快、止水效果显著，     

"沽水船影"富民桥--新颖的独塔自锚式悬索桥

海河是历代漕运的纽带。追溯历史，定格于古代繁华的天津卫，海河上千帆意发，万船涌动，“船只”是海河上最活跃的音符。天津市规划修建的富民桥新颖的结构不仅国内首创，而且施工难度和技术含量在全国桥梁中也是首屈一指。富民桥的设计采用了“船形”的结构造型，提出了一个新颖的独塔自锚式悬索桥方案——“沽水船影”。它似一艘海河上起锚的帆船，装载着天津的历史文化，引人回想昔日天津的繁华，憧憬着美好的未来。