Astrometrical and geodetical applications of VLBI “ARC METHOD”

Abstract

The geodetic and astrometric potentialities of radiointerferometric “arc-method” are considered. This method is a logical generalization of differential astrometry method, achieved through the expulsion of all non-invariant with respect to 3 - dimensional rotations and non - constant in time parameters. The brief theory of method is given. An algorithme of processing of radiointerferometric information for the construction of a catalogue on arcs, cited as an example for two - element interferometer, is brought. The question of optimal interferometer’s base orientations and observational regimes has been studied analytically. The estimations of accuracy are given for the determination geodesic and geodynamical parameters through the standard arcs. The question of application of arc - method for verification of relativistic gravitation theories is discussed.

Towards interval techniques for model validation

“…One of the most accurate methods of finding the unit vector e k in the direction to a distant astronomical radio-source is Very Large Baseline Interferometry (VLBI); see, e.g., [3,4,13,15]. In VLBI, we measure the time delay τ i,j,k between the signal observed by antennas i and j.…”

“…, ym are directions e k , locations b i , and clock biases ∆t i . When we performed sufficiently many measurements in each group g, we have more measured values than the unknowns y j and thus, we can meaningfully estimate the model's accuracy; for details, see [3,4].…”

Trade-Off between Sample Size and Accuracy: Case of Dynamic Measurements under Interval Uncertainty

“…Let us consider a general situation when we perform measurements with a guaranteed accuracy ∆, and when we measure the quantity x at n different points t (1) , . .…”

ALPS: a logic for program synthesis (motivated by fuzzy logic)

“…So we will just mention a real-life problem in solving which one of the authors (V.K.) participated [4,5,6]. In Very Long Baseline Interferometry:…”