论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#～7#块、8#、8
Proving total correctness and generating preconditions for loop programs via symbolic-numeric comput
【摘 要】
：
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【机 构】
：
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, Chi
【出 处】
：
城市道桥与防洪
【发表日期】
：
2014年2期
其他文献
李长安,神华黄骅港务公司卸车一部电气维修主管。从20岁起来到了黄骅港,十年的工作经历让他对“金牌工人”的理解多了一份深沉少了一份浮夸,多了一份淡然少了一份骄傲。“金
现阶段，我国正经历着从传统农业社会向现代化工业社会的转变，在这一过程中，社会阶层不断发生分化。尤其显著的是农村社会阶层分化，这一问题解决得好与否，对现代化建设有着直接的影
该文首先探讨了当代整个农村的思想道德现状——即呈现出新的风貌,也伴着新的问题.然后,以农村市场经济的大发展为背景,以农村和农民的实际层次为主线,着重分析了思想道德现
1“营销”的定义因战争而改写在过去一个世纪中,“营销”已超越单纯的商业范畴。从世界大战到美苏对峙,从恐怖主义扩散到全球金融危机,这些重大历史事件的幕后,都有出卖灵魂
目前,许多国外学者均认为,切脾后败血症(PSS)直接与切脾有关,即使败血症及早诊断与适当治疗仍有50～75％的患者死亡。一般是切脾时的年龄越小与术前的疾病越严重,则发生PSS的危
作者根据这两年对人学问题的思考,尝试采取历史分析和逻辑分析相结合的方法,对社会主义初级阶段这一特定历史时期和时代背景下人的发展问题进行综合考察.文章分为三个部分:
目的了解新疆生产建设兵团第六师居民食用盐碘含量,为碘缺乏病的防治和消除提供参考依据。方法按照《监测方案》的要求随机抽样,按照直接滴定法(GB/T13025.7-1999)测定盐中碘
文化哲学作为一种新兴理论，在学者们的共同努力下，已经取得一定研究成果，但是，对其中一些基本范畴、理论仍众说纷纭，尚未有定论，这有碍于文化哲学研究的进一步深化。本文试图通过文
纵观人类历史,各个历史事件都离不开当时的人物活动,各项科技发明、文学艺术创作都是与其发明人、著作者直接联系的,多年的历史教学实践使我认识到:把握好历史人物的教学意义
期刊
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥