碗扣式脚手架支撑在桥梁施工中倒塌的原因及对策

桥梁施工中所用的碗扣式脚手架支撑发生倒塌的事故非常多,产生该脚手架支撑倒塌的原因也非常多。通过对其倒塌原因的分析,提出了防止该脚手架支撑倒塌的几项措施,为工程施工提供参考和帮助。

碗扣式脚手架支撑在桥梁施工中应注意的问题

分析了桥梁施工中碗扣式脚手架支撑倒塌的原因,提出了施工中应注意的问题。

基于ASP的CSP模型验证性质反例生成技术研究

为了解决当前通信顺序进程(CSP)模型检测不支持在验证工具的一次运行中验证多个性质的问题,建立了基于ASP的CSP并发模型验证框架。主要研究在该框架下当待验证的系统性质不满足时生成相应性质反例的技术。把ASP程序调试中的ASP程序支撑原因分析技术应用于该问题的研究,提出了相应的反例生成算法,实例表明了该算法的正确性。