您当前的位置：
首页 >
文章列表页 >
Representation of structural design specifications based on first-order predicate logic
Digital Twins and Intelligent Construction | 更新时间：2023-11-28

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

    • “In the field of structural design, based on first-order predicate logic, a design specification rule expression and reasoning method is proposed, which effectively solves the problem of insufficient and inaccurate representation of first-order predicates in transmission, and provides a reference method for computer expression of design specifications.”
    • Journal of Civil and Environmental Engineering   Vol. 46, Issue 1, Pages: 254-262(2024)

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

      CLC： TU17

    • Received：16 December 2021，

      Published：25 February 2024

    移动端阅览

  • 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

Views

7

下载量

0

CSCD

Alert me when the article has been cited
提交
Tools
Download
Export Citation
Share
Add to favorites
Add to my album

Related Articles

Research status and prospect of the application of artificial intelligence in industrial park wastewater treatment
Review and prospect of machine learning method in shield tunnel construction
Applied research status and prospects of artificial intelligence in civil engineering field

Related Author

ZHANG Tao
CHEN Youpeng
CHEN Xiangsheng
ZENG Shiqi
HAN Wenlong
SU Dong
LIU Hongbo
ZHANG Fan

Related Institution

Chongqing SENSOR Industrial Park Construction and Operation Co., Ltd.
College of Environment and Ecology, Chongqing University
College of Civil and Transportation Engineering; b. Key Laboratory for Resilient Infrastructures of Coastal Cities (MOE); c. Shenzhen Key Laboratory of Green, Efficient and Intelligent Construction of Underground Metro Station, Shenzhen University
深圳大学，滨海城市韧性基础设施教育部重点实验室
深圳大学，深圳市地铁地下车站绿色高效智能建造重点实验室
0