Computational & Technology Resources
an online resource for computational,
engineering & technology publications
Civil-Comp Proceedings
ISSN 1759-3433
CCP: 17
KNOWLEDGE BASED SYSTEMS FOR CIVIL & STRUCTURAL ENGINEERING
Edited by: B.H.V. Topping
Paper X.3

Statically Indeterminate Trusses Programmed in LOGIC

V.K. Koumousis

Institute of Structural Analysis & Aseismic Research, National Technical University, Athens, Greece

Full Bibliographic Reference for this paper
V.K. Koumousis, "Statically Indeterminate Trusses Programmed in LOGIC", in B.H.V. Topping, (Editor), "Knowledge Based Systems for Civil & Structural Engineering", Civil-Comp Press, Edinburgh, UK, pp 245-250, 1993. doi:10.4203/ccp.17.10.3
Abstract
Although classical methods of structural analysis are important in understanding the behaviour of structures, they are not suitable for algorithmic programming. The force method of analysis, that in many cases leads to smaller systems of equations, proceeds from equilibrium and enforces compatibility, whereas the displacement method, that today dominates the scene, proceeds from the compatibility and enforces the equilibrium at the joints of an indeterminate structure. In this paper, a recursive force method is developed which is based on the concept of the (n-l) structure. The conditions of compatibility are enforced on the (n-l) redundant structure, until the (n-l) structure becomes a statically determinate structure. The required flexibility coefficients are calculated using the unit load theorem. The number of the required flexibility coefficients is the same as compared with the redundant force method. The recursive force method is programmed in Prolog and the basic predicates are presented. The method is illustrated with certain examples.

purchase the full-text of this paper (price £20)

go to the previous paper
go to the next paper
return to the table of contents
return to the book description
purchase this book (price £60 +P&P)