Konvolúció: nem képlet, hanem „átfedésből” számolt kimenet

Ezt az anyagot úgy építettem fel, hogy a hallgató előbb a művelet mechanikáját lássa, utána értse meg, miért éppen ez írja le egy lineáris időinvariáns rendszer válaszát. A központi mondat: a konvolúció minden olyan bemeneti és impulzusválasz-minta hozzájárulását összeadja, amely ugyanahhoz a kimeneti időponthoz tartozik.

jelek és rendszerek LTI-rendszer diszkrét konvolúció folytonos konvolúció interaktív ábrák

1. Az alapintuíció: a rendszer emlékezik

Egy lineáris időinvariáns rendszer kimenete nem feltétlenül csak az aktuális bemenettől függ. A kimenetben megjelenhetnek korábbi bemeneti minták is. A konvolúció ennek az „emlékezetnek” a könyvelése.

Bemenet: x Mit adok a rendszerre? Például jelszinteket, impulzusokat, mintákat.
Impulzusválasz: h Mit csinál a rendszer egyetlen egységimpulzussal? Ez a rendszer „ujjlenyomata”.
Kimenet: y=x*h A bemenet minden eleme elindít egy eltolt és skálázott impulzusválaszt; ezeket összeadom.
Tanítási rövidítés: impulzusfelbontás + eltolás + skálázás + összegzés. Diszkrét időben ez gyakran könnyebb, mint az integrálos képletből indulni.

Miért jelenik meg az h[n-k]?

A kimenet n időpontjában az összes olyan párt kell figyelembe vennem, amelynek indexei összeadva n-et adnak. Ha a bemeneti minta indexe k, akkor a hozzá tartozó impulzusválasz-minta indexe n-k. Ezért szerepel a képletben x[k]h[n-k].

2. A két alapképlet

Diszkrét idő

y[n] = (x*h)[n] = Σk=-∞ x[k] · h[n-k]

Itt minden k-ra kiszámolom, hogy a bemenet x[k] mennyivel járul hozzá az n-edik kimeneti mintához. Végül összeadom a hozzájárulásokat.

Folytonos idő

y(t) = (x*h)(t) = ∫-∞ x(τ) · h(t-τ) dτ

Az összeg helyett integrál van. A τ csak futóváltozó: végigpásztázza az összes lehetséges bemeneti időpontot, miközben t rögzített kimeneti időpont.

Mechanikai recept

1
Rögzítem a kimeneti időpontot. Diszkrét esetben ez n, folytonos esetben t.
2
Megfordítom és eltolom az impulzusválaszt. Ez adja h[n-k] vagy h(t-τ) alakját.
3
Összeszorzom a bemenettel. Csak az átfedő részek járulnak hozzá.
4
Összegzek vagy integrálok. Az eredmény egyetlen kimeneti minta: y[n] vagy y(t).
5
Változtatom a kimeneti időpontot. Így kapom meg a teljes kimeneti jelet.

3. Interaktív diszkrét konvolúció

A csúszkával válassz egy kimeneti indexet. Az ábrák azt mutatják, hogyan számolom ki az adott y[n] értéket: x[k], az aktuális h[n-k], a pontonkénti szorzat, majd a teljes kimenet.

n=0
Bemenet: x[k]ezt nem mozgatom
Eltolt-fordított impulzusválasz: h[n−k]ez mozog a csúszkával
Pontonkénti szorzat: x[k]h[n−k]ezeket adom össze
Kimenet: y[n]az aktuális minta kiemelve

Aktuális számítás

Hozzájárulási tábla

kx[k]h[n−k]szorzat

4. Interaktív folytonos konvolúció: két egységnyi téglalap

Legyen x(τ)=1 a [0,1] intervallumon, és legyen h(τ)=1 szintén a [0,1] intervallumon. Ekkor h(t-τ)=1, ha τ∈[t-1,t]. Az integrál tehát az átfedési hossz.

y(t)=∫ x(τ)h(t-τ)dτ = az [0,1] és [t−1,t] intervallumok átfedésének hossza
t=0.50
Integrandusz a τ tengelyenx(τ), h(t−τ), átfedés
x(τ) h(t−τ) átfedés = produktum
Kimenetháromszögjel
aktuális y(t)

Aktuális értelmezés

Darabos alak

y(t)=0, ha t<0;   y(t)=t, ha 0≤t≤1;   y(t)=2−t, ha 1≤t≤2;   y(t)=0, ha t>2.

5. Miért pont ezt adja egy LTI-rendszer?

Diszkrét időben a bemenet impulzusokra bontható:

x[n] = Σk=-∞ x[k] · δ[n-k]

Ha a rendszer lineáris, akkor a skálázott impulzusokra adott válaszok skálázva összeadódnak. Ha időinvariáns, akkor a δ[n-k] impulzusra adott válasz az alap impulzusválasz k-val eltolt változata: h[n-k]. Ezért:

y[n] = Σk=-∞ x[k] · h[n-k]

A képlet tehát nem önkényes algebrai konstrukció. A linearitás és az időinvariancia közvetlen következménye.

6. Tipikus félreértések és javításuk

„A konvolúció egyszerű szorzás.”

Nem. A konvolúció pontonkénti szorzatok összege vagy integrálja. A pontonkénti szorzat csak egy köztes lépés.

„A t vagy n az összegzési változó.”

Nem. A kimeneti időpontot rögzítem. Diszkrét esetben k, folytonos esetben τ fut végig.

„Elég csak egymásra tolni a jeleket.”

Nem. Az impulzusválaszt előbb fordított argumentummal kell venni: h[n-k] vagy h(t-τ).

„Ha nincs átfedés, akkor is lehet nemnulla eredmény.”

Véges tartójú jeleknél nincs átfedés esetén a szorzat mindenhol nulla, tehát a konvolúció is nulla.

„A korreláció ugyanaz.”

Nem ugyanaz a művelet. A konvolúció az k+(n-k)=n indexösszeghez kötött; a korreláció hasonlóságot mér eltolás függvényében.

„Az impulzusválasz csak egy technikai részlet.”

LTI-rendszernél az impulzusválasz lényegében teljesen meghatározza a rendszer bemenet-kimenet viselkedését.

7. Ellenőrző kérdések

1. Ha h[n]=δ[n], mi lesz x*h?

x*h=x. Az egységimpulzus a konvolúció egységeleme.

2. Miért lesz két egységnyi téglalap konvolúciója háromszög?

Az eredmény minden t-nél az átfedési hossz. Az átfedés először lineárisan nő, majd lineárisan csökken.

3. Mi a diszkrét konvolúció kimeneti tartója véges tartók esetén?

Ha x tartója [a,b], h tartója [c,d], akkor x*h tartója legfeljebb [a+c,b+d].

4. Melyik változót integrálom folytonos konvolúcióban?

A τ futóváltozót. A t a kiválasztott kimeneti időpont, amely az adott integrál kiszámításakor rögzített.

5. Miért jó a konvolúciót „összes késleltetett impulzusválasz összegeként” tanítani?

Mert közvetlenül kapcsolódik az LTI-rendszer definíciójához: a linearitás engedi az összegzést, az időinvariancia engedi az impulzusválasz eltolását.

Javasolt tanórai mini-feladat

  1. Rajzold fel: x[0]=1, x[1]=2, x[2]=1.
  2. Rajzold fel: h[0]=1, h[1]=1.
  3. Számold ki kézzel y[0], y[1], y[2], y[3].
  4. Mondd ki minden pontban: „melyik párok indexösszege adja az aktuális n-t?”
  5. Hasonlítsd össze az interaktív ábrával.