Научная статья на тему 'Optimal measurement of dynamically distorted signals'

Optimal measurement of dynamically distorted signals Текст научной статьи по специальности «Математика»

CC BY
102
29
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ОПТИМАЛЬНОЕ ИЗМЕРЕНИЕ / ДИНАМИЧЕСКИ ИСКАЖЕННЫЕ СИГНАЛЫ / РЕЗОНАНСЫ / ОПТИМАЛЬНОЕ УПРАВЛЕНИЕ / СИСТЕМЫ ЛЕОНТЬЕВСКОГО ТИПА / OPTIMAL MEASUREMENT / DYNAMICALLY DISTORTED SIGNALS / RESONANCES / OPTIMAL CONTROL / LEONTIEF TYPE SYSTEM

Аннотация научной статьи по математике, автор научной работы — Shestakov A. L., Sviridyuk G. A.

There has been suggested new approach to measure a signal distorted as by inertial measurement transducer, as by its resonances.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Optimal measurement of dynamically distorted signals»

УДК 517.9 + 681.2.08

OPTIMAL MEASUREMENT OF DYNAMICALLY DISTORTED SIGNALS

A.L. Shestakov, G.A. Sviridyuk

ОПТИМАЛЬНОЕ ИЗМЕРЕНИЕ ДИНАМИЧЕСКИ ИСКАЖЕННЫХ СИГНАЛОВ

А.Л. Шестаков, Г.А. Свиридюк

There has been suggested new approach to measure a signal distorted as by inertial measurement transducer, as by its resonances.

Keywords: optimal measurement, dynamically distorted signals,

resonances, optimal control, Leontief type system.

Предложен новый подход к измерению сигнала, искаженного не только инерционностью измерительного устройства, но и его резонансами.

Ключевые слова: оптимальное измерение, динамически искаженные сигналы, резонансы, оптимальное управление, системы леонтьевского типа.

Introduction

Dynamic measurement theory has appeared and has been developing as a part of inverse problems theory [1]. To investigate short-time signals that tend to appear, say, when spacecraft’s position correction takes place, one of coauthors [2] has recommended measurement transducer (MT) mathematical model, which priory was used within automatic control theory [3].

x = Ax + Du, у = Cx (1)

Here x = x(t) is a vector-function of MT states, x — (x%,x2, ■ ■ ■ ,xn), и = u(t) and у = y(t) are vector-functions of measuring signal and observation respectively, и = ■ ■, urn) and

У = (Уъ У2) • • • j Уе)- Symbols A, D and С denote matrices of MT, and observation unit respectively of order n x n, n x m and I x n. Model (1) appeared to be adequate to mechanical inertia effect of MT, which by itself causes graduation of measured spiked signal u. For the record it becomes an obvious result both of real [4], and numerical experiments [5, 6].

Renewal process of the measurement и by the observation у is ill-posed problem. Thus, to come to solution of this problem there were suggested technically explained hypothesis, as for example, «sliding models> [7] and <MT regularizability» [8]. Moreover the solution found here «embodied in metall». Meanwhile, [9] by itself offers to investigate finding of the measurement и by observation у by methods of optimal control theory, so that unknown observation minimizes the functional

J(v) = Yl [ \\y{q)-Уй]\\2^ (2)

g=o J°

where yo — yo(t) is an observation received by the actual MT, the model of which is the system (1). The minimum of the functional J is sought on a set of admissible measurements, which is

constructed itself with regard to existing information (as a rule, incomplete) about unknown observation. In [5, 6] there was recommended an algorithm of numerical solution to the problem (1), (2), which has shown good approximation to exact solution on check example (u = ^4sin2 wi).

But the signal measured often gets distorted not only because of MT mechanical inertia, but also by the fact of mechanical resonances. In the real being MT would be embedded with filters, which could have «cut out» resonant frequency of measured signal. Sometimes these filters provoke resonance but at other frequencies; for this reason there is installed another filters to be able to eliminate resonance arose, etc. This article is about a new model of optimal measurement, in which MT is not only mechanically inertial but resonant as well. The essence of innovation is that the functional (2) has been intruded with one more term, that standed for resonance filters. Thus, as it often happens in virtual cases, the suggested model do not cause secondary resonance.

Except for Introduction this article contains two Parts and References, which are more about tastes and preferences of the authors but completed. In the first Part we describe theoretical investigation of the model, whereas in the second Part we offer numerical algorithm for finding of distorted measurement.

1. Optimal measurement with regard to interia and resonaces

We consider model MT to be an ordinary differential equations system of the Leontief type (briefly the Leontief type system) [10]

Lx — Mx + Du, (3)

V = Nx, (4)

where x = (xi,x2, ■ ■ ■ ,xn) and x = (±i,±2,...,xn) are vector-functions of MT states and velocities of MT states changes respectively, L and M denote matrices of order n, corresponding to correlation of states and velocities of states respectively. Moreover we assume that det L — 0, as in another case system (3) it is possible to represent in more simple form. Further, u = (1/1,«2, ■ ■ ■,un) and y = (yi,2/2, • • • ,yn) are vector-functions of measurements and observations respectively. We emphasize, that parameters of measurements and observations have more than one, as for example, in the theory of automatic control (1). Naturally, we can not measure parameters more than number of parameters of MT states, but number of measurements and observations parameters is possible to decrease setting equal to zero corresponding components

of measurement u = (ui, U2,. ■ ■, un) and observation y — (yi, 112- ■ • ■, Un) vector-functions

respectively. Finally, D and N are matrices of order n, characterizing correlation of measurement parameters and connection between MT state and observation respectively. It is clear if some components of vector-function u are equal to zero, then corresponding lines of the matrix N must be completed by zeros. Obviously, model (3), (4) is more general then (1).

The Leontief type systems are finite-dimensioned cases of the Sobolev type equations. Therefore, we shall under investigation use ideas, methods and results of general theory [11, ch. 2], which are adapted to finite-dimensional situation. Following [10], matrix M is called irregular, if there exists a number a € C such that det(aL — M) ^ 0. If matrix M is L-regular, then there exists a number p G {0} U N which is equal to zero, if in the point 00 L-resolvent (fiL — M)~l of matrix M has removable singularity; and p is equal to pole order of matrix-function (ji,L — M)~x in another case. Taking this into account, we will name L-regular matrix M (L,p)-regular, p & {0} U N.

Next, let matrix M be (L,p)-regular, p £ {0}UN. For the system (4) we set up the Showalter

- Sidorov problem

[rL(M)}p+1(x(0)-x0) = 0 (5)

under any xq G Rn, a G pL(M) = {// e C : det (/iL — M) ^ 0}. Here R^{M) = (aL — M)~l L is right L-resolvent of matrix M. We do not explain preferences of this problem by comparison of the traditional Cauchy problem x(0) = xq. By opinions a number of authors [12 - 14] the Showalter - Sidorov problem for the Sobolev type equations is more natural then the Cauchy problem, in which it coinsides in the case det L/ 0. Besides that, preferences of problem (5) in calculations are noted in [5, 6]. Finally point out useful generalization [15] of the problem (5).

Let us fix t G M+ and introduce into consideration state space X — {x G Z-2 ((0, r), Rn) : x G I<2 ((0, r), R")}, measurement space il =

{u G 1*2 ((0, t), R") : G L2 ((0, r), Rn)} and observation space 2) = iV[X]. There is

optimal measurement problem. We shall find a pair (y, u) G 2) x ilg a.e. on (0, r) satisfying to equations (3), (4) under condition (5), and

Here yo(t) = (yoi(£), 7/02W; ■ • ■ ,Von{t)) is an observation obtained on real experiment, i.e. taking down to real MT, model of which is systems (3), (4); || • || is Euclidien norm of the space M";

£(il) is self-adjoint and positive definite operators, q = 0, 1, ..., p + 1, {•, •) is Euclidien scalar product in Rn. We shall name this optimal measurement problem the problem (3) - (6) for brevity.

The problem (3) - (6) in Hilbert spaces and in more general statement (in particular, there had been equired to find the state vector-function x) was considered in [16] as «rigid optimal control problem». Therefore, we give next result without proof, it is taken from [16] and is adapted to our situation.

Теорема 1. Let matrix M be (L,p)-regular, p G {0} UN, r 6 R+, with detM ф 0. Then for any xq G M”, yo G 2) there exists a unique solution (y,u) G 2} x ilg to the problem (3) - (6), where у = Nx, and

Let us say that condition detM / 0 does not reduce the generality of the problem under

We note also, that solution (y, u) of the problem (3) - (6) existing by theorem 1 we shall name further the exact solution.

not always that 2) = X, but it is always that 2) is isomorphic to some subspace in X. Let us separate in il a closed and convex subset Vlq (a set of admissible measurements), and set of the

(6)

v

^ (t) — (v^ (t). (t):... ,Vn\t)) is possible measurement from iig and its derivatives; Fq G

x(t) = lim У" (M-1 (M))p+1-In) bf M~l (l „-(*4 (M))p+1) (Du)^(t)+

+

discussion. You can see if matrix M is (L,p) - regular then we turn after replacement x = extv to equation Lv = (M — AL)v + Du which is at the same form as (3), but det(M — XL) ^ 0.

2. Algorithm of numerical finding of dinamically distorted signals

We restrict ourself to particulare case under construction of our algorithm. In the first place we suppose that r = n, in the second place we assume that the values of the measurement at the beginning and at the end of the interval [0,t] are equal to zero. Both assumptions simplify the techiques of an algorithm and easily eliminate under passage to general case. Thus, let the matrix M be (L,p)-regular, p G 0 U N, with detM 7^ 0. By theorem 1 approximate solution (yk,ulk) to the problem (3) - (6) we will seek in the form

xk(t) = £ (m-1 ({kLLk (M)Y+1-In) l) V-1 (ln-{kL^(M)Y+1) (Dulk)^(t)+

+

t

k(p+1)

M

m

+ E

j=0

k(p + 1)

-1 \k(P+1)—1

L\ (L-

r*)

t~sj k(p + 1)"

\ fc(p+i)

xq+

(7)

M) [kL%(M))p+1{Du{(Sj))

Here sj and c.j are paints and weights of the Gauss quadrature formula respectively, j = 0, 1, ..., m, with k = max {&i, £2}, where

1

k\ > - Y] |аг| + 1, k2>

a

1

l—g+X

W [n - q)n~q jz,

(=o

t € [0,1], a > max {i.Kr1 (ei«i|)} , ai are coefficients of the polynom det {jiL — M), q <n

is its order. You can see in [17] verification of this choice. Vector xq G Kn is the same as in (5),

it is supposed furthe fixed.

For finding ulk — ulk(t) we remark first of all that the space U is separable by construction.

Hence there exists a sequence {iX;} of finite-dimensional subspaces il( C 11 monotonically

00

exhausting the space 11, i.e. ill C ll(+1 and (J ill is dense in 11. There fore u\, = ulk(t) we shall find

1=1

ui

ulk(t) among vectors of the form

и

i l l

1 = col a{ sin jt, ^2 «2 sinji, sin j* ] •

j=0 j=o j=0

Let us introduce one more simplifying assumption. Let there exists exactly one frequency a> under which MT resonant. If values of u at points 0 and n are equal zero then u€ff. Let amplitude of this MT resonance be A0J (since Au is taking off real MT then we assume Aw G (0, +00)). Now we construct one of terms of functional J from the formula (6)

(

(FqU1,Ul) = (col

a\ sin jt + A^di sin cut,

i=0

\]фи

\

(9)

1 1

53 «2 smjt + sin ut, . . . , 53 aTi sin jt + Audn sin out

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

3=0 3=0

зфъз jytw /

,ul).

Let us note that so constructed operator Fq is selfadjant in the first place, and it is positive definite in the second place. Besides that let us remart that the number I G N in (8) and (9) must

be greater then I > to. If MT resonant not only under mode sin wt, but under its derivatives, then we construct operator Fq by analogy with (9). If it is not then we set {Fqul^q\u1^) = (ul(g\ u1^). Now we substitute (8) into (7) and result multiplied by matrix N together with (9) substitute into (8). After calculations we obtain a functional Jl = Jl(a), where a = (aj,..., al0,..., a*,..., aln) is a vector of coefficients of trigonometric polynoms from (8). Finally we return to a set of admissible measurements Ug. As a rule it is in applications not only closed and convex but bounded yet. If a set He is closed, convex and bounded, then there exists a sequence of convex compact sets {ilg} , Hq Cll!, monotonically exhausting the set iil. Under our conditions we can construct convex compact set into a set of vectors {a}, which is isomorphic to the set tt!d. Further it is convenient to denote constructed compact set by the same symbol illd. Thereupon the functional Jl is continuous on a set iil by construction, then it has a minimum on iild by the Weierstrass theorem. We obtain ulk by substituting coefficients of found minimum in (8), since we obtain by substituting ulk in (7) and multiplying result by matrix N. We name such pair (уь и1) an approximate solution of the problem (3)-(6). It should be noted that because of sufficiently large value of Аш (Au S> 1) all coefficients (a“, a^, ■.., ) turn out sufficiently small, that correspond

to influence of a filter on measurement. Let us announce next result.

Теорема 2. Let matrix M be (L,p) - regular with detM ф 0. Let admissible measurement set SIq be closed, convex, and bounded. Then a sequence {(ук,и1к)}, к = max {&!, A^}, I > p, of approximate solutions, k, I —»■ oo converges to exact solution (y, u) under k, I —)• oo by the norm of the space 2) x il.

In conclusion we say some words about introduced assumptions. The condition r = 7r takes off corresponding renormalization of basis function frequences. The requirement of zero measurement vales on the borders of the interval [0, r] is removed by introducing yet another family of the basis functions (i.e. in the trigonometric polynomials (8) except the sinuses will be the cosinuses). Finally, resonant mode with any freequency expanded in a Fourier basis functions, we take a partial sum of this series, and construct (9) on the proposed prescription. All these generalizations are only complicate the understanding of the basic idea of the algorithm, so we omnit them in the first post.

Литература

1. Granovskii, V.A. Dynamic Measurements / V.A. Granovskii. - Leningrad: Energoizdat, 1984. (in Russian)

2. Shestakov, A.L. Dynamic accuracy of measurement transduser with a sensor-model based compensating divice / A.L. Shestakov // Metrology. - 1987. - № 2. - C. 26 - 34. (in Russian)

3. Derusso, RM. State Variables for Engineers /P.M. Derusso, R.J. Roy, C.M. Close. - N.-Y.; London; Sydney: Wiley, 1965.

4. Shestakov, A.L. Dynamic error correction method / A.L. Shestakov // IEEE Transactions on Instrumentation and Measurement. - 1996. - V. 45, №1. - P. 250 - 255.

5. Shestakov, A.L. A new approach to measurement of dinamically distorted signal / A.L. Shestakov, G.A. Sviridyuk // Vestn. SUSU, seriya «Mathematicheskoe modelirovanie i programmirovanie». - 2010. - №16 (192), vyp. 5. - P. 116 - 120. (in Russian)

6. Keller, A.V. The regularization property and the computational solution of the dynanic measure problem / A.V. Keller, E.I. Nazarova // Vestn. SUSU, seriya «Mathematicheskoe modelirovanie i programmirovanie». - 2010. - №16 (192), vyp. 5. - P. 32 - 38. (in Russian)

7. Bizyaev, M.N. Dynamic models and algorithms for restoring the dynamically destorted signals in measuring systems using in sliding modese [Text]: Ph.D. Thesis: 05.13.01 / M.N. Bizyaev.

- Chelyabinsk, 2004 - 179 c. (in Russian)

8. Iosifov, D.Y. Dynamic models and signal restoration algorithms for measurements systems with observable state vector: Ph.D. Thesis: 05.13.01 / D.Y. Iosifov. - Chelyabinsk, 2007. (in Russian)

9. Shestakov, A.L. Dynamical measurement as an optimal control problem / A.L. Shestakov, G.A. Sviridyuk, E.V. Zaharova // Obozrenie prikladnoy i promishlennoy matematiki. - 2009.

- T. 16, vyp. 4. - C. 732 - 733. (in Russian)

10. Sviridyuk, G.A. Numerical solutions of systems of equations of Leontieff type / G.A. Sviridyuk, S.V. Brychev // Rus. Math. - 2003. - V. 47, №8. - P.44 - 50.(in Russian)

11. Sviridyuk, G.A. Linear Sobolev Type Equations and Degenerate Semi-groups of Operators / G.A. Sviridyuk, V.E. Fedorov. - Utrecht; Boston; Koln; Tokyo: VSP, 2003.

12. Sviridyuk, G.A. The Showalter-Sidorov problem as a phenomenon of the Sobolev type equations / G.A. Sviridyuk, S.A. Zagrebina // Izvestia ISU. seriya «Mathematics». - Irkutsk, 2010. - T. 3, № 1. - C. 104 - 125. (in Russian)

13. Zamyshlyaeva, A.A. The initial-finish value problem for the Boussinesque-Love equation defined on graph / A.A. Zamyshlyaeva, A.V. Yuzeeva // Vestn. SUSU, seriya «Mathematicheskoe modelirovanie i programmirovanie». - 2010. - №16 (192), vyp. 5. -P. 23-31. (in Russian)

14. Manakova, N.A. Optimal control to solutions of the Showalter-Sidorov problem for a Sobolev type equation / N.A. ManaKOva, E.A. Bogonos // Izvestia ISU. seriya «Mathematics». -Irkutsk, 2010. - Т. 3,№ 1. - C. 42 - 53. (in Russian)

15. Zagrebina, S.A. About Showalter-Sidorov problem / S.A. Zagrebina // Izvestia VUZ. Mathematics. - 2007.- № 3.-C. 22 - 28. (in Russian)

16. Fedorov, V.E. Optimal control problem for one class of degenerate equations / V.E. Fedorov, M.V. Plehanova // Izvestia RAN. Theory and systems of control. - 2004. -T. 9, № 2. -C. 92 - 102. (in Russian)

17. Keller, A.V. A numerical solving optimal control problem for degenerate linear systems of ordinary differential equations type system with Showalter-Sidorov initial condition / A.V. Keller // Vestn. SUSU, seriya «Mathematicheskoe modelirovanie i programmirovanie».

- 2010. - №27 (127). vyp. 2. - P. 50 - 56. (in Russian)

Шестаков Александр Леонидович, доктор технических наук, профессор, кафедра информационно-измерительной техники, Южно-Уральский государственный университет, init@susu.ac.ru.

Свиридюк Георгий Анатольевич, доктор физико-математических наук, профессор, кафедра уравнений математической физики, Южно-Уральский государственный университет, geosv@inbox.ru.

Поступила в редакцию 10 февраля 2011 г.

i Надоели баннеры? Вы всегда можете отключить рекламу.