切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Safety Mechanism Design and Verification of Safety Computer Parallel Program
Safety Mechanism Design and Verification of Safety Computer Parallel Program
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:jeans
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
ZHANG Yuzhuo
HONG Chunhua
CAO
【机 构】
:
School of Electronic and Information Engineering, Beijing Jiaotong University, Beijing 100044, China
【出 处】
:
城市道桥与防洪
【发表日期】
:
2018年6期
【关键词】
:
Safety computer
Parallel program
Transactional memory
Invariant proof
Concurrent
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
非穿通型NPT-IGBT与场截止型FS-IGBT在逆变焊机应用中的差异
在相同的逆变焊机平台上,分别测试NPT-IGBT与FS-IGBT的温升,及VGE,VCE,IC等波形,对比分析NPT-IGBT与FS-IGBT在逆变焊机应用中的优异.
期刊
非穿通型NPT-IGBT
场截止型FS-IGBT
逆变焊机
Study on the Structures and Properties of Ni-W-B-CeO2 Composite Coatings Prepared by Pulse Electrode
期刊
An Efficient and Adaptive Method for Overlapping Community Detection in Real-World Networks
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Community detection
Overlapping com-munity
Seed selection
Real-world networks
A Review on the Architecture of Software Defined Network
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Software defined networking (SDN)
Net-work architecture
I Ching
Ca2+、pH值、温度对氯化钾预收缩猪离体冠状动脉的影响
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
猪冠状功脉
Ca2+
pH值
温度
对青奥会无线电监测工作的几点体会
为了保障各类无线电业务的正常运行,避免设备间的使用冲突,青奥会无线电安保团队无线电检测组为多个国家代表队和青奥会保障团队所使用的无线电设备进行了检测,并且圆满完成
期刊
无线电业务
检测工作
无线电设备
检测方案
无线电检测
应对能力
团队
偶发事件
解决方案
检测效率
工作流程
测试项目
测试标准
保障任务
安保
检测时
工作
An Effective Biogeography-Based Optimization Algorithm for Flow Shop Scheduling with Intermediate Bu
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Flow shop scheduling
Intermediate buffer
Total flow time (TFT)
Biogeography-base
Parallel Sketch Based Super Node Detection with Traceability
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Network measurement
Super node de-tection
Parallel sketch
Network data stream
Design of a CMOS Distributed Power Amplifier with Gradual Changed Gain Cells
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Distributed amplifier
Impedance match-ing
Power added efficiency
Artificial tran
An In-Memory-Computing Design of Multiplier Based on Multilevel-Cell of Resistance Switching Random
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Resistive random access memory (RRAM)
Multilevel-cell (MLC) storage
Look-up-tabl
其他学术论文