切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL
Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:s5df45sd6546f
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
Zhibin YANG
Jean-Paul BODEVEIX
Mamoun FILALI
【机 构】
:
School of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics,Nanjin
【出 处】
:
城市道桥与防洪
【发表日期】
:
2019年4期
【关键词】
:
synchronous languages
SIGNAL
Synchronous Clocked Guarded Actions (S-CGA)
Objecti
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
荀韩人性论比较研究
中国伦理思想史上,荀子的性恶论和韩非的自然人性论影响深远。他们对人性的内涵做出了各自的规定,荀韩人性论既有相似的逻辑起点,在内容上又存在着极大的差异。但一直以来,人
学位
荀子
韩非
性恶论
自然人性论
隆礼重法
惟法而治
制备方式对MoRe合金组织性能的影响
期刊
易货交易及其法律制度环境建构
易货交易是一种古老的交易方式。由于受时间、空间以及需求的不对称性因素的限制,易货交易逐渐被货币交易所取代。随着网络、计算机技术的发展易货交易得以复兴。目前易货交
学位
易货交易
技术支持
法律制度环境
血液病研究的若干进展
有关血液病研究的进展,近年来已有很多报道,本文仅就以下几个问题做一概述。一、白血病1.白血病复发的早期诊断:急性白血病的治疗,近年来取得很大进展,并且亦有一些长期生存
期刊
白血病复发
血液病
白血病
白血病细胞
急性白血病
耐药性
止血作用
早期诊断
GVHD
诱导治疗
乙型肝炎病人外周白细胞中存在HBV DNA顺序
以~(32)P—HBV DNA为探针,对50例具有一项以上乙肝血清免疫标志阳性病员及13例健康人白细胞DNA进行了研究。结果表明8例乙肝患者(16%)的白细胞存在游离形式的HBV DNA,6例(12%)
期刊
DNA
HBV DNA
乙型肝炎病人
外周白细胞
细胞基因组
人白细胞
乙肝
探针
片段
游离形式
高粱抗蚜品种叶片化学物质含量的分析
以高粱叶片为试材 ,对高粱叶片的化学物质进行分析 ,结果表明 :高粱叶片中的可溶性总氮、可溶性糖和游离氨基酸 ,特别是必需氨基酸 ,在感蚜品种中的含量显著比抗蚜品种的含量
期刊
高粱
抗蚜性
叶片化学成分
矿区生态文化研究——以平顶山矿区为例
矿区生态文化研究旨在关注矿区可持续发展与矿工生存安全的问题。片面追求经济效益的掠夺式开采,不但造成了严重的资源浪费和环境破坏,更是造成日益严重的整体性的矿区生态危机
学位
采矿区
生态文化
可持续发展
生物多样性
环境中化学物质是白血病的辅因子
美国芝加哥消息:早先曾经用放射或细胞毒药物治疗其他恶性肿瘤或肾移植的病人患急性非淋巴细胞性白血病(ANLL)时,其染色体的改变与未接触过致突变因子但接触过各种溶剂、重
期刊
化学物质
白血病
ANLL
内科教授
芝加哥大学
Janet
辅因子
致突变
重金属
染色体
石河子老年人全血维生素C含量
为提供研究老年人动脉粥样硬化与维生素C(VC)之间关系的资料,我们对老年人全血VC含量进行了调查。 对象和方法 一、对象 老年组为无选择性的石河子老干部休养所及我院≥60岁
期刊
血维生素
休养所
人全血
动脉粥样硬化
无选择性
冠心病者
亚组
冠心病人
维生素
器质性病
浅谈线路微地形微气象调查分析
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
与本文相关的学术论文