Computer Algebra Solving of First Order ODEs Using Symmetry Methods

A set of Maple V R.3/4 computer algebra routines for the analytical solving of 1st. order ODEs, using Lie group symmetry methods, is presented. The set of commands includes a 1st. order ODE-solver and routines for, among other things: the explicit determination of the coefficients of the infinitesimal symmetry generator; the construction of the most general invariant 1st. order ODE under given symmetries; the determination of the canonical coordinates of the underlying invariant group; and the testing of the returned results.Comment: 14 pages, LaTeX, submitted to Computer Physics Communications. Soft-package (On-Line Help) and sample MapleV session available at: http://dft.if.uerj.br/symbcomp.htm or ftp://dft.if.uerj.br/pdetool

Real-time adaptive aircraft scheduling

One of the most important functions of any air traffic management system is the assignment of ground-holding times to flights, i.e., the determination of whether and by how much the take-off of a particular aircraft headed for a congested part of the air traffic control (ATC) system should be postponed in order to reduce the likelihood and extent of airborne delays. An analysis is presented for the fundamental case in which flights from many destinations must be scheduled for arrival at a single congested airport; the formulation is also useful in scheduling the landing of airborne flights within the extended terminal area. A set of approaches is described for addressing a deterministic and a probabilistic version of this problem. For the deterministic case, where airport capacities are known and fixed, several models were developed with associated low-order polynomial-time algorithms. For general delay cost functions, these algorithms find an optimal solution. Under a particular natural assumption regarding the delay cost function, an extremely fast (O(n ln n)) algorithm was developed. For the probabilistic case, using an estimated probability distribution of airport capacities, a model was developed with an associated low-order polynomial-time heuristic algorithm with useful properties

Analytical Solving of Partial Differential Equations using Symbolic Computing

This work presents a brief discussion and a plan towards the analytical solving of Partial Differential Equations (PDEs) using symbolic computing, as well as an implementation of part of this plan as the PDEtools software-package of commands.Comment: 6 pages, LaTeX, to be published in the Proceedings of "Computing in High Energy Physics" (CHEP-1995), World Scientific Publishing Co. Soft-package: file pdetools, available at ftp://152.92.4.69/pdetools

Computer Algebra Solving of Second Order ODEs Using Symmetry Methods

An update of the ODEtools Maple package, for the analytical solving of 1st and 2nd order ODEs using Lie group symmetry methods, is presented. The set of routines includes an ODE-solver and user-level commands realizing most of the relevant steps of the symmetry scheme. The package also includes commands for testing the returned results, and for classifying 1st and 2nd order ODEs.Comment: 24 pages, LaTeX, Soft-package (On-Line help) and sample MapleV sessions available at: http://dft.if.uerj.br/odetools.htm or http://lie.uwaterloo.ca/odetools.ht