MSVL: a typed language for temporal logic programming

来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:coolzhaonan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
为了分析SMOS遥感土壤水分产品在祁连山区的真实性和可靠性,利用祁连山区内布设于7种主要植被类型上的34个实测站点的实测土壤水分数据对其进行质量评估。首先挑选与实测值相对应的SMOS数据,进而依次计算每个站点上遥感产品与实测值的相关系数R、Bias和均方根误差RMSE,从而得到SMOS数据在不同植被类型上不同尺度(年和季节)的反演精度。结果表明:SMOS遥感土壤水分产品在研究区内是可信的,但低估了
论述Office中Excel在仓库管理中的作用.
ISO (International Organization for Standardization)rn是制定国际标准的民间·非营利国际机构.rn本部:瑞士 日内瓦rn加盟国:包括日本在内共有130国以上加盟rn設立目的:为
蔡元培立于人民之地位以定教育之标准,将美育规定为“超逸政治之教育”,从根本上使美育具有超越性品格。他以民国教育总长的身份,将美育以独立的地位写入国家的教育方针大计,并最
感性是费尔巴哈哲学最重要的范畴之一,是理解他人本学的钥匙,是他感性人本学的基础和出发点。费尔巴哈把人的感性的存在和人的自然性紧密地结合起来,并由此阐发了人的本质的思想
科学哲学对经济学方法论的影响在西方经济学史上是一个不争的事实,科学哲学对经济学方法论的发展有着重要的启迪、调节和引导作用。 进入21世纪后,随着科学哲学从逻辑主义向
2011年5月18日,全国党委讲师团团长年会在山东济南召开。省委宣传部副部长黄泽存主持会议,省委常委、宣传部长孙守刚出席会议并讲话。中宣部理论局调研员、理论处副处长李小
目的:分析睢宁县睢城镇2010-2013年手足口病流行病学特征,为手足口病的防控提供依据。方法:对睢宁县睢城镇2010-2013年手足口病的疫情报告资料进行描述性分析。结果:2010-201
科技政策是国家或执政党发展科技事业的意志表现形式之一,它具有相对独立的完整体系,它的过程不是一个纯粹中立的技术性过程,它包含着科技管理系统深层的伦理取向和道德关怀。现