A high order collaboration and real time formal model for automatic testing of safety critical syste

来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:zhengafei1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
概述rnPlantweb大学关于无线技术应用的其它大多数课程都跟监测和诊断有关.这是因为无线技术在今天的应用中最大的价值在于它能够够让我们用一种方便、经济的方式来获取附加
本文通过对荣华二采区10
期刊
党的十八届三中全会强调,要培育和践行社会主义核心价值观,中共中央办公厅也下发相关文件,引导央企广大员工进一步践行社会主义核心价值观和企业文化.因此,如何将党中央的要
党的十八届三中全会《中共中央关于全面深化改革若干重大问题的决定》(简称《决定》)关于市场在资源配置中起决定性作用的明确定位,以及关于国有企业产权制度改革和国有资本
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
在经济运行的新常态下,经济稳中下行压力依然存在,各类企业市场化开放性并购重组需求强烈。产权市场作为我国多层次资本市场中重要组成部分,应该发挥市场在资源配置中的决定
近年来,我国一直力推节能减排,努力减少污染物排放,环境污染治理成效明显,局部地区环境质量有所改善.但要想真正实现经济的健康发展,改善环境质量,节能减排,势在必行.
为研究富氧燃烧过程中的NOx生成与控制,在一维沉降炉上进行了煤的分级富氧燃烧试验,并利用Matlab和Cantera软件建立了一维沉降炉反应模型并进行分析。试验温度1 100~1 200℃,