论高强度砼裂缝的施工防治技术

高强度砼具有早强、高强的特点,特别在施工中手段各种问题的影响,会在高强度砼的各种部位产生裂缝,这样的裂缝无疑是存在巨大隐患和威胁的。本文根据高强度砼施工实际,描述了高强度砼裂缝的种类,分析了产生高强度砼裂缝的内在原因,结合高强度砼施工过程,提出了施工中防范高强度砼裂缝的技术措施,希望对提高高强度砼施工质量有所帮助。

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

本文形式地描述了一种证明程序能够正确地进行计算的方法。为了做到这一点，这里给出了一个程序及其执行的抽象模型。然后相对于这一模型给出了程序正确性和程序正确性证明的方法。