切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Towards Verified Software: Mirror Theory of Programming
Towards Verified Software: Mirror Theory of Programming
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:litang007
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
ZHANG Junfu
ZHAO Wen
YUAN Chon
【机 构】
:
School of Software & Microelectronics, Peking University, Beijing 100871, China“,”National Engineeri
【出 处】
:
城市道桥与防洪
【发表日期】
:
2017年2期
【关键词】
:
Operation expression
Semantic axiom
Programming logic
Theory of programming
Veri
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
Decision-Level Defect Prediction Based on Double Focuses
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Decision
Prediction
Defect
Focus
数据库与面向对象编程的教学
在现在计算机应用中,信息管理系统发挥着很大的作用,而无论是电子政务、电子商务这些企业级应用,都具有面向对象和依赖于数据库的特点。在教学过程中,如何理清其概念和应用方法,对于计算机基础薄弱的学生,是较为困难的。本文对这部分教学的方法和知识体系进行了分析。
期刊
数据库
教学
方法
A Distributed Process Management Model for Better Scalability on Multicore Platform
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Multicore
Microkernel
Scalability
Pro-cess management
Efficient Multi-rate Encoder of QC-LDPC Codes Based on FPGA for WIMAX Standard
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Encoder
Multi-rate
FPGA
Dual Diag-onal
WIMAX.
企业文化建设存在的问题及对策
企业文化作为一种管理理论自上世纪70年代未引入我国以来,许多企业结合自身实际,通过借鉴、消化和实践,基本完成了对这一管理理论的认知、普及和推广,逐渐体会到了企业文化建设的重要性。但是,在企业文化建设的过程中,一些问题也逐步显现,如何解决好这些问题,促进企业又好又快发展,是当前工作的重要研究课题。 一、企业文化建设中存在的问题 企业文化是一种现代企业管理论,它以人为本,以价值为核心,以制度为保证
期刊
企业文化建设
管理理论
研究课题
企业结合
实践
认知
普及
咪达普利和安体舒通对心肌纤维化大鼠肾素血管紧张素醛固酮系统的干预研究
期刊
骨髓基质细胞体外培养成骨能力的实验研究
期刊
骨髓基质细胞
细胞体外培养
成骨能力
增殖活性
原位杂交
细胞培养
成骨性能
成骨表型
移植
筛选
基础
方法
睡觉也能提升性能力
睡姿是很重要的,不仅影响到我们的睡眠质量,更是影响到我们的身体健康.比如,睡姿不正确会降低人们的性能力.那么,人们该如何选择正确的睡姿呢?rn提升性能力最佳睡姿rn仰卧是
期刊
培养心肌细胞缺氧复氧性损伤机制及ICAM-1MAb的干预研究
期刊
A Provably Secure General Construction for Key Exchange Protocols Using Smart Card and Password
Key exchange protocols using both smart card and password are widely used nowadays since they provide greater convenience and stronger security than protocols u
期刊
General construction
Provable secure
Smart card
Password
Key exchange protocol
与本文相关的学术论文