Nie jesteś zalogowany | Zaloguj się

Zwiększanie dokładności dziedziny przedziałowej

Prelegent(ci)
Krzysztof Jakubczyk
Afiliacja
Uniwersytet Warszawski
Termin
28 lutego 2011 10:15
Pokój
p. 4790
Seminarium
Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

Abstrakcyjna dziedzina przedziałów (ang. Intervals) jest bardzo szeroko wykorzystywaną dziedziną  numeryczną. Niestety nie pozwala na dokładną reprezentację sumy dwóch elementów dziedziny (czyli m.in. zbiorów rozłącznych) co wpływa na zmniejszenie dokładności analizy. Na seminarium zaprezentuję sposoby na poprawienie dokładności dziedziny przedziałowej