BIFER: a biphasic trace filter approach to scalable prediction of concurrency errors

来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:mxhcxp11
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
自由主义作为意识形态或社会文化事实,它已从历史中获得了存在的合理性,自由主义能否如它的一些支持者所声称的那样达到它所追求的目标,却并不是显而易见的.本文的论题是自由
该文的目的是通过对交往行为理论的全面地、准确地评述,让更多的人知道并了解交往行为理论的精髓,来为我们的社会发展与进步服务.该文共分为五部分,分别讨论交往行为理论产生
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
亚当·斯密既是世界闻名的经济学家,又是著名的伦理学家.《国民财富的性质和原因的研究》与《道德情操论》这两部代表作奠定了斯密在道德哲学史和经济科学史以及经济伦理思想
周围静脉注射对比剂的对比超声心动图是一种已确立的诊断心内和肺内分流病变的方法.在静脉注射盐水或其它液体后,右心腔出现所谓“对比回声”.正常时,当血液经过肺毛细血管
爱立信助Telstra实现全球首次基于1 800 MHz和900 MHz组合频段的商用LTE-A通话:爱立信近日宣布,已支持澳大利亚运营商Telstra实现全球首次基于商用网络1 800 MHz和900 MHz频
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
该文将以成圣问题为线索对阳明心学进行尝试性的分析和梳理,旨在尝试从一种新的但也注定是不成熟的角度分析阳明心学.该文认为,建基于"心"这一概念之上的整个阳明心学是服务
生态工业园区是中国第三代产业园区,是一种以追求更高物质利用率和能量转化效率,更少废物排放甚至零排放为目标的企业地域分布形式.中国传统工业生产方式污染环境、破坏生态
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊