You are not logged in | Log in

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

Speaker(s)
Krzysztof Jakubczyk
Affiliation
Uniwersytet Warszawski
Date
Feb. 28, 2011, 10:15 a.m.
Room
room 4790
Seminar
Seminar Semantics, Logic, Verification and its Applications

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