切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
On automatic verification of self-stabilizing population protocols
On automatic verification of self-stabilizing population protocols
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:dragoncool
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
Jun PANG
Zhengqin LUO
Yuxin DE
【机 构】
:
Department of Computer Science and Communications, Université du Luxembourg, Luxembourg 1359, Luxemb
【出 处】
:
城市道桥与防洪
【发表日期】
:
2008年4期
【关键词】
:
distributed algorithms
model checking
population protocols
verification
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
钯金首饰--中国企业新纪录
期刊
金首饰
中国
企业
空谷的回响-国电竹溪水电白沙河水电站工程纪实
又是一个细雨霏霏的季节,国电竹溪水电开发有限公司(简称竹溪水电)白沙河水电站再次展现了勃勃的生机。按照调度的指令,通水、开机,汩汩的清流如巨大的泉水一般急切地涌出,与电流
期刊
竹溪
沙河水电站
白沙河
水电开发
指令
细雨
山谷
泉水
开机
季节
调度
电流
国际论坛--珠宝盛事
期刊
戚墅堰发电:劳模工作室为转型发展点燃引擎
2008年,面对企业关停两台22万千瓦燃煤发电机组,向建设纯燃机“清洁能源基地,环保电站典范”转型发展的特殊阶段,江苏华电戚墅堰发电有限公司(简称戚墅堰发电)工会主动出击、积极
期刊
戚墅堰
燃煤发电机组
劳模精神
工作室
转型发展
凝聚功能
创新创效
特殊阶段
企业
能源基地
劳动模范
江苏省
急需人才
孵化功能
发电有限
切入点
长通道
Verifying BPEL-like programs with Hoare logic
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
WS-BPEL
compensation mechanism
opera-tional semantics
axiomatic verification sys
支气管内膜结核误诊1例
1病例报告女,22岁。于2004-07-01无诱因出现咳嗽、咳白痰,有时低热,多次来门诊就医,胸透检查左下肺纹理增强,诊断急性支气管炎,并收入院,给予抗炎治疗。用过阿奇霉素、先锋必
期刊
支气管炎/诊断
结核/诊断
误诊
钯金首饰启示录--中国(深圳)珠宝国际论坛演讲稿
序言rn去冬今春在中国首饰消费市场掀起的一股钯金首饰热潮,其来势之猛烈,蔓延之迅速,一时间门庭若市的钯金首饰和门可罗雀的铂金首饰形成了鲜明的对比.首饰零售市场上,各大
期刊
铂金首饰
启示录
中国
深圳
珠宝
国际论坛
消费市场
零售市场
经营理念
报刊媒体
卧不安
时间门
消息
饰品
南方
国家电投白城发电:分布式光伏添靓色
近来,随着光伏产业的迅速发展,其发电形式得到不断创新,与农业相结合的光伏农业大棚、渔光互补电站逐渐成为市场热点;集合荒山荒坡治理、煤矿采空区治理和沙漠化治理的生态恢复与
期刊
家电
白城
光伏发电
分布式
沙漠化治理
光互补电站
多样化趋势
生态恢复
农业
煤矿采空
荒坡治理
光伏产业
股份
发电项目
发电公司
电力投资
实用型
区治
Pushing requirements changes through to changes in specifications
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
requirements change management
sequence-based software specification
changing st
A Simplified Power Adaptation Scheme for Wireless Orthogonal Frequency Division Multiple Access
Orthogonal frequency division multiple access (OFDMA) is a promising access technology based on multiple carrier transmission. In this paper, we develop a power
期刊
其他学术论文