The invention relates to a multi-targeting method for measuring distance according to the phase measuring principle and a computer program product.
In the area of non contact distance measurement, various measuring principles and measuring methods are known, which are described, for example, in the text books “J. M. Rüeger: Electronic Distance Measurement, 4th Edition; Springer, Berlin, 1996” and “R. Joeckel & M. Stober: Elektronische Entfernungs—und Richtungsmessung [Electronic distance and direction measurement] 4th Edition; 4. Auflage; Verlag Konrad Wittwer, Stuttgart, 1999”. Commercially available electrooptical distance measuring devices operate chiefly according to the phase measuring principle or the pulse transit time measurement principle; cf. for example Joeckel & Stober, chapter 13.
The mode of operation of these devices consists in transmitting modulated electromagnetic radiation, for example intensity-modulated light, to the targets to be surveyed and then receiving one or more echoes from the back-scattering objects, which are ideally exclusively the targets to be surveyed. The signal evaluation of the received echo is a standard technical task for which a multiplicity of solutions, in particular with the use of optical systems, was realised. In geodesy and the construction industry, tacheometers which are equipped with rangefinders measuring without reflectors have increasingly become established in recent years.
Distance measurement without reflectors often leads to situations in which the measured beam emitted by the rangefinder simultaneously impinges on a plurality of objects. This happens, for example, during the surveying of an edge; if it is measured, a part of the beam strikes the object with the edge while another part of the beam illuminates an object behind or the floor. A further example is a retroreflector which is present in the vicinity of a weakly reflecting target object and passes scattered light into the receiver of the rangefinder. A similar situation occurs if, unintentionally and often also unnoticed, the beam impinges on objects between the actual object to be measured and the instrument, for example in the case of distance measurements through window panes, tree branches, wire fences or wire grids.
In such multi-targeting situations, a conventional phase meter which outputs a single distance generally gives a false measurement, i.e. a measured distance value which contains an error which is far outside the specified accuracy of measurement. Transit-time meters can more easily recognise and handle multi-targeting situations provided that the targets are so far apart and the transmitted pulses are of a sufficiently short time that the echoes thereof can be detected and kept apart. In addition, transit-time meters have a larger range since their pulses can have a higher intensity than the continuously transmitted signals of the phase meters, without infringing eye safety regulations.
In spite of these two advantages of transit time meters, most customary tacheometers are equipped with phase meters because only in this way can they achieve the required accuracy of distance measurement in the mm or even sub-mm range with an effort suitable for field applications. The reliability of these devices would be substantially increased if their phase meters were to have multi-targeting capabilities.
WO 2004/074773 or EP 1 450 128 discloses a hybrid system for deriving geodetic distance information, in which a light signal is transmitted to one or more targets. Device components, such as transmitter and receiver, together with the targets are modelled as a linear time-invariant system which is activated by a signal and the system response of which is recorded. In contrast to pure transit time or phase meters, the distance information is derived both from the displacement as a function of time and from the signal shape of the system response.
Thus, the multi-targeting for phase meters which has not been technically realised or has been only with considerable complexity in hybrid systems proves to be a substantial disadvantage of all distance measuring principles known to date, once again only phase meters providing, with acceptable effort, the accuracy required for many applications. A main reason for this situation is the view, widespread among those skilled in the art and explicitly expressed, for example, in EP 1 450 128, that pure or exclusive phase meters, i.e. those which use no time signals, do not in principle have multi-targeting capabilities.
The object of the present invention is therefore the provision of a simplified measuring method which is suitable for field use, has high accuracy and has multi-targeting capabilities.
A further object of the present invention is the provision of a pure phase measuring method which has inherent multi-targeting capabilities.
According to the invention, the signals received by the phase meter can be processed so that distance measurements to a plurality of targets are possible simultaneously with the high accuracy characteristic of phase meters, it being possible for the number of these targets to be known from the outset or to be unknown. In the latter case, it is also the object of the signal processing to determine the number of simultaneously surveyed targets or, if appropriate, to negate the presence of a surveyable target.
The present invention relates to a mathematical algorithmic method for simultaneous measurement of the distances to a plurality of spatially separated targets by means of a phase meter, it being possible for the latter to be designed by way of example as an electrooptical phase meter. A simple example of such a multi-targeting situation is the distance measurement to a house wall through a window pane, the distances to the house wall and to the window pane being simultaneously measured.
The prejudice of those skilled in the art that pure phase meters do not have multi-targeting capability is promoted in that the technical literature, including that already cited, represents the phase measuring principles in relation to a single target and generally by means of sinusoidal measuring signals and is thus strongly based on the view.
According to the invention, formal access to the problem via a mathematical signal model which links the digital signal data generated by the phase meter quantitatively to the unknown target distances is therefore chosen. The design of this signal model is not driven by the view but by the logical requirements which arise from the desire to be able to determine the target distances from the signal data unambiguously and with an acceptable computational effort. The unknown target distances are interpreted as parameters of this signal model which—together with all other unknown model parameters—are to be estimated “optimally” from the signal data. The measuring task at issue is therefore formulated and solved as a statistical parameter estimation problem.
Below, the signal model on which the signal processing is based is formulated, explained and continuously supplemented or further specified. In relation to this model, the distance measuring task is formulated as a maximum likelihood parameter estimation problem and, according to the invention, this is reduced to a maximisation problem in such a way that the solution thereof also comprises in particular online signal identification. This nonlinear and non-concave maximisation problem can be solved efficiently according to the invention by a numerical method.
The formulation, explanation and further processing of the signal model requires standard notation and standard terminology of the mathematics used and in particular of numerical linear algebra, as used, for example in the standard work “G. H. Golub & C. F. Van Loan: Matrix Computations, 3rd Edition; The Johns Hopkins University Press, Baltimore, 1996”. The mathematical symbols used in this patent and the associated terminology are explained below.
The symbol ε represents the set theory relation “is an element of”. In general, the sets are as follows:
set of rational numbers,
For a,b ε,
For xε, ┌x┐:=min{nε|n≧x}ε, └x┘:=max{nε|n≦x}ε, and
is the (only) real number for which rd(x):=x−<x>ε. For z=x+i·yε,
designates the real part of z,
designates the imaginary part of z, |z|:=√{square root over (
For the set and m,nε, m×n designates the set of m×n matrices
with μjiε,
For Mεm×n,
designates the matrix transposed to Mεm×n. If Mεm×m satisfies the equation MT=M, then M is called symmetrical; if Mεm×m has identical elements along each of its diagonals, then M is called a Toeplitz matrix; and if the Toeplitz matrix Mεm×m has the special form
then M is called a circulant matrix. For a function Φ: →′,
Mεm×n; in particular Φ(MT)=[Φ(M)]T. If < is a binary relation defined in and M,M′εm×n, then M<M′ is equivalent to μji<μ′ji for all l≦i≦m & l≦j≦n. m is written instead as m×1; m therefore designates the set of (column) vectors T
with μiε for l≦i≦m. For Mεm×n, iε{1, . . . , m}, jε{1, . . . , n}, M(i,:)ε×n or M(:,j)εm denotes the i th row vector or j th column vector of M, and
designates the vector which forms as a result of writing the column vectors of Mεm×n one under the other. For Mεm×n and M′εm×n′, [M,M′]Εm×(n+n′) designates the matrix with [M,M′](:,j)=M(:,j) for l≦j≦n and with [M,M′](:,j)=M′(:,j−n) for n<j≦n+n′; analogously, Mεm×n and M′εm′×n give rise to the matrix
For Wεl×m and Zεm×n, W·Zεl×n designates the usual matrix product of W and Z, and ZH:=
of the matrices W and Z, the latter only being defined if Z contains no matrix element 0. Finally, for Wεk×l and Zεm×n,
designates the Kronecker product of W and Z. For
is the diagonal matrix with diagonal z and all other elements 0.
In particular, m designates the m-dimensional Euclidean vector space with the scalar product
for x,yεm, and m designates the m-dimensional unitary vector space with the scalar product
for w,zεm; for xεm or zεm, ∥x∥2:=√{square root over (xT·x)}ε
with all components zero or 1 is referred to as zero vector or unit vector, respectively. The matrix Om×nε0m×n with all components of 0 is referred to as m×n zero matrix and the matrix Imεm×m with diagonal elements 1 and all other elements 0 is referred to as m×m identity matrix.
For Zεm×n (K= or =), R(Z):={wεm|w=Z·z,zεn}⊂m designates the value range of Z, Z+εn×m designates the Moore-Penrose pseudo-inverse of Z, as explained, for example, in §III.1.1 of the book “G. W. Stewart & J-G. Sun: Matrix Perturbation Theory; Academic Press, Inc., Boston, 1990”, and PZ=Z·Z+εm×m and PZ⊥′=Im−PZεm×n designate the orthogonal projections of m onto R(Z)⊂m or onto the orthogonal complement [R(Z)]⊥⊂m of R(Z) in m, as explained, for example, in §III.1.2 of the abovementioned book. For Zεm×n, Rank(Z)ε, designates the rank of Z, i.e. the dimension of the subspace R(Z)⊂m. If Zεm×m has the full rank m, then Z is invertible and Z+=Z−1 is true for its inverse Z−1.
The expected value of the random matrix Zεm×n (= or =) is designated by [Z]εm×n.
The physical relationships of the signal reception of a phase meter are mathematically modelled below.
The Kε targets to be surveyed simultaneously, where K may be known or unknown, at different unknown distances D1,D2, . . . , DKε from the transmitter/receiver are irradiated sequentially, based on time, with Nε periodic signals of known half-wavelengths
Λ1>Λ2> . . . >ΛN>0 (1-0)
which may be intensity-modulated light or infrared waves, microwaves, sound waves or ultrasonic waves or waves of other types.
The n th signal effected by some or all K targets is detected by the receiver located constructionally closest or directly adjacent to the transmitter, electrically converted, filtered and sampled equitemporally for Inε periods, Mε times per period, it being possible to average the In digital sampling values lying one period apart each to give the digital distance signal data snmε, l≦m≦M, l≦n≦N.
For stationary targets whose positions, attitudes, shapes and reflective properties with respective to the transmitter/receiver do not change during the measurement, the equations
constitute an expedient mathematical model of the distance signal data snm, where the symbols occurring (1-1) and not yet explained have the following meaning:
phase position of the n th signal, l≦n≦N,
The object of the signal processing is to determine the unknown distances D1, . . . , DKε from the M·N numbers snmε, l≦m≦M, l≦n≦N. To enable it to do so, it must know the “system behaviour”, i.e. some of the variables occurring in (1-1) must be assumed to be known. Model hypotheses in this regard can be more concisely formulated if the equations (1-1) are written as a matrix equation. For this purpose, the dimensionless variables
the vectors
the matrices
and the function Σ: M×N→M×N,
are introduced, by means of which the M·N scalar equations (1-1) go into the matrix equation representing the measuring signal model
Below, the preconditions under which equation (1-6) can be solved for given distance signal data SεM×N for the variables dεK primarily of interest are analysed. According to the model, the system configuration parameters M,Nε (and consequently xε[0,1[M) and λε+N are known whereas the parameters aεN, Aε+K×N and
are unknown. The identity
dk·λ+y=(dk+δ)·λ+(y−δ·λ), δε, kε{1, . . . , K}, (1-7)
clearly shows that dεK is unambiguously determinable under favourable circumstances when there is sufficient knowledge about
In addition, the signal shapes Σn:→, l≦n≦N must obviously be at least partly known.
The usual method for obtaining the required knowledge about
and about Σd×N→M×N, i.e. for performing system identification, is the following: the N periodic signals with half-wavelengths (1-0) are fed before and/or after the distance measurement via a reference distance within the device and of length 2·D0ε or via a target within the device at a distance D0ε from the transmitter to the receiver, where they are sampled in the same way as the distance measuring signals and averaged to give digital calibration signal data s±nmε, l≦m≦M, l≦n≦N, the subscript− characterising the precalibration (before the measuring) and the subscript+ characterising the postcalibration (after the measurement). The calibration signal data were therefore also modelled according to (1-1) or (1-6), but with K=1 and d=d0ε,
With a uniform transmitting power of the phase meter during the entire measurement, which is required according to the model, the generality
A−=A+:=1NT (1-9)
can be set without restriction so that the matrix equation
results. The setting (1-9) “normalises” the target amplitudes occurring in the measuring signal model (1-6): Ank is the intensity of the n th signal reflected by the k th target, l≦k≦K, l≦n≦N, measured as dimensionless multiples of the amplitude of the internal target.
The preconditions “uniform transmitting power” and “stationary targets” make it appear necessary to model the target amplitudes identically for all transmitted signals, i.e. to stipulate
A=A(:,1)·1NTε+K×N (1-11)
However, it is found in practice that (1-11) frequently contradicts reality, which is plausible since the medium through which distances are measured, typically the Earth's atmosphere, is often non-stationary during the measurements. The assumption that the target amplitudes of different distance measuring signals are in proportion to one another is more realistic and can be expressed by the stipulation
Rank(A)=1 (1-12)
Because of Rank(A)≦K, (1-12) is a restriction only in the multi-target case K>1, which is unrealistic in certain situations, for example when the medium through which the measurement is made is highly inhomogeneous and non stationary. The equations (1-11) and (1-12) are therefore only optional additions to the measuring signal model (1-6).
The identity (1-7), which is also true for k=0 with y± instead of y, shows that
can be determined from the calibration signal data S±εM×N at best when d0ε is T known, which can be assumed according to the model since a reference distance within the device or target within the device can be realised on the part of the apparatus and can be precisely measured. If only one (pre- or post-) calibration is carried out, there is no expedient alternative to the “stationary” model hypothesis
y=y− or y=y+, (1-13)
which postulates identical phase positions of distance and calibration measuring signals. This postulate stipulates freedom of the receiving electronics from drift and is consequently far from reality. If a precalibration and a postcalibration are carried out, a non-stationary relationship between the phases which describes the physical circumstances more realistically can be postulated. A simple deterministic phase drift model is the usual first-order differential equation
with the solutions set
y(t)(1-14)=y∞+η∘e−t·v, tε, ηεN, (1-15)
which is interpreted as follows: the phases yεN—since according to the model the signals are 1-periodic functions,
can be replaced by the specification yεN—were moved, for example by switching processes, out of the equilibrium positions y∞εN assumed according to the model, to which they now return at speeds which are proportional to their deflections from the equilibrium positions, it being possible for vε
If τ−nε+ or τ+nε+ designates the mean time which elapses between the precalibration measurement and the distance measurement or between the distance measurement and the postcalibration measurement with the n th signal, l≦n≦N, (1-15) with the aid of the vectors
gives the relationships
if, for each component in (1-15), the time scale is individually chosen so that each distance measurement takes place at the time 0. From (1-17), it furthermore follows
where, in the case of vn=0, the right side of (1-18) is replaced according to L'Hôpital's rule by the limit
nε{1, . . . , N}, and, since calibration measurements serve inter alia the purpose of obtaining knowledge about the phase positions yεN via y±εn, (1-18) implies that the variables v,τ−,τ+ε+N must be assumed to be known according to the model. This is not unrealistic since the times τ±ε+N can be measured, and vε+N can be determined from special measurements in which the internal target is surveyed instead of external targets, i.e. the internal target is surveyed three times in succession.
(1-17) results in
which, when substituted in (1-10), gives the matrix equations
constituting a calibration signal model.
The equations (1-6) and (1-21) are constituents of the (overall) signal model, which can be optionally supplemented by the sub-condition (1-11) or (1-12) and on which the signal processing is based.
The 1-periodicity of the function Σ:M×N→M×N assumed according to the model and (1-6) imply that, in the case λεN in which all components of λ are rational numbers, an infinite number of dεK produce the same distance signal data SεM×N. Since N is tight in N, i.e. every vector in can be approximated as accurately as desired by a vector from N, in practice infinite ambiguity is general with regard to dεK; unambiguity can be forced only by additional requirements. Usually,
d−·1K≦d<d+·1K (1-22)
with specified measuring range limits d−<d+ or
is required, the bounds d±ε and D±ε being chosen so that unambiguity is guaranteed.
Finally, the noise components W,W±εM×N of the distance and calibration signal data S,S±εM×N are also unknown. To enable the equations (1-6) and (1-21) nevertheless to be “solved” for dεK, the statistical behaviour of the noise must be—at least structurally—known.
is therefore modelled as a random matrix with probability density n:3·M×N→+ which—at most apart from some parameters characterising it—is assumed to be known. The modelling of the noise a as random matrix and the specification of its probability density n: 3·M×N→+ are a constituent of the signal model which supplements (1-6) and (1-21).
The mathematically simplest model assumption relating to n which however is rather far from reality owing to the limitation of the distance and calibration signal data S,S±εM×N is a normal distribution with
where C(n),C±(n)εM×M designates symmetrical positive definite matrices which are assumed to be known, l≦n≦N, δnl=1 if n=l and δnl=0 otherwise, and σε+ designates an unknown scaling factor. Model hypothesis (1-23) postulates in particular the lack of correlation between the distance and calibration signal data of different received signals; it reflects the situation that signals of different half-wavelengths and distance and calibration measuring signals are transmitted and received at separate times. The unknown scaling factor σε+ makes it clear that only the relative noise values, but not the absolute ones, are assumed to be known. (1-23) gives the probability density
on which the signal processing is based.
The question arises as to how the signal model equations (1-6) and (1-21) are to be “solved” for dε[d−·1K,d+·1K[⊂K.
A tried and tested approach is to estimate dε[d−·1K,d+·1K[—and necessarily also y,ηεN, a,a±εN, Aε+K×N and the parameters characterising Σ:M×N→M×N—in the sense of maximum likelihood (ML), as described, for example, in chapter 18 of the standard work “A. Stuart, J. K. Ord & S. Arnold: Kendalls's Advanced Theory of Statistics, Volume 2A, 6th Edition; Arnold, London, 1999”, i.e. to assign to them the values {circumflex over (d)}ε[d−·1K,d+·1K[, etc, which maximise the probability density n(W−, W, W+) if the random matrices W,W±εM×N according to the signal model (1-6) and (1-21) are substituted by the distance and calibration signal data S,S±εM×N and the model parameters. Since the covariance matrices C(n),C±(n)εM×M, l≦n≦N—which logically is not necessary but is expedient in practice—are assumed to be known, a standard argument of estimation theory shows that these so-called ML estimated values {circumflex over (d)}ε[d−·1K,d+·1K[, etc for dε[d−·1K,d+·1K[, etc are characterised in the case of (1-24) as the minimum of the sum
in which the random matrices W,W±εM×N according to the signal model (1-6) and (1-21) are substituted by the distance and calibration signal data S,S±εM×N and the model parameters. In particular, the ML estimated values are independent of the scaling parameter σε, which shows that the ML estimated values are independent of the average noise level, which of course is not true for the quality thereof.
The knowledge of the signal shapes Σ:M×N→M×N required by the signal model (1-6) and (1-21) prompts as simple a choice as possible thereof. Conventional (one-target) phase meters typically use sinusoidal signals of different frequencies. This classical choice is inexpedient in the multi-target case; more expedient are sums of sinusoidal fundamental frequencies and some of their lowest harmonics. In practice, these can be produced by emitting non-sinusoidal periodic signals which have a major part of their energy in the low-frequency part of their spectrum and filtering their echoes reflected by the targets by means of a low-pass filter so that only the Lε lowest harmonics of their Fourier decompositions contribute to the distance and calibration signal data. For such signal shapes, it is possible to use the approach
with the unknown parameters
the condition Im{B(1,:)}=ONT eliminating the irrelevant degrees of translational freedom of the signal shapes Σn→, l≦n≦N.
The 3·M·N scalar signal data S,S±εM×N may then be seen—provided that neither (1-11) nor (1-12) is considered—alongside the K+(4+K+2·L−1)·N unknown real parameters dεK, y,ηεN, a,a±εN, AεK×N, Re{B},Im{B}εL×N, so that at least the following should be true
In practice, the number M of signal samplings per signal period is chosen to be much greater than required by (3-2); an expedient choice is
which can be assumed according to the model.
If, in agreement with customary practice, the noise of the n th receiving channel is modelled as a mean value-free stationary Gaussian process, and it is assumed, in line with usual technical practice, that the M-fold equitemporal sampling per signal period of the n th received signal takes place in an uninterrupted time sequence during Inε signal periods, a calculation based on probability theory shows that the covariance matrices C(n),C±(n)εM×M are symmetrical Toeplitz matrices which, for a sufficiently short correlation time of the Gaussian process and for sufficiently large In, are approximately and, at the limit In→∞, are even exactly circulant, l≦n≦N. Since 1000 is a typical order of magnitude for In, it is not unrealistic to assume that the covariance matrices C(n),C±(n)εM×M as an additional constituent of the signal model are circulant, l≦n≦N.
The circulant matrices ZεM×M are exactly those which the discrete Fourier transformation FMεM×M in M, i.e. the complex-value unitary and symmetrical matrix with elements
unitarily diagonalises, i.e. for which FM·Z·FMHεM×M is diagonal. This situation makes it possible to represent the symmetrical covariance matrices C(n),C±(n)εM×M assumed to be positive definite and circulant as follows:
Each of the matrices C(n),C±(n)εM×M can therefore be specified by [M/2] positive parameters. It will be found that the ML estimated values depend only on the 3·L parameters σ−nl,σnl,σ+nlε+, l≦l≦L, the values of which can be learnt about by means of a suitable noise-identification method and are therefore assumed according to the model to be known.
The ML estimation of the unknown parameters of the signal model from the distance and calibration signal data S,S±εM×N or the minimisation of (2-0) is a complex and extremely computationally intensive undertaking, not least because the signal model contains numerous parameters whose values are not even of interest. It is therefore appropriate analytically to eliminate as many of the uninteresting model parameters as possible from the minimisation.
If the equations (1-6), (1-21), (3-0) and (3-5) are substituted into the sum (2-0) to be minimised, the matrices S,S±εM×N occur only in the products FM·S,FM·S±εM×N, and it is expedient to write the elements thereof, if they are required, in polar form: because of S,S±εM×N, FM·S, FM·S±εM×N have the unambiguous representations
With the aid of the matrices
Q,Q±,Q′εL×N
with
and the vectors
set, nε{1, . . . , N}), it emerges from (3-0), (3-5) and (4-0)-(4.4) that the minimisation of (2-0) is equivalent to the maximisation of the function £K,L:K×N×K×N→ defined according to
The ML estimated values {circumflex over (δ)}ε[δ−·1K,δ+·1K[, {circumflex over (ζ)}εN and Âε+K×N for RT the unknown model parameters δε[δ−·1K,δ+·1K[, ζεN and Aε+K×N are consequently characterised as the maximum ({circumflex over (δ)},{circumflex over (ζ)},Â) of the function £K,L in [δ−·1K,δ+·1K[×N×K×N, it optionally also being possible to observe boundary condition (1-11) or (1-12).
It is evident from (4-5) that, in the case of λεN, the function £K,L:K×N×K×N→ is periodic with respect to its first argument; this prompted the limitation (1-22). However, the second argument of £K,L also gives rise to uncertainty in the first argument, as can be shown for the simplest special case K=L=1: because of
the numbers {circumflex over (ζ)}lnε, lεZ, are candidates for maxima of £1.1. Since it can be shown that the complex numbers
lie close together on the unit circle in the complex plane if βnε, is irrational, the supremum over ζnε of the n th summand of £1.1 for arbitrary δε[δ−,δ+[ and An1ε is therefore
an expression which is independent of δ.
The conclusion from the above finding is that the phase drift model (1-14) cannot guarantee the unambiguous determinability of the distances δε. It must consequently be replaced by a more restrictive model or further limited. Since the phase drift model (1-14) together with model approach (3-5) has permitted the elimination of the parameters
and BεL×N from the estimation task and hence a substantial reduction in the complexity of the problem, the second alternative is preferred.
The above analysis of (4-5) in the special case K=L=1 reveals the cause of the undesired ambiguity: the phase drift model (1-14) permits individual phases to “migrate through” an arbitrary number of periods in the time between precalibration and post calibration; however, this cannot be determined by only two calibration measurements. It is therefore expedient to stipulate
between precalibration and postcalibration, the phase drifts should be so small that phase ambiguities are ruled out. This is a requirement with regard to the hardware, which is logically indispensable with only two calibration measurements but can also be technically realised. Because
and (4-4), (4-9) is equivalent to
the maximisation of £K,L should therefore take place in accordance with the model while maintaining the condition (4-11).
The reduction of the minimisation of (2-0) to the maximisation of the function £K,L:K×N×K×N→ defined according to (4-5) in the set
has the abovementioned advantage that it eliminates the parameters
and BεL×N, which specify the transmitted signals according to (3-0), (1-6) and (1-21),
The maximisation of £K,L instead of the minimisation of (2-0) thus comprises in particular an online identification of the transmitted signals. This advantage is achieved with the high nonlinearity of the function £K,L, which has many local maxima in the set B, which considerably complicates its maximisation. Although there are global numerical maximisation methods, when applied to the highly non-concave function £K,L these would require an unacceptable computational effort. Consequently, routes feasible in practice for maximising £K,L lead via iterative maximisation methods which, starting from an initial value ({circumflex over (δ)},{circumflex over (ζ)},Â)εK×N×K×N converge to a local maximum ({circumflex over (δ)},{circumflex over (ζ)},Â)εB of £K,L, which is hopefully a global maximum of £K,L in B. Such iterative maximisations—although non trivial—are routine tasks of numerical optimisation for which numerous tried and tested algorithms are available. Since the first and second derivatives of the £K,L defined according to (4-5) can be calculated analytically, efficient methods for the iterative maximisation of £K,L in B can be used.
More problematic is the provision of an initial value ({circumflex over (δ)},{circumflex over (ζ)},Â)εK×N×K×N which is close to a global maximum of £K,L in B. The latter is necessary since iterative maximisation methods are typically designed so that they converge to a local maximum closest to the initial value. A method which calculates such an initial value is given below.
The guiding principle of this method is to choose as the initial value ({circumflex over (δ)},{circumflex over (ζ)},Â)εK×N×K×N an approximate value of a global maximum of the function £K,K:K×N×K×N→ defined according to (4-5), i.e. to choose L=K and to ignore the optional boundary conditions (1-11) and (1-12). If K is unknown, K is first chosen as a maximum number of targets simultaneously to be surveyed. Below, it is shown how such an initial value can be calculated with the assumption
As can be seen from (4-0) and (4-1), assumption (6-0) postulates that all signals contain non-vanishing harmonic components of the orders up to and including K and each measuring signal reflected by the targets contains at least one non-vanishing harmonic component of the order ≦K. This postulate can be technically easily fulfilled with a sufficiently large number of N of signals, some of which however are excluded from the signal processing, or by means of an adaptive choice of the half-wavelengths (1-0).
By suitable mathematical transformation of the n th outer summand
of the function £K,K defined according to (4-5), it is possible to show that this function £Kn:K××K→ assumes its maximum exactly when ζnε is chosen as the maximum {hacek over (ζ)}nε—which owing to (4-11) preferably has the smallest magnitude—of the function γn:→ defined according to
l≦n≦N, and when λn·δεK and A(:,n)εK assume values {hacek over (ε)}nεK and {hacek over (A)}nε
is true. That for each nε{1, . . . , N} the K equations (6-3) can be solved for {hacek over (ε)}nε and {hacek over (A)}nε
The constructional evidence for Carathéodory's proposition, given by G. Szegö in §4.1 of the monograph “U. Grenander & G. Szegö: Toeplitz Forms and their Applications; University of California Press, Berkely & Los Angeles, 1958”, shows how the Carathéodory representation can be numerically calculated, and it also shows that where—for fixed nε{1, . . . , N}—not all K numbers on the right in (6-3) disappear and a certain matrix occurring in the course of the calculations has full rank K,
{hacek over (A)}nε+K, and {hacek over (A)}n is unambiguously determined, (6-4) solve {hacek over (ε)}n,{hacek over (ε)}n′εK(6-3), thus {hacek over (ε)}n−{hacek over (ε)}n′εK, nε{1, . . . , N},
has different components in pairs
Precondition (6-0) and the specification of {hacek over (ζ)}ε as the maximum of (6-2) guarantee that for each nε{1, . . . , N} all denominators and at least one numerator of the K numbers on the right in (6-3) are not zero, with the result that a necessary precondition for the validity of (6-4) is fulfilled. Since the rank of said matrix has to be decided for each nε{1, . . . , N} as a part of the numerical calculation of the Carathéodory representation, it is decided for each nε{1, . . . , N} whether (6-4) is true or not. If full rank is established for most signals, the other signals can be excluded from the ML estimation or signal processing; otherwise, K can be reduced so that the first case occurs. It is therefore always possible to bring about a situation in which (6-4) is true, which is assumed from now on.
If the maxima (6-2) and the Carathéodory representation (6-3) in the vector or in the matrices
are combined, it follows from the above statements that the function £K:K×N×N×K×N→+ defined according to
assumes its maximum for any integral matrix EεK×N and any desired permutation matrices Jnε{0,1}K×K, nε{2, . . . , N}, in
Since by definition
is true, maximisation of £K,K is therefore equivalent to minimisation of the difference
for (δ,ζ,A)εK×N×K×N and for any desired matrices EεK×N and permutation matrices Jnε{0,1}K×K, nε{2, . . . , N}.
The function £K:K×N×N×K×N→ defined according to (6-6) can be differentiated as often as desired, and its first two derivatives
can be calculated analytically. Known propositions of the mathematical analysis state that £′K or the so-called Hesse matrix £Kn evaluated at the maxima (6-7) vanishes or is symmetrical or negatively semidefinite; in addition, £Kn at the maxima (6-7) is independent of EεK×N. If the function on the right in (6-9) is replaced by its second-order Taylor series around the maximum of £K on the left in (6-9), the following quadratic approximation of the difference (6-9) to be minimised results:
and the block diagonal matrix
with permutation matrices Jnε{0,1}K×K in the diagonal, nε{2, . . . , N}. In addition, (6-4) implies the positive definiteness of the matrix Lε(2·K+1)·N×(2·K+1)·N defined according to (6-12). The quadratic function (6-11) is therefore never negative, and a minimum ÊεK×N, Ĵε{0,1}K·N×K·N, ({circumflex over (δ)},{circumflex over (ζ)},Â)εK×N×K×N can thus be calculated from (6-11); ({circumflex over (δ)},{circumflex over (ζ)},Â) is then an approximate value for a maximum of the function £K,K defined according to (4-5), and it is chosen as an initial value for the iterative maximisation of £K,L.
The introduction of the matrix EεK×N into the calculation of the initial value is not surprising: its components configure the integral ambiguities which are also characteristic of single-target phase meters and which have their origin in the inability of the phase meters to measure distances with a single signal; these are obtained only computationally from the interaction of a plurality of measurements with signals of different half-wavelengths. More surprising is the occurrence of the permutation matrix (6-13) which, in the single-target case (K=1), is the identity matrix and therefore does not appear in the case of conventional single-target phase meters. Although it appears because every received signal can be decomposed by means of Carathéodory representation (6-3) according to the targets, the signal components cannot however be unambiguously assigned to the targets; this assignment in turn can only be determined from the interaction of a plurality of measurements with signals of different of half-wavelengths. In order to keep these two different ambiguities apart, the conventional ambiguities configured EεK×N are referred to as distance ambiguities while the new ambiguities configured by Jε{0,1}K·N×K·N are referred to as assignment ambiguities. Since the Âε30 K×N given by the Carathéodory representations (6-3) are a measure of the strength of the echoes of the simultaneously surveyed targets, the assignment ambiguity can be resolved by ordering of these amplitudes in cases where these amplitudes differ consistently and strongly from one another. If this is not the case, a minimum of (6-11) can be found by examining all (K!)N−1 possible assignments.
The minimisation of the quadratic function (6-11) leads to the following result:
where RεK·N×K·N is the right Cholesky factor of the Schur complement of L22ε(N+K·N)×(N+K·N) in Lε(2·K+1)N×(2·K+1)·N which inherits the positive definiteness of L, i.e.
(6-16)
RT·R=L11−L21T·L22−1·L21, RεK·N×K·N is a right triangle with diag(R)εK·N,
and
(6-17)
G(J):=R·J·[λ{circle around (×)}IK]εK·N×K with Jε{0,1}K·N×K·N according to (6-13; the matrices ÊεK×N and Ĵε{0,1}K·N×K·N occurring in (6-14) and (6-15) are the minima of the square of the vector norm (6-18)
∥PG(J)⊥·R·[E+{hacek over (E)}](:)∥22, EεK×N and Jε{0,1}K·N×K·N according to (6-13).
Owing to the integrality requirement EεK×N, the minimisation of (6-18)—for every choice of Jε{0,1}K·N×K·N according to (6-13)—is the so-called integral quadratic fit problem. The manner in which it can be solved efficiently according to the invention is described below.
Integral ambiguities occur in many technical systems; the most well known example is GPS [Global Positioning System]. An efficient method for solving integral quadratic fit problems, the so-called LAMBDA method [Least Squares Ambiguity Decorrelation Algorithm], therefore also originates from this application; it is described, for example in §8 of the book “P. J. G. Teunissen & A. Kleusberg (Eds.): GPS for Geodesy, 2nd Edition; Springer, Berlin, 1998” and in the article “P. de Jonge & C. Tiberius: The LAMBDA Method for Integer Ambiguity Estimation: Implementation Aspects; LGR-Series, Publications of the Delft Geodetic Computing Centre, TU Delft, January 1996”.
A precondition for the applicability of the LAMBDA method or of a related method is that the coefficient matrix of the fit problem must have full rank. However, it is precisely this which is not fulfilled in the case of (6-18): in fact, (6-17), (6-16), (6-13) and (1-2) result in (7-0) Rank(G(J))=K, Jε{0,1}K·N×K·N according to (6-13), and hence
Rank(PG(J)⊥·R)=(6-16)Rank(PG(J)⊥)=(7-0)K·(N−1), Jε{0,1}K·N×K·N according to (6-13); (7-1)
the coefficient matrix PG(J)⊥·RεK·N×K·N in (6-18) therefore has rank defect K.
Efficient methods for solving integral quadratic fit problems are therefore not directly applicable to (6-18), and the method described for calculating the initial value is suitable in practice only when the rank defect in (6-18) can be efficiently eliminated. A method which performs this is described below.
The starting point of this method is to choose the half-wavelengths (1-0) so that they have rational ratios to one another, i.e. so that
where ggT(p)ε designates the greatest common devisor of the components of pεN.
A further part of the method is the choice of a unimodular supplement of pεN i.e. a matrix P′εN×(N−1) such that
In (7-3) ZN:={ZεN×N∥det(Z)|=1}⊂N×N designates the set of the so-called unimodular N×N matrices which is a group with respect to the matrix multiplication; its elements are the automorphisms of N. (7-3) results in particular in
qεN is therefore a so-called ggT coefficient vector for pεN, i.e. ggT(p) can be written as a linear combination of the components of pεN with coefficients from qεN. A set of the elementary number theory guarantees the existence of unimodular supplements (for N>2, there is even an infinite number) of vectors pεN of the form (7-2), and numerical number theory provides algorithms which calculate these efficiently. For example, algorithm 3 in the article “G. Havas, B. S. Majewski & K. R. Matthews: Extended GCD and Hermite Normal Form Algorithms via Lattice Basis Reduction; Experimental Mathematics 7:2 (1998), pages 125-136”, corrected in “G. Havas, B. S. Majewski & K. R. Matthews: Extended GCD and Hermite Normal Form Algorithms via Lattice Basis Reduction (addenda and errata); Experimental Mathematics 8:2 (1999), page 205”, which calculates, for pεN, a matrix QεZN which fulfils (7-3) and has elements of small magnitude, can be modified so that, instead of Q, it generates its inverse P=[P′,p] or both together.
A further part of the method is the transformation of variables
in ZK·N; the following are applicable for it:
(7-5) and (7-6) result in
and (7-6), (6-13), (7-3) and (7-1) result in
The square of the vector norm on the right in (7-7) therefore has a coefficient matrix of full rank, and its minimum ê′(J)εK·(N−1) can be efficiently calculated for any Jε{0,1}K·N×K·N, for example by means of the LAMBDA method or a related method. If necessary, the integral quadratic fit problem (7-7) is solved for each of the permutation matrices (6-13); the smallest of these (K!)N−1 minima then specifies the minimum (Ĵ,ê′(Ĵ))ε{0,1}K·N×K·N×K·(N−1), from which ÊεK×N is calculated according to (7-5), where enεK can be arbitrarily chosen. This gives
Equation (7-9) illustrates the p1-periodicity of the initial value {circumflex over (δ)}εK, which is a consequence of the p1-periodicity of the function £K,K defined according to (4-5) in the case of (7-2). The limits of the range (4-3) for (1-22) should therefore be chosen so that
δ+−δ−≦p1 or d+−d−≦p1 (7-11)
is true, which unambiguously specifies enεK in (7-9). Equation (7-10) shows that the initial values ({circumflex over (ζ)},Â)εN×K×N calculated according to (6-14) are not dependent on the limits of the range (7-11).
The above-described calculation of the initial value requires a considerable computational effort, and it is desirable to have available a simpler method, which at most is only of limited applicability. Such a method is described below
In order to justify the method, the ideal case of noise-free received signals is considered: if
W=OM×N=W± (8-0)
is set, the distance and calibration signal data S,S±εM×N are unambiguously specified by the “true values”, postulated by the model, of the parameters according to (1-6) and (1-21) which occur in the signal model. If these “true values” of δε[δ−·1K,δ+·1K], ζεN and AεK×N are designated with
and from this it follows, owing to (4-1) that (
W=OM×N=W±({circumflex over (δ)},{circumflex over (ζ)},Â)=(
which corresponds to behaviour which is expected by any respectable estimator.
Because K≦L,
Also follows from (6-3), (8-1) and (4-1) and, because of (6-4),
follows therefrom for suitably chosen permutation matrices
which, because of the choice of {hacek over (ζ)}nε as the maximum with the smallest magnitude of the function (6-2) for nε{1, . . . , N}, implies
{hacek over (ζ)}={circumflex over (ζ)}. (8-6)
The identities (8-4) indicate that, with suitably chosen numbering of the targets, there are according to (6-13) matrices ÊεK×N and
is true. This implies
i.e. (6-18) or (7-7) can be set to zero, which shows that the minimisation of the square of the vector norm (7-7) for noise-free signals also gives the “true parameter values”
which, because p1ε, is equivalent to
The above statements show that, in the ideal case of noise-free signals, the estimated ML value ({circumflex over (δ)},{circumflex over (ζ)},Â) can be calculated via maximisations of the functions (6-2), via Carathéodory representations (6-3) and via formula (8-10), provided that it is possible to learn the estimated ML value Ĵε{0,1}K·N×K·N for the assignment ambiguity. As already noted, this is trivial in the case K=1, and targets with substantially different echo strengths are easily possible in the case of K>1; otherwise, it is possible to attempt to determine Ĵε{0,1}K·N×K·N from formula (8-10), which is applied to many ggT coefficient vectors qεN of pεN.
The simplified calculation of the initial value now consists in applying the method just described to the real noise-containing distance and calibration signal data S,S±εM×N. The minimisation of (7-7) is thus replaced by the simpler calculation of ggT coefficient vectors qεN for pεN, which preferably have components of small magnitude, and which are used in formula (8-10). The justification of this simplified method makes it advisable to use it only in situations of low-noise received signals.
The multi-targeting method according to the invention for measuring distance according to the phase measuring principle is explained in more detail below, purely by way of example, with reference to working examples shown schematically in the drawing. Specifically,
An unambiguous decomposition of the reflected radiation or of the received signals is possible if higher harmonic components are also taken into account in the signal reception and signal evaluation.
Number | Date | Country | Kind |
---|---|---|---|
05107764 | Aug 2005 | EP | regional |
Filing Document | Filing Date | Country | Kind | 371c Date |
---|---|---|---|---|
PCT/EP2006/008184 | 8/18/2006 | WO | 00 | 2/19/2008 |
Publishing Document | Publishing Date | Country | Kind |
---|---|---|---|
WO2007/022927 | 3/1/2007 | WO | A |
Number | Name | Date | Kind |
---|---|---|---|
5138322 | Nuttall | Aug 1992 | A |
5204732 | Ohmamyuda et al. | Apr 1993 | A |
5563701 | Cho | Oct 1996 | A |
6040898 | Mrosik et al. | Mar 2000 | A |
6509958 | Pierenkemper | Jan 2003 | B2 |
6906302 | Drowley | Jun 2005 | B2 |
7202941 | Munro | Apr 2007 | B2 |
20030164936 | Mehr et al. | Sep 2003 | A1 |
20040107063 | Weilenmann | Jun 2004 | A1 |
20050151956 | Chien et al. | Jul 2005 | A1 |
20060114146 | Lindenmeier et al. | Jun 2006 | A1 |
Number | Date | Country |
---|---|---|
10348104 | Feb 2008 | DE |
1450128 | Aug 2004 | EP |
09054156 | Feb 1997 | JP |
2006266772 | Oct 2006 | JP |
2007024715 | Feb 2007 | JP |
Number | Date | Country | |
---|---|---|---|
20080243430 A1 | Oct 2008 | US |