切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Design and formal verification of a CEM protocol with transparent TTP
Design and formal verification of a CEM protocol with transparent TTP
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:xgf217
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
Zhiyuan LIU
Jun PANG
Chenyi ZH
【机 构】
:
School of Management Science and Engineering, Shandong Normal University, Jinan 250000, China“,”Facu
【出 处】
:
城市道桥与防洪
【发表日期】
:
2013年2期
【关键词】
:
fair exchange
CEM protocols
fairness
TTP transparency
formal verification
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
A novel requirement analysis approach for periodic control systems
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
SPARDL
simulation
dataflow analysis
code generation
Confinement framework for encapsulating objects
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
object-oriented
aliasing
confinement
ownership
type system
well-confined program
把握新常态
6月1日、周一,刚上班,快递将散发着油墨清香的《中国发电》送至手中.简约大气的设计、迅速快捷的讯息、丰富厚重的内容,吸引着我一口气读完.rn《中国发电》自2008年创刊至今,
期刊
中国
青春少年
发电
油墨
设计
清香
快递
大气
Supporting feature model refinement with updatable view
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
feature model refinement
slicing
bidrectional transformation
小学美术创新教学探索
本文通过对荣华二采区10
期刊
新电改前行非易事
一边是作为我国清洁能源和西电东送重要基地的云南省,紧抓新一轮电力改革试点机遇,在国内率先开展省级电力市场化交易试点;一边是作为五大省级输配电价改革试点之一的贵州省,率先
期刊
改革试点
电力改革
电力体制改革
市场化交易
重要基地
西电东送
输配电价
省级
清洁能源
工作方案
云南省
贵州省
机遇
国内
产品是企业的命脉访--EDS PLM Soluions全球研发部总裁Chuck Grindstaff先生和EDS PLM Solu-tions亚太区总裁Hans-Kurt Luebberstedt先生
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
产品
企业
命脉
合作伙伴
发展战略
亚龙湾
大中华
用户
三亚
会议
The autocorrelation distribution of balanced Boolean function
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Boolean functions
auto-correlation distribution
global avalanche characteristics
EDS PLM Solutions更名为UGS PLM Solutions;UGS PLM Solutions发行Solid Edge Version 15
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
DWI在良、恶性椎体压缩骨折鉴别诊断中的应用
磁共振弥散加权成像(DWI)是利用磁共振成像的特殊序列观察活体组织中水分子的微观弥散运动的一种成像技术,实现了在分子水平上无创性检查组织结构及其功能,在中枢神经系统应
期刊
脊柱骨折/诊断
磁共振成像
弥散
诊断
鉴别
与本文相关的学术论文