切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Exploring system architectures in AADL via POLYCHRONY and SYNDEX
Exploring system architectures in AADL via POLYCHRONY and SYNDEX
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:ZJUCS
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
Huafeng YU
Yue MA
Thierry GAUT
【机 构】
:
INRIA Rennes-Bretagne Atlantique, 263, av. du Général Leclerc, Rennes 35042, France“,”IRISA/CNRS, 26
【出 处】
:
城市道桥与防洪
【发表日期】
:
2013年5期
【关键词】
:
POLYCHRONY
SIGNAL
AADL
SYNDEX
architecture exploration
modeling
timing analysis
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
国电广西:用四种意识提升增效
今年以来,国电广西电力有限公司(简称国电广西)积极应对经济下行、市场疲软、环保压力增强等经营形势,紧紧把握效益优先的原则,牢固树立“四种意识”,依靠提升管理、深入挖潜,在电量
期刊
广西
意识提升
整体效益
效益优先
同步提升
提升管理
四种意识
市场疲软
实现利润
经营形势
经济效益
紧紧把握
积极应对
环保压力
发展质量
增强
挖潜
电
吉电股份:在新常态中减亏增盈
今年以来,面对东北区域经济增速放缓的局面,如何在逆境当中实现稳增长?国家电投集团吉林电力股份有限公司(简称吉电股份)主动适应经济发展新常态,自加压力,用超常思维、断然措施破解
期刊
股份
二级企业
综合指标
转型发展
生产运营
生产经营
经济增速
经济发展
结构调整
家电
集团
管理提升
东北区域
超常思维
总成绩
净利润
增长
压力
系统
Foreword to the special section on synchronous programming
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Introduction to the special section on the 12th APCChE
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Chemical Engineering
selection of
China
submitted
special
theme
New
Study on elution ability of salicylic acid on ion exchange resins in supercritical carbon dioxide
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
supercritical CO2
salicylic acid
elution
entrainer
ion exchange resin
大唐石门发电:4200天的安全强化
近日,大唐石门发电公司(简称石门发电)“安全生产月”活动全面启动,公司紧扣“加强安全法制,保障安全生产”主题,按照“工作从严、检查从细、整改求实”的方针,围绕“责任落实、制
期刊
大唐
石门
发电公司
保障安全生产
制度落实
责任落实
持续稳定
查漏补缺
安全运行
安全法制
主线
主题
启动
排查
检查
基础
活动
夯实
方针
Formal verification of synchronous data-flow program transformations toward certified compilers
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
formal verification
translation validation
certified compiler
multi-clocked sync
Synthesis of NaA zeolite from kaolin source
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
NaA zeolite
kaolin
hydrothermal synthesis
static water adsorption
华电邹县发电:全员绩效考核注入新活力
近日,在华电集团人力资源工作会议上,程念高总经理明确指出加强“一体系四机制建设”,其中重点要求之一是“建立以差异化、专业化、精细化为特征的绩效考核机制”。华电集团要顺
期刊
华电
发电
绩效考核机制
人力资源
薪酬分配
人才开发
劳动用工
集团
机制建设
工作会议
总经理
专业化
四个一
精细化
差异化
体制
体系
特征
目标
管控
Multi-threaded code generation from Signal program to OpenMP
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
multi-thread
synchronous language
Signal
code generation
OpenMP
与本文相关的学术论文