Computational & Technology Resources
an online resource for computational,
engineering & technology publications
PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON CIVIL, STRUCTURAL AND ENVIRONMENTAL ENGINEERING COMPUTING
Edited by: B.H.V. Topping
Automatic Verified Shear Force Design of Reinforced Concrete Beams
A.E. Csallner1 and A.B. Kocsis2
1Department of Computer Science, University of Szeged, Hungary
A.E. Csallner, A.B. Kocsis, "Automatic Verified Shear Force Design of Reinforced Concrete Beams", in B.H.V. Topping, (Editor), "Proceedings of the Eleventh International Conference on Civil, Structural and Environmental Engineering Computing", Civil-Comp Press, Stirlingshire, UK, Paper 38, 2007. doi:10.4203/ccp.86.38
Keywords: verified numerical computing, interval analysis, reinforced concrete beams, optimisation, automatic design.
For the automation of the shear reinforcement design  a mathematical model for stepped overestimations with left-bounded step widths of the shear force function is defined. This overestimating function delivers the data for the mass of the reinforcement steel to be utilized. If the overestimation (the difference between the shear forces and the effects the designed reinforcement can absorb in fact) is low, then the structure is inexpensive.
Although several new optimization methods exist (for example in reference ) the problem is treated by interval analysis tools. This not only guarantees the results mathematically  but makes is easy to deliver global solutions for the problem. The applied methods are finite subdivision and simple branch-and-bound principle based algorithms (see for example reference ). The stepped overestimating functions are constructed using various heuristics, as listed in , assuring fast functioning and robust behaviour.
A further condition also has to be taken into account. Due to standards, at least half of the shear force has to be absorbed by stirrups. If a stepping method creating an overestimating step function is applied twice, an optimal reinforcement combining stirrups and bent-up bars complying with this condition can be constructed. Such an algorithm is introduced and presented on a numerical example. The saving on that particular beam is around 13% as compared to a traditional method using only stirrups.
purchase the full-text of this paper (price £20)