切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
A semantic model of confinement and Locality theorem
A semantic model of confinement and Locality theorem
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:corbet2003
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
Shuling WANG
Qin SHU
Yijing LIU
Zongyan QIU
【机 构】
:
LMAM and Department of Informatics, School of Mathematical Sciences, Peking University, Beijing 1008
【出 处】
:
城市道桥与防洪
【发表日期】
:
2010年1期
【关键词】
:
Operational semantics
confinement
well confined program
Locality theorem
confine
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
Static worst-case execution time analysis of the μC/OS-Ⅱreal-time kernel
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Worst-case execution time (WCET)
real-time operating systems (RTOS)
μC/OS-Ⅱstati
绞缆机单齿离合器的设计
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
基于惯性环节的汽轮机转子温度计算方法
介绍了基于一阶惯性环节的高压转子温度场的计算原理和方法,推导了在控制系统中使用的简化迭代计算公式.针对1 000MW超超临界汽轮机,利用有限元法对其温度场进行了计算,验证
期刊
汽轮机
热应力监控
温差
一阶惯性环节
差分法
有限元法
T优898制种气象条件分析
杂交水稻制种在把握好花期和搭建好高产苗架的基础上,扬花期的气候条件是决定其产量的关键因素.本研究根据T优898多年制种扬花期的气象条件及产量水平并结合宜黄县多年气象资
期刊
T优898
制种
气象条件
选择扬花期
企业质量管理体系运行的思考
质量管理永远是企业生命的源泉,质量管理体系是一个复杂的系统工程,企业只有不断完善质量体系,进行质量管理创新,保持质量管理体系的长期有效的进行,才能在市场竞争中保持领
期刊
质量管理
体系运行
对策思考
月季花后修剪技巧
及时剪除月季残花才能使其集中养分,保持植株强壮及开花不衰。如不及时去掉残花,在紧靠残花下的几个腋芽往往会萌发,形成弱枝。这些小枝既消耗养分又破坏株形,即使能开花,也
期刊
月季花
弱枝
养分
月季
留芽
抑制生长
小枝
轻剪
畸形
株形
当代书法创作理论探索的困境与迷茫
书法作为中国独有的一门艺术,在历经几千年的发展之后,也同其他的中国古典艺术一样,遇到了当代性的难题,这就是如何在传统和现代、继承和创新、时代和审美等方面找到一条合适
期刊
书法
当代
创作
困境
种植蝴蝶兰的不同盆栽材料理化性质研究
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
种植
蝴蝶兰
盆栽
材料
仔猪低血糖症及其防治
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
新生仔猪
低血糖症
代谢性疾病
死亡
及时治疗
发病
病猪
Synthesis and photoconductivities of bisazo charge generation materials
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
与本文相关的学术论文