Application of computer-generated finite-difference equations to decision and inverse problems in elasticity

Computers and Structures

Volumn 68, Issue 5, 1998, Pages 529-541

  Ioakimidis, Nikolaos I ^a  

^a UNIVERSITY OF PATRAS   (Greece)

Author keywords

Computer algebra; Concentrated forces; Cracks; Decision problems; Elasticity; Finite difference equations; Gr bner bases; Holes; Inverse problems; Torsion

Indexed keywords

ALGEBRA; ALGORITHMS; COMPUTER AIDED ANALYSIS; CRACKS; DECISION THEORY; DIFFERENCE EQUATIONS; FINITE DIFFERENCE METHOD; INVERSE PROBLEMS; TORSIONAL STRESS;

COMPUTER ALGEBRA;

ELASTICITY;

EID: 0032167296     PISSN: 00457949     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0045-7949(98)00061-3     Document Type: Article

References (50)

1. Dally JW, Riley WF. Experimental stress analysis. 3rd ed. New York: McGraw-Hill, 1991.
2. Timoshenko SP, Goodier JN. Theory of elasticity. 3rd ed. New York: McGraw-Hill, 1970.
3. Zienkiewicz OC, Morgan K. Finite elements and approximation. New York: Wiley, 1983.
4. Char BW, Geddes KO, Gonnet GH, Leong BL, Monagan MB, Watt SM. Maple V library reference manual. New York: Springer, 1991.
5. Corless RM, Essential Maple: an introduction for scientific programmers. New York: Springer, 1995.
6. Buchberger B. Applications of Gröbner bases in non-linear computational geometry. In: Janßen R, editor. Trends in computer algebra, Proceedings of an International Symposium, Bad Neuenahr, May 1987. Lecture Notes in Computer Science, Berlin: Springer, 1998;296:52-80.
7. Cox D, Little J, O'Shea D. Ideals, varieties, and algorithms: an introduction to computational algebraic geometry and commutative algebra. New York: Springer, 1992.
8. Becker T, Weispfenning V, Kredel H. Gröbner bases: a computational approach to commutative algebra. New York: Springer, 1993.
9. Mishra B. Algorithmic algebra. New York: Springer, 1993.
10. Chou SC, Mechanical geometry theorem proving. Dordrecht: Reidel, 1988.
11. Wang D. An implementation of the characteristic set method in Maple. In: Pfalzgraf J, Wang D, editors. Automated practical reasoning: algebraic approaches. Buchberger B, Collins GE, editors. Texts and Monographs in Symbolic Computation, Wien: Springer, 1995;187-201.
12. Buchberger B, Collins GE, Kutzler B. Algebraic methods for geometric reasoning. In: Traub JF et al, editors. Annual review of computer science. Palo Alto: Annual Reviews, 1988;3:85-119.
13. Wu W-t. Mechanical Theorem Proving in Geometries -Basic Principles. In: Buchberger B, Collins GE, editors. Texts and Monographs in Symbolic Computation. Springer, Wien, 1994.
14. Zhang J, Yang L, Deng M. The parallel numerical method of mechanical theorem proving. Theoretical Computer Science 1990;74:253-71.
15. Kalker-Kalkman CM. An implementation of Buchberger's algorithm with applications to robotics. Mechanism and Machine Theory 1993;28:523-37.
16. Ioakimidis NI, Anastasselou EG. Application of Gröbner bases to problems of movement of a particle. Computers and Mathematics with Applications 1994;27(3):51-7.
17. Ioakimidis NI, Anastasselou EG. Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases. Computer Methods in applied Mechanics and Engineering 1993;110:103-11.
18. Anastasselou EG. Determination of the loading at infinity from the stress intensity factors with computer algebra software. International Journal of Fracture 1993;63:R35-9.
19. Ioakimidis NI, Anastasselou EG. Derivation of the equation of caustics in Cartesian coordinates with Maple. Engineering Fracture Mechanics 1994;48:147-9.
20. Ioakimidis NI. The equation of caustics in Cartesian coordinates for mixed-mode stress intensity factors. Engineering Fracture Mechanics 1996;54:441-3.
21. Ioakimidis NI. Computer-generated formulae for the location of straight cracks. Engineering Fracture Mechanics 1995;51:847-50.
22. Ioakimidis NI. Symbolic computations for the solution of inverse/design problems with Maple. Computers & Structures 1994;53:63-8.
23. Ioakimidis NI. Determination of critical buckling loads with Gröbner bases. Computers & Structures 1995;55:433-40.
24. Ioakimidis NI, Anastasselou EG. Gröbner bases in truss problems with Maple. Computers & Structures 1994;52:1093-6.
25. Lakmazaheri S. Constraint-based reasoning via Gröbner bases. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 1997;11:5-15.
26. Anastasselou EG. Compatibility differential/difference equations in classical beam problems with the characteristic sets method. Advances in Engineering Software 1995;22:63-8.
27. Ioakimidis NI. Detecting loading/geometrical singularities in isotropic elastic media with Gröbner bases, submitted, 1997.
28. Ioakimidis NI. Numerical verification of equations in applied mechanics: comments on the inexpensive alternative to computer algebra, submitted, 1997.
29. Chou SC, Gao XS. Methods for mechanical geometry formula deriving. In: Watanabe S, Nagata M, editors. ISSAC '90: Proceedings of the 1990 International Symposium on Symbolic and Algebraic Computation, Tokyo, Aug. 1990. New York: ACM Press and Addison-Wesley, Reading, MA, 1990:265-270.
30. Cohen AM, Davenport JH, Heck AJP. An overview of computer algebra. In: Cohen AM, editors. Computer Algebra in Industry: Problem Solving in Practice, Proceedings of the 1991 SCAFI Seminar at CWI, Amsterdam, Dec. 1992. Wiley, Chichester, 1993:1-52.
31. Aliabadi MH, Rooke DP. Numerical fracture mechanics. Computational Mechanics Publications, Southampton, and Kluwer, Dordrecht, 1991.
32. Hills DA, Kelly PA, Dai DN, Korsunsky AM. Solution of crack problems: the distributed dislocation technique. Kluwer, Dordrecht, 1996.
33. Wolfram S. The mathematica book. 3rd ed. Wolfram Media, Champaign, IL, and Cambridge University Press, Cambridge, 199?.
34. Ioakimidis NI. A numerical replacement of computer algebra methods for the derivation of polynomial equations in mechanics. Advances in Engineering Software 1997;28:539-47.
35. Ioakimidis NI. Locating a crack of arbitrary but known shape by the method of path-independent integrals. International Journal of Solids and Structures 1993;30:1939-56.
36. Matsuyama T, Nitta T. Geometric theorem proving by integrated logical and algebraic reasoning. Artificial Intelligence 1995;75:93-113.
37. Arnon DS, Buchberger B, Algorithms in real algebraic geometry. Academic Press, London, Reprinted from the Journal of Symbolic Computation, 1988;5.
38. Hong H, Ed. Computational quantifier elimination. The Computer Journal 1993special;36(5issue):.
39. Hong H, Liska R, Eds. Applications of quantifier elimination. Journal of Symbolic Computation 1997special;24(2issue):.
40. Caviness BF, Johnson JR, Eds. Quantifier elimination and cylindrical algebraic decomposition Springer, Wien 1997in;(press):.
41. Ioakimidis NI. Beams on tensionless elastic foundation: approximate quantifier elimination with Chebyshev series. International Journal for Numerical Methods in Engineering 1996;39:663-86.
42. Ioakimidis NI. Inequality constraints in rectangular finite/boundary elements. Computers & Structures 1996;60:415-31.
43. Ioakimidis NI. Conditions for contact/lack of contact along a loaded simple straight crack in plane isotropic elasticity. Engineering Fracture Mechanics 1997;56:675-89.
44. Ioakimidis NI. Lack-of-contact conditions for a penny-shaped crack under a polynomial normal loading. Acta Mechanica 1996;117:229-35.
45. Ioakimidis NI. Inequality constraints in one-dimensional finite elements for an elastic beam on a tensionless Winkler foundation. Finite Elements in Analysis and Design 1996;24:67-75.
46. Ioakimidis NI. Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition. International Journal of Solids and Structures 1997;34:4037-70.
47. Ioakimidis NI. Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints. Communications in Numerical Methods in Engineering 1998in;14(press):.
48. Kapur D, Lakshman YN. Elimination methods: an introduction. In: Donald BR et al., editors. Symbolic and Numerical Computation for Artificial Intelligence. London: Academic Press, 1992:45-87.
49. Zimmermann Th, Eyheramendy D. Object-oriented finite elements I. Principles of symbolic derivations and automatic programming. Computer Methods in Applied Mechanics and Engineering 1996;132:259-76.
50. Buchberger B, Jebelean T, Kriftner F, Marin M, Tomuţa E, Vasaru D. A survey on the Theorema project. In: ISSAC '97: Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, Maui, Hawaii, July 1997. ACM Press, New York, 1997.