切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Scenario-based verification in presence of variability using a synchronous approach
Scenario-based verification in presence of variability using a synchronous approach
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:hammil
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
Jean-Vivien MILLO
Frédéric MAL
【机 构】
:
INRIA Sophia-Antipolis, Aoste team(INRIA/I3S/CNRS/UNS), Sophia-Antipolis 06560, France“,”University
【出 处】
:
城市道桥与防洪
【发表日期】
:
2013年5期
【关键词】
:
Esterel
UML MARTE
scenario
verification
feature interaction
variability
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
大唐石门发电: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
Exploring system architectures in AADL via POLYCHRONY and SYNDEX
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
POLYCHRONY
SIGNAL
AADL
SYNDEX
architecture exploration
modeling
timing analysis
Measurement and correlation of supercritical CO2 and ionic liquid systems for design of advanced uni
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
compact processes
chiral ionic liquids
separations
thermodynamic properties
equa
国家电投松花江热电:绿色能源开启新未来
吉电股份松花江热电公司(简称松花江热电)作为国家电投集团的下属单位,积极承担央企责任,不断加大环保设施技术改造力度,提高节能减排效果,提升环保设备的综合经济性。2012年至2014
期刊
家电
松花江
热电
环保设施
环境监测中心站
总量控制指标
专项检查
排放总量
减排效果
技术改造
环保设备
国家
市人大
考察团
经济性
吉林省
代表团
政协
华能湘祁水电:最强洪峰的考验
5月14日至5月26日,湘南地区普降大到暴雨,湘江干流中上游迎来入汛以来的第一次大范围集中降雨,平均降雨量为101.4毫米,日最大降雨量达到224毫米。时段内累计降雨量超过200毫米的
期刊
华能
水电
平均降雨量
毫米
湘南地区
湘江
降雨影响
洪水预警
防汛形势
大降雨量
大到暴雨
中上游
湖南省
干支流
大范围
水位
时段
警戒
河流
干流
A multi-scale model for CO2 sequestration enhanced coalbed methane recovery
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
multi-scale model
gas transport
coal
coalbed methane
CO2 sequestration
与本文相关的学术论文