切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Efficient software product-line model checking using induction and a SAT solver
Efficient software product-line model checking using induction and a SAT solver
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:pwd19881217
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
Fei HE
Yuan GAO
Liangze YIN
【机 构】
:
Tsinghua National Laboratory for Information Science and Technology(TNList), Tsinghua University,Bei
【出 处】
:
城市道桥与防洪
【发表日期】
:
2018年2期
【关键词】
:
software product line
model checking
satisfiability
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
A survey on one-bit compressed sensing: theory and applications
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
compressed sensing
one-bit quantization
sign information
support
consistency
曹明芳:让隐患无处藏身
提起曹明芳,在河北兴泰发电有限责任公司(简称兴泰发电)没有人不竖大拇指.十多年来,她靠着锲而不舍的钻劲,从刚进厂的一名普通检修员,成长为目前公司最年轻、最优秀的知识型
期刊
“产品至上”--PLM的根本
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
产品开发
全球制造业
周期管理
制造企业
投资
商业成功
全球经济
开发过程
竞争优势
解决方案
基础结构
功能融合
产品生命
供应链
协作
效应
武器
提升
Mobile crowd sensing task optimal allocation: a mobility pattern matching perspective
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
mobile crowd sensing
task allocation
mobility regularity
pattern matching
杂谈玉雕佩饰与小件
期刊
杂谈
玉雕
佩饰
A non-linear spatial hearing model based on bases pursuit algorithm
期刊
A new construction method of LDPC codes for optical transmission systems
期刊
西门子:用合同能源管理攻占节能市场
合同能源管理是一种新的业务模式,正在给那些急需进行节能改造却苦干缺乏资金的企业带来福音.rn经过30年经济高速发展,一种普遍的共同认识已在中国企业中形成:节能是企业快速
期刊
西门子
合同能源管理
企业快速发展
节能降耗
经济高速发展
资金
中国企业
业务模式
能源价格
节能设备
节能改造
基本国策
意识
义务
商机
认识
观念
福音
Online clustering of streaming trajectories
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
streaming trajectory
synopsis data structure
concept drift
sliding window
李小丹:“绽放”的技术能手
2016年10月21日,两幅鲜艳的荣誉证书和奖牌照片,在国电浙能宁东发电有限公司(简称宁东发电)微信群中晒出,获得同事们一长串点赞的“大拇指”.原来,在刚刚落幕的中国国电集团
期刊
与本文相关的学术论文