切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
A fully abstract semantics for value-passing CCS for trees
A fully abstract semantics for value-passing CCS for trees
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:shuiwadandan
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
Ying JIANG
Shichao LIU
Thomas EHRHARD
【机 构】
:
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijin
【出 处】
:
城市道桥与防洪
【发表日期】
:
2019年4期
【关键词】
:
process calculus
non-interleaving semantics
barbed congruence
bisimulation
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
巩乃斯河畔的党员致富工程
前些年,农四师71团每年站在台上领奖的致富能手是党员职工的屈指可数。该团刘副政委对记者说,致富,党员不富,你让职工群众学习你什么?你先进在哪儿?为此,71团党委制定了党员
期刊
致富工程
巩乃斯河
基层党组织
职工增收
创先
党员发展
青年党员
团近
基层组织
跨越式发展
几种常用血管扩张剂在治疗充血性心力衰竭中的应用
七十年代以前对心力衰竭(下称心衰)的治疗,主要应用强心药和利尿剂。近10年来采用血管扩张剂,它通过对心衰病人的阻力血管和容量血管的直接或间接扩张作用,有效地减轻心脏前
期刊
血管扩张剂
容量血管
充血性心力衰竭
异山梨醇
阻力血管
心衰病人
后负荷
消心痛
心衰
心力衰竭
β丙氨酸抗体引起中性粒细胞减少症
1960年以来文献报道了约150例用含β丙氨酸药物发生中性粒细胞减少的病例。但其致病机制为药物的毒性作用或与剂量有关,抑系免疫反应或两者皆有之,尚未充分明了。 Since 19
期刊
丙氨酸
免疫反应
抗体
文献报道
成熟中性粒细胞
剂量
毒性
中性粒细胞
头抱菌素
凝集试验
工程哲学与传统技术哲学之关系初探——《工程哲学引论》一书引出的几点思考
国内对技术哲学与工程哲学关系的讨论源于《工程哲学引论》一书的发行。在该书中,李伯聪教授提出应该成立能与科学哲学、技术哲学并列的新的哲学分支——工程哲学。工程哲学与
学位
《工程哲学引论》
技术哲学
工程哲学
Al-Si合金与HR-2钢热等静压直接扩散连接研究
期刊
课堂教学要关注中后环节的实际效果
听了不少公开课后,有一种感受:教师对课堂的引入和新知识的教学往往都很花心思,而对中、后环节的教学安排却比较粗糙:如,“创设问题情境”,大多很能激发学生的学习兴趣,小组
期刊
课堂教学
创设问题情境
学习兴趣
数学课堂
教学安排
活动探究
实效性
公开课
知识
应用
学生
小组
练习
教师
回归
粗糙
仓促
越南和中国合作种植菠萝
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
越南
中国
种植
农村初中生良好读书习惯养成的一点思考
阅读是语文教学的基础,是知识的输入,缺乏阅读的语文学习就像空中楼阁,因此,在教学实践中教师一定要注重培养学生养成良好的阅读习惯。从教学实践出发,对如何激发学生阅读兴
期刊
阅读兴趣
朗读习惯
电子书籍
邓小平经济哲学的人本向度
邓小平经济哲学思想,是马克思主义哲学和经济学在当代中国以经济建设为中心的社会主义现代化建设实践和以经济体制改革为基础的社会主义改革实践中的应用和发展。 邓小平的
学位
邓小平
经济哲学
市场经济
解放思想
社会主义现代化
人本发展观
七律·参观居里夫人故居
期刊
与本文相关的学术论文