排序方式: 共有2条查询结果,搜索用时 46 毫秒
1
1.
嵇琦 《中国建筑金属结构》2013,(2X):39-39
高强度砼具有早强、高强的特点,特别在施工中手段各种问题的影响,会在高强度砼的各种部位产生裂缝,这样的裂缝无疑是存在巨大隐患和威胁的。本文根据高强度砼施工实际,描述了高强度砼裂缝的种类,分析了产生高强度砼裂缝的内在原因,结合高强度砼施工过程,提出了施工中防范高强度砼裂缝的技术措施,希望对提高高强度砼施工质量有所帮助。 相似文献
2.
本形式地描述了一种证明程序能够正确地进行计算的方法,为了做到这一点,这里给出了一个程序及其执行的抽象模型。然后相对于这一模型给出了程序正确性和程序正确性证明的方法。 相似文献
1