GLEICHUNGEN IN DIFFERENZEN

Autor: ESTELA CARBONELL M. ROSA.
Jahr: 2005.
Universität: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Ort der Lesung: ETSECCPB, Edifici C2, Campus Nord.
Ort der Vorbereitung: U FACULTAT DE MATEMATIQUES I ESTADISTICA SUD.

Inhaltsangabe: Diese These präsentiert Anwendungen Analyse Intervalar Modal Studium der unterschiedlichen Probleme im Wesentlichen auf die Lösung von Problemen auf dem Feld, mit einem vorangestellten kurzen Überblick über die grundlegenden Theorie des Systems der Umgangsformen und eine umfassende Studie über die teilweise Optimalität die Rollen Ton, der die Konzepte der Optimalität gleichwertigen und optimal Bedingungen, die eine Erweiterung der Theorie der Analyse Intervalar Modal bestehenden ein. Intervalle definieren, die Identifikation mit der Menge der Prädikate zu akzeptieren oder abzulehnen Prädikate auf die reale, eine Tatsache, natürlich, die eine korrekte strukturelle Schwächen und semantische Analyse Intervalar Classic, sondern vor allem auch auf der Grundlage der Theorie intervalar die grundlegende Funktion der Intervalle als Verweise auf die System der realen Zahlen im Einklang mit der unvermeidlichen Notwendigkeit für jede Maskierung zugehörigen numerischen Wert Piloten. Revised die grundlegenden Theorie der intervalar Modalanalyse, wollen wir sie auf die Lösung von Problemen auf dem Feld. So, zu prüfen, die Resolution auch elementare Probleme, wie zum Beispiel die Ausbreitung von Wärme in einer Dimension, sind wir konfrontiert mit den Problemen bei der Steigerung der Anwendung der Theorie intervalar aufgrund der Einschränkungen, die durch die Möglichkeit der optimalen Berechnungen. Diese Situation führt zu der Studie von Optimalitätskriterien Thema, wurde im dritten Kapitel der Dissertation. Zulassung von Beschränkungen für die Modalitäten der Argumente der rationalen Funktionen sind, die neue Konzepte wie den Modus der Abreise oder Optimalität Seite, die schließlich erlaubt, das Konzept der rationalen Funktion syntaktisch c conmutativa, die eine breitere Palette von Funktionen, die wir Können Mitarbeiter eine optimale Berechnung. Über alle die Intervalle definieren können verschiedene Betriebssysteme wie wir das System Modal Abständen begabte ihre grundlegenden arithmetischen oder mit einer linearen oder parallele Rechnen. Dieser letzte Arithmetik wird im vierten Kapitel der Dissertation. Aus der Sicht der Modalanalyse intervalar wir studierte Unterschiede in der numerischen Gleichungen definiert als Lösung für Differentialgleichungen. Das Modell intervalar und numerische Berechnungsmethoden objektiv sind unterschiedlich: während die geschätzten Trajektorien eindeutige numerische Berechnung ungefähre Berechnung intervalar geschätzten Strahl Trajektorien im Zusammenhang mit einer Strategie, die durch die Muster von Intervallen. Darüber hinaus erfolgt die Berechnung auf der Grundlage intervalar Ganzheitlichkeit der Lösungen intervalares und somit ergibt sich im Wesentlichen genaue Modelle aus der Sicht der Semantik im Zusammenhang mit der Eingliederung, der im Vergleich zu dem Fall der numerischen Berechnung basiert im wesentlichen auf dem Konzept der Annäherung . Eine Eigenschaft strukturell Basic Analysis intervalar ist, dass es nicht angebracht ist, die Algorithmen Vorteil der numerischen Methoden Klassikern wie Algorithmen intervalares, da die Struktur intervalar ist im Wesentlichen âmayor ", der realen Zahlen, und wir müssen daher bitte jedes Problem intervalar immer von Anfang an, Im Rahmen intervalar. Dies ist im Wesentlichen bestimmt durch die Tatsache, dass es keinen Sinn macht, die die Beziehungen der Einbeziehung in den realen Zahlen, reduziert auf die Identität, und es macht keinen Sinn, auf mit ihnen in die 8 Zusammenhang 3e8 oder intervalar. Kapitel 5, 6 und 7 untersuchen verschiedene Probleme, die durch Gleichungen in differentieller intervalares, wobei Situationen, die eine lineare Zusammenhang und damit Unterstützung Intervall Arithmetik von Marken. Wurden ebenfalls untersucht Kontur Probleme, die sich ergeben, in der numerischen Berechnung Klassiker.