Skip to main content
Log in

Computer algebra systems applied to some electromagnetic problems

Les systèmes de calcul formel appliqués À quelques problèmes d’électromagnétisme

  • Published:
Annales Des Télécommunications Aims and scope Submit manuscript

Abstract

This paper deals with computer algebra systems and explains how these systems are likely to be extremely relevant in addressing electromagnetic problems. After a historical survey, it discusses the various off-the-shelf systems and their features. We suggest how given problems can be formalized and analysed using symbolic algebra systems. Several applied examples are given, with an important bibliography. We study the flat and conformai microstrip antennas : Green’s functions, solutions of the characteristic equations, and so on. We give many informations on the computer algebra systems on the Internet network.

Résumé

Cet article présente les systèmes de calcul formel et explique de quelle manière ils peuvent être d’un grand intérêt pour résoudre des problèmes électromagnétiques. Après avoir traité des aspects historiques, les différents systèmes disponibles sur le marché avec leurs caractéristiques sont présentés. Pour un problème donné, des indications pour le formaliser et organiser le logiciel symbolique sont données ainsi que de nombreux exemples d’application et une bibliographie importante relative au sujet. Le cas des antennes imprimées planes et conformées : fonctions de Green, solutions des équations caractéristiques, etc. est proposé ainsi que de nombreuses sources d’informations sur les systèmes de calcul formel, comme par exemple les serveurs accessibles par Internet.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

references

  1. Sammet (J.). Symbolic computation : The early days (1950–1971). InProceedings of the International conference on computers and mathematics in Standford University (July 1986) (New York and Basel, 1990), Chudnovsky (D. V.) and Jenks (R. D.), eds, n° 125. InLectures Notes in Pure and Applied Mathematics,Marcel Dekker, Inc.

  2. Haton (J. P.), Haton (M. C). L’intelligence artificielle.Coll. Que-sais-je?, PUF (1990), n° 2444.

  3. Silvester (P.). Symbolic computation as a basis numerical methods.Int. Conf. on Comp. Electromagnetics, IEE, London, UK (25–28 Nov. 1991), pp. 1–5.

    Google Scholar 

  4. Davenport (J. H.), Siret (Y.), Tournier (E.). Computer algebra, systems and algorithms for algebraic computation, 2nd edition.Academic Press, London (1993), ISBN 0-12-209232-8.

    MATH  Google Scholar 

  5. ***. Colloque Histoire de l’Informatique (3e) : Sophia Antipolis/INRIA (13–15 Oct. 1993).

  6. Farrenry (H.). L’intelligence artificielle, une discipline originale avec ses problèmes et ses techniques.Ann. Télécommunic. (mai- juin 1989),44, n° 5-6, pp. 207–217.

    Google Scholar 

  7. ***. Focus report on software : math and visualization : new tools, new frontiers.IEEE Spectrum (Nov. 1995), pp. 18-65.

  8. Duval (D.) Calcul symbolique : automatisation en cours.La Recherche (Oct. 1996), n° 291, pp. 64-71.

  9. ***. Macsyma mathematics and system reference manual, 16th edition, Macsyma graphics and user interface reference manual.16th edition by Macsyma Inc. (1996).

  10. Hearn (A. C). Reduce user’s manual, version 3.3.Report CP 78, The Rand Corporation (July 1987).

  11. Char (B.), Geddes (K.), Gonnet (G.), Leong (B.), Monagan (M.), Watt (S.). Maple V language reference manual.Springer-Verlag (1992).

  12. Holmes (H. H.), Ecker (J. G.), Boyce (W. E.), Siegman (W. L.). Exploring calculus with Maple.Addison-Wesley (1993).

  13. Mclaughlin (R.). Calculus and Maple V.Sounders College (1993).

  14. Kreyszig (E.), Normington (E. J.). Maple computer manual for advanced engineering mathematics.John Wiley &Sons, Inc. (1994).

  15. Mathews (D. M.), Schwingendorf (K. E.). Precalculus investigations using Maple V.Harper Callings College (1994).

  16. Fateman (R. J.). A review of Mathematica.Journal of Symbolic Computation (1992),13, pp. 545–579.

    Article  MATH  MathSciNet  Google Scholar 

  17. Zimmerman (A.), Olness (F. I.). Mathematica for physics.Addison-Wiley (1996).

  18. Bahder (T. B.). Mathematica for scientists and engineers.Addison-Wiley (1996).

  19. Sfeir (A. A.). Mathematica, une nouvelle approche du calcul scientifique.Angkor (1996).

  20. Gander (W.), Hrebicek (J.). Solving problems in scientific computing using Maple and Matlab. Springer Verlag, 2nd edition (1996).

  21. ***. Biran, Matlab for engineers.Addison Wesley (1996).

  22. Bohm (J.). Teaching mathematics with Derive.Proceedings of the international school on the didactics of computer algebra, Krems, Austria, Chartwell-Bratt, Ltd (27-30 Apr. 1992).

    Google Scholar 

  23. Jerry (J.), Benny (E.). Discovering calculus with Derive. Second Edition,John Wiley and Sons, Inc. (1995).

  24. Garbey (M.), Kaper (H. G.), Kwong (M. K.). Symbolic manipulation software and the study of differential equations.Workshop on asymptotic analysis and numerical solution of partial differential equations, Argonne, IL, USA (26–28 Feb. 1990), 25 p.

    Google Scholar 

  25. Abouzahra (M. D.), Pavelle (R.). Computer algebra applied to radiation from microstrip discontinuities.Journal of Symbolic Computation (1990),10, pp. 525–528.

    Article  MATH  Google Scholar 

  26. Maes (P.), Willems (P.Y). Symbolic generation of aircraft simulation programmes. InAGRAD, Computer Aided System Design and Simulation, Université catholique de Louvain, Belgique (Aug. 1990), 9 p.

    Google Scholar 

  27. Franceschetti (G.), Pinto (I. M.). Who is who in nonlinear electromagnetics.Electromagnetics (1991),11, n° 3-4, pp.281–308.

    Article  Google Scholar 

  28. Gerdt (V. P.). Computer algebra, symmetry analysis and integrability of nonlinear evolution-equations.4th International Conference on Computational Physics (Physics Computing 92), Prague, Czech republic (24–28 Aug. 1992), pp. 52–59.

  29. Crowley (J. M.). A computer algebra approach to Laplace’s equation.Conference Proceedings, 8th Annual Review of Progress in Applied Computational Electromagnetics, Monterey, CA, USA (16–20 March 1992), pp. 135–142 of XIV + 635 pp.

  30. Yoda (K.). Symbolic computation for inverse boundary-value problems and its application to impedance tomography reconstruction.IEEE Trans, on Magnetics (1993), 2, pp. 1943–1945.

    Article  Google Scholar 

  31. Dresse (A.). Treatment of dummy variables and brst theory in computer algebra.Proceedings SC 93. International IMACS Symposium on Symbolic Computation. New trends and developments. Editors : Jacob G., Oussous N.E., Steinberg S., Lille, France : LIFL Univ. Lille (1993), pp. 110–119 of vu + 239 pp. 6 refs.

  32. Boyd (J. P.). Chebychev and Legendre spectral methods in algebraic manipulation languages.Journal of Symbolic Computation (1993),16, pp. 377–399.

    Article  MATH  MathSciNet  Google Scholar 

  33. Castellvi (P.), Jaen (X.), Llanta (E.). ttc: symbolic tensor and exterior calculus.Computers in Physics (1994),8, n° 3, pp. 360–367.

    Article  Google Scholar 

  34. Andronov (I. V.), Bouche (D.). Calcul du second terme de l’exposant linéique de propagation des ondes rampantes par une méthode de couche limite.Ann. Télécommunic. (1994),49, n° 3-4, pp. 199–204.

    Google Scholar 

  35. Frisch (U.), Wolff (I.). Iterative calculation of the spectral-domain Green’s function for arbitrary layered anisotropic media and conductors of finite thickness.European Microwave Conference (EuMC), Cannes, Fr. (5–8 Sep. 1994),1, pp. 242–247.

    Google Scholar 

  36. Ghio (G.), Damiano (J. P.). Original analysis of conformai multilayer microstrip antennas using a symbolic algebra system.European Microwaves Conference, Cannes, Fr. (5–8 Sep. 1994),2, pp. 1253–1258.

    Google Scholar 

  37. Yakoub (M. C), Baudrant (H.). Efficient approach to optimum nonlinear circuit analysis.European Microwave Conference (EuMC), Cannes, Fr. (5–8 Sep. 1994),1, pp. 842–847.

    Google Scholar 

  38. Ogunye (A. B.), Penlidis (A.). Advanced state space analysis using computer algebra.Proceedings of the American Control Conferences, Seattle, Washington, USA (June 1996), pp. 559–563.

  39. Markovic (V.), Petkovic (P.), Litovski (V.). Symbolic approach to the microwave circuit design.XI International Conference Mikon, Warsaw, Poland (27–30 May 1996), pp. 541–545.

    Google Scholar 

  40. Staraj (R.), Ribero (J. M.), Damiano (J. P.), Papiernik (A.). Accurate synthesis computer aided design model of microstrip ring antennas.XI International Conference Mikon, Warsaw, Poland (27–30 May 1996), 2, pp. 413–417.

    Google Scholar 

  41. Damiano (J. P.), Ghio (G.). Computer algebra systems : new facilities in electromagnetism.XXVe Assemblée générale de l’Union Radio-Scientifique Internationale (URSI), Lille, Fr. (28 août -5 sep. 1996), p. 125 (BP.81).

  42. Damiano (J. P.), Scotto (M.), Ribero (J. M.). New application of an algebraic tool to fast analysis and synthesis of conformai printed antennas.Electronics Letters (1996),32, n° 22, pp. 2033–2034.

    Article  Google Scholar 

  43. Damiano (J. P.), Scotto (M.), Ribero (J. M.), Nicotra (P.). Fast and accurate algebraic tool for cad applied to the analysis and synthesis of printed antennas on conical and spherical surfaces.Journées Internationales de Nice sur les Antennes (JINA), Nice, Fr. (12–14 Nov. 1996).

  44. Damiano (J.-P.), Papiernik (A.). A simple and accurate model for the resonant frequency and the input impedance of printed antennas.International Journal of Microwave and Millimeter- Wave Computer-Aided Engineering (1993),3, n° 4, pp. 350–361.

    Article  Google Scholar 

  45. Drska (L.), Liska (R.), Sinor (M.). Computer algebra and integrated computing systems in education of physical sciences.4th International Conference on Computational Physics (Physics Computing 92), Prague, Czech republic (24–28 Aug. 1992), pp. 320–321.

    Google Scholar 

  46. Cecchini (R.), Pelosi (G.). Applications of computer algebra systems in electromagnetics education.Computer Applications in Engineering Education (1993),1, n° 5, pp. 433–443.

    Google Scholar 

  47. Damiano (J. P.), Ghio (G.), Capolsini (P.). Original symbolic analysis of conformai multilayer microstrip antennas.Journées Internationales de Nice sur les Antennes, Nice, Fr. (8–10 Nov. 1994), pp. 87–90.

  48. Ghio (S.), Damiano (J. P.), Scotto (M.). Application du calcul formel à l’analyse rigoureuse des antennes imprimées.Journées Nationales Microondes, Actes du Congrès, CNAM, Paris, Fr. (3–5 Apr. 1995), pp. 4D18 (2 p.).

  49. Damiano (J. P.), Ghio (G.). Computer algebra systems applied to electromagnetic problems.Progress In Electromagnetic Research Symposium, Innsbruck, Austria (8–12 July 1996), p. 304.

    Google Scholar 

  50. Ribero (J. M.), Pirinoli (P.), Damiano (J. P.). Powerful algebraic tool for the analysis and synthesis of conformai microstrip antennas.IEEE Antennas and Propagation International Symp., Montreal, Canada (13–18 July 1997).

    Google Scholar 

  51. Damiano (J. P.), Scotto (M.), Ribero (J. M.). The computer algebra systems and the electromagnetic problems.IEEE Antennas and Propagation Magazine (Dec. 1996),38, n° 6, pp. 92–98.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jean-Pierre Damiano.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Damiano, JP., Ghio, G. Computer algebra systems applied to some electromagnetic problems. Ann. Télécommun. 52, 306–318 (1997). https://doi.org/10.1007/BF02996073

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02996073

Key words

Mots clés

Navigation