CHECKING MODELS IN STRUCTURAL DESIGN - CLOSURE

被引：0
|
作者：
STEWART, MG
MELCHERS, RE
机构：
来源：
JOURNAL OF STRUCTURAL ENGINEERING-ASCE | 1991年 / 117卷 / 07期
关键词：
D O I：
10.1061/(ASCE)0733-9445(1991)117:7(2188.2)
中图分类号：
TU [建筑科学];
学科分类号：
0813 ;
摘要：
引用
下载
收藏
页码：2188 / 2189
页数：2
相关论文
共 50 条
  • [21] Stringer panel model for structural concrete design - Closure
    Blaauwendraad, J
    Hoogenboom, PCJ
    ACI STRUCTURAL JOURNAL, 1997, 94 (03) : 337 - 338
  • [22] Recent approaches to shear design of structural concrete - Closure
    JOURNAL OF STRUCTURAL ENGINEERING, 2000, 126 (07) : 856 - 856
  • [23] Simplified dynamic reliability models for hydraulic design - Closure
    Gui, SX
    Zhang, RD
    Wu, JQ
    JOURNAL OF HYDRAULIC ENGINEERING-ASCE, 1999, 125 (07): : 792 - 792
  • [24] Automated Compliance Checking System for Structural Design Codes in a BIM Environment
    Goh, Wonhui
    Jang, Jaeguk
    Park, Sang I.
    Choi, Bong-Hyuck
    Lim, Heuiseok
    Zi, Goangseup
    KSCE JOURNAL OF CIVIL ENGINEERING, 2024, : 4175 - 4189
  • [25] Structural reliability models for vehicle design
    Nowak, AS
    El-Hor, HH
    SEVENTH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY AND QUALITY IN DESIGN, 2002, : 289 - 293
  • [26] Structural design with experimental based models
    Chu, CH
    Trethewey, MW
    PROCEEDINGS OF THE 14TH INTERNATIONAL MODAL ANALYSIS CONFERENCE, VOLS I & II, 1996, 2768 : 748 - 754
  • [27] MODEL CHECKING SPATIAL LOGICS FOR CLOSURE SPACES
    Ciancia, Vincenzo
    Latella, Diego
    Loreti, Michele
    Massink, Mieke
    LOGICAL METHODS IN COMPUTER SCIENCE, 2016, 12 (04)
  • [28] Model checking and transitive-closure logic
    Immerman, N
    Vardi, MY
    COMPUTER AIDED VERIFICATION, 1997, 1254 : 291 - 302
  • [29] COMMENTS ON THE STRUCTURAL DESIGN OF HIGH-SPEED CRAFT - CLOSURE
    KOELBEL, JG
    MARINE TECHNOLOGY AND SNAME NEWS, 1995, 32 (02): : 99 - 100
  • [30] Stress constrained G closure and relaxation of structural design problems
    Lipton, R
    QUARTERLY OF APPLIED MATHEMATICS, 2004, 62 (02) : 295 - 321
12345