您当前的位置：
首页 >
文章列表页 >
基于一阶谓词逻辑的结构设计规范表示方法
数字孪生与智能建造 | 更新时间：2023-11-28

    • 基于一阶谓词逻辑的结构设计规范表示方法

    • Representation of structural design specifications based on first-order predicate logic

    • “在结构设计领域，基于一阶谓词逻辑，提出了一种设计规范规则表达和推理方法，有效解决了传统一阶谓词表示不充分和不精确的问题，为设计规范的计算机表达提供参考方法。”
    • 土木与环境工程学报   2024年46卷第1期 页码：254-262

    • DOI：10.11835/j.issn.2096-6717.2022.031    

      中图分类号： TU17

    • 收稿：2021-12-16，

      纸质出版：2024-02-25

    移动端阅览

  • 张吉松,于泽涵,赵丽华.基于一阶谓词逻辑的结构设计规范表示方法[J].土木与环境工程学报,2024,46(01):254-262. DOI： 10.11835/j.issn.2096-6717.2022.031.

    ZHANG Jisong,YU Zehan,ZHAO Lihua.Representation of structural design specifications based on first-order predicate logic[J].Journal of Civil and Environmental Engineering,2024,46(01):254-262. DOI： 10.11835/j.issn.2096-6717.2022.031.

  •  
  •  

0

浏览量

7

下载量

0

CSCD

文章被引用时，请邮件提醒。
提交
工具集
下载
参考文献导出
分享
收藏
添加至我的专辑

相关文章

人工智能在工业园区废水处理中的应用研究现状及展望
机器学习方法在盾构隧道工程中的应用研究现状与展望
人工智能在土木工程领域的应用研究现状及展望

相关作者

张涛
陈猷鹏
陈湘生
曾仕琪
韩文龙
苏栋
刘红波
张帆

相关机构

重庆市传感器产业园建设运营有限公司
重庆大学 环境与生态学院
深圳大学，土木与交通工程学院
深圳大学，滨海城市韧性基础设施教育部重点实验室
深圳大学，深圳市地铁地下车站绿色高效智能建造重点实验室
0