切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Abstraction for model checking multi-agent systems
Abstraction for model checking multi-agent systems
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:nihaohaoya
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
Conghua ZHOU
Bo SUN
Zhifeng LIU
【机 构】
:
School of Computer Science and Telecommunication Engineering, Jiangsu University, Zhenjiang 212013,
【出 处】
:
城市道桥与防洪
【发表日期】
:
2011年1期
【关键词】
:
model checking
abstraction
refinement
epistemic temporal logic
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
青岛联通3G助阵岛城出租“无线的士”
国庆期间,山东青岛联通为岛城出租车“无线的士”项目新开通200余张3G流量卡,助力出租车信息化平台的搭建。
期刊
青岛
联通
出租车
信息化平台
无线
山东
流量
国庆
从大批所谓原发性高血压病人中筛选若干种内分泌性和非内分泌性高血压病人(续一)
晚期妊娠毒血症高血压正常妊娠发生一系列相当剧烈的生理变化:首先是肾功能变化,由于妊娠子宫对输尿管压力,特别是立位时,导致一定程度的肾盂积水,输尿管积水。尽管正常妊娠
期刊
分泌过多
原发性高血压病
正常妊娠
内分泌性高血压
妊娠毒血症
嗜铬细胞瘤
醛固酮分泌
醛固酮
血浆肾素活性
肾小球滤过率
ZrO2与CePO4体系无压连接及其缺陷分析
期刊
高职物流人才培养质量评价指标体系研究
目前物流行业在我国国民经济发展中的作用越来越突出,物流企业市场规模不断扩大,因此也需要高职院校培养更多高素质技能型物流人才。但目前我国相当一批高职院校物流专业毕业
期刊
物流人才培养
指标体系
高职物流
实习工作
调查数据
综合素质
实习单位
能力评价指标
企业市场
岗位适应性
正常二尖瓣前叶运动速度和幅度的超声心动图测定
国内有关二尖瓣前叶运动速度和幅度的正常值资料早在1964年就有报导,但这方面的材料还很少,所测结果亦不完全一致。正常二尖瓣前叶的运动状况,特别是EF下降速度的测定,是判
期刊
二尖瓣前叶
运动速度
超声心动图
二尖瓣狭窄
月将
速度平均值
米/秒
超声测定
回声
运动状况
浅析在中学体育教学中对学生体育意识的培养
在现在的以德、智、体、美、劳全面发展为目标的教学体系下,学生的日常体育锻炼情况越来越受到关注。因此,也强调要培养学生终身的体育意识。希望能通过日常的锻炼,强健学生
期刊
中学
体育教学
体育意识
基于神经网络算法的多极化雷达数据估算鄱阳湖生物量
神经网络的特点是分布并行处理,适用于模拟复杂的非线性模型。在野外调查的基础上,利用多极化雷达数据,通过改进MIMICS模型模拟湿地植被参数(植被高度、含水量、生物量等)和雷达后向散射系数之间的关系,建立神经网络模型。通过模型的训练和仿真,与实测数据进行比较、验证,从而估算鄱阳湖湿地植被的生物量分布情况。研究表明基于改进的MIMICS模型训练数据的神经网络模型有较好的反演湿地植被生物量的能力,并据此
期刊
生物量
多极化
雷达
神经网络
MIMlCS模型
白血病及其他血液病患者的血红蛋白F测定——(附抗碱血红蛋白的简易测定法)
血红蛋白F(HbF)增高见于多种血液病,白血病患者的HbF测定亦具有一定意义。本室对白血病及其它一些血液病患者的HbF含量进行了测定,兹将初步结果报告如下。方法:正常人系本院
期刊
白血病
血液病患者
简易测定法
抗碱血红蛋白
血库
系本
轻型地中海贫血
慢粒
蚕豆病
缺铁性贫血
生猪疫病防治存在的问题
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
沿江地区密肥配比对“史力丰”油菜产量及性状的影响
“史力丰”油菜是我省沿江地区大面积推广的新品种,为明确其最佳施肥量和移栽密度,为高产高效栽培提供科学依据,特进行本试验。1 材料与方法1.1 试验设计 采取二因素裂区试
期刊
沿江地区
比对
史力丰
油菜产量
性状
移栽密度
随机排列
试验设计
高产高效栽培
最佳施肥量
大面积推广
小区面积
设计方法
裂区试验
处理
主因素
新品种
其他学术论文