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.
Similar content being viewed by others
references
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.
Haton (J. P.), Haton (M. C). L’intelligence artificielle.Coll. Que-sais-je?, PUF (1990), n° 2444.
Silvester (P.). Symbolic computation as a basis numerical methods.Int. Conf. on Comp. Electromagnetics, IEE, London, UK (25–28 Nov. 1991), pp. 1–5.
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.
***. Colloque Histoire de l’Informatique (3e) : Sophia Antipolis/INRIA (13–15 Oct. 1993).
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.
***. Focus report on software : math and visualization : new tools, new frontiers.IEEE Spectrum (Nov. 1995), pp. 18-65.
Duval (D.) Calcul symbolique : automatisation en cours.La Recherche (Oct. 1996), n° 291, pp. 64-71.
***. Macsyma mathematics and system reference manual, 16th edition, Macsyma graphics and user interface reference manual.16th edition by Macsyma Inc. (1996).
Hearn (A. C). Reduce user’s manual, version 3.3.Report CP 78, The Rand Corporation (July 1987).
Char (B.), Geddes (K.), Gonnet (G.), Leong (B.), Monagan (M.), Watt (S.). Maple V language reference manual.Springer-Verlag (1992).
Holmes (H. H.), Ecker (J. G.), Boyce (W. E.), Siegman (W. L.). Exploring calculus with Maple.Addison-Wesley (1993).
Mclaughlin (R.). Calculus and Maple V.Sounders College (1993).
Kreyszig (E.), Normington (E. J.). Maple computer manual for advanced engineering mathematics.John Wiley &Sons, Inc. (1994).
Mathews (D. M.), Schwingendorf (K. E.). Precalculus investigations using Maple V.Harper Callings College (1994).
Fateman (R. J.). A review of Mathematica.Journal of Symbolic Computation (1992),13, pp. 545–579.
Zimmerman (A.), Olness (F. I.). Mathematica for physics.Addison-Wiley (1996).
Bahder (T. B.). Mathematica for scientists and engineers.Addison-Wiley (1996).
Sfeir (A. A.). Mathematica, une nouvelle approche du calcul scientifique.Angkor (1996).
Gander (W.), Hrebicek (J.). Solving problems in scientific computing using Maple and Matlab. Springer Verlag, 2nd edition (1996).
***. Biran, Matlab for engineers.Addison Wesley (1996).
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).
Jerry (J.), Benny (E.). Discovering calculus with Derive. Second Edition,John Wiley and Sons, Inc. (1995).
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.
Abouzahra (M. D.), Pavelle (R.). Computer algebra applied to radiation from microstrip discontinuities.Journal of Symbolic Computation (1990),10, pp. 525–528.
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.
Franceschetti (G.), Pinto (I. M.). Who is who in nonlinear electromagnetics.Electromagnetics (1991),11, n° 3-4, pp.281–308.
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.
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.
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.
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.
Boyd (J. P.). Chebychev and Legendre spectral methods in algebraic manipulation languages.Journal of Symbolic Computation (1993),16, pp. 377–399.
Castellvi (P.), Jaen (X.), Llanta (E.). ttc: symbolic tensor and exterior calculus.Computers in Physics (1994),8, n° 3, pp. 360–367.
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.
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.
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.
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.
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.
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.
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.
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).
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.
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).
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.
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.
Cecchini (R.), Pelosi (G.). Applications of computer algebra systems in electromagnetics education.Computer Applications in Engineering Education (1993),1, n° 5, pp. 433–443.
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.
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.).
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.
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).
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.
Author information
Authors and Affiliations
Corresponding author
Rights 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
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02996073
Key words
- Computer algebra
- Electromagnetism
- Review
- Computer aid
- Software package
- Patch antenna
- Printed antenna
- Conformai antenna
- Cylindrical configuration
- Conical configuration
- Methodology