Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL

来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:s5df45sd6546f
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
中国伦理思想史上,荀子的性恶论和韩非的自然人性论影响深远。他们对人性的内涵做出了各自的规定,荀韩人性论既有相似的逻辑起点,在内容上又存在着极大的差异。但一直以来,人
期刊
易货交易是一种古老的交易方式。由于受时间、空间以及需求的不对称性因素的限制,易货交易逐渐被货币交易所取代。随着网络、计算机技术的发展易货交易得以复兴。目前易货交
有关血液病研究的进展,近年来已有很多报道,本文仅就以下几个问题做一概述。一、白血病1.白血病复发的早期诊断:急性白血病的治疗,近年来取得很大进展,并且亦有一些长期生存
以~(32)P—HBV DNA为探针,对50例具有一项以上乙肝血清免疫标志阳性病员及13例健康人白细胞DNA进行了研究。结果表明8例乙肝患者(16%)的白细胞存在游离形式的HBV DNA,6例(12%)
以高粱叶片为试材 ,对高粱叶片的化学物质进行分析 ,结果表明 :高粱叶片中的可溶性总氮、可溶性糖和游离氨基酸 ,特别是必需氨基酸 ,在感蚜品种中的含量显著比抗蚜品种的含量
矿区生态文化研究旨在关注矿区可持续发展与矿工生存安全的问题。片面追求经济效益的掠夺式开采,不但造成了严重的资源浪费和环境破坏,更是造成日益严重的整体性的矿区生态危机
美国芝加哥消息:早先曾经用放射或细胞毒药物治疗其他恶性肿瘤或肾移植的病人患急性非淋巴细胞性白血病(ANLL)时,其染色体的改变与未接触过致突变因子但接触过各种溶剂、重
为提供研究老年人动脉粥样硬化与维生素C(VC)之间关系的资料,我们对老年人全血VC含量进行了调查。 对象和方法 一、对象 老年组为无选择性的石河子老干部休养所及我院≥60岁
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊