SW problem - chybny algoritmus

[Pavel Chromy]

> > > (Ta-Tb)/2). Posloupnosti X a Y jsou obdelniky o stejnem kmitoctu, ale
> > > navzajem posunute. A prave z tohoto posunuti (X predbiha Y a Y predbiha
> X)
> >                      ~~~~~~~~~~~~~~~~~~~~~~~~~
> > Tady je chyba v uvaze. Posununti = k, coz je konstanta, kterou jsme
> > dodali. Tudiz posloupnosti se budou "predbihat" vzdy stejne, je zcela
> > jedno, ktery kmitocet je vetsi ci mensi. Mimoto presnou hodnotu Dt nemame.
> 
> To je sice pravda. Ale kdyz jsem mluvil o predbihani, tak jsem mel na mysli
> predbihani v case ne v indexu i. Bohuzel je treba merit cas,

A neni nahodou casove posunuti signalu primo umerne konstante k?

> Podle me je to nejjednodussi reseni. Jinak to nejde.

Myslim, ze tenhle algoritmus nefunguje vubec. Mimoto bez pomerne presne
znalosti Ta-Tb (coz nemame, mame pouze ocekavane Ta-Tb) bude hazet uplne
nesmyslne vysledky uz proto, ze pri malem (skutecnem) Ta-Tb
se bude perioda obdelniku ziskaneho v bode (1) znacne menit v zavislosti
na Ta-Tb cili posun o konstantu k se trefi pro ruzna Ta-Tb do uplne jineho
mista a vysledek nebude vypovidat vubec nic o vubec nicem.

Toto snadno nahledneme, uvazime-li limitni pripad, kdy Ta=Tb, tedy
perioda obdelniku ziskaneho v (1) bude nekonecne dlouha. Tehdy muzeme
volit k zcela libovolne bez rozumneho vysledku - opet pripominam, ze
mame pouze ocekavanou hodnotu Ta-Tb, tohle ukazuje, ze bez presne
znalosti Ta-Tb algoritmus nic neresi. 

Tim ale netvrdim, ze znalost pomerne presne hodnoty Ta-Tb neco resi.
Zcela jiste k Tb1 (buno predpokladejme ze Tb1>Ta) najdu Tb2<Ta takove,
ze obdelnik ziskany v bode (1) bude mit stejnou periodu pro
oba pripady (myslim tim Tb1 vs Tb2) a signaly ziskane v bode 2 se tak
budou predbihat naprosto stejnym zpusobem.
Pricemz navic |Ta-Tb1| se nebude prilis lisit od |Ta-Tb2|.
totiz lim Tb2 (Tb1->Ta) = Ta 
cimz take lim ||Ta-Tb1|-|Ta-Tb2|| (Tb1->Ta) -> 0 
nebot tento rozdil je shora omezen max(|Ta-Tb1|, |Ta-Tb2|)
(viz. tzv. veta o dvou policajtech) 

Toto je jasny protipriklad - sice zkonstruovany ledabilym zpusobem, je
treba se zamyslet nad tim, proc k Tb1 existuje Tb2 uvedenych vlastnosti
(nicmene je tomu skutecne tak), ale to uz necham na vas.

Pokud mne ma neco presvedcit o spravnosti algoritmu, je to pouze
matematicky dukaz.

	Pavel Chromy