切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Towards a verified compiler prototype for the synchronous language SIGNAL
Towards a verified compiler prototype for the synchronous language SIGNAL
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:zhangsanjun
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
Zhibin YANG
Jean-Paul BODEVEIX
Mamoun FILALI
Kai HU
Yongwang ZHAO
Dianfu MA
【机 构】
:
College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanj
【出 处】
:
城市道桥与防洪
【发表日期】
:
2016年1期
【关键词】
:
synchronous languages
SIGNAL
guarded actions
verified compiler
Coq
architecture
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
我国图书馆藏书发展政策的制定
期刊
图书馆
藏书发展
科学数据联合出版模式与内容研究
科学数据出版是推动和深化数据共享的有效手段。本文提出一种科学数据出版模式——数据中心联合传统学术期刊的科学数据出版。该模式通过数据中心与传统学术期刊的合作以数据
期刊
Scientific data
Data paper
Data center
Academic journal
Collaborative publishing
创新文化建设:高等教育的视角
在创新文化的培育、传播和建构过程中,高等教育起到了不可替代的作用。高等教育与创新文化的内在互动,为我们研究创新文化提供了必要的视角。影响创新文化发展的因素是多方面的
学位
创新文化
科学文化
人文文化
高等教育
“理性化”的现代性——韦伯现代性思想新探
很多学者都对现代性做出了概括,因为人们现在都试图通过现代性这个概念来理解我们的世界。德国伟大的社会理论家马克斯·韦伯(MaxWeber,1864-1920),通过对新教伦理与资本主义精
学位
马克斯·韦伯
现代性思想
工具理性
迷走神经性房性心律失常综合征
本文报道18例迷走神经性房性心律失常综合征患者,表现为长期(平均9年)发作阵发性心房颤动或心房扑动。男14例,女4例,初次发病年龄平均为43.8岁(25~60岁)。临床上多数患者有心
期刊
房性心律失常
传导异常
窦房结功能
阵发性心房颤动
心电图描记
房内
综合征
心房扑动
迷走神经
电生理
人的真实意蕴——从尼采、福柯说起
哲学研究离不开人,人始终是哲学关注的对象。千百年来,人从来就没有停止过对自身的反思和追问。对人的追问是人类永恒的主题。然而,自古迄今,人们最迷惑不解且争论最大的问题就是
学位
人学
生存性
马克思主义哲学
畜防新机制养畜无风险
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
新机制
养畜
有偿服务
生猪饲养
全程服务
农民接受
罗甸县
死亡
市价
农户
贵州
理论接受过程的方法论探析
无论是理论的发展、评价,还是科学认识的活动过程,都离不开科学活动的主体对理论的接受分析。理论接受的过程分析,注重结合科学活动的实际,概括出理论接受所经历的一般过程。
学位
理论接受
过程
合理性原则
科学信念
紧迫危险下减小碰撞损失的操船方法
在几何分析碰撞区域及紧迫危险距离的基础上,进一步优化碰撞区域半径的量化模型,提出紧迫危险最大临界距离的概念及碰撞损失最小临界距离的量化模型.通过对典型态势的几何作
期刊
船舶
紧迫危险
碰撞区域半径
碰撞损失
操船方法
Interactions between nano-TiO2 particles and algal cells at moderate particle concentration
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
nano-TiO2
Pseudokirchneriella subcapitata
algal cells
titanium dioxide uptake
与本文相关的学术论文