|
|
Přednáška se koná v pondělí od 17:20 v S11.
Cvičení vede Elif Radová Garajová.
Probráno:
| 29.9. | Motivace pro intervalové počítání. Intervalová aritmetika a její vlastnosti. Monotonie inkluze, intervalové rozšíření, základní věta intervalové analýzy. Optimalita přirozeného intervalového rozšíření. |
| 6.10. | Intervalové lineární soustavy rovnic: Množina řešení a její popis pomocí Oettli-Pragerovy věty, ortantová dekompozice, NP-těžkost testování řešitelnosti. Metody pro čtvercový případ: předpodmínění, Intervalová Gaussova eliminace. Intervalové M-matice. Intervalová Gaussova eliminace pro M-matice. |
| 13.10. | Iterační metody: iniciální obálka, Jacobiho, Gauss-Seidelova a Krawczykova metoda, epsilon-inflation metoda. Aplikace epsilon-inflation metody: verifikace řešení soustav lineárních rovnic. |
| 20.10. | Metoda Hansen-Bliek-Rohn, porovnání metod. Topologie množiny řešení a Janssonův algoritmus. Nezáporně invertibilní matice a Kuttlerova věta. |
| 27.10. | Regularita: charakterizace, Beeckova postačující podmínka (a speciální případ, kdy je ekvivalentní), nutná podmínka. AE řešení intervalových soustav a charakterizace. |
| 3.11. | AE řešení: speciální případ toleranční řešení a aplikace. Lineární parametrické intervalové soustavy lineárních rovnic: nutná podmínka pro řešení, residuální tvar, předpodmínění, symetrické matice. |
| 10.11. | Intervalové lineární nerovnice: Gerlachova věta, NP-těžkost. Silná řešitelnost intervalových rovnic (s nezápornými proměnnými) a nerovnic. Silné řešení intervalových nerovnic. |
| 24.11. | Vlastní čísla symetrických intervalových matic: složitost, Herzova formule, obálky pro vlastní čísla. Positivní semidefinitnost a definitnost symetrických intervalových matic: definice, postačující podmínka, aplikace pro testování konvexity funkce. Odhad vlastních čísel obecných intervalových matic. |
| plán 1.12. | Odpadá. |
| plán 8.12. | Obraz funkce na intervalech: test monotonie, zjemnění, mean value formy a volba středu rozvoje (Baumannův bod), sklony. |
Various links:
Interval arithmetic (and extensions):
