切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
A survey on temporal logics for specifying and verifying real-time systems
A survey on temporal logics for specifying and verifying real-time systems
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:hestry
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
Savas KONUR
【机 构】
:
Department of Computer Science, the University of Liverpool, Liverpool L69 3BX, UK
【出 处】
:
城市道桥与防洪
【发表日期】
:
2013年3期
【关键词】
:
propositional temporal logics
first-order linear temporal logics
branching tempo
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
2015年上半年全国6000千瓦及以上电厂发电设备平均利用小时数情况
根据中电联月报统计,2015年上半年,全国6000千瓦及以上电厂发电设备平均利用小时数为1936小时,同比下降151小时。
期刊
电厂
发电设备
利用小时数
月报
统计
电联
弥漫性大B细胞淋巴瘤病理生物学研究进展
弥漫性大B细胞淋巴瘤(d iffuse large B ce ll lym phom a,DLBCL)是目前最常见的成人非霍奇金淋巴瘤,无论在国外还是国内均为首位类型,占西方国家成人非霍奇金淋巴瘤构成比的
期刊
淋巴瘤
B细胞/病理学
淋巴瘤
大细胞
弥漫型/诊断
Quantum software framework: a tentative study
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
quantum software
quantum computation
quantum programming language
VX CAD/CAM看好中国市场
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
2015年上半年6000千瓦及以上电厂发电设备平均利用小时数同比增减情况
期刊
电厂
发电设备
Co-metric: a metric learning algorithm for data with multiple views
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
multi-view learning
metric learning
algorithmindependent framework
用“三严三实”强化基层党组织建设
党的基层组织是党在社会基层组织中的战斗堡垒,国有企业的基层组织围绕中心、服务大局,发挥政治核心作用,是其使命所在、职责所在、用功所在。践行“三严三实”,就要不断加强大唐
期刊
党的基层组织
党组织
战斗堡垒作用
政治核心作用
生机和活力
组织建设
围绕中心
热电厂
国有企业
服务大局
宝鸡
职责
使命
大唐
一起猪传染性胸膜肺炎的诊诊治
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
传染性胸膜肺炎
急性病例
死亡率
呼吸道传染病
猪胸膜肺炎
现报道如下
治疗药物
嗜血杆菌
生长缓慢
经济损失
呼吸困难
放线杆菌
养猪业
胸膜炎
河南省
猪场
煤炭的清洁利用
二十年间,我国的洁净煤技术取得了跨越式发展,然而,这些技术并没有从根本上扭转煤炭粗放式开发和利用的总体局面,主要有以下原因:rn一是煤炭消费总量的快速增长造成了污染排
期刊
煤炭
跨越式发展
开发和利用
洁净煤技术
增长
消费总量
排放总量
污染
扭转
粗放
浅谈如何提高普法依法治企的实效性
“弘扬法治精神”对于全面落实依法治国基本方略,推进依法治企具有深远意义.在新时期新形势下,电力企业要针对普法依法治企工作的现状,以“弘扬法治精神”为要求,在把握切入
期刊
普法
依法治企
法治精神
增强实效性
依法治国
基本方略
电力企业
切入点
与本文相关的学术论文