Result verification for computational problems in geodesy

Abstract

The subject of the paper is to present verified methods to solve three important geodetic problems: The Direct and Inverse Problem of geodetic surveying and the three-dimensional resection problem, often also designated as the main problem of Photogrammetry. The Direct Problem reads as follows: Given a point p on a rotational ellipsoid E, a direction tangential to E and a distance, determine the point q which is reached after "walking" the given distance along a geodesic on E, starting at p in the given direction, and compute the direction of the geodesic in q. In the Inverse Problem there are given two points p, q on E, and one has to compute the length of a geodesic on E connecting p and q as well as its directions in p and q. It is shown that the Direct Problem can be treated as an ordinary initial value problem with verified solvers like AWA. The inverse problem is much more complicated because no characteristic quantity of the geodesic is known. In fact it is an ordinary open boundary value problem and the question whether it is uniquely sovable must be treated. It is shown how to compute an enclosure of the direction of the geodesic in one point. By the aid of this enclosure the problem can be solved by a verified shooting technique using again solvers like AWA. The three-dimensional resection problem can be reduced to the problem to find the set S of all real positive s1, s2, s3 satisfying the equations s22 + s32 - 2s2s3c1 = a12 s 32 + s12 - 2s3s 1c2 = a22 s12 + s22 - 2s1s2c3 = a 32 where Ci, ai, i = 1,2,3, are real parameters restricted by the inequalities -1 < ci < 1, i = 1,2,3, 1 - c12 - c22 - c 32 + 2c1c2c3 ≥ 0, ai > 0, i = 1,2,3, a1 + a2 > a3,a 2 + a3 > a1, a3 + a1 > a2. There are discussed three approaches for constructing algorithms for computing narrow inclusions of S. In the first one the fact is used that an initial box containing S can be easily derived. Consequently standard modules like GlobSol or nlss can be applied to achieve the goal. © Springer-Verlag 2001.