L'ANALYSE ET L'ANALYSE FONCTIONNELLE

Auteur: MORENO JALGUERO YOLANDA.
Année: 2003.
Université: EXTREMADURA [www.unex.es].
Lieu de l'exposition: FACULTAD DE CIENCIAS.
Lieu de préparation: FACULTAD DE CIENCIAS.

Auteur: SEGOVIA GONZÁLEZ MARÍA MANUELA.
Année: 2004.
Université: PABLO DE OLAVIDE [www.upo.es].
Lieu de l'exposition: FACULTAD DE CIENCIAS EMPRESARIALES.
Lieu de préparation: FACULTAD DE CIENCIAS EMPRESARIALES.

Résumé: Dans ce rapport, il ya une analyse technique des principales composantes en termes discrets et fonctionnels, établissant un parallèle entre eux, à la fois sous la forme d'plantearlos comme dans la solution des problèmes à partir d'une position théorique. Il a ensuite décrit les principaux composants de l'analyse fonctionnelle (ACPF), sachant à l'avance la grande difficulté de travailler avec des fonctions plutôt que des vecteurs. En outre, il fournit une méthode qui permet d'interpréter les principales composantes fonctionnelles résultant de l'application de la technique antérieure, fondée sur le rôle de la corrélation entre l'original et chacune des composantes. Actuellement, les interprétations données dans des applications spécifiques ne reposent pas sur des techniques statistiques qui fournissent à leur objectivité et, par conséquent, cette approche contrecarre cette lacune. Il définit également une fonction qui permet l'évaluation quantitative de chaque individu étudié en fonction de leur comportement à l'égard de l'intérêt variable dans les différentes sections identifiées à l'état de la technique. Il ya des applications potentielles dans des affaires avec la Fondation, qui peut apporter de nombreuses améliorations car lorsque des travaux sont menés dans ce secteur generamente utilise un grand volume de données et de multiples variables. Il fait une application réelle dans le domaine de l'assurance automobile, qui vise à proposer une nouvelle entreprises de fixer des primes pour l'acquisition de nouveaux clients. Pour ce faire, il est perçu comme une série de profils et note le risque de survenance d'un incident en particulier dans chacun des groupes d'âge considérés.

Auteur: GARIJO REAL ANTONIO.
Année: 2005.
Université: BARCELONA [www.ub.es].
Lieu de l'exposition: UNIVERSIDAD DE BARCELONA.
Lieu de préparation: U. BARCELONA.

Résumé: La thèse est divisée en trois parties. Le premier chapitre examine la famille tonnes métriques (Z) = Zm et Z. Nous obtenons des résultats intellectuelle liés à la structure de la composante (s) de (s) du bassin afracción de 7 = 0 et les bassins hydrographiques des paramètres de l'avion. Le second relie le premier et le troisième. La troisième partie examine la phase --- et le rôle de certains période de complexes équations différentielles comme z fonction f (z) et Z = F (Z) g de (Z).

Auteur: PIERANTOZZI TERESA.
Année: 2005.
Université: COMPLUTENSE DE MADRID [www.ucm.es].
Lieu de l'exposition: FACULTAD DE MATEMÁTICAS.
Lieu de préparation: FACULTAD DE MATEMÁTICAS - UNIVERSIDD COMPLUTENSE DE MADRID.

Résumé: La théorie du calcul Fraccionario, c'est-à-dire l'étude du calcul différentiel et intégral de tout ordre réel, a été l'outil qui a permis d'étudier différentes généralisations de l'équation classique de la diffusion et des vagues par des équations contenant des dérivés de commande effective, et Interpolaran régulièrement que les deux équations hyperboliques et paraboliques - type respectivement. Premièrement, ils ont découvert certains aspects de la célèbre équation de diffusion Fraccionaria obtenu en remplaçant la norme de diffusion équation de la dérivée première par rapport au temps et / ou de la dérivée seconde en ce qui concerne l'espace, un dérivé de fractionnement de l'ordre réel. Successivement a étudié une généralisation de l'alternative classique des équations en question, assurée par un système d'équations de Evolución-Difusión type Dirac Fraccionarias obtenu envisage une sorte de racine carrée de l'équation de diffusion de fractionnement de généraliser la méthode classique utilisée par Dirac pour obtenir sa fameuse équation De l'électron libre à partir de l'équation Klein-Gordon. Enfin, une étude a été faite de l'équation numérique Fraccionaria Seno-Gordon, qui est une équation de Klein-Gordon non linéaires et non locaux dans lesquels la non-linéarité est de la fonction et de la commune n'est pas définie par l'opérateur Saisine fraction de Feller-Riesz. Cette équation peut être vue comme une généralisation d'un modèle de la division la propagation des ondes non linéaires, qui se trouve être pas local pour être locale.

Auteur: GAVIRA AGUILAR BEATRIZ.
Année: 2005.
Université: SEVILLA [www.us.es].
Lieu de l'exposition: FACULTAD DE MATEMÁTICAS.
Lieu de préparation: FACULTAD DE MATEMÁTICAS - UNIVERSIDAD DE SEVILLA.

Résumé: Bien que le premier point fixe théorème métrique a été donnée par S. Banach en 1922, on peut dire que la théorie de Punto Fijo Données commence en 1965 lorsque FOI Browder, D. GÃ ¶ et WA Kirk hde Pour prouver l'existence de points fixes pour les applications Pas en croissance dans certains espaces de Banach vérifiant propriétés géométriques. Ces résultats établissent un pont, jusqu'ici inexistants entre la théorie géométrique de Banach Spaces, un sujet généralement encadrés en linéaire Analyse fonctionnelle, et de la Théorie de Punto Fijo, un sujet pour l'analyse fonctionnelle non linéaire. A partir de ce moment, de nombreux chercheurs se soucier de l'exploitation de cette liaison, pour l'essentiel d'examiner d'autres propriétés géométriques des espaces de Banach (convexité uniforme douceur des conditions uniformes de type Opial presque uniforme convexité, presque uniforme lissé, etc.) Cela peut être appliqué à prouver l'existence de Points fixes pour les divers types d'opérateurs non linéaires. Partenaires telles propriétés sont définies modules et géométrique des ratios qui caractérisent et donnent une idée de la vérification quantitatives. Les modules sont probablement la plus connue sous forme de Clarkson uniforme convexité du module et uniforme de souplesse. Ceux-ci, et beaucoup d'autres se rapportant à d'autres propriétés géométriques, ont été très utiles dans l'étude de l'existence de points fixes d'opérateurs non expansifs. En 1995 C. Benitez, K. Prezslawski et D. Yost fixer un module, le module appelé en quadrature, qui caractérise simultanément différentes propriétés géométriques des espaces réglementés (convexité uniforme douceur uniforme, structure normale, presque carré, etc.). L'avantage que ce module sur les autres précédemment définie comme l'uniforme lissé module, le module de Clarkson, etc.) Est capable de mesurer simultanément la douceur et la convexité de l'espace plutôt que de manière indépendante. Le module de quadrature (comme convexité douceur et uniforme) est un finito dimensions, c'est-à-dire juste dépend de la dimension du sous-espace considéré espace fini. Toutefois, depuis les premières versions intéressantes propriétés géométriques ont un infinito dimensions d'être connus presque uniforme douceur et presque uniforme convexité) est naturel planteares l'existence d'un module qui caractérisent ces propriétés en même temps. L'objectif de la première partie de la thèse est de définir une nouvelle forme de caractère infinito dimensions qui conviennent pour la mesure presque simultanément convexité et près uniforme douceur et faire une étude approfondie de ce module. En particulier, on calcule la valeur de ce module dans certains classiques, on étudie certaines propriétés fondamentales (croissance, convexité, de la continuité en ce qui concerne son variable, et sur des distances de Banach - Mazur, etc. (Et obtenir certains résultats pour les points fixes d'applications univaludadas pas expansives . Dans la deuxième partie, nous utilisons ce module, et quelques autres connaissances pour obtenir les théorèmes de point fixe pour les applications multivaluadas pas expansif que donner quelques réponses partielles au problème de l'extension de la célèbre théorème Kirk. Testé en particulier que les places sont uniformément doux propriété des fixes Point pour les applications multivaluadas pas en croissance (problème a été ouvert pendant de nombreuses années). Ces modules permettent également aux résultats de la stabilité de la propriété du point fixe pour les applications multivaluadas.

Auteur: CONDORI FERNÁNDEZ OLINDA NELLY.
Année: 2006.
Université: POLITÉCNICA DE VALENCIA [www.upv.es].
Lieu de l'exposition: Universidad Politécnica de Valencia.
Lieu de préparation: Universidad Politécnica de Valencia.

Résumé: Aujourd'hui, la taille du logiciel est utilisé dans la gestion et le contrôle de la production comme l'un des paramètres essentiels des modèles pour estimer que contribuer à la qualité de projets logiciels et des produits livrables. Bien que l'importance de la petite mesure de la taille, il est clair, désormais, cette mesure est réalisée uniquement dans les étapes ultérieures du cycle de vie du logiciel (analyse, conception et mise en œuvre). La taille du logiciel peut être quantifiées à l'aide de différentes techniques, telles que les lignes de code et des méthodes de mesure de la taille fonctionnelle. Une méthode de mesure de la taille fonctionnelle mesurée par la quantification de la taille du logiciel, des exigences fonctionnelles. La méthode d'analyse des points fonctionnels (CCP) est la méthode la plus utilisée. Cette méthode a été développée pour mesurer les systèmes d'information de gestion mis au point avec les méthodes traditionnelles. Bien que IFPUG FPA est devenu plus populaire dans l'industrie, cette méthode n'est pas applicable à tous les types de logiciels et de nouveaux paradigmes de développement. Pour remédier à ces faiblesses, COSMIC-FFP est apparue comme une méthode de la deuxième génération et a été testé en tant que norme internationale (ISO / IEC 19761). Toutefois, la généralité de COSMIC-FFP doit être instancié à travers une plus ciblée et plus systématique en liaison avec une méthode de développement de logiciels.

Auteur: RAMOS DÍAZ J. GUADALUPE.
Année: 2006.
Université: POLITÉCNICA DE VALENCIA [www.upv.es].
Lieu de l'exposition: Universidad Politécnica de Valencia.
Lieu de préparation: Universidad Politécnica de Valencia.

Résumé: L'évaluation partielle effectuée par un rétrécissement (ENP: Rétrécissement axée Partial Evaluation) est une technique puissante pour la spécialisation des systèmes de réécriture, c'est-à-dire, pour la première composante de l'ordre de nombreux langages déclaratifs (logiciel) sous une forme fonctionnelle Haskell, de jouets ou de curry. Les évaluateurs partiels sont classées en deux grandes catégories: en ligne et hors ligne, selon le moment où ils sont considérés comme temporaires aspects de l'achèvement du processus de spécialisation. Les évaluateurs partiels en ligne sont généralement plus précis car ils ont plus de renseignements disponibles. Les évaluateurs partiels offline communément venir en deux phases, la première phase d'un logiciel de traitement (par exemple, pour identifier les appels de fonction qui peut être déployée sans le risque de non-achèvement) et comprend des annotations pour guider les calculs partiels, et puis une deuxième étape, le Partielle évaluation elle-même, vous n'avez à obéir aux annotations et donc especializador est beaucoup plus rapide que dans le rapprochement en ligne. Cette thèse présente un nouveau schéma de l'évaluation partielle effectuée par rétrécissement, plus efficace et permet d'achèvement dans l'original hors ligne. À cette fin, nous avons défini un programme de caractérisation cuasi-terminantes ceux qui demandent "pas de croître." Dans de tels programmes, les calculs exigés par rétrécissement présente seulement un ensemble fini de termes différents (module renommage des variables). La propriété des cuasi-terminación est important car leur présence est normalement une condition suffisante pour l'achèvement du processus de spécialisation. Cependant, le genre de programmes cuasi-terminantes est très restrictive, ce qui nous a présenté un algorithme qui accepte inductivamente programmes séquentiels --- classe beaucoup plus large qui est défini sur le rétrécissement --- nécessaires et écrire les parties qui violent la caractérisation de la Programme ne croissent pas. Pour gérer de façon adéquate les nouvelles conditions marqué d'élargir les termes de rétrécissement, qui demandent: rétrécissement generalizante nécessaire. Une fois le système, nous avons développé un prototype pour offline évaluation partielle effectuée par rétrécissement. La validation expérimentale lancers resutlados montrant une amélioration significative dans le temps especializaicón offline sur le système en ligne. Récemment, il a effectué un nouveau départ pour l'analyse de la fin des programmes basés sur le changement de la taille de l'argumentation des appels de fonction. Dans le but d'améliorer la précision de la phase anotaicónpropia le nouveau régime, nous avons adapté le changement de la taille des graphiques (graphiques changement de taille), initialement mis en place pour des langages fonctionnels, le langage logique fonctionnelle. En particulier gragos nous sont utiles pour déterminer une forme spécifique de cuasi-terminación, qui a fini par utiliser pour annoter le style de notre première proposition hors ligne. L'embedded langages dédiés (DESLs) du code généré inefficace en raison de la surcharge de l'interprétation, de sorte (Hudak 1998, Seefried et al. 2004, Christensen 2003), entre autres, accroître l'utilisation des techniques d'évaluation partielle, comme un moyen de remédier à cette lacune . À ce stade, sélectionnez le domaine des routeurs, en particulier le modèle du logiciel Cliquez routeurs et de développer un langage de spécification pour les routeurs appelé R.

Auteur: Martínez Romero Juan Francisco.
Année: 2006.
Université: VALENCIA [www.uv.es].
Lieu de l'exposition: Facultad de Matemáticas.
Lieu de préparation: Universidad de Valencia Estudi General.

Résumé: La théorie renormamiento étudier les problèmes relatifs à la construction des normes équivalentes en espaces de Banach avec de bonnes propriétés de convexité ou diferenciabilidad. Dans cette thèse, nous nous intéressons particulièrement à renormamientos locales uniformément arrondies en espaces de Banach de type C (K). La norme |. | Un espace de Banach X est dit locale uniformément rodunda (UWR en abrégé) si limite | x x_n | = 0 lorsque la succession (x_n) _n et le point x sont des éléments de la limite de terrain s'acquitter X | X + x_n | = 2. Les espaces de fonctions réelles et continues définies pactes sont considérés comme des exemples classiques de la théorie des espaces de Banach. La thèse est divisée en trois chapitres et se compose d'une introduction contextualiza où le problème central de la même chose. Dans le premier chapitre de caractériser l'existence de normes équivalentes UWR espaces en C (K) en termes de deux concepts topologiques: coordonne et contrôle la couverture de K ensembles de petites oscillations. De même, nous avons également caractériser la sigma fragmentabilidad et à la propriété DLV C (K) en fonction de ces notions topologiques. Dans le deuxième chapitre, nous présentons une méthode pour construire semi espacios ouvert qu'il est nécessaire de mettre en œuvre les centrales théorème premier chapitre. Le troisième chapitre est consacré aux applications. Il en déduit l'existence d'renormamientos UWR, à travers une approche unifiée dans les domaines de responsabilités: C (K) où K est un compact Namioka - Phelps (inclus également le cas des compacts sigma discretos), C (K), où K est Un compact Rosenthal séparables avec la propriété que chaque fonction K est, au mieux, un montant numerable des discontinuités; continu de l'espace des fonctions qui sont caduques à l'infini défini dans un arbre Hausdorff T admet un plus grand rôle et pas constant dans tout sous-ensemble toujours ramification Ty, qui a Pas de mauvais points; C (L) où L est un compact entièrement triés et il ya une diminution de l'importance dans L intervalles qui n'est pas constant dans tout système dyade intervalles L, C (K, E) si l'espace de Banach E & (K ) Admettre une renormamiento UWR.

Auteur: Ascensi Sala Gerard.
Année: 2006.
Université: AUTÓNOMA DE BARCELONA [www.uab.es].
Lieu de l'exposition: Facultat de Ciències.
Lieu de préparation: Universitat Autònoma de Barcelona.

Résumé: Ce rapport examine les systèmes générateurs L ^ 2 (R) formé par les traductions dans le temps et la fréquence d'un ensemble de fonctionnalités. La première partie porte sur l'étude des systèmes de groupes électrogènes constitués uniquement par une série de traductions. Il donne une description de la partie des fonctions qui peuvent conduire à un système de générateurs. Il traite également des ensembles de traductions discrets pour lesquels nous pouvons obtenir ce genre de systèmes, à la fois en général et dans des cas spécifiques où il obtient une description de tout ou partie de ces paquets. La deuxième partie examine les cadres et les bases de L ^ 2 (R) composé de traductions et des modulations d'une fonction fixe (Gabor), ou par des traductions et des dilatations (ondículas). Exemple de résultats sont obtenus, qui conduira à des conditions suffisantes pour un ensemble d'un cadre si la fonction que nous utilisons est assez bon.