Statically determinate trusses programmed in logic

 
δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
κοινοποιήστε το τεκμήριο



Statically determinate trusses programmed in logic (EN)

Georgiou Panos, G (EN)
Koumousis Vlasis, K (EN)

N/A (EN)

Classical methods of structural analysis play an important role in the understanding of the behavior of structures because, during the process of solution, the conditions of equilibrium and compatibility are used explicitly. Computationally, these methods are problem dependent and, thus, are not suitable for algorithmic programming. Logic programming can be used to implement classical methods of structural analysis. This approach can help students understand the conditions of equilibrium and compatibility for structures and, at the same time, formulate the problem on a modern base from which design considerations can be tackled by using artificial intelligence methods and expert systems. The analysis of statically determinate trusses is employed to demonstrate the logic approach. The goal of solving a truss problem is achieved through the same subgoals followed when solving the truss problem by hand calculations. The procedure can be traced in a transparent way and alternative paths of solution can be determined. A program written in Turbo Prolog is presented and the logic approach is illustrated with some examples. (EN)

journalArticle

Computer programming (EN)
Logic programming (EN)
Computer software (EN)
Turbo Prolog (EN)
Statically determinate trusses (EN)
Computer programming languages (EN)
Computer aided analysis (EN)
Structural analysis (EN)
Trusses (EN)

Εθνικό Μετσόβιο Πολυτεχνείο (EL)
National Technical University of Athens (EN)

Journal of Computing in Civil Engineering (EN)

1992


N/A (EN)



*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.