Towards a verified compiler prototype for the synchronous language SIGNAL

来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:zhangsanjun
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
科学数据出版是推动和深化数据共享的有效手段。本文提出一种科学数据出版模式——数据中心联合传统学术期刊的科学数据出版。该模式通过数据中心与传统学术期刊的合作以数据
在创新文化的培育、传播和建构过程中,高等教育起到了不可替代的作用。高等教育与创新文化的内在互动,为我们研究创新文化提供了必要的视角。影响创新文化发展的因素是多方面的
很多学者都对现代性做出了概括,因为人们现在都试图通过现代性这个概念来理解我们的世界。德国伟大的社会理论家马克斯·韦伯(MaxWeber,1864-1920),通过对新教伦理与资本主义精
本文报道18例迷走神经性房性心律失常综合征患者,表现为长期(平均9年)发作阵发性心房颤动或心房扑动。男14例,女4例,初次发病年龄平均为43.8岁(25~60岁)。临床上多数患者有心
哲学研究离不开人,人始终是哲学关注的对象。千百年来,人从来就没有停止过对自身的反思和追问。对人的追问是人类永恒的主题。然而,自古迄今,人们最迷惑不解且争论最大的问题就是
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
无论是理论的发展、评价,还是科学认识的活动过程,都离不开科学活动的主体对理论的接受分析。理论接受的过程分析,注重结合科学活动的实际,概括出理论接受所经历的一般过程。
在几何分析碰撞区域及紧迫危险距离的基础上,进一步优化碰撞区域半径的量化模型,提出紧迫危险最大临界距离的概念及碰撞损失最小临界距离的量化模型.通过对典型态势的几何作
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥