linear time-invariant system

Angol

Főnév

linear time-invariant system (tsz. linear time-invariant systems)

(informatika) A lineáris időinvariáns (LTI) rendszer a rendszermodellezés és jelfeldolgozás egyik legfontosabb alapkategóriája. Olyan dinamikus rendszert értünk rajta, amely lineáris (szuperpozíció és homogenitás teljesül) és időben invariáns (a rendszer tulajdonságai nem változnak az idő múlásával). E két feltétel rendkívül erős szimmetriát biztosít, ami elegáns matematikai kezelhetőséget és számos praktikus elemzési eszközt tesz lehetővé.

1. A lineáris tulajdonság

Egy rendszer akkor lineáris, ha két alapelv érvényes:

Szuperpozíció: Ha ${\textstyle u_{1}(t)}$ bemenethez ${\textstyle y_{1}(t)}$ , míg ${\textstyle u_{2}(t)}$ bemenethez ${\textstyle y_{2}(t)}$ tartozik, akkor a ${\textstyle u_{1}(t)+u_{2}(t)}$ bemenethez ${\textstyle y_{1}(t)+y_{2}(t)}$ kimenet tartozik.
Homogenitás (skálázás): Ha a bemenetet ${\textstyle k}$ -szorosára növeljük, a kimenet is ${\textstyle k}$ -szorosára nő: ${\textstyle u(t)\mapsto k\,u(t)\Rightarrow y(t)\mapsto k\,y(t)}$ .

Ez a két szabály együtt a lineáris operátor fogalmát hozza létre, amely lehetővé teszi, hogy bonyolult jeleket egyszerű alapjelek (például impulzusok vagy szinuszok) lineáris kombinációjaként kezeljünk.

2. Az időinvariancia

Időinvariáns a rendszer, ha bármely ${\textstyle \tau }$ időeltolás esetén:

$u(t)\longrightarrow y(t)\quad \Longrightarrow \quad u(t-\tau )\longrightarrow y(t-\tau ).$

Vagyis ha a bemenetet késleltetjük, a kimenet pontosan ugyanannyival késik, de semmilyen más változáson nem megy keresztül. Ez a tulajdonság biztosítja, hogy a rendszer állandó paraméterekkel jellemezhető (nincs „öregedés” vagy „időbeli drift”).

3. Impulzusválasz és konvolúciós leírás

Az LTI rendszert teljes egészében meghatározza az impulzusválasza ${\textstyle h(t)}$ (diszkrétnél ${\textstyle h[n]}$ ). Ha egységimpulzus ${\textstyle \delta (t)}$ a bemenet, akkor ${\textstyle h(t)}$ a kimenet. Tetszőleges bemenetre a kimenet konvolúcióval számítható:

$y(t)=(h*u)(t)=\int _{-\infty }^{\infty }h(\tau )\,u(t-\tau )\,d\tau ,$

${\text{diszkrét esetben: }}y[n]=\sum _{k=-\infty }^{\infty }h[k]\,u[n-k].$

Ez a formula a lineáris szuperpozíció természetes következménye: a bemenetet felbonthatjuk impulzusok végtelen sorozatára, majd a kimeneteket összegezhetjük.

4. Frekvenciatartományi elemzés

Mivel az LTI rendszer konvolúciós operátor, a Fourier-transzformáció diagonalizálja: konvolúció a frekvenciatartományban egyszerű szorzássá válik. Definiáljuk az átviteli függvényt:

$H(j\omega )={\mathcal {F}}\{h(t)\}=\int _{-\infty }^{\infty }h(t)\,e^{-j\omega t}\,dt.$

Ekkor

$Y(j\omega )=H(j\omega )\,U(j\omega ),$

azaz a kimenő spektrum minden frekvencián azonos arányban (amplitúdó- és fáziskomponens szerint) skálázódik a bemenő spektrumhoz képest. Diszkrét időben ${\textstyle H(e^{j\Omega })}$ hasonló szerepet játszik.

Ez a tulajdonság adja a digitális és analóg szűrőtervezés elméleti alapját: frekvenciaválasztási követelményeket (pl. aluláteresztő, sávszűrő) közvetlenül ${\textstyle H}$ tervezésével teljesíthetünk.

5. Differenciál- és különbségi egyenletek

Folytonos LTI rendszereknél a dinamikát gyakran lineáris differenciálegyenlet írja le:

$a_{n}\,{\frac {d^{\,n}y(t)}{dt^{\,n}}}+\ldots +a_{1}\,{\dot {y}}(t)+a_{0}\,y(t)=b_{m}\,{\frac {d^{\,m}u(t)}{dt^{\,m}}}+\ldots +b_{0}\,u(t).$

Diszkrét rendszernél különbségi egyenlet:

$\sum _{k=0}^{N}a_{k}\,y[n-k]=\sum _{k=0}^{M}b_{k}\,u[n-k].$

Egyenletről gyorsan át lehet térni Laplace- vagy Z-transzformált átviteli függvényre, amely a pólus–zérus struktúrát fedi fel. A pólusok helye közvetlenül meghatározza a stabilitást (folytonosnál bal fél-sík, diszkrétnél egységkör belseje).

6. Állapottér-modell

Az LTI rendszerek állapottér formája természetes hidat képez a modern irányítástechnika felé:

${\dot {x}}(t)=A\,x(t)+B\,u(t),\quad y(t)=C\,x(t)+D\,u(t).$

Itt ${\textstyle x(t)}$ az állapotvektor, a négy mátrix pedig stacioner, illetve korlátos dimenziójú. A lineáris algebra eszköztára (eigenértékek, diagonalizálhatóság, Jordan-forma) erősen támaszkodik az LTI struktúrára.

7. Kanonikus és minimális realizációk

Az átviteli függvényből többféle állapottér-modell származtatható. A legismertebb kanonikus formák:

Kontrollképességi kanonikus alak (control canonical)
Megfigyelhetőségi kanonikus alak (observer canonical)
Diagonalizált forma (ha a rendszer teljesen diagonalizálható)

A minimális realizáció a legkisebb dimenziójú állapottér, amely még pontosan reprodukálja a kívánt átvitelt. Kulcsfogalmak: kontrollálhatóság és megfigyelhetőség (Kalman).

8. Stabilitási kritériumok

BIBO stabilitás: impulzusválasz abszolút integrálható (∫|h(t)|dt < ∞ ill. ∑|h[n]| < ∞). Aszimptotikus stabilitás: állapotok nullához tartanak bemenet nélkül; állapottéren: az ${\textstyle A}$ mátrix minden sajátértéke negatív (vagy diszkrétnél abszolút értéke <1). Lyapunov-módszer lineáris esetben kvadratikus függvénnyel explicit megoldást ad: létezik ${\textstyle P>0}$ , hogy ${\textstyle A^{T}P+PA<0}$ .

9. Mintavételezés és digitális implementáció

Folytonos LTI rendszerek gyakran mintavételezéssel (periodikus hold, ZOH) jutnak diszkrét ekvivalenshez. Az impulzus invariancia vagy bilineáris transzformáció (Tustin) módszerekkel a frekvenciakép torzulását minimalizálni lehet, ami kulcsfontosságú digitális szűrők, vezérlők tervezésénél.

10. Alkalmazások

Vezérlőrendszerek: PID és állapot-visszacsatolás, ahol a rendszer LTI modellje alapján pólus-áthelyezéssel szabályozhatóság biztosítható.
Kommunikáció: csatornamodellek, ekvalizálók, modulációk mind LTI keretben.
Jelfeldolgozás: hang-, kép- és radarjelek szűrése, dekonvolúció.
Mechanikai rezgéscsillapítás: szerkezetek, járműfelfüggesztés.
Elektromos hálózatok: RLC körök, erősítők frekvenciasáv-tervezése.

11. Összefoglaló

Az LTI rendszerek jellegzetes ismertetőjegyei – linearitás, időinvariancia, impulzusválasz, konvolúció, frekvenciatartományi szorzás, állapottér-diagonalizálhatóság – teszik őket a modern mérnöki tudomány egyik legszilárdabb alapeszközévé. Bár való világunk összetettebb (nemlineáris, időfüggő), a legtöbb gyakorlatban is alkalmazott rendszer kiszámítható és kezelhető LTI approximációként, ami egyszerre nyújt analitikus betekintést és hatékony számítási keretet.

További információk

linear time-invariant system - Szótár.net (en-hu)
linear time-invariant system - Sztaki (en-hu)
linear time-invariant system - Merriam–Webster
linear time-invariant system - Cambridge
linear time-invariant system - WordNet
linear time-invariant system - Яндекс (en-ru)
linear time-invariant system - Google (en-hu)
linear time-invariant system - Wikidata
linear time-invariant system - Wikipédia (angol)