rCOS: a formal model-driven engineering method for component-based software

来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:linuxcici
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
北京西城区白广路二条一号,是个神奇的所在。对于电力行业和电力新闻人来说,它就像798之于艺术家,是个源源不断输出行业新高的宝地。籍着《中国电力报》《中国电业》《中国发电
6月7日,浙江省全面进入梅雨季节。气象部门预测,今年梅汛期偏长,雨量偏多。
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
从陕西的山体滑坡,到天津的危险品仓库爆炸,逝去的鲜活生命,巨大的经济损失,沉痛的事故教训,惨痛的安全代价……这个夏天,安全,再一次让所有人警醒。  对于安全,我们有一个“通病”
国务院办公厅近日印发《关于加快新能源汽车推广应用的指导意见》。该《意见》明确,要以纯电驱动为新能源汽车发展的主要战略取向,重点发展纯电动汽车、插电式混合动力汽车和燃
墨西哥将改组国家石油公司 墨西哥新当选总统文森特·福克斯在11月下旬表示,为逐渐削弱国内政治势力对国家石油公司(Pemex)的影响,他将从政坛外挑选合适人选进入国家石油公
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥