ANALYSE UND FUNKTIONELLE ANALYSE

Autor: MORENO JALGUERO YOLANDA.
Jahr: 2003.
Universität: EXTREMADURA.
Ort der Lesung: FACULTAD DE CIENCIAS.
Ort der Vorbereitung: FACULTAD DE CIENCIAS.

Autor: SEGOVIA GONZÁLEZ MARÍA MANUELA.
Jahr: 2004.
Universität: PABLO DE OLAVIDE.
Ort der Lesung: FACULTAD DE CIENCIAS EMPRESARIALES.
Ort der Vorbereitung: FACULTAD DE CIENCIAS EMPRESARIALES.

Inhaltsangabe: In diesem Bericht gibt es eine technische Analyse der wichtigsten Komponenten im Hinblick auf diskrete und funktionale, zur Schaffung einer parallelen zwischen ihnen, sowohl in Form von plantearlos wie in der Lösung von einem theoretischen Standpunkt. Er baut auf die wichtigsten funktionalen Komponenten Analyse (ACPF), im Voraus zu wissen, die großen Schwierigkeiten, die bei der Arbeit mit Funktionen als Vektoren. Darüber hinaus bietet es eine Methode, die es erlaubt interpretieren die wichtigsten funktionalen Komponenten, die durch die Anwendung der älteren Technik, die auf die Rolle der Korrelation zwischen dem ursprünglichen und jede der Komponenten. Derzeit Interpretationen, die in bestimmten Anwendungen, die nicht auf der Grundlage statistischer Techniken, die Objektivität zu ihnen und damit diesen Ansatz begegnet diesen Mangel. Darüber hinaus enthält eine Funktion, mit der quantitativen Bewertung der einzelnen studierte auf ihr Verhalten in Bezug auf die variablen Zinsen in den einzelnen Abschnitten identifizierte sich mit dem Stand der Technik. Es sind potentielle Anwendungen im Geschäft mit ACPF, die eine Vielzahl von Verbesserungen, weil, wenn die Arbeit erledigt wird, die in diesem Sektor generamente nutzt eine große Menge von Daten und mehrere Variablen. Es macht eine echte Anwendung auf dem Gebiet der Kfz-Versicherung, mit dem Ziel, ein neues Unternehmen, die Prämien für die Akquisition neuer Kunden. Zu tun, als eine Reihe von Profilen und stellt fest, die das Risiko des Auftretens einer bestimmten Vorfall in jedem der Altersgruppen berücksichtigt.

Autor: GARIJO REAL ANTONIO.
Jahr: 2005.
Universität: BARCELONA.
Ort der Lesung: UNIVERSIDAD DE BARCELONA.
Ort der Vorbereitung: U. BARCELONA.

Inhaltsangabe: Die Dissertation ist in drei Teile gegliedert. Das erste Kapitel befasst sich die Familie Tonnen (Z) = Zm und Z. Wir bekommen Ergebnisse im Bereich des geistigen Struktur der Komponente (n) (n) des Beckens afracción von 7 = 0 und die Einzugsgebiete der Fläche Parameter. Die zweite Verbindung zwischen dem ersten und dritten. Der dritte Teil untersucht die Phase --- und die Rolle von bestimmten Zeitraum von komplexen Differentialgleichungen als z = w (z) und Z = F (v) gr. (v).

Autor: PIERANTOZZI TERESA.
Jahr: 2005.
Universität: COMPLUTENSE DE MADRID.
Ort der Lesung: FACULTAD DE MATEMÁTICAS.
Ort der Vorbereitung: FACULTAD DE MATEMÁTICAS - UNIVERSIDD COMPLUTENSE DE MADRID.

Inhaltsangabe: Die Theorie der Kalkül Fraccionario, dh die Untersuchung von Differential-und Integralrechnung einer echten Ordnung, wurde das Werkzeug, hat es ermöglicht, verschiedene Verallgemeinerungen der klassischen Gleichungen der Diffusion und durch Gleichungen mit Welle aus, um tatsächliche und Interpolaran stetig, dass beide Gleichungen, parabolische und hyperbolische - Typ. Erstens, die sie gefunden haben, einige Aspekte der bekannten Gleichung, die durch Verbreitung Fraccionaria anstelle der Standard-Diffusions-Gleichung der ersten Ableitung in Bezug auf Zeit und / oder die zweite Ableitung in Bezug auf den Raum, ein Derivat gebrochene real um. Nacheinander studierte alternative eine Verallgemeinerung der klassischen Gleichungen in Frage, vorausgesetzt, durch ein System von Gleichungen der Evolución-Difusión Typ Dirac Fraccionarias erhalten erwägt eine Art Quadratwurzel der Diffusionsgleichung gebrochener Verallgemeinerung der klassischen Methode, mit der Dirac-um seine berühmte Gleichung Für die freien Elektronen aus der Klein-Gordon-Gleichung. Schließlich wurde eine Studie aus der numerischen Seno-Gordon-Gleichung Fraccionaria, das ist ein besonderes Klein-Gordon-Gleichung nicht-lineare und nicht-lokale, in der die Nicht-Linearität ist in der Funktion und die Stadt ist nicht definiert durch den Betreiber Empfehlung Bruchteil der Feller-Riesz. Diese Gleichung kann als eine Verallgemeinerung der eine Teilanmeldung Modell nichtlineare Wellenausbreitung, die sich allerdings nicht lokal zu lokal.

Autor: GAVIRA AGUILAR BEATRIZ.
Jahr: 2005.
Universität: SEVILLA.
Ort der Lesung: FACULTAD DE MATEMÁTICAS.
Ort der Vorbereitung: FACULTAD DE MATEMÁTICAS - UNIVERSIDAD DE SEVILLA.

Inhaltsangabe: Obwohl die ersten fixed-point theorem Metrik wurde von S. Banach in 1922, können wir sagen, dass die Theorie des Punto Fijo Metrics beginnt im Jahre 1965, wenn GLAUBENS Browder, D. GÃ ¶ hde und WA Kirk beweisen die Existenz von Fixpunkten für Anwendungen Nicht expansive in Banach-Räumen Überprüfung bestimmte geometrische Eigenschaften. Diese Ergebnisse schaffen eine Brücke, die bisher nicht-existente zwischen den Geometrische Theorie der Banach-Räume, ein Thema in der Regel gerahmte Linear Functional Analysis und die Theorie der Punto Fijo, ein Thema für die Nonlinear Functional Analysis. Von diesem Moment viele Forscher befürchten, die Nutzung dieser Verbindung, die im Wesentlichen der Berücksichtigung der anderen geometrischen Eigenschaften von Banach-Räumen (Konvexität einheitliche Glätte einheitlicher Bedingungen für die Art Opial fast einheitliche Konvexität, fast einheitliche Glätte, und so weiter.) Das kann angewendet werden, um die Existenz von Fixpunkte für die verschiedenen Arten von nicht-linearen Operatoren. Partner diese Eigenschaften definiert sind Module und geometrischen Verhältnisse, zu charakterisieren und zu vermitteln einen Eindruck von quantitativen Überprüfung. Die Module sind wohl die bekannteste Form von Clarkson einheitliche Konvexität des Moduls und einheitliche Glätte. Diese und viele andere im Zusammenhang mit anderen geometrischen Eigenschaften, waren sehr nützlich bei der Untersuchung der Existenz von Fixpunkten der Betreiber nicht expansiv. In 1995 C. Benitez, K. und D. Yost Prezslawski ein Modul namens Modul Quadratur, die charakterisiert gleichzeitig verschiedene geometrische Eigenschaften der Räume geregelt (Konvexität einheitliche einheitliche Glätte, normale Struktur, fast quadratisch, und so weiter.). Der Vorteil ist, dass dieses Modul auf anderen zuvor definiert als die einheitliche Glätte-Modul, das Modul von Clarkson, und so weiter.) Ist in der Lage, die Maßnahme gleichzeitig Weichheit und die Konvexität der Raum eher als unabhängig. Das Modul quadrature (Konvexität und einheitliche Glätte) ist ein finito-dimensional, dh nur abhängig von der Dimension endlichen Unterraum Raum. Da jedoch die früheren Versionen interessante geometrische Eigenschaften haben infinito-dimensionale bekannt zu sein fast einheitliche Glätte und nahezu einheitliche Konvexität) ist natürlich planteares die Existenz eines Moduls, dass diese Eigenschaften charakterisieren gleichzeitig. Das Ziel des ersten Teils der Dissertation ist es, eine neue Form der Charakter infinito-dimensional, eignet sich für die Messung von fast zeitgleich Konvexität und nahezu einheitliche Glätte und machen eine umfassende Studie über dieses Modul. Insbesondere berechnen wir den Wert dieses Modul in einigen klassischen untersuchen wir einige grundlegende Eigenschaften (Wachstum, Konvexität, die Kontinuität in Bezug auf seine variable und über Entfernungen von Banach-Mazur, usw.. (Und man einige Ergebnisse für Festnetz-Punkt-Anwendungen univaludadas nicht expansive . Im zweiten Teil, den wir mit diesem Modul, und einigen anderen Bekannten zu bekommen fixed-point theorems für Anwendungen multivaluadas nicht expansiv, die teilweise einige Antworten auf das Problem der Ausdehnung der berühmte Satz Kirche. Gerade getestet, die Räume sind gleichmäßig weich Eigentum von festverzinslichen Punkt für Anwendungen multivaluadas nicht expansive (Problem ist offen für viele Jahre). Diese Module erlauben auch Ergebnisse der Stabilität der Eigentumsverhältnisse der Fixpunkt für Anwendungen multivaluadas.

Autor: CONDORI FERNÁNDEZ OLINDA NELLY.
Jahr: 2006.
Universität: POLITÉCNICA DE VALENCIA.
Ort der Lesung: Universidad Politécnica de Valencia.
Ort der Vorbereitung: Universidad Politécnica de Valencia.

Inhaltsangabe: Heute ist die Größe der Software wird in der Management-und Produktions-steuerung als einer der wesentlichen Parameter für die Modelle zur Schätzung beitragen, dass die Qualität von Software-Projekten und der zu erbringenden Leistungen. Während die Bedeutung der frühen Messung der Größe ist es klar, jetzt ist diese Messung nur in den späteren Phasen des Software-Lebenszyklus (Analyse, Design und Implementierung). Die Größe der Software kann quantifiziert werden mit verschiedenen Techniken, wie Zeilen Code und Methoden für die Messung der funktionalen Größe. Eine Methode für die Messung der funktionalen Größe gemessen an der Größe der Quantifizierung der Software-funktionalen Anforderungen. Die Methode Function Point Analysis (FPA) ist die am häufigsten verwendete Methode. Diese Methode wurde entwickelt zur Messung von Management-Informations-Systems entwickelt, mit traditionellen Methoden. Obwohl IFPUG FPA hat immer beliebter werden in der Industrie, diese Methode nicht anwendbar auf alle Arten von Software-Entwicklung und neue Paradigmen. Um diese Schwächen, COSMIC-FFP hat sich als Methode der zweiten Generation und wurde getestet, wie ein internationaler Standard (ISO / IEC 19761). Allerdings ist die Gesamtheit der COSMIC-FFP muss instanziiert werden durch eine stärker zielgerichtete und systematische in Verbindung mit einer Methode der Software-Entwicklung.

Autor: RAMOS DÍAZ J. GUADALUPE.
Jahr: 2006.
Universität: POLITÉCNICA DE VALENCIA.
Ort der Lesung: Universidad Politécnica de Valencia.
Ort der Vorbereitung: Universidad Politécnica de Valencia.

Inhaltsangabe: Die Beurteilung, die teilweise durch Verengung (NPE: Teilweise Beschränkung-driven Evaluation) ist eine leistungsfähige Technik für die Spezial-Systeme umzuschreiben, das heißt, für die erste Komponente von vielen, um deklarative Sprachen (Software) als funktionelle Haskell, Curry oder Spielzeug. Der Teilindikator Gutachter sind in zwei große Kategorien: Online-und Offline-je nach dem Zeitpunkt, wo sie als temporäre Aspekte der Fertigstellung des Prozesses der Spezialisierung. Die Bewerter teilweise online sind in der Regel mehr genau, weil sie noch mehr Informationen zur Verfügung. Die Bewerter teilweise offline häufigsten kommen in zwei Phasen, die erste Phase-Software (zB zur Ermittlung fordert, dass die Funktion eingesetzt werden können, ohne das Risiko der Nicht-Fertigstellung) und enthält Anmerkungen zur Richtschnur für die partielle Berechnungen, und dann eine zweite Phase, die Bewertung teilweise selbst, Sie haben nur zu gehorchen, die Anmerkungen und daher especializador ist viel schneller als bei der Angleichung online. Diese Arbeit stellt ein neues System der partiellen Bewertung durch die Verengung, effizienter und sorgt dafür, Fertigstellung in der ursprünglichen offline. Zu diesem Zweck haben wir eine Charakterisierung Programm cuasi-terminantes diejenigen, die als "nicht wachsen." In solche Programme, die erforderlichen Berechnungen durch, um nur eine endliche Menge von verschiedenen Begriffen (Modul Umbenennung von Variablen). Die Eigentümerstruktur der cuasi-terminación ist wichtig, da ihre Anwesenheit ist in der Regel eine hinreichende Bedingung für den Abschluss des Prozesses der Spezialisierung. Allerdings ist die Art von Programmen cuasi-terminantes ist sehr restriktiv, so haben wir einen Algorithmus, akzeptiert inductivamente sequentielle Programme --- ein viel breiteres Klasse, die definiert ist, um über die notwendigen --- schreiben und jene Teile, die gegen die Charakterisierung der Programm nicht wachsen. Um die neuen Bedingungen angemessen Erreicht die Laufzeiten der Verengung, die rufen:, um notwendige generalizante. Sobald das System, entwickelten wir einen Prototyp für die Offline-Auswertung, die teilweise durch die Verengung. Die experimentelle Validierung wirft resutlados zeigt eine deutliche Verbesserung in der Zeit especializaicón offline über das System online. Vor kurzem hat es einen Neuanfang für die Analyse der Beendigung von Programmen auf der Grundlage der Veränderung in der Größe der Argumente der Funktionsaufrufe. Mit dem Ziel der Verbesserung der Genauigkeit der Phase anotaicónpropia der neuen Regelung, haben wir die Veränderung der Größe von Graphiken (Diagramme-Größe ändern), ursprünglich für die funktionale Sprache, die Sprache logische funktionsfähig. Insbesondere gragos wir sind hilfreich, um zu ermitteln, eine spezifische Form der cuasi-terminación, die schließlich verwenden zu beschriften den Stil unseres ersten Vorschlag offline. Der Embedded Domain-spezifische Sprachen (DESLs) generierten Code ineffizient aufgrund der Überlastung der Interpretation, die (Hudak 1998, Seefried et al. 2004, Christensen 2003) ua, erhöhe den Einsatz von Techniken, die partielle Auswertung als ein Mittel zur Behebung dieser Mängel . An dieser Stelle wählen Sie die Domain von Routern, insbesondere das Modell der Software-Router Klicken Sie auf und entwickeln eine Sprache für die Spezifikation Router namens R.

Autor: Martínez Romero Juan Francisco.
Jahr: 2006.
Universität: VALENCIA.
Ort der Lesung: Facultad de Matemáticas.
Ort der Vorbereitung: Universidad de Valencia Estudi General.

Inhaltsangabe: Die Theorie renormamiento Studium der Probleme im Zusammenhang mit dem Bau von gleichwertigen Normen in Banach-Räumen mit guten Eigenschaften der Konvexität oder diferenciabilidad. In dieser Arbeit sind wir besonders daran interessiert, lokale renormamientos einheitlich gerundet in Banach-Räumen des Typs C (K). Die Norm |. | Eine Fläche von Banach sagte lokalen X ist einheitlich rodunda (UWR kurz), wenn lim | x-x_n | = 0, wenn die Folge (x_n) _n und Punkt x sind Elemente des Feldes Einheit erfüllen lim x | x + x_n | = 2. Die Räume der realen und kontinuierliche Funktionen definiert komprimiert werden als klassische Beispiele in der Theorie der Banach-Räumen. Die Dissertation ist in drei Kapitel unterteilt und besteht aus einer Einführung contextualiza wo das zentrale Problem der gleiche. Im ersten Kapitel charakterisieren die Existenz von gleichwertigen Normen UWR Räume in C (K) in Bezug auf die beiden Konzepte topologischen: koordiniert und steuert Abdeckung von K-Sets für kleine Schwingung. Ebenso haben wir auch charakterisieren die sigma-fragmentabilidad und Eigentum SLD C (K) nach wie topologische Begriffe. Im zweiten Kapitel präsentieren wir eine Methode zu bauen semi-espacios offen, dass es notwendig ist, zur Umsetzung der zentralen Lehrsatz erste Kapitel. Das dritte Kapitel befasst sich mit Anwendungen. Daraus folgert die Existenz von renormamientos UWR, durch einen einheitlichen Ansatz in den folgenden Bereichen der Zuständigkeiten: C (K), wo K ist eine kompakte Namioka-Phelps (auch auf den Fall der kompakten sigma-discretos), C (K), wo K Eine kompakte Rosenthal trennbar mit der Eigenschaft, dass jede Funktion K ist bestenfalls ein Betrag von vielen Unterbrechungen; Raum der kontinuierlichen Funktionen, die im Unendlichen definiert verfallen in einen Baum Hausdorff-T, räumt eine immer größere Rolle und nicht ständig in jedem Teil immer Verzweigung Ty hat Keine schlechte Punkte; C (L), wo L ist ein kompaktes komplett sortiert und es gibt eine immer geringere Rolle in L Intervalle, die nicht ständig in jedem System Dyade Abständen L, C (K, E), wenn der Raum Banach & E (K ) Zugeben, ein renormamiento UWR.

Autor: Ascensi Sala Gerard.
Jahr: 2006.
Universität: AUTÓNOMA DE BARCELONA.
Ort der Lesung: Facultat de Ciències.
Ort der Vorbereitung: Universitat Autònoma de Barcelona.

Inhaltsangabe: Dieser Bericht untersucht die Systeme Generatoren L ^ 2 (R) von Übersetzungen in der Zeit und Frequenz eines Funktion gesetzt. Der erste Teil der Studie konzentriert sich auf die Systeme von Generatoren bildeten nur durch eine Reihe von Übersetzungen. Es gibt eine teilweise Beschreibung der Funktionen kann dazu führen, dass ein System von Generatoren. Es wird auch die Frage stellt diskreter Übersetzungen, für die wir diese Art von Systemen, die beide im Allgemeinen und in bestimmten Fällen, in denen er eine Beschreibung des gesamten oder eines Teils dieser Pakete. Der zweite Teil beschreibt den Rahmen und Grundlagen der L ^ 2 (R), bestehend aus Übersetzungen und Modulationen einer festen Funktion (Gabor), oder durch Übersetzungen und Erweiterungen (ondículas). Beispiel-Ergebnisse erzielt werden, die dazu führen, dass ausreichende Voraussetzungen für eine diskrete einen Rahmen gesetzt, wenn die Funktion die wir benutzen, ist gut genug.