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 条
  • [41] Latent Diffusion Models for Structural Component Design
    Herron, Ethan
    Rade, Jaydeep
    Jignasu, Anushrut
    Ganapathysubramanian, Baskar
    Balu, Aditya
    Sarkar, Soumik
    Krishnamurthy, Adarsh
    COMPUTER-AIDED DESIGN, 2024, 171
  • [42] Neurobiological computational models in structural analysis and design
    Hajela, P.
    Berke, L.
    Collection of Technical Papers - AIAA/ASME Structures, Structural Dynamics and Materials Conference, 1990,
  • [43] Sequence control for integrated structural design models
    Lee, CH
    Sause, R
    JOURNAL OF COMPUTING IN CIVIL ENGINEERING, 1996, 10 (03) : 213 - 225
  • [44] Spatial Logic and Spatial Model Checking for Closure Spaces
    Ciancia, Vincenzo
    Latella, Diego
    Loreti, Michele
    Massink, Mieke
    FORMAL METHODS FOR THE QUANTITATIVE EVALUATION OF COLLECTIVE ADAPTIVE SYSTEMS, SFM 2016, 2016, 9700 : 156 - 201
  • [45] The hidden models of model checking
    Visser, Willem
    Dwyer, Matthew B.
    Whalen, Michael
    SOFTWARE AND SYSTEMS MODELING, 2012, 11 (04): : 541 - 555
  • [46] Algorithmic approach for checking closure properties of ω-regular languages
    Peled, Doron
    Wilke, Thomas
    Wolper, Pierre
    Lecture Notes in Computer Science, 1119
  • [47] The hidden models of model checking
    Willem Visser
    Matthew B. Dwyer
    Michael Whalen
    Software & Systems Modeling, 2012, 11 : 541 - 555
  • [48] Checking and transforming models with AutoFocus
    Schätz, B
    Braun, P
    Huber, F
    Wisspeintner, A
    12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Proceedings, 2005, : 307 - 314
  • [49] Observational models for linearizability checking on weak memory models
    Winter, Kirsten
    Smith, Graeme
    Derrick, John
    PROCEEDINGS 2018 12TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2018), 2018, : 100 - 107
  • [50] Closure lid design and structural integrity assessment of Swiss nuclear waste canisters
    Roy, Michael R.
    Janin, Yin Jin
    Lunn, Rachel
    Wang, Longjie
    Bastid, Philippe
    Diomidis, Nikitas
    INTERNATIONAL JOURNAL OF PRESSURE VESSELS AND PIPING, 2022, 200
12345