切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptions
A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptions
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:vgbin2
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
Kazuhiro OGATA
【机 构】
:
School of Information Science, Japan Advanced Institute of Science and Technology(JAIST)1-1 Asahidai
【出 处】
:
城市道桥与防洪
【发表日期】
:
2019年1期
【关键词】
:
anti-fairness
fairness
liveness property
Maude
model checking
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
承担苦难的责任——以勒维纳斯的“他者”理论解读《约伯记》
勒维纳斯的哲学以对“他者”问题的思考而著称,他将他者置于首位,提出为他者负责,并通过人与他者关系重新诠释“上帝”的观念,即作为伦理意义上的“上帝”。 本文试以该理论对
学位
勒维纳斯
约伯记
伦理学
功能梯度热障涂层隔热与应力缓和的组合设计
期刊
基于全局优化和多主体博弈的微网日前电热联合经济调度
针对含可再生能源的微网日前电热联合调度问题,开展了考虑全局利益统一与多主体利益均衡的优化结果对比分析.首先,基于多能源微网中各类能量产生/转化设备的效能模型,结合系
期刊
多能源微网
电热联合调度
日前经济调度
粒子维度熵
利益均衡
博弈
共产党人永不言“怠”
我是60年代初期出生的人,亲眼目睹了新中国翻天覆地的变化。作为一名受党教育多年的基层领导干部,给我最大的触动就是如何在自己平凡的岗位上更好地学习实践总书记的讲话精神
期刊
基层领导干部
给我
新中国
周伯
地方经济
工商行政管理
人民群众
彰显
基层工作
市场经济秩序
现代公德构建何以可能——从“公”的观念的变迁看现代公德意识的建构
社会公德作为社会道德的基础和支柱之一,体现着一个国家的社会风尚和人民的精神面貌,关系到国家的外在形象。现代公德意识及其道德规范对于有效的协调个人利益与社会利益,对个人
学位
现代公德
公德意识
社会结构
公共领域
社会公德
公民素质
公民社会
金铁锁多倍体诱导的初步研究
目的:采用多倍体育种技术对金铁锁进行多倍体诱导试验,以期获得金铁锁多倍体植株。方法:在组织培养条件下,利用秋水仙素作为诱导剂,对二倍体组培苗进行诱导,比较不同预培养时
期刊
金铁锁
多倍体诱导
秋水仙素
多倍体植株
变异植株
同质化
分化培养基
预培养时间
诱导效果
组织培养
马尔库塞批判理论及其实践价值研究
伴随新左派运动的结束,马尔库塞和他的批判理论也逐渐淡出了人们的视野,而与之一起衰落的还有人们的批判精神。可随着时间的推移,我们忽然发现我们始终没有摆脱马尔库塞在其批判
学位
马尔库塞
批判精神
人道主义精神
乌托邦
Cr-Fe-C非晶态合金镀层研究
期刊
当代陶瓷雕塑中被“异化”的身体符号
身体艺术一直是视觉艺术的表达重心,因为在社会结构中,身体既是文化符号的存在物,又是人在现实环境中对自身存在的观照与反思。艺术家热衷于对身体的表现更是对“人”从文化
期刊
陶瓷雕塑
文化景观
视觉艺术
文化融合
陶瓷文化
独特表现
艺术理念
社会结构
中国传统文化
系列作品
论伽达默尔理解观的性质
针对伽达默尔的哲学诠释学具有相对主义倾向的指责,本文试分析伽达默尔的理解观之性质。全文共分四个部分。前言主要介绍了本文的主题及其分析现状。第一章首先分析绝对客观主
学位
伽达默尔
理解观
绝对客观主义
相对主义
相对性
客观性
与本文相关的学术论文