Symbolic computation in structural engineering

Computers and Structures

Volumn 81, Issue 22-23, 2003, Pages 2121-2136

  Pavlovic M N ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Structural engineering; Structural mechanics; Symbolic computation (computer algebra)

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; DECISION MAKING; MATRIX ALGEBRA;

STRUCTURAL MECHANICS;

STRUCTURAL DESIGN;

EID: 0041692753     PISSN: 00457949     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0045-7949(03)00286-4     Document Type: Review

References (99)

1. Calladine C.R. Theory of shell structures. 1983;Cambridge University Press, Cambridge.
2. Calladine C.R. The theory of shell structures: aims and methods. Int. J. Mech. Sci. 24:1982;219-230.
3. Pavlović M.N., Zingoni A. Edge disturbances in spherical shells with varying geometric parameters and support types, with particular reference to thickening on peak stresses. Proc. ICE (Part 2). 91:1991;495-516.
4. Pavlović M.N., Sapountzakis E.J. Computers and structures: non-numerical applications. Comput. Struct. 24:1986;455-474.
5. Beltzer A.I. Engineering analysis via symbolic computation - a breakthrough. Appl. Mech. Rev. 43:1990;119-127.
6. Noor A.K., Andersen C.M. Computerized symbolic manipulation in structural mechanics - progress and potential. Comput. Struct. 10:1979;95-118.
7. Pavelle R., Rothstein M., Fitch J. Computer algebra. Sci. Am. 245:1981;102-113.
8. Foster K.R., Bau H.H. Symbolic manipulation programs for the personal computer. Science. 243:1989;679-684.
9. Brown W.S. ALTRAN user's manual. 1977;Bell Laboratories, Murray Hill, NJ.
10. Wolfram S. MATHEMATICA: a system for doing mathematics by computer. 2nd ed. 1991;Addison Wesley, New York.
11. Mbakogu F.C., Pavlović M.N. Some applications of computer algebra to classical problems in plate theory. Int. J. Mech. Eng. Educ. 27:1999;348-365.
12. Pavlović M.N., Poulton S.M. On the computation of slab effective widths. J. Struct. Eng. (Proc. ASCE). 111:1985;363-377.
13. Holmberg A. Discussion of Ref. [12]. J. Struct. Eng. (Proc. ASCE). 113:1987;1625. (See also Authors' Closure, p. 1625-6).
14. Tahan N., Pavlović M.N., Kotsovos M.D. Single Fourier series solutions for rectangular plates under in-plane forces, with particular reference to the basic problem of collinear compression. Part 1: Closed-form solution and convergence study. Thin-Walled Struct. 15:1993;291-303.
15. Tahan N., Pavlović M.N., Kotsovos M.D. Single Fourier series solutions for rectangular plates under in-plane forces, with particular reference to the basic problem of collinear compression. Part 2: Stress distribution. Thin-Walled Struct. 17:1993;1-26.
16. Tahan N., Pavlović M.N., Kotsovos M.D. Orthotropic rectangular plates under in-plane loading. Part 1: Closed-form solutions for stresses. Compos. Struct. 33:1995;35-48.
17. Tahan N., Pavlović M.N., Kotsovos M.D. Orthotropic rectangular plates under in-plane loading. Part 2: Application of the series solution by reference to the problem of collinear compression. Compos. Struct. 33:1995;49-62.
18. Tahan N., Pavlović M.N., Kotsovos M.D. Shear-lag revisited: the use of single Fourier series for determining the effective breadth in plated structures. Comput. Struct. 63:1997;759-767.
19. Pavlović M.N., Tahan N., Kotsovos M.D. Shear-lag and effective breadth in rectangular plates with material orthotropy. Part 1: Analytical formulation. Thin-Walled Struct. 30:1998;199-213.
20. Pavlović M.N., Tahan N., Kotsovos M.D. Shear lag and effective breadth in rectangular plates with material orthotropy. Part 2: Typical results of parametric studies. Thin-Walled Struct. 30:1998;215-237.
21. Pavlović M.N., Tahan N., Kotsovos M.D. Non-collinearly loaded laminae. Drew H.R., Pellegrino S. New approaches to structural mechanics, shells and biological structures. 2002;189-202 Kluwer Academic Publishers, Dordrecht.
22. Tahan N. Single Fourier series for two-dimensional analysis of plates and box girders. PhD thesis, University of London, 1991.
23. Kotsovos M.D., Pavlovic M.N. Structural concrete: finite-element analysis for limit-state design. 1995;Thomas Telford, London.
24. Luft R.W., Roesset J.M., Connor J.J. Automatic generation of finite element matrices. J. Struct. Div. (Proc. ASCE). 97:1971;349-362.
25. Gunderson R.H., Cetiner A. Element stiffness matrix generator. J. Struct. Div. (Proc. ASCE). 97:1971;363-375.
26. Pedersen P., Megahed M.M. Axisymmetric element analysis using analytical computing. Comput. Struct. 5:1975;241-247.
27. Pedersen P. On computer-aided analytic element analysis and the similarities of tetrahedron elements. Int. J. Numer. Meth. Eng. 11:1977;611-622.
28. Cecchi M.M., Lami C. Automatic generation of stiffness matrices for finite element analysis. Int. J. Numer. Meth. Eng. 11:1977;396-400.
29. Zloković G.M. Group theory and. G -vector spaces in structural analysis: vibration, stability and statics:1989;Ellis Horwood, Chichester.
30. Zloković G.M. Group supermatrices in finite element analysis. 1992;Ellis Horwood, Chichester.
31. Zingoni A., Pavlović M.N., Zloković G.M. A symmetry-adapted flexibility approach for multi-storey space frames. Part 1: General outline and symmetry-adapted redundants. Struct. Eng. Rev. 7:1995;107-119.
32. Zingoni A., Pavlović M.N., Zloković G.M. A symmetry-adapted flexibility approach for multi-storey space frames. Part 2: Symmetry-adapted loads. Struct. Eng. Rev. 7:1995;121-130.
33. Noor A.K., Andersen C.M. Mixed isoparametric elements for Saint-Venant torsion. Comput. Meth. Appl. Mech. Eng. 6:1975;195-218.
34. Noor A.K., Andersen C.M. Mixed isoparametric finite element models of laminated composite shells. Comput. Meth. Appl. Mech. Eng. 11:1977;255-280.
35. Korncoff A.R., Fenves S.J. Symbolic generation of finite element system matrices. Comput. Struct. 10:1979;119-124.
36. Noor A.K., Andersen C.M. Computerized symbolic manipulation in nonlinear finite element analysis. Comput. Struct. 13:1981;379-403.
37. Bardell N.S. The application of symbolic computing to the hierarchical finite element method. Int. J. Numer. Meth. Eng. 28:1989;1181-1204.
38. Barbier C., Clark P.J., Bettess P., Bettess J.A. Automatic generation of shape functions for finite element analysis using REDUCE. Eng. Comput. 7:1990;349-358.
39. Kikuchi M. Application of the symbolic mathematics system to the finite element problem - evaluation of the stiffness matrix of a 4-nodes isoparametric element. Comput. Mech. 5:1989;41-47.
40. Beltzer A.I. Variational and finite element methods: a symbolic computation approach. 1990;Springer, Berlin.
41. Shiakolas P.S., Nambiar R.V., Lawrence K.L., Rogers W.A. Closed-form stiffness matrices for the linear strain and quadratic strain tetrahedron finite elements. Comput. Struct. 45:1992;237-242.
42. Griffiths D.V. Stiffness matrix of the four-node quadrilateral element in closed form. Int. J. Numer. Meth. Eng. 37:1994;1027-1038.
43. Lee C.K., Hobbs R.E. Closed form stiffness matrix solutions for some commonly used hybrid finite elements. Comput. Struct. 67:1998;463-482.
44. Tinawi R.A. Anisotropic tapered elements using displacement models. Int. J. Numer. Meth. Eng. 4:1972;475-489.
45. Subramanian G., Bose C.J. Convenient generation of stiffness matrices for the family of plane triangular elements. Comput. Struct. 15:1982;85-89.
46. Babu D.K., Pinder G.F. Analytical integration formulae for linear isoparametric finite elements. Int. J. Numer. Meth. Eng. 20:1984;1153-1166.
47. Rathod H.T. Explicit stiffness matrices for axisymmetric triangular elements. Comput. Struct. 30:1988;1091-1100.
48. Rathod H.T. Some analytical integration formulae for a four node isoparametric element. Comput. Struct. 30:1988;1101-1110.
49. Lawrence K.L., Nambiar R.V., Bergmann B. Closed form stiffness matrices and error estimators for plane hierarchic triangular elements. Int. J. Numer. Meth. Eng. 31:1991;879-894.
50. Lawrence K.L., Nambiar R.V. Explicit expressions for element coordinate transformations by symbolic manipulation. Comput. Struct. 32:1989;277-280.
51. Wang P.S. FINGER: a symbolic system for automatic generation of numerical programs in finite element analysis. J. Symbol. Comput. 2:1986;305-316.
52. Yagawa G., Ye G.W., Yoshimura S. A numerical integration scheme for finite element method based on symbolic manipulation. Int. J. Numer. Meth. Eng. 29:1990;1539-1549.
53. Wilkins D.J. Applications of a symbolic algebra manipulation language for composite structures analysis. Comput. Struct. 3:1973;801-807.
54. Elishakoff I., Tang J. Buckling of polar orthotropic circular plates on elastic foundation by computerized symbolic algebra. Comput. Meth. Appl. Mech. Eng. 68:1988;229-247.
55. Ioakimidis N.I. Application of MATHEMATICA to the direct solution of torsion problems by the energy method. Comput. Struct. 43:1992;803-807.
56. Pavlovic M.N., Mbakogu F.C. Rayleigh estimates of the fundamental frequencies of vibration of circular plates. J. Sound Vib. 198:1996;389-394.
57. Mbakogu F.C., Pavlovic M.N. Closed-form fundamental-frequency estimates for polar orthotropic circular plates. Appl. Acoust. 54:1998;207-228.
58. Mills R.D. Using a small algebraic manipulation system to solve differential and integral equations by variational and approximation techniques. J. Symbol. Comput. 3:1987;291-301.
59. Elishakoff I., Couch B. Application of symbolic algebra to the instability of a non-conservative system. J. Symbol. Comput. 4:1987;391-396.
60. Mbakogu F.C., Pavlovic M.N. Bending of clamped orthotropic rectangular plates: a variational symbolic solution. Comput. Struct. 77:2000;117-128.
61. Rehak M.L., Dimaggio F.L., Benaroya H., Elishakoff I. Random vibrations with MACSYMA. Comput. Meth. Appl. Mech. Eng. 61:1987;61-70.
62. Benaroya H., Rehak M. The Neumann series/Born approximation applied to parametrically excited stochastic systems. Prob. Eng. Mech. 2:1987;74-81.
63. Rand R.H., Armbruster D. Perturbation methods: bifurcation theory and computer algebra. 1987;Springer, New York.
64. Rizzi N., Tatone A. Symbolic manipulation in buckling and postbuckling analysis. Comput. Struct. 21:1985;691-700.
65. Stanke F.E., Kino G.S. A unified theory for elastic wave propagation in polycrystalline materials. J. Acoust. Soc. Am. 75:1984;665-679.
66. Hirsekorn S. The scattering of ultrasonic waves by multiphase polycrystals. J. Acoust. Soc. Am. 83:1988;1231-1240.
67. Ioakimidis N.I., Anastasselos G.T. Solution of plane elasticity problems with MATHEMATICA. Comput. Struct. 55:1995;229-236.
68. Ioakimidis N.I. The location of discontinuity intervals of sectionally analytic functions: application to the interface crack problem. Comput. Math. Applicat. 21:1990;69-74.
69. Ioakimidis N.I. Crack tip elastic stress field using computer algebra software. Eng. Fract. Mech. 38:1990;95-100.
70. Ioakimidis N.I. Chebyshev approximations to stress intensity factors: an application of DERIVE. Commun. Appl. Numer. Meth. 7:1991;289-293.
71. Ioakimidis N.I. Symbolic computations: a powerful method for the solution of crack problems in fracture mechanics. Int. J. Fract. 43:1990;R39-R42.
72. Ioakimidis N.I., Anastasselou E.G. Constructing elementary databases and using mechanics-related functions and object types in fracture mechanics with MATHEMATICA. Comput. Struct. 47:1993;233-238.
73. Ioakimidis N.I. Construction of singular integral equations for interacting straight cracks by using REDUCE. Eng. Fract. Mech. 40:1991;1179-1184.
74. Ioakimidis N.I. Minimax approximation to stress intensity factors with MATHEMATICA. Comput. Struct. 43:1992;181-183.
75. Ioakimidis N.I., Anastasselos G.T. On the evaluation of stress intensity factors for a simple crack under parametric loading. Comput. Struct. 51:1994;791-794.
76. Ioakimidis N.I., Anastasselos G.T. Direct Taylor-series solution of singular integral equations with MAPLE. Comput. Struct. 45:1992;613-617.
77. Ioakimidis N.I. Application of MATHEMATICA to the direct semi-numerical solution of finite element problems. Comput. Struct. 45:1992;833-839.
78. Ioakimidis N.I. Semi-numerical iterative series solution of linear algebraic equations with MATHEMATICA. Commun. Appl. Numer. Meth. 8:1992;421-429.
79. Ioakimidis N.I. Elementary applications of MATHEMATICA to the solution of elasticity problems by the finite element method. Comput. Meth. Appl. Mech. Eng. 102:1993;29-40.
80. Kutzler B., Stifter S. On the application of Buchberger's algorithm to automated geometry theorem proving. J. Symbol. Comput. 2:1986;389-397.
81. Kapur D. Using Gröbner bases to reason about geometry problems. J. Symbol. Comput. 2:1986;399-408.
82. Ioakimidis N.I., Anastasselou E.G. Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases. Comput. Meth. Appl. Mech. Eng. 110:1993;103-111.
83. Ioakimidis N.I., Anastasselou E.G. Gröbner bases in truss problems with MAPLE. Comput. Struct. 52:1994;1093-1096.
84. Ioakimidis N.I. Symbolic computations for the solution of inverse/design problems with MAPLE. Comput. Struct. 53:1994;63-68.
85. Ioakimidis N.I. Determination of critical buckling loads with Gröbner bases. Comput. Struct. 55:1995;433-440.
86. Anastasselou E.G. Compatibility differential/difference equations in classical beam problems with the characteristic sets method. Adv. Eng. Software. 22:1995;63-68.
87. Ioakimidis N.I. Application of computer-generated finite-difference equations to decision and inverse problems in elasticity. Comput. Struct. 68:1998;529-541.
88. Ioakimidis N.I. Beams on tensionless elastic foundation: approximate quantifier elimination with Chebyshev series. Int. J. Numer. Meth. Eng. 39:1996;663-686.
89. Pavlović M.N., Tsikkos S. Beams on quasi-Winkler foundations. Eng. Struct. 4:1982;113-118.
90. Pavelle R., Wang P.S. MACSYMA from F to G. J. Symbol. Comput. 1:1985;69-100.
91. Velimirović Lj.S. Analysis of bending surfaces using program package MATHEMATICA. Facta Univ. (Archit. Civ. Eng.). 2:1999;15-21.
92. Scott T., Monagan M., Fee G., Corless R. Applications of MAPLE to mathematical, scientific and engineering problems. The MAPLE Tech. Newsletter. 7:1992;11-16.
93. Levasseur K.M. A microworld for elementary group theory. MATHEMATICA Educ. 3(4):1994;5-10.
94. Chee C., Tong L., Steven G. Shape functions generation using MACSYMA. Commun. Numer. Meth. Eng. 16:2000;705-719.
95. Beltzer A.I. Engineering analysis with MAPLE/MATHEMATICA. 1995;Academic Press, London.
96. Sammet J.E. Programming languages: history and fundamentals. 1969;Prentice-Hall, New Jersey.
97. Kahrimanian HG. Analytic differentiation by a digital computer. MS thesis, Temple University (Philadelphia), 1953.
98. Nolan J. Analytic differentiation on a digital computer. Ms thesis, Massachusetts Institute of Technology, 1953.
99. Howard J.C. Practical applications of symbolic computation. 1980;IPC Science and Technology Press, Surrey.