切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
LTL Formulae to B ¨uchi Automata Translation Using on-the-Fly De-generalization
LTL Formulae to B ¨uchi Automata Translation Using on-the-Fly De-generalization
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:Gerryliu1984
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
SHAN Laixiang
QIN Zheng
【机 构】
:
Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China“,”School o
【出 处】
:
城市道桥与防洪
【发表日期】
:
2015年4期
【关键词】
:
Formal method
Model checking
Linear temporal logic
On-the-fly de-generalization
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
镉暴露对人胚肾细胞TET酶表达及DNA甲基化水平的影响
目的观察人胚肾细胞(HEK293)短期暴露于高剂量氯化镉(CdCl2)时,TET酶表达及DNA甲基化水平的变化。方法HEK293细胞经CdCl2染毒24、48和72 h后,用细胞增殖与活性检测试剂盒(CCK-8)检测细胞存活率并记录细胞形态,Real-time PCR法检测mRNA表达水平,Western blot法检测TET3酶蛋白表达水平,并采用焦磷酸测序法检测全基因组DNA甲基化水平。结果细
期刊
镉
DNA甲基化
TET蛋白
细胞
有创伤性超声在冠状动脉临界病变中应用
期刊
增生瘢痕皮肤中转化生长因子基因表达
目的探讨转化生长因子(TGF)-β1和转录因子Smad 2,Smad 3三种基因影响增生性瘢痕形成和胎儿皮肤伤口无瘢痕愈合的调节机制.方法 32份被检测标本中包括增生性瘢痕8份,其对应的
期刊
转化生长因子β
瘢痕
转录因子
伤口愈合
宝宝便秘怎么办
宝宝便秘是常见的护理问题,宝宝出现便秘可能是身体上火造成的,也可能是肠道功能紊乱引起的,家长平时要督促孩子养成按时排便的习惯,并且也要注意合理的调整饮食结构,饮食结
期刊
瘤腔注射凝血酶治疗自发性桡动脉假性动脉瘤一例
期刊
欢迎在本刊发布广告
期刊
Facial Data Field
Expressional face recognition is a challenge in computer vision for complex expressions. Facial data field is proposed to recognize expression. Fundamentals are presented in the methodology of face re
期刊
Facial data field
Facial expression
Data interactions
Expressional face recognit
扩张皮肤的血液动力学及皮瓣移植实验研究
目的研究扩张皮肤血流动力学变化规律,探索将扩张皮肤设计成任意皮瓣进行皮肤移植的最佳时机.方法以72只兔耳为活体实验标本,应用微循环显微图像计算机分析系统、酶组织化学
期刊
外科皮瓣
血液动力学
皮肤
微血管显微镜检查
动物
实验
系统还原不起作用的若干原因
期刊
其他学术论文