切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Semantics of sub-probabilistic programs
Semantics of sub-probabilistic programs
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:yezilei311
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
Yixing CHEN
Hengyang WU
【机 构】
:
Institute of Theoretical Computing Shanhai Key Laboratory of Trustworthy Computing, East China Norma
【出 处】
:
城市道桥与防洪
【发表日期】
:
2008年1期
【关键词】
:
sub-probabilistic programs
total correctness
wp-calculus
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
美国宇航材料的非政府标准-AMS
分析了AMS标准体系和AMS标准的特点 ,提出了采用AMS标准的建议。 Analyzed the characteristics of AMS standard system and AMS standard, proposed the adoption of AMS
期刊
AMS
标准
日粮粗蛋白浓度和来源对肉牛粪便中潜在氨排放的影响/初生仔猪非肠道的和经肠的饲喂途径需要不同比率的支链氨基酸/新生仔猪饲喂总的胃肠道外营养降低小肠血液流动导致小肠萎缩症
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
日粮
蛋白浓度
肉牛粪便
氨排放
初生仔猪
胃肠道外营养
饲喂
比率
支链氨基酸
新生仔猪
小肠
血液流动
1998~2003年主要天然胶消费国消费量
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
天然胶
消费
原发性脾何杰金氏病类白血病反应脾摘除术后并发血小板增多症一例报告
原发性脾何杰金氏病较少见,合并类白血病反应脾摘除术后并发血小板增多症者、尚未见报道,现将该病例追踪观察十一年报告如下。患者××,女,44岁。以左上腹肿物5年逐渐长大,
期刊
类白血病反应
何杰金氏病
血小板增多症
慢性病容
晚幼粒细胞
凝血
凸凹不平
化验
血压
结节
神宝能源公司生态矿山建设的探索与实践
结合神宝能源公司的实际情况,围绕企业加强生态文明建设的问题进行了探究,分析了生态矿山建设的重要意义,介绍了生态矿山建设的理念、思路、做法和实践成效等,对煤炭企业推动
期刊
矿山建设
神宝
绿色发展
煤炭企业
生态矿山
神华
露天煤矿
煤炭生产
绿色矿业
绿色矿山
润物无声,育人有功 ——浅析信息技术在语文教学中的运用
本文通过对荣华二采区10
期刊
郭店简《性自命出》情思想研究——兼论思、孟、荀及《大学》情思想
郭店简《性自命出》是七十子共同参与完成制定的纲领性集成文本。它展现了儒家彻透的修己之学的全幅规模。其重情学术思想特征,凸显了情范畴在先秦儒家人性论思想体系中的重要
学位
七十子
《性自命出》
学术思想
甘薯主栽品种对甘薯瘟和蔓割病抗性评价
用甘薯瘟 2个致病型菌株对我国南方薯区 16份主栽品种分菌系接种鉴定 ,结果表明新种花、胜利百号等 10份表现为高感~感病。瑞薯 1号等 3份为高抗Ⅰ型菌、感Ⅱ型菌 ;徐薯 18则
期刊
抗病虫害育种
抗病育种
抗性鉴定
甘薯瘟
蔓割病
转移因子对白细胞减少症近期疗效观察
本文报道用正常人转移因子 TF 治疗6例白细胞减少症患者的疗效。TF每周皮下注射二次,每次相当于4×10~8白细胞透折物,以4周为一疗程,治疗期间不用其他药物。本组观察表明有较
期刊
白细胞减少症
转移因子
近期疗效观察
迟发型超敏反应
细胞免疫
维持时间
皮下注射
鳖肝醇
白细胞总数
主要体征
战神九兄弟唐卡 清代藏传佛教战神九兄弟信仰在北京地区的流传
白塔寺内拥有许多珍贵的藏传佛教文物精品。在寺内具六神通殿内悬挂有一幅以战神九兄弟为题材的清代布本胶彩彩绘唐卡,整幅唐卡绘制尺幅大、绘制材质好、绘画内容丰富、绘画
期刊
九兄弟
唐卡艺术
战神
六神通
技艺精湛
艺术风格
出世间
金刚手菩萨
寺内
威胜
其他学术论文