您的位置： 专家智库 > >

彭立

作品数：2 被引量：1H指数：1
供职机构：湖南大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇学位论文
  • 1篇专利

领域

  • 1篇自动化与计算...

主题

  • 1篇砂浆
  • 1篇桥结构
  • 1篇桥梁
  • 1篇描述逻辑
  • 1篇空腹式
  • 1篇混凝土桥
  • 1篇混凝土桥梁
  • 1篇拱桥
  • 1篇拱桥结构
  • 1篇拱圈
  • 1篇钢板
  • 1篇钢筋
  • 1篇钢筋混凝
  • 1篇钢筋混凝土
  • 1篇钢筋混凝土桥
  • 1篇钢筋混凝土桥...
  • 1篇高强
  • 1篇高强砂浆
  • 1篇TABLEA...

机构

  • 2篇湖南大学

作者

  • 2篇彭立
  • 1篇廖鑫
  • 1篇张阳
  • 1篇李少波
  • 1篇唐重玺
  • 1篇穆程
  • 1篇鲍超

年份

  • 2篇2013
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
空腹式大跨填土复合波纹钢板拱桥结构
本发明涉及一种新型组合拱桥结构，具体公开了一种空腹式大跨填土复合波纹钢板拱桥结构，该组合结构大跨主拱圈采用夹心砂浆复合波纹钢板，波纹钢板通过螺栓连接成反置双层板并在夹层设置栓钉填充高强砂浆形成整体的夹心砂浆复合波纹钢板，...
张阳彭立穆程廖鑫唐重玺鲍超李少波
文献传递
描述逻辑SHIF和SHIQ的ABox一致性判定算法研究
描述逻辑是一类表示知识的形式系统,因具有正式的语法和语义并支持基于语义的推理,它们在知识表示领域得到了广泛的应用。SHIF和SHIQ是基本的描述逻辑ALC的扩展,它们具有比ALC更强的表达力,能解决较为复杂的知识建模问题...
彭立
关键词：描述逻辑TABLEAU算法
文献传递
全选 清除 导出
共1页<1>
聚类工具0