MATHEMATIQUES (3)

Auteur: HERNÁNDEZ ABREU DOMINGO.
Année: 2005.
Université: LA LAGUNA [www.ull.es].
Lieu de l'exposition: FACULTAD DE MATEMATICAS.
Lieu de préparation: UNIVERSIDAD DE LA LAGUNA.

Résumé: Dans cette thèse est la réalisation d'un traitement numérique et théoriques des différents types d'équations différentielles ordinaires. Après un premier chapitre introductif dans lequel il donne au lecteur un aperçu sur les fondements qui seront abordés dans les chapitres qui suivent, nous étudions d'abord le système différentiel avec les soldes semiestables possédant une variété dimensionnelle centre. Ce sujet est abordé dans le deuxième chapitre de la mémoire inconditionnel de la stabilité des méthodes et des éléments de preuve que dans la pratique, la méthode d'Euler implicite est le seul qui a cette propriété. Pour retrouver la stabilité dans de nombreux types de Runge-Kutta implicite méthodes, ainsi que des méthodes de Rosenbrock, sont considérés dans les troisième et quatrième chapitres intégrations temporaire sur les réseaux pour les raisons tailles entre étapes consécutives sont acostadas constante pour certains de plus d'un. Ainsi, dans ces chapitres montre que la source A-stabilité des méthodes est une condition suffisante pour assurer l'intégration dans les environnements stables semiestables soldes. En outre, les expériences numériques effectuées montrent que le A-force de la stabilité générale Linéaire méthodes appliquées à des problèmes, à des intervalles disipativos strictement temporaire semi-infinitos. Concrètement les résultats sont obtenus à partir contractividad et de la convergence des résultats connus pour la généraliser aux méthodes classiques de type de famille Runge-Kutta. Cette thèse conclut dans le sixième chapitre, qui étudie la conservation des invariants par des méthodes de Runge-Kutta explicite. Vu paires méthodes explicites embarqués stratégie donne une projection des méthodes de type Runge-Kutta permettant de conserver les invariants connu pour un système différentiel avec une autonomie faible coût, de sorte que la nouvelle technique peut être considérée comme l'adaptation des codes pas affecté la fiabilité et la précision de la méthode.

Auteur: Fernández Delgado Isabel.
Année: 2005.
Université: GRANADA [www.ugr.es].
Lieu de l'exposition: Facultad de Ciencias.
Lieu de préparation: Facultad de Ciencias. Universidad de Granada.

Résumé: Cette mémoire est consacré aux domaines avec un maximum singularités isolées dans l'espace de Lorentz-Minkowski dimension 3 et plus généralement dans toute 3-variété Lorentziana complet et plat. Les résultats sont obtenus sur le comportement de ces surfaces autour des singularités, selon la structure et le comportement asymptotique. Sur la base de l'existant Weierstrass représentation pour ces domaines, nous prenons un théorème representacrón, qui permet la construction d'exemples, et nous obtenons une formule liant la topologie de la surface avec le comportement de Weierstrass données et le nombre de singularités. Enfin, si nous étudions la structure de l'espace des modules correspondant embarqués, démontrant qu'il s'agit d'une véritable analyse variété. Il existe un système de coordonnées pour cette variété et considère la topologie.

Auteur: CABALLER VIVES MARÍA CINTA.
Année: 2005.
Université: PAÍS VASCO [www.ehu.es].
Lieu de l'exposition: FACULTAD DE CIENCIA Y TECNOLOGÍA.
Lieu de préparation: FACULTAD DE CIENCIA Y TECNOLOGÍA.

Résumé: Dans cette thèse montre connaissance de l'algèbre qui ont été transmises aux étudiants de l'école secondaire en Espagne au XIXe siècle et le premier tiers du XXe siècle. En outre, comme il a développé ce travail, il a été possible d'identifier un grand nombre de membres de la communauté mathématique espagnol responsable de la transmission de ce savoir. Le noyau de la mémoire est divisé en sept chapitres. La première donne un aperçu de l'évolution de l'algèbre sur le dix-neuvième siècle et au début du XXe siècle, en donnant des nouvelles de quelques éminents mathématiciens qui ont participé au processus. Une fois exposé les progrès accomplis dans l'algèbre, intéressés à savoir comment cela s'est produit en Espagne en les intégrant. Tel est l'objet du deuxième chapitre. Axée sur le thème de l'enseignement secondaire dans le troisième chapitre traite de l'étude de ces instituts sont conçus comme des établissements d'enseignement qui devrait fournir au titre de l'enseignement secondaire. Dans un des paragraphes de ce chapitre montre les trois instituís biographies scientifiques, mettant l'accent sur les enseignements en mathématiques et les professeurs responsables. Le quatrième chapitre examine le contenu des cours de l'algèbre dans l'enseignement secondaire par le biais d'un éventail de programmes et de manuels scolaires. L'institut des professeurs, les auteurs de ces programmes et les manuels d'algèbre, obtenir la stabilité de l'emploi par le biais des concours de circulation et de l'opposition. Dans le cinquième chapitre de fichiers sont passés en revue plusieurs de ces compétitions, en décrivant, dans tous les cas la présence de l'algèbre par rapport à la même. Depuis la loi Moyano obtenir une chaire à la propriété représentaient pour l'admission à la liste des professeurs de l'institut. L'examen de plusieurs échelons qui servent à identifier un bon nombre de membres de la communauté mathématique espagnol, affiché dans le sixième chapitre. Alors que dans les chapitres précédents, est de donner des nouvelles d'un bon nombre de professeurs de mathématiques, dans le septième chapitre, d'une part, énonce en détail les biographies de scientifiques dix-sept universitaire des professeurs, des auteurs de manuels d'algèbre. En outre, elle a produit un tableau de 321 entrées qui reflète les divers aspects de l'objet du présent rapport, ne sont pas couverts dans les chapitres précédents. Le cœur du rapport tire des conclusions qui culminera avec la mission d'enquête. Le rapport est complété par quatre annexes. Dans les deux premiers établit un catalogue des œuvres de mathématiques (algèbre notamment) ont recueilli plus de la rédaction de ce rapport, publié dans le XIXe siècle et une grande partie du XXe siècle. Dans les deux indices sont reproduites les programmes et les manuels d'algèbre étudiée dans le quatrième chapitre.

Auteur: Lozano Palacio Antonio José.
Année: 2005.
Université: SEVILLA [www.us.es].
Lieu de l'exposition: Escuela Técnica Superior de Ingenieros.
Lieu de préparation: Escuela Técnica Superior de Ingenieros.

Résumé: Deux des critères utilisés dans le modèle endroit attrayant, la démarche est le centre et la médiane. Lors de l'installation de localiser apporte des effets indésirables étaient des problèmes inverses anticentro et antimediana. Alors que les problèmes de centre / anticentro ne tient compte de la distance entre le point le plus / P étroite d'un ensemble de n points dans les critères de moyenne / antimediana est considéré comme la somme des distances à tous les points intermédiaires de P. Une approche consiste à considérer la Somme des distances de ak n points. Ainsi, afin de minimiser la somme des distances les plus éloignés des points kPa conduit au problème de k-Centrum, tout en maximisant la somme des distances à la plus proche des points k conduit au problème de l'anti-k-Centrum. Ces critères sont les cas individuels au centre et anticentro, ainsi que les critères et moyennes antimediana, et sont à leur tour deux cas, des critères plus généraux: le critère médiane et ordonnée approche antimediana triées. Cependant, les propriétés géométriques des problèmes sous-jacents à-Centrum et de la lutte anti-k-Centrum permettre des résultats plus précis et de développer des algorithmes plus efficaces que ceux obtenus par l'application directe de ce qui est déjà connu pour les critères de tri et moyennes antimediana. Cette mémoire est dédiée à l'étude des problèmes k-Centrum et de la lutte anti-k-Centrum dans des situations qui ont un caractère combinatoire. Les chapitres 2 et 3 traitent de l'emplacement, en utilisant le critère Anti-k-Centrum, un service ponctuel dans le plan et dans un réseau. Dans les deux cas, décrit une série finie dominante ou, au contraire, sont des conditions qui peuvent trouver une solution, et de développer des algorithmes pour résoudre des problèmes de façon efficace. Dans le cas de localisation en temps dans l'avion, en utilisant le critère Anti-k-Centrum, évaluant la fonction objective de chaque candidat peut être une tâche très coûteuse. Pour cette raison, développer les remarques sur la fonction objective, ce qui réduit le nombre de candidats qui ont besoin de l'évaluer. Dans les deux contextes explore la validité, lorsque les points P sont pas en mesure, dans l'ensemble, les résultats pour le cas général et décrit les modifications qui doivent être apportées dans les algorithmes pour résoudre divers problèmes. Solutions de rechange proposées et se sont installés sur des questions telles que la distance utilisée lorsque le problème s'est posé dans l'avion, ou de l'emplacement des utilisateurs sur les bords et de l'existence de bords orientés, dans le cas de l'emplacement des réseaux. Le chapitre 4 est consacré à la localisation directement à l'critères k-Centrum et de la lutte anti-k-Centrum. Dans le premier cas, il existe un ensemble fini dominant tandis que la seconde prévoit des conditions qui permettent de trouver une solution au problème. Il établit une forte caractérisation, sur l'ensemble des solutions, en imposant des conditions supplémentaires sur le problème des données. Algorithmes sont développés dans les deux cas et explore la validité, lorsque les points P sont en position de dégénérer, les résultats obtenus dans le cas général. Il décrit les changements dans les algorithmes nécessaires pour résoudre les problèmes pertinents, dans le cas dégénéré, et propose des solutions alternatives et décider de la fonction objective et de la distance utilisée. De plus, les résultats sont distingués, car les problèmes k-Centrum et de la lutte anti-Centrum-k, où k = 1 ou k = n, qui a permis d'établir les conditions qui doivent être satisfaites par une ligne antimediana et de développer les algorithmes correspondants. Ces résultats sont d'autant plus important lorsque l'on sait que, jusqu'à présent, 8 pour 318 de la question du droit antimediana classique était le seul problème de la localisation des lignes dont la décision était inconnu.

Auteur: BIADES CAPÓ ANTONIO.
Année: 2005.
Université: ISLAS BALEARES [www.uib.es].
Lieu de l'exposition: ESCULA POLITÉCNICA SUPERIOR.
Lieu de préparation: ESCUELA POLITÉCNICA SUPERIOR.

Résumé: Le principal objectif de cette thèse est, d'abord, de définir une méthode mathématique et d'une méthode expérimentale pour comparer et classer les méthodes d'élimination du bruit dans les images numériques. Deuxièmement, nous proposons un algorithme (non local moyens), capable de préserver les détails de l'image durant le processus d'élimination du bruit. Comparant tous les détails de l'image originale sont conservés peut se faire en calculant la différence entre l'image et la version restaurée dégradées. Cette différence ne devrait pas contenir de l'ouvrage ou de caractéristiques visibles et devrait ressembler aussi étroitement que possible un bruit. Cette différence est appelée "méthode bruit" et a été mathématiquement et visuellement par rapport aux principales méthodes d'éliminer le bruit. Nous proposons également de mettre en œuvre des algorithmes de restauration pur bruit. Cette nouvelle image devrait continuer ressemblant à un bruit pur, d'une magnitude inférieure de la balançoire. Création de la structure du bruit implique la création de dispositifs lorsque l'algorithme est appliqué à une image réelle. Deuxièmement, nous avons proposé un algorithme (non local), la fijandonos dans la même image sans faire de suppositions au sujet de sa régularité. Ce nouvel algorithme remplace la valeur d'un pixel par une moyenne pondérée de tous les pixels de l'image. Les pondérations sont oscillations et conserve toutes les informations qui sont le seul moyen delos similaire de pixels. Par conséquent, les moyens utilisés NL - paraboles automatique de l'image pour réduire le bruit. L'algorithme NL - moyens est particulièrement bien adaptée aux séquences d'images. Pendant longtemps les chercheurs dans le rétablissement de la vidéo ont restauré chaque pixel le long de sa trajectoire à travers le flux. Ce fait combiné avec statique rétablissement de la compensation de mouvement. Cependant, jusqu'à présent personne n'a réussi à concevoir un algorithme capable de véritablement trajectoires des objets. Cela est dû à l'ambiguïté des trajectoires. NL - Les moyens n'ont pas à calculer les trajectoires. Il suffit de chercher le plus de pixels qui sont similaires, peu importe où ils se trouvent. L'expérience a montré qu'il signifie NL - montre une plus grande capacité à réduire le bruit dans le même temps, est en mesure de préserver plus de détails et d'informations de l'image originale que les principaux algorithmes connus.

Auteur: San José Nieto Luis Augusto.
Année: 2006.
Université: VALLADOLID [www.uva.es].
Lieu de l'exposition: Facultad de Ciencias.
Lieu de préparation: Facultad de Ciencias.

Résumé: Théorie de l'inventaire est l'une des branches de la recherche opérationnelle et que de plus le travail scientifique a généré au fil des ans. La raison en est les avantages significatifs que peut produire le modèle de gestion des stocks dans l'entreprise. Ce travail se concentre sur le développement de nouveaux modèles déterministes inventaire a permis à la pénurie ou de rupture des stocks. La thèse est structurée comme suit. Dans le chapitre 1 présente six modèles EOQ (Economic Order Quantity), avec des cas extrêmes de la rareté (et de la demande cumulée complètement perdu ventes) et quantitative des réductions sur les prix d'achat (remises sur toutes les unités et de réduction progressive). Il identifie les meilleures politiques pour chacun de ces six modèles différents et effectuer des extensions des constatations à d'autres situations, notamment le cas connu sous le nom de la grandeur du terrain composites modèle. Le chapitre 2 traite de l'inventaire des systèmes où rompu avec la fraction de la demande cumulée est décrite par une fonction qui ne dépend que du temps que le client devra ou devrait attendre l'arrivée de la prochaine commande. Elle développe une approche globale pour résoudre le problème d'optimisation soulevés. Il identifie des politiques efficaces pour les diverses fonctions d'inventaire et de l'impatience est une analyse de sensibilité à l'égard de plusieurs des paramètres considérés. Enfin, au chapitre 3 introduit une nouvelle vue conceptuel pour modéliser le comportement des clients face à la pénurie. Trois nouveaux modèles sont développées sur la base de ce point de vue explicite et propose des algorithmes pour trouver les meilleures politiques pour.

Auteur: Donoso Salgado Sergio.
Année: 2006.
Université: GRANADA [www.ugr.es].
Lieu de l'exposition: Univ. Tecno. Metropo. Santiago de Chile.
Lieu de préparation: Universidad de Granada, Universidad Tecnologica Metropolitana, Santiago de.

Auteur: MERILLAS SANTOS IVAN.
Année: 2006.
Université: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Lieu de l'exposition: SALA PI I CALLEJA DE L'ETSAB.
Lieu de préparation: U FACULTAT DE MATEMATIQUES I ESTADISTICA SUD.

Résumé: Cette thèse porte sur la modélisation et l'étude numérique de systèmes dynamiques nonsmooth (SNDS). La première partie de cette thèse traite de la modélisation de certains DC-DC convertisseurs de puissance en utilisant le formalisme de la complémentarité. Ce cadre théorique mathématique nous permet d'assurer l'existence et l'unicité de solutions dans un ânatural et de façon synthétique. Concrètement, cela fonctionne plutôt bien dans les convertisseurs électroniques de puissance, car il intègre des modes de conduction discontinue généralisée (GDCM), caractérisé par une réduction effective de la dimension de la dynamique. Pour les systèmes avec une seule diode, de l'état-analytique conditions de la présence d'un GDCM sont énoncés et les résultats des simulations, montrant une variété de comportements, comme la persistance ou à se réinsérer dans GDCM, sont aussi présentés. En outre, l'analyse et la simulation d'un convertisseur parallèle résonnante (PRC), qui comporte quatre diodes, la commodité d'illustrer la complémentarité du formalisme de simuler des systèmes électriques avec un grand nombre de diodes idéal. Nous présentons également la simulation d'un convertisseur élévateur avec un mode de contrôle de glissement, même si une théorie générale des systèmes de contrôle de la complémentarité n'est pas encore développé. Dans la deuxième partie de la thèse, nous nous concentrons sur l'analyse de bifurcation dans la stratégie nationale de développement durable et, en particulier, nous avons étudié différents systèmes mécaniques qui comportent des incidences et sèche-frottement. Il est connu que nonsmooth ou discontinu systèmes dynamiques peuvent exposer les bifurcations également manifestée par bon systèmes. En plus de cela, il ya aussi quelques nouveaux transitions dite discontinuité induite bifurcations (DIBs), qui sont propres à ces systèmes. Nous avons étudié les comportements complexes qui se produisent dans un système ayant un impact mécanique. DIBs tels que l'impact coin bifurcations et transitions de l'achever à incomplets bavardage motions ont été analysés en détail. Un autre type de DIBs récemment classées sont les soi-disant coulissantes bifurcations. Ces bifurcations sont un trait caractéristique de ce qu'on appelle les systèmes de Filippov. Nous présentons des exemples détaillés de l'ensemble des différents scénarios de glissement de bifurcation dans un frottement sec utilisant un oscillateur friction caractéristique mesurée d'abord introduit par Popp. En outre, un codimension-deux-switching dégénérer coulissantes bifurcation est affiché. Dans ce cas, la bascule de dégénérer coulissantes bifurcation de codimension deux courbes et un glissement bifurcations, de passage et ajoutez-coulissante coulissantes, branche démarquer de la codimension-deux points. Aussi, un bon fronce codimension-deux bifurcation est affiché et la coexistence des orbites périodiques dans la région entre les deux volets codimension-one courbes est étudié. Nous avons aussi enquêté sur le comportement dynamique des deux blocs Burridge séisme modèle pour des simulations. Des études antérieures enquêté numérique Ruin vérifié que, avec une force de frottement de Coulomb type, le système ne présente que le comportement périodique. Nous montrons que chaotique régions peuvent être observés dans une configuration symétrique, même si une Coulomb friction est considérée avec l'assouplissement de l'une des hypothèses sismologiques supposé dans la littérature. En outre, nous avons étudié le comportement du système avec la configuration asymétrique. Différentes régions de solutions périodiques et le chaos peuvent être observés variant l'asymétrie du système. En ce qui concerne la bifurcation point de vue, nous avons analysé plusieurs bifurcations lisse (lisse et DIBs) observés dans ce système. Le chapitre 6 de cette thèse présente les SICONOS plate-forme logicielle dédiée à la simulation de la stratégie. Nous donnons un aperçu de la SICONOS logiciels et de la façon dont SNDS sont modélisés et simulés au sein de la plate-forme. Routines d'analyse (stabilité, bifurcations, invariant manifolds, â |) de la stratégie mise en œuvre dans la plate-forme sont expliqués en détail. Pour conclure cette partie, plusieurs échantillons représentatifs sont présentés pour illustrer l'ES 8 CÔNES pl 2de atform capacités. Conclusion et certains problèmes ouverts sont présentés dans le dernier chapitre.

Auteur: REDONDO LOPEZ JOSE MANUEL.
Année: 2006.
Université: OVIEDO [www.uniovi.es].
Lieu de l'exposition: E.U. INGENIERIA TECNICA INFORMATICA.
Lieu de préparation: DEPARTAMENTO DE INFORMATICA.

Résumé: Dynamique des langages tels que Python ou Ruby, généralement exécuté sur une machine virtuelle mis en oeuvre à titre d'interprète, en tirant parti des avantages qu'ils offrent. Cela, de concert avec le plus grand nombre d'opérations qui doivent être effectuées au cours de l'exécution, qui concerne la performance des applications faites avec ces lenjuajes est inférieur à celui offert par la statique langues. Il existe des techniques qui permettent d'améliorer la performance de l'aplicacones qui fonctionnent sur les machines virtuelles, telles que la compilation Justo une Tiempo (juste à temps, JIT), qui permet d'utiliser ces plates-formes pour la mise au point de systèmes commerciaux. Cette thèse a utilisé le même principe pour optimiser la dynamique décrite langues. Basée sur une machine virtuelle JIT professionnel avec la série de compilation des modifications à leur modèle d'intégrer les caractéristiques de réflexion offerts par la structure dynamique des langues, d'évaluer les gains de performances à l'exécution. Il va essayer de donner un appui efficace et intégré pour ces caractéristiques de la machine, de sorte que nous pouvons l'utiliser pour appliquer et soutenir les langues sur la dynamique de masse, en améliorant leur performance à l'exécution en ce qui concerne d'autres implémentations existantes. Compatibilité avec le code demeurera pleinement hérité. Pour cette raison, la conception d'un nouveau modèle qui ajoute au modèle de calcul fondé sur les classes orientées objet machine de jeu, qui utilise un autre modèle orienté objet, principes de modèle basé sur des prototypes. En outre, nous avons conçu un ensemble de primitives pour soutenir les caractéristiques structurelles de réflexion offerts par la dynamique des langues. Ces primitifs sont exécutés d'une manière intégrée dans sa structure, ce qui rend ces nouvelles capacités font partie des fonctionnalités de base offertes par le système étendu. Le changement est aussi la sémantique d'une langue intermédiaire des instructions de la machine virtuelle, de sorte que le compilateur JIT peut traiter selon le nouveau modèle. Toute langue est traduit directement dans un langage intermédiaire commun, qui interagissent avec les dynamiques et statiques langues. Enfin, il examine à la fois les bénéfices de performance à l'exécution et l'utilisation de la mémoire par rapport aux autres systèmes d'exploitation dans les scénarios représentant dynamique, ainsi que le coût de la fourniture d'une plus grande souplesse à la machine à statique, et valider la théorie de départ.

Auteur: HERRANZ CUADRADO MARIA VICTORIA.
Année: 2006.
Université: MIGUEL HERNÁNDEZ DE ELCHE [www.umh.es].
Lieu de l'exposition: CENTRO DE INVESTIGACION OPERATIVA.
Lieu de préparation: CENTRO DE INVESTIGACION OPERATIVA.

Résumé: L'objectif de ce rapport est la construction des codes convolutifs par des techniques de forage et de mise en réseau. Cette technique s'applique forés dans le but de faire de puissants codes de sorte que le décodage Viterbi est considérablement simplifiée. Dans ce travail, ainsi que de fournir la classification des codes convolutifs repose sur la construction d'Justesen en termes de propriété MDS, de nouveaux codes sont obtenus par l'application du forage précédent, en utilisant la description du code par l'intermédiaire de sa mère génération. Le reste du travail est axé principalement dans la construction, du point de vue des systèmes, de nouveaux codes de la concaténation des autres. Alors que de nombreux auteurs ont proposé la concaténation des codes du bâtiment, ils n'ont pas été étudiés à l'aide de la théorie du contrôle. En outre, dans ce rapport, nous travaillons sur les corps finis d'arbitraire, contrairement à la plupart des codes concaténés bâtiments, qui sont fondées sur binaire organes. Plus de mémoire, les effets sont les conditions d'obtention de représentations début du estado - - salida minimales différents modèles en cascade série de codes convolutifs sur un corps de Galois arbitraire, qui connaît la valeur de la complexité du code et par conséquent, nous pouvons comparer la distance libre de ces Les codes liés à la généralisation Singleton. En outre, dans certaines conditions, qui sont modélisés concaténées codes ne sont pas catastrophiques. Il a également été montré que certains enchaînements sont libres à distance supérieure à celle de l'acte constitutif de codes. Cela représente un important pas en avant parce que certains des codes construits à partir des codes concaténés dont la distance est loin d'être le pic Singleton, les codes sont jugées optimales, et donc avec une grande capacité de correction des erreurs. Après la modélisation des enchaînements de série différents codes convolutifs, la baisse à la caractérisation de la concaténation d'un bloc de code et un code convolucional utilisé, par exemple, dans la consolidation des canaux dans la technologie GSM. Il analyse les représentations début du estado - - salida de modèles différents, de la représentation des codes constituants. Fournit également des conditions d'obtention d'un code convolucional pas catastrophique, basé sur un minimum de représentation. Elle montre également que la mise en réseau peut conduire à des codes convolutifs lourdement MDS, sous certaines conditions, bien que concatenen un bloc de code n'est pas MDS et d'un code convolucional pas MDS. Il conclut par la modélisation de différents types de réseaux en parallèle codes convolutifs, fournissant des conditions de la représentation et minimales de sorte que les codes sont concaténées pas catastrophique. Il examine également les propriétés des différents modèles, les comparant les unes avec les autres. Le fait de travail au sein de modules de codes convolutifs rendements des propriétés intrinsèques du code plutôt que la génération des parents, en lui donnant la forme d'outils pour apprendre la complexité des codes, ainsi que d'obtenir des codes pas catastrophique avec les représentations minimales dont la distance libre ci-dessous est limitée tant Superiorly. En outre, des liens peuvent être combinées en série et en parallèle enchaînements de codes convolutifs, à la fois étudié séparément au travail. Il s'agit là d'une étape préalable à la mise en oeuvre de ces codes (comme les codes concaténés cherchent à atteindre les plus hauts taux de transmission éventuelle de la théorie de Shannon), ainsi que la mise en place efficace de décodage des algorithmes qui exploitent les propriétés algébriques de ces codes.

Auteur: Fernández Ascariz Pablo.
Année: 2006.
Université: SANTIAGO DE COMPOSTELA [www.usc.es].
Lieu de l'exposition: Facultad de Matemáticas.
Lieu de préparation: Facultad de Matemáticas de la Universidad de Santiago de Compostela.

Résumé: Cette thèse étudie l'état des modules croisés algèbre commutative, qui généralise simultanément deux structures différentes, et algèbre commutative module. Le premier chapitre présente les éléments de base et construit certaines limites. En outre, il a été montré plusieurs propriétés dans cette catégorie, par exemple, une preuve qui est semiabeliana et aussi qu'il est tripleable (de base fait dans le but de construire une théorie de la (co) homology), c'est-à-dire il ya un adjunción entre modules croisés et septembre . Il examine ensuite de manière approfondie la nature déséquilibrée de la catégorie et offre plusieurs définitions équivalentes au module de liaison, qui sera utile pour la suite en mesure de gérer plus facilement les différents concepts. Dans le deuxième chapitre définit plusieurs bâtiments associés à la catégorie: tirs croisés d'un acteur, module unique cross aiguillage, le produit tensoriel, le produit semidirecto, la catégorie (C, R, f)-modules et dérivations. En outre, nous étudions les propriétés de ces objets, qui relie entre eux et avec leurs analogues dans la catégorie d'algèbre commutative. Dans le troisième chapitre développe une théorie de (co) homology blocs croisés, et discute leurs propriétés obtenir quelques résultats intéressants. Il aborde également les extensions des modules croisés, ils se rapportent à cohomología définies et il ya deux successions sur le différentiel exact. Enfin, il identifie les (co) homology Croisés certains modules, les modules croisés asphériques, avec une classe particulière de (co) homology sur l'algèbre. Le dernier chapitre effectue des calculs d'homologie troupes groupes nilpotentes gratuitement par l'intermédiaire de ses associés Lie algebra. Il est à noter que cette méthode est plus rapide et moins exigeant en ce qui concerne le calcul de ressources qui sont nécessaires, qui jusqu'ici a été mis en service, le calcul de cette homologie directement par le biais d'un règlement du groupe. Cela homologías obtenir de l'estimation qui n'a pas été calculé jusqu'ici. Pour effectuer ces calculs est utilisé GAP (Groupes d'Algorithmique, programmation), un système orienté vers le calcul formel et discret sont programmées plusieurs fonctions qui sont inclus dans l'un de ses forfaits, les HAP (Homological Algebra Programmation).

Auteur: Mosquera Rodríguez Manuel Alfredo.
Année: 2006.
Université: SANTIAGO DE COMPOSTELA [www.usc.es].
Lieu de l'exposition: Facultad de Matemáticas.
Lieu de préparation: Facultad de Matemáticas.

Résumé: Cette thèse est divisée en deux parties distinctes. Le premier est consacré à l'étude des trois modèles de jeux coopératifs avec utilité transférable résultant de deux opérations de recherche des problèmes. Le premier modèle est l'inventaire de ces jeux, où une règle est caractérisée fractionnement en utilisant une propriété immunité grâce à la manipulation des coalitions. Les deux autres modèles sont deux nouveaux modèles: Lit et Plays Autoroute séquençage en ligne proportionnelle, ces modèles sont analysés en profondeur. La deuxième partie est consacrée à l'analyse des problèmes de comportement prudent décision. Nous avons étudié et caractérisé le comportement MAXIMIN et protecteur.

Auteur: SUÁREZ DE LA FUENTE JESÚS.
Année: 2006.
Université: EXTREMADURA [www.unex.es].
Lieu de l'exposition: UNIVERSIDAD DE EXTREMADURA.
Lieu de préparation: FACULTAD DE CIENCIAS, UNIVERSIDAD DE EXTREMADURA.

Auteur: Valero i Bayà Jordi.
Année: 2006.
Université: AUTÓNOMA DE BARCELONA [www.uab.es].
Lieu de l'exposition: Departament de Matemàtiques.
Lieu de préparation: Facultat de Ciències.

Résumé: La thèse est recueil des articles suivants: Puig, P. Et Valero, J. (2006). Données sur les distributions: certaines caractérisations avec des applications. J. Amer. Étatiste. Assoc., 101, 332 -- 340. Puig, P. Et Valero, J. (2007). Caractérisation de compter les données concernant les distributions d'additivité et Binomial sous-echantillonnage. Bernoulli, 13 (2), 544 -- 555. Les deux modèles sont caractérisés distributions de recomptage qui répondent à certaines conditions, comme être fermés par l'ajout ou que la moyenne de l'échantillon est le maximum de vraisemblance, estimateur de l'espérance, ou d'autres qui sont définis dans ces articles. Dans l'article "Count distributions de données: certaines caractérisations de demandes," caractérisent tous les modèles biparamétricos distributions de comptage (rencontré certaines conditions techniques très généraux) qui sont partiellement couvertes par l'addition. Il ya aussi ceux pour lesquels le maximum de vraisemblance, estimateur de la moyenne de la population est en moyenne de l'échantillon. De même, certaines sont complètement mélangés Poisson modèles qui répondent à ces propriétés. Parmi ces modèles sont les Binomial négatif Poisson-Lie inversa Gaussiana et d'autres qui sont aussi formés par des distributions connues. Vous pouvez également créer de nouvelles distributions utilisant les techniques employées dans ces caractérisations. Nous montrons trois exemples d'applications des résultats théoriques de ce travail. Dans l'article "Caractérisation de compter les données concernant les distributions d'additivité et Binomial sous-echantillonnage," caractériser toutes les familles r paramétricas distributions de compter (sous certaines conditions techniques très générique), qui sont fermées et en ajoutant Binomial sous-echantillonnage. Etonnamment, il ya peu de familles qui répondent à ces deux conditions, et les familles sont dans la suite des modèles univariés de Hermite afin de rec Parmi celles-ci, l'Poisson (-r = 1) et Hermite distributions (-r = 2). Distributions de probabilités comptage fermé sous Binomial sous-echantillonnage.