TECHNOLOGIE DE L'INFORMATIQUE

Auteur: LOPEZ PELAYO FERNANDO.
Année: 2003.
Université: CASTILLA-LA MANCHA [www.uclm.es].
Lieu de l'exposition: ESCUELA POLITÉCNICA SUPERIOR DE ALBACETE.
Lieu de préparation: ESCUELA POLITÉCNICA SUPERIOR DE ALBACETE.

Résumé: Cette thèse présente un modèle théorique pour valider les caractéristiques qualitatives et quantitatives dans les systèmes concurrents, et en temps réel des processus multi-Algèbre Markovianos ROSA. Il présente une sémantique opérationnelle et d'autres denotacional de capter les propriétés fonctionnelles d'un système, en particulier la non-déterministe des systèmes peuvent être analysées, avec des probabilités (generativas) et les distributions Exponenciales et Poisson. Les relations sont fournis sur ces équivalence sémantique permettant de comparer les processus fonctionnels. Il présente également un algorithme qui permet de comparer temporaire évaluation de l'efficacité des processus. Elle s'applique à l'analyse des sous-produits animaux ROSA (un cas classique d'étude) et le MPEG-2 (une application realcuyas caractéristiques sont cruciales temporaire) obtenir des résultats intéressants. Cela démontre l'utilité de modèles formels à l'évaluation de la performance dans les systèmes réels. Enfin, incapables de décrire avec précision le taux réel par ORSA conduit à l'utilisation d'autres moins intuitive formalisme mais avec de meilleures aptitudes pour l'analyse de la fréquentation réelle: Petri Nets avec Arcos Temporizados. Grâce à sa mise en œuvre des résultats très intéressants dans l'amélioration de l'application de l'algorithme ciompresión de vido MPEG2, comme une analyse du nombre de processeurs requis lorsque le maximum permis de branchement, ainsi que les améliorations obtenues dans les avantages théoriques de cet algorithme.

Auteur: PARCERISA BUNDO JOAN-MANUEL.
Année: 2003.
Université: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Lieu de l'exposition: ARQUITECTURA DE COMPUTADORS.
Lieu de préparation: EDIFICI D6 DESPATX 206 Campus NORD.

Résumé: L'objectif de cette thèse est de proposer de nouvelles techniques pour la conception efficace regroupés superscalaire microarchitectures. Clustered microarchitectures partition de la présentation de plusieurs composants matériels critiques comme un moyen de maintenir la plupart des parallélisme tout en améliorant l'évolutivité. Un processeur de base en grappe, constituée de plusieurs blocs complexes faible ou grappes, peut assurer efficacement l'exécution des instructions à charge des chaînes sans payer les frais généraux d'une longue question, de lecture ou de contourner les latences. Bien sûr, lorsque deux exécuter des instructions à charge dans les différents groupes, un groupe interinstitutions de communication peine est encourue. En outre, distribué des structures impliquent généralement plus faible puissance dynamique, et de simplifier la gestion de l'alimentation par le biais de techniques telles sélective horloge / puissance seuils d'échelle et de la tension. Le premier objectif de cette recherche est de l'affectation des instructions à grappes, car elle joue un rôle majeur sur la performance, avec des objectifs de maintien de la charge de travail des groupes équilibrés et la réduction de la peine de communications. Deux approches différentes sont proposées: d'abord, une famille de nouveaux systèmes qui identifient les groupes de manière dynamique en fonction des données appelées tranches, et de faire des cessions grappe pour chaque tranche. Le projet de schémas diffèrent des précédentes approches, soit parce qu'elles sont dynamiques et / ou parce qu'ils y inclure de nouveaux mécanismes pour traiter explicitement de l'équilibre de travail des informations recueillies lors de l'exécution. Deuxièmement, elle propose une gamme de nouveaux mécanismes dynamiques qui assigner des instructions à grappes en cas par cas, par l'instruction, en se fondant sur cession antérieure de la source registre des producteurs, groupés sur l'emplacement physique de la source registres, et sur la charge de travail des grappes. La deuxième contribution propose prédiction valeur en tant que moyen d'atténuer les pénalités de retards de fil et, en particulier, à cacher les communications entre le groupe de travail tout en améliorant le bilan. Premièrement, il est prouvé que le bénéfice de rompre avec dépendances valeur de prédiction augmente avec le nombre de groupements et de la communication de latence, il est donc plus élevé que celui de l'architecture centralisée. Deuxièmement, il est proposé de regrouper cession schéma qui exploite les données moins dense dépendance graphique qui résulte de la prévision des valeurs à atteindre un meilleur équilibre de travail. Le troisième aspect est considéré comme le groupe d'interconnexion, qui détermine principalement le temps de latence des communications, la recherche de meilleurs échanges entre les coûts et les performances. Tout d'abord, plusieurs rentable point à point interconnexions sont proposées, à la fois synchrone et asynchrone partiellement, cette approche de l'IPC un modèle idéal avec un nombre illimité de la bande passante tout en conservant le faible complexité. Le projet d'interconnexions ont beaucoup moins d'impact que d'autres approches de la complexité des voies de contournement, délivrer les files d'attente et enregistrer les fichiers. Deuxièmement, routeur implémentations possibles sont proposés, qui illustrent leur faisabilité avec de très simple et à faible temps de latence solutions matérielles. Troisièmement, une nouvelle amélioration de la topologie, conscient de la grappe cession schéma est proposé de réduire la distance (et le temps de latence) entre le groupe des communications. La dernière contribution propose des techniques de la distribution, les principaux composants du processeur de l'avant avec les objectifs de réduction de leur complexité et de leur éviter la réplication. En particulier, des techniques efficaces sont proposés au groupe de la jonction de prédiction et de la logique de pilotage, qui minimisent le fil pénalités retard causé par la diffusion de matériel critique dépendances récursives en deux boucles: la récupération des adresses, et le groupement logique cession, respectivement. Dans le premier cas, le projet technique permet de transformer la structure croisée fil des retards d'un facteur prédictif centralisé dans les interactions entre les grappes délais de communication, qui sont sans heurts pipeline. Dans ce dernier cas, le cloisonnement de l'instruction de pilotage logique implique la parallélisation d'une intrinsèquement séquentielle des tâches telles que la dépendance fondée grappe affectation d'instructions.

Auteur: CANAL CORRETGER RAMON.
Année: 2003.
Université: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Lieu de l'exposition: D6-S103.
Lieu de préparation: EDIFICI D6 DESPATX 206 Campus NORD.

Auteur: ATIENZA ALONSO DAVID.
Année: 2004.
Université: COMPLUTENSE DE MADRID [www.ucm.es].
Lieu de l'exposition: FACULTAD DE INFORMÁTICA.
Lieu de préparation: FACULTAD DE INFORMÁTICA.

Résumé: L'objectif de la recherche proposée ici est la création d'une méthode globale pour la conception et implemetnación qui sert à gérer efficacement mémoire dynamique dans les nouveaux systèmes de haute performance intégrés multimédia. À cette fin, cette méthodologie fournit deux aspects fondamentaux. D'une part, du point de vue du matériel est examiné tous les facteurs conduisant conception d'un système intégré, c'est-à-dire les exigences de performance sur le temps (par exemple, en rendu 3D est requise pour atteindre 25-30 images / seconde non à une hausse du nombre et Réduit la consommation de mémoire et d'énergie. En outre, du point de vue du logiciel, la méthodologie définit un flux de conception structurée (c'est-à-dire avec détail les étapes de l'analyse, de conception et de mise en oeuvre) à deux niveaux principaux d'abstraction des environnements existants dédié embarqué d'une capacité de dynamique Gestion de la mémoire: dynamique des structures de données et de soutien au système d'exploitation d'allouer et de libérer la mémoire en temps réel des blocs.

Auteur: MOLINA PREGO M. CARMEN.
Année: 2004.
Université: COMPLUTENSE DE MADRID [www.ucm.es].
Lieu de l'exposition: FACULTAD DE INFORMÁTICA.
Lieu de préparation: FACULTAD DE INFORMÁTICA.

Résumé: Synthèse de haut niveau (SAN) d'une description de comportement d'un circuit afin de produire une implémentation d'un même niveau de transfert entre registres. Les algorithmes qui représentent l'état de l'art dans le SAN essayer de minimiser le domaine de la synthèse des circuits refus de maximiser les ressources présentes dans le matériel implémentations pour ce que l'on tente d'équilibrer le nombre d'opérations menées par différents du cycle. Toutefois, le solde total est pratiquement impossible à réaliser dans la plupart des modèles, qui figurent dans les ressources matérielles que certains des cycles ne sont pas utilisés pour transporter, stocker ou de transmettre des données ou à des opérations de la spécification. Cela implique une certaine perte des composants matériels de l'itinéraire des données est encore plus dramatique lorsque la synthèse des spécifications hétérogène, composée de transactions avec des données différentes représentations et largeurs. Dans ce cas, outre la perte de matériel en raison de la non utilisation du matériel dans des cycles, les jointures gaspillée en raison de la livraison partielle, le stockage ou la transmission d'une transaction ou des données en utilisant un appel pour une plus grande largeur. L'objectif de la collection de recherche à la mémoire de cette thèse a été d'identifier les causes de la perte de matériel et proposé une série de méthodes de conception appliquée à la planification des opérations ainsi que la sélection et l'affectation des matériels contribuer à la réduction de la synthèse des circuits domaine. Ces méthodes reposent sur la fragmentation des opérations sélectives dans le cahier des charges établit de nouvelles opérations simples qui peuvent être traités de manière indépendante, qui conduit à la mise en œuvre de quelques opérations de la spécification d'origine sont mis en oeuvre en plusieurs cycles, pas nécessairement consécutives, et plusieurs unités fonctionnelles . Des techniques similaires sont appliquées pour le stockage de données et de transmission afin de réduire l'espace de stockage et d'acheminement des ressources. Ce rapport présente également deux algorithmes de planification et les opérations de sélection et d'attribution des ressources matérielles de façon efficace l'application de certaines des propositions techniques, démontrant sa viabilité et son efficacité.

Auteur: LOPEZ GARCIA FERNANDO.
Année: 2004.
Université: POLITÉCNICA DE VALENCIA [www.upv.es].
Lieu de l'exposition: Dep. Informatica de Sistemas y Computadores.
Lieu de préparation: Universidad Politécnica de Valencia.

Résumé: Cette thèse présente une étude de cas de la mise au point et l'analyse de la performance d'une surface de demande de classement en temps réel, la conformité. Nous traiter de la question de l'uniformité spatiales et temporelles dans le système d'acquisition. Dans une demande de classement de surface, il est essentiel d'assurer l'uniformité de la réponse du système à travers le temps et l'espace. Tous les résultats présentés pour le classement de surface ont été obtenus en utilisant des données de l'industrie des carreaux céramiques. Le TSG VxC base de données est public et peut être consultée à l'www.disca.upv.es / vue / vxctsg. Nous présentons une méthode fondée sur la couleur, la texture douce descripteurs calculés dans les espaces de couleur perceptuellement uniforme. La méthode est paramétrée et les facteurs en cause sont étudiés en utilisant deux méthodes statistiques; expérimentales et la régression logistique. Bien qu'il ne soit pas un nouvel apport théorique, nous avons trouvé et de démontrer qu'un simple ensemble de la couleur et la texture d'ensemble de statistiques, de même que bien connu classificateurs, sont assez puissants pour répondre à des exigences strictes en temps réel d'usine et de la performance. Aussi la méthode est comparée à deux autres approches de la littérature scientifique; Couleur histogrammes et Centile - LBP. Enfin, nous étudierons la méthode de la capacité pour l'inspection dans une étude de la conformité en temps réel et de parallélisation.

Auteur: SÁNCHEZ ÉLEZ MARTÍN MARCOS.
Année: 2004.
Université: COMPLUTENSE DE MADRID [www.ucm.es].
Lieu de l'exposition: CC. FÍSICAS.
Lieu de préparation: CC. FISICAS..

Résumé: La recherche présentée s'inscrit dans la planification des applications multimédias dans les systèmes reconfigurables. Ces systèmes sont spécialement conçus pour le traitement de ces demandes, car ils permettent le traitement en parallèle d'une grande quantité de données dans les plus brefs délais. Le traitement de cette grande quantité de données implique un transfert de la mémoire externe à la mémoire interne de la plate-forme reconfigurable, résultant de la consommation d'une grande quantité d'énergie. Cela peut être réduite de façon significative si une planification de ces transferts de données et d'une bonne gestion de son stockage dans divers rapports internes. Le travail a été conçu dès le départ pour être appliquée au système MorphoSys présentant les caractéristiques communes de la plupart des céréales secondaires systèmes reconfigurables. Cette thèse partie d'un environnement de compilation précédemment développées pour de tels systèmes et rend l'étude de l'une de ses principales étapes, les données de planification, et leur impact sur le pré et posterioresdel environnement. Dans le développement de ce travail de recherche a étudié l'influence des différentes alternatives de stockage des données sur la performance du système final. Il ya eu une tentative non seulement que le planificateur de données sera en mesure de s'adapter à la mémoire de la hiérarchie imposée par la plate-forme, mais aussi que les résultats de l'étude planificateur guider la mise au point des éléments de la plate-forme de stockage de données. Pour permettre l'utilisation des plates-formes reconfigúdbles pour certaines des applications les plus exigeantes .. Exige que l'environnement peut essayer de compiler des applications qui pourraient décrire dynamique ou interactif. Le planificateur de données qui figurent dans cette thèse, bien qu'il ait été initialement mis au point pour les applications statiques, après quelques modifications mineures peuvent s'adapter à une planification dynamique des tâches de l'application.

Auteur: HUEDO CUESTA EDUARDO.
Année: 2004.
Université: COMPLUTENSE DE MADRID [www.ucm.es].
Lieu de l'exposition: FACULTAD DE INFORMÁTICA.
Lieu de préparation: FACULTAD DE INFORMÁTICA.

Résumé: La nécessité d'exploiter les ressources disponibles dans les systèmes informatiques connectés à l'Internet et de simplifier son utilisation a conduit à une nouvelle forme de technologie de l'information connu sous le nom de Grid Computing. Cette nouvelle technologie est análogoa aux réseaux d'alimentations: l'idée est de fournir un point d'accès unique à un ensemble de ressources réparties géographiquement. (Superordenadores, clusters, de stockage, d'information, d'outils, de personnel, etc.) Ainsi, les systèmes distribués peuvent être utilisés comme un seul système virtuel dans les applications de données à haute intensité, avec une forte demande de calcul ou d'exiger la collaboration entre les multiples ressources. En dépit de nos efforts au cours des dernières années, le développement et la mise en place d'applications dans la grille continue d'exiger une expertise de haut niveau en raison de leur complexité. Le concepteur ou l'utilisateur est responsable de la planification ou de remplir manuellement chaque étape de la planification de travaux pour obtenir certaines fonctionnalités. En outre, il faut examiner toutes les circonstances qui peuvent se produire dans un environnement très diverse et dynamique que la grille. Le principal objectif de cette thèse est d'étudier les différentes techniques pour la planification et l'exécution des travaux sur les grilles qui assurent une plus grande efficacité, la fiabilité et la facilité d'utilisation. De toutes les technologies existantes, peut-être le plus intéressant, c'est la mise en œuvre de conditions de travail plus souples. L'aspect essentiel de la mise en œuvre est évolutive reconnaissance de l'évolution de la situation, à la fois des ressources de la grille et les exigences de la demande. Pour réaliser cette opération, nous proposons un modèle de demande de conscience et d'une grille d'agent maritime, qui prévoit des mécanismes d'exécution nécessaires pour adapter l'exécution de l'application. Les techniques étudiées sont inscrites dans un nouveau outil expérimental basé sur Globus, qui permet la livraison de plus simple et plus efficace le travail dans des environnements dynamiques Grid. S'adapter à l'évolution des conditions est réalisée en mettant en oeuvre une replanificación applications automatiques quand ils se produisent dans la dégradation de la performance, de découverte des "meilleures" ressources, les changements dans les exigences de la demande, l'annulation ou la suspension des travaux, les échecs, etc. Le replanificación un emploi peut conduire à leur migration vers d'autres ressources à meilleur escient. La viabilité des techniques développées est démontrée par l'application de plusieurs types d'applications: les applications à haute productivité en Computational Fluid Dynamics (analyse de la dynamique d'un fluide sur une plaque mince) et de bioinformatique (predición la structure et les propriétés thermodynamiques des séquences de protéines ) Et le NAS Benchmarks Grid, qui comprennent des applications avec des workflows complexes. Les résultats obtenus démontrent l'influence décisive qu'elle a la capacité d'ajuster l'exécution du travail sur la performance et la robustesse qui peut être atteint.

Auteur: SAEZ ACHAERANDIO YAGO.
Année: 2004.
Université: POLITÉCNICA DE MADRID [www.upm.es].
Lieu de l'exposition: FACULTAD DE INFORMATICA.
Lieu de préparation: FACULTAD DE INFORMATICA.

Résumé: Le Evolutionary Computation interactif regroupe un ensemble de techniques basées sur une métaphore de l'évolution biologique. Le succès de nombreux réside dans le maintien de la diversité génétique, il est recommandé de travailler avec suffisamment de grandes populations d'individus. Toutefois, il n'est pas toujours possible de travailler avec ces personnes, par exemple lorsque les valeurs de l'adéquation doit être évaluée par un être humain (Interactive Evolutionary Computation, CEI), ou lorsque la fonction d'évaluation a besoin d'un coût de calcul très élevé. Ce document présente une nouvelle méthode de calcul qui est capable de travailler avec de très petites populations (micropoblaciones), qui accélère la convergence de l'algorithme fin de la rendre plus efficace.

Auteur: SAQUETE BORO ESTELA.
Année: 2004.
Université: ALICANTE [www.ua.es].
Lieu de l'exposition: ESCUELA POLITÉCNICA SUPERIOR.
Lieu de préparation: UNIVERSIDAD DE ALICANTE.

Résumé: Cette thèse a mis au point un système pour la reconnaissance et la résolution des temporaires dans les expressions des textes écrits, faisant de ces expressions à des dates ou périodes obsolutas selon un modèle formel temporaire. Cette transformation permet de la gestion des événements dans les textes et leur application à la recherche de réponses. Le système appelé TERSEO développés en espagnol dans un premier temps, mais a par la suite été étendu pour fonctionner à un niveau multilingue.

Auteur: MEDINA PASAJE JULIO LUIS.
Année: 2004.
Université: LEÓN [www.unileon.es].
Lieu de l'exposition: FACULTAD DE CIENCIAS.
Lieu de préparation: FACULTAD DE CIENCIAS.

Résumé: L'objectif de ce travail est de définir la méthodologie UML - MAST pour la représentation et l'analyse du comportement des systèmes en temps réel qui ont été conçus à l'aide orientée objet paradigme. La méthodologie proposée concilie les différences dans la conception de systèmes temps réel du point de vue de la conception de systèmes orientés objets. Dans les systèmes orientés objets sont regroupés les attributs et les opérations en utilisant des critères de domaine, alors que les systèmes en temps réel sont réactifs et étudiées par le groupe d'opérations simultanées à l'examen par l'ensemble des opérations simultanées qui sont exécutés en réponse à des événements provenant de l'environnement ou de la Calendrier. À cette fin, il a créé un niveau d'abstraction approprié pour les éléments de modélisation du comportement des modèles en temps réel qui peuvent être faites avec une structure parallèle à la logique de l'architecture du système, et aussi forger des partenariats entre les éléments de la norme du temps Royaux et le modèle logique. La sémantique de modélisation a été utilisé pour suivre les recommandations du profil UML pour planificabilidad, de la performance et de temps (SPT) normalisé par l'OGM, et que UML - MAST peut être considéré comme une mise en oeuvre. La méthode proposée a été développée en utilisant UML afin de l'intégrer à une conception fonctionnelle représentations déploiement et la réalisation orientée objet pour les systèmes qui sont employés, afin d'être soutenu par des outils d'usage courant. Le langage UML a été utilisé pour définir les éléments d'un cadre conceptuel de modélisation par l'intermédiaire d'un metamoldeo, que le modèle de tout système est une instance, ainsi que la langue qui rend ces modèles. La méthodologie proposée s'inscrit dans le cadre des outils d'analyse et de conception de systèmes temps réel MAST (Modélisation et analyse Suite pour Real-Time Applications), un nouvel outil pour la génération de modèles. Ces modèles sont compilées et analysées MAST, et les résultats sont mentionnés au premier modèle pour son interprétation par le concepteur. Il a également défini des critères pour l'extension de cette méthode à d'autres niveaux d'abstraction tels que les systèmes basés sur des composants et des systèmes mis en place en utilisant Ada 95. Une partie des résultats de ces travaux ont été repris par l'OGM PTS leur profil.

Auteur: FERNANDEZ GOMEZ MANUEL.
Année: 2004.
Université: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Lieu de l'exposition: C6-E101.
Lieu de préparation: D-6 201 Nord.

Résumé: Deux des plus importantes limitations de performance dans les processeurs d'aujourd'hui sont dérivés de l'exploitation de la mémoire et des unités de contrôle. Pour résoudre ces problèmes, la mémoire cache de saut et les prévisionnistes sont deux variantes bien connues du matériel qui opèrent, entre autres facteurs, de réutilisation et de la mémoire temporaire de corrélation des sauts. En d'autres termes, ces structures tentent d'exploiter la redondance dynamique des programmes existants. Cette redondance provient en partie de la manière dont les programmeurs écrivent du code, mais aussi sur les limites du modèle traditionnel de la compilation, qui introduit des instructions de la mémoire et de saut inutile. Nous pensons que les compilateurs devraient être très agressifs optimisation de programmes, et donc être en mesure d'éliminer une grande partie de cette redondance. D'autre part, les optimisations mises en œuvre dans le temps ou une liaison directe à la finale programme exécutable ont reçu une attention croissante au cours des dernières années, en raison des restrictions sur le modèle traditionnel de la compilation. Même appliquant une analyse sophistiquée et transformations interprocedurales, un compilateur traditionnel n'est pas en mesure d'optimiser un programme comme une entité. Un problème analogue apparaît techniques de la compilation dirigée profilage: grands projets ont été obligés de recompiler tous et chacun de ses modules pour exploiter ces informations. Au contraire, il serait plus commode construire l'application complète, instrumentarla d'obtenir des informations sur le profilage et ensuite optimiser le binaire fin sans recompiler pas un seul fichier source. Dans cette thèse, nous présentons de nouvelles techniques de profilage compiler conduit à éliminer la redondance trouvée dans une norme binaire exécutable programmes (c'est-à-dire binaire redondant), même si ces programmes ont été compilés agressive avec un tout nouveau compilateur commerciale. Nos techniques d'enlèvement sont conçus pour éliminer les activités redondantes et sautez mémoire redondante, qui sont les plus importantes pour atténuer les problèmes de performance que nous avons évoqués. Ces propositions sont basées sur les techniques de l'élimination de la redondance partielle sensibles sur la voie d'exécution. Les résultats montrent que, en appliquant nos optimisations, et nous sommes en mesure de parvenir à une réduction de 14% dans le temps d'exécution de l'ensemble de notre programme. Cette étude a également examiné les problèmes de l'analyse des alias dans les programmes exécutables, d'identifier pourquoi la mémoire homonymie est l'un des points faibles dans la modification du code objet. Nous proposons plusieurs analyse à appliquer dans le contexte des optimiseurs binaires. Tout d'abord, une analyse de la mémoire des alias stricte unités de découvrir sensibles à la voie de la mise en œuvre, qui est utilisée dans nos optimisations pour l'élimination des redondances mémoire. Puis, deux spéculatifs analyse du potentiel des alias pour la détection de l'indépendance mémoire. Ces essais sont basés sur la spéculation entrer des informations dans le temps pour l'analyse, ce qui accroît l'exactitude des portions de code à maintenir l'efficacité d'analyse. Les résultats montrent que nos propositions sont très utiles pour améliorer la mémoire homonymie code binaire, ce qui se traduit par des possibilités d'optimisations. Tous nos algorithmes, l'analyse et l'optimisation, ont été mises en oeuvre dans un binaire optimisation, soulignant les problèmes les plus importants dans les applications de nos algorithmes en code exécutable, sans l'aide d'une grande partie des informations présentes dans le haut niveau des compilateurs traditionnels.

Auteur: FILALI BOUAMI MOUNCEF.
Année: 2004.
Université: GRANADA [www.ugr.es].
Lieu de l'exposition: ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA.
Lieu de préparation: ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA.

Résumé: La thèse met au point et l'optimisation de nouveaux modèles de réseaux fondés sur les fonctions de base fournis par la radio. D. Mouncef Filali Bouami, diplômée en physique de l'Université de Fès (Maroc) et dirigée par les Professeurs Docteurs D. Ignacio Rojas Ruiz et D. Carlos Garcia Puntonet département de l'architecture et de la technologie à l'Université de Grenade, décrit une nouvelle méthode et De nouvelles structures pour le développement de systèmes de radio neurones. Dans ce document présente une structure novatrice esturcturas pour le développement des systèmes à base de radio neurones. Dans ce document présente une structure novatrice appelée S - RBF (Radial Basis Fonction Sum) avec les nouveaux arrivants et norme T - T - conorma. Ces opérateurs, combinée avec les poids impliqués dans consexiones "- début du capa-city cachés" permettre une "hiérarchie" des alimentations vous dans l'activation de chaque neurone, en préconisant que les neurones de la couche cachée ont une plus grande flexibilité, depuis sa activation peut Être situé dans un sous-ensemble de l'espace. S - RBF utilise un algorithme pour trouver des génériques, des fonctions de réseau automatiquement radicale basée résoudre un problème donné, dans une architecture intégrée, et en tenant compte de l'objectif principal de réduire au minimum les erreurs de calcul et le coût de la rendre tâche. Dans les rôles de la radio basses paramètres de connexion des appels d elas neurones cachés à la sortie des neurones, normalmenta sont simples paramètres (constants). Mais il ya la possibilité de généraliser l'expression de ces paramètres, ce qui accroît leur capacité d'expression, en utilisant ce que l'on appelle le poids de régression. Dans cette thèse sont considérés comme des expressions, polynôme d'ordre 2, pour les poids des neurones de sortie du système, ainsi que le développement d'algorithmes pour optimiser la structure de l'apprentissage axé proposition. La robustesse de la méthode S - BRF a été testé en l'appliquant à une batterie de rôles de tailles différentes, et les résultats sont très satisfaisants. Tenant compte de la teneur de la thèse, les domaines considérés de la même principalement: A. Nos structures des réseaux neuronaux radio. B. Algorithms genérticos. C. Neural Architecture avec régression dans la variable de sortie. D. Système biologique inspirados.

Auteur: ANAYA RIVERA ELY KARINA.
Année: 2004.
Université: GRANADA [www.ugr.es].
Lieu de l'exposition: ETS. DE INGENIERÍA INFORMÁTICA.
Lieu de préparation: ETS. DE INGENIERÍA INFORMÁTICA.

Résumé: Proposition visant à mettre en œuvre un modèle d'apprentissage virtuel dans une université technologique mexicaine. Pour atteindre notre objectif de développer trois phases: * Analyse du modèle éducatif des universités technologiques mexicaines dans le but d'identifier, de ses problèmes actuels et donc de présenter une série de solutions de rechange viables à l'apprentissage virtuel. Nous présentons une méthode pour le changement, à partir de l'étude. * Conception modèle didáctico-tecnológico apprentissage de la demande dans la virtualité fondée sur la méthode de variation de l'Université technologique. APPLICATION * Mise en place d'une réelle expérience de la formation à travers le lancement d'une salle de classe virtuelle. Le cours est basé sur le modèle virtuel didáctico-tecnológico proposé. * Mise en place d'un système d'évaluation pour évaluer la fonctionnalité du modèle par le biais de la satisfaction des étudiants qui ont participé à la classe virtuelle. Avec ce processus de mise en œuvre: analyse, la conception et la mise en œuvre vise à résoudre un certain nombre de besoins en matière de formation flexible que l'université exigeante sur cette Université.

Auteur: CATALDI LEIVA ZULMA.
Année: 2005.
Université: SEVILLA [www.us.es].
Lieu de l'exposition: AULA DE GRADOS - UNIVERSIDAD DE SEVILLA.
Lieu de préparation: FACULTAD DE CIENCIAS DE LA EDUCACIÓN - UNIVERSIDAD DE SEVILLA.

Résumé: Cette thèse présente les enquêtes menées au cours entre 2001 et 2004 pour se renseigner sur la contribution des grands moyens d'information basés sur la technologie des problèmes d'apprentissage au niveau universitaire. Dans les expériences décrites surgit dans le groupe de travail en coopération et en collaboration médiatisée par la technologie informatique et des réseaux visant à promouvoir l'apprentissage plus durable impliquant le développement de compétences dont les élèves ont besoin dans leur milieu de travail. Il cherche à utiliser les ressources qui sont disponibles, tels que le courrier électronique sous forme de forum de discussion et un chat dans la façon la plus productive possible pour accroître le niveau d'interaction entre les participants. En particulier, explore ce qui se passe dans un forum de discussion d'examiner quelles incitations peuvent être des compétences génériques en les participants à travers des médiations. Il décrit les expériences et de comparer les niveaux de promouvoir les étudiants avec les données précédentes. Dans ces contextes, met en lumière les interactions riches profil de l'élève comme l'acteur principal dans le processus d'enseignement et en tant que coordinateur. Un des thèmes explorés, se concentre sur l'étude de ce qui se passe dans le groupe qui négocie et construit des significations de son évolution. Le groupe va passer à travers différentes étapes, qui se caractérisent par l'acquisition de certaines configurations où chaque processus du groupe lui donne une certaine singularité. Elles passent par différents types de conflits et leur résolution permet la poursuite du processus. Enfin, sur la base des observations, une proposition de modèle théorique de l'évolution des connaissances dans les groupes d'apprentissage.

Auteur: COLOMO PALACIOS RICARDO.
Année: 2005.
Université: POLITÉCNICA DE MADRID [www.upm.es].
Lieu de l'exposition: FACULTAD DE INFORMATICA UNIVERSIDAD POLITECNICA DE MADRID.
Lieu de préparation: FACULTAD DE INFORMATICA UNIVERSIDAD POLITECNICA DE MADRID.

Résumé: Cette thèse met au point un cadre pour évaluer les compétences générales et techniques des ingénieurs logiciels au sein des organisations dans lesquelles ils effectuent leur travail. Le Cadre vise à servir de base pour déterminer les niveaux de pouvoirs objectif de trésorerie pour diferntes profils professionnels qui sont déposées auprès de la Software Engineering. Ce cadre se compose de deux éléments: une proposition de structure professionnelle pour le génie logiciel et un mode d'évaluation des compétences de ces ingénieurs. La première structure professionnelle, et intègre de carrière des professionnels, les niveaux de qualifications et de compétences pour chaque profession. Le second, le cadre est composé d'un module d'évaluation des compétences et Commentaires 360 que essoportado par un outil logiciel. Le Cadre a été mis en place et validé empiriquement trois organisations espagnoles.

Auteur: ROSALES RAMIREZ MISAEL DARIO.
Année: 2005.
Université: AUTÓNOMA DE BARCELONA [www.uab.es].
Lieu de l'exposition: CENTRE DE VISIO PER COMPUTADOR.
Lieu de préparation: CENTRE DE VISIO PER COMPUTADOR.

Résumé: En utilisant des images UltraSonidoIntraVascular (IVUS) pour l'extraction d'informations quantitatives est utile dans le diagnostic et le traitement des navires arterioscleróticos. À l'heure actuelle, ce type d'analyse est effectuée par des médecins sous la forme semi empírica sans tenir compte des principes de la génération d'images de la même manière que ni tient compte de l'évolution temporelle de la paroi de verre. Cela appauvrit l'utilisation de cette technique, parce que l'analyse et l'interprétation des images est basée uniquement sur les valeurs de niveaux de gris et le comportement morfo - geométrico statique paroi de verre. Tenant compte de cette absence techniques et conceptuelles, nous avons divisé ce projet de recherche de quatre manières: d'abord, se référant à ce travail expérimental, qui vise à justifier nos principales hypothèses. Deuxièmement, nous avons élaboré et mis en œuvre un modèle de base de simulation dans le but d'obtenir des données IVUS en forme synthétique. Troisièmement, nous avons mis au point une nouvelle méthode qui nous permet d'estimer globalement cathéter cinématique comportement du bateau mur et finalement nous avons proposé un modèle générique qui permet à la reconstruction géométrique de verre en 2.5D. Les travaux expérimentaux ont été réalisés dans Vitro avec coeurs de porc et de veau, en se concentrant principalement à l'étude micro arquitectura la paroi de verre et géométrique amendement parce paramètres extérieurs. Nous savons rado et analysées du point de vue des images IVUS, l'évolution morphologique geométrica la paroi de verre de la coupe longitudinale due à la pression pulsée radio et une rotation externe induite coeur expérimentation. L'analyse dynamique a été réalisée dans Vitro extrapolés à un échantillon de 30 cas cliniques menées par le laboratoire de Hemodinámica "University Hospital Allemands Tries i Pu - jol" Badalona - España en coopération avec Boston Scientifiques - USA. En ce qui concerne le modèle de simulation afin d'obtenir des données IVUS 2D, est fondée sur les principes de base de transmission et de réception d'ondes sonores de haute fréquence pour pénétrer ces simulé la structure radiale sang. Nous avons fait un vaste de validation en comparant les images réelles et simulées, ce qui contraste avec l'avis d'experts qui ont défini manuellement la configuration actuelle de couches de verre. À cet effet, on définit des procédures pour l'extraction des paramètres quantitatifs pour mesurer les similitudes mondial et local dans les images obtenues. Le modèle a plusieurs utilitaires. Premièrement, les experts médicaux et les chercheurs dans le domaine de la vision, peuvent générer des images simulées dans le but d'observer différentes artères de structures d'intérêt clinique et comparaison avec la répartition des niveaux de gris en images réelles. Deuxièmement, les chercheurs et les cliniciens peuvent utiliser notre modèle d'apprendre et de comparer l'influence de différents paramètres physiques dans la formation des images IVUS. Troisièmement, ce modèle peut être utilisé pour générer d'importantes bases de données de synthèse dans des conditions différentes et des paramètres d'acquisition, qui sera utilisé dans la validation de la robustesse des techniques de traitement des images. Le troisième domaine de recherche que nous avons abordé dans cette thèse a été le développement d'un modèle géométrique et cinématique, qui vise à étudier l'évolution de la paroi des artères coronaires du point de vue de la sonde. Le modèle est basé sur des résultats expérimentaux, qui montrent que les changements dans la paroi artérielle dans une séquence d'IVUS, peuvent être modélisés en assumant deux grandes contributions, qui proviennent de différents des raisons naturelles, la première contribution est causée par le inhérents propriétés géométriques et de l'artère Deuxième contribution vient de la dynamique du ventricule oscillant. Ces contributions apparence d'une plus grande régissent les profils de la paroi artérielle dans le sens longitudinal. L'utilisation de ces déclarations, nous avons généré des stratégies méthodologiques 8 avec 5fb afin d'estimer et d'éliminer les distorsions dynamiques séquences IVUS. La nouvelle formulation conceptuelle nous permet de séparer les contributions à charge l'architecture géométrique inhérent à la paroi vitrée de la contribution de la dynamique du mouvement du cœur. Enfin, étant donné que cette séparation est possible, nous avons créé une base pour la reconstruction 2.5D bateau du point de vue de la sonde, en utilisant uniquement des données IVUS. Cette approche pourrait également être utilisé comme une alternative technique pour l'estimation de la dynamique du cœur depuis le modèle contient explicitement dans les paramètres nécessaires à quantifier. Ici, dans cette thèse fournit une nouvelle option qui permet technique amélioré IVUS comme un outil d'exploration et de diagnostic médical.

Auteur: MARTIN MONTES ANTONIO.
Année: 2005.
Université: SEVILLA [www.us.es].
Lieu de l'exposition: E.T.SUPERIOR DE INGENIERIA INFORMATICA.
Lieu de préparation: E.T.SUPERIOR DE INGENIERÍA INFORMÁTICA.

Résumé: La gestion des réseaux d'experts et de services a été un domaine où traditionnellement ont été imposées solutions et mecanisos propriétaires de différents fabricants. La gestion actuelle des modèles, nous sommes dotés des caractéristiques nécessaires pour une administration efficace de la gestion des connaissances fournies par l'Expert Systems. Il est nécessaire de développer des modèles de contrôle et de surveillance offrant davantage de possibilités. Ici, il est proposé la normalisation de la base de données de gestion des connaissances nécessaires à la gestion des ressources dans les différents réseaux de télécommunications. Il s'agit là d'un aspect essentiel dans le modèle de gestion proposé, le but est de parvenir à une définition sintacticamente uniforme de tous les contingents de gestion des connaissances des experts, quel que soit le fabricant des ressources gérées. Cela pose un grand effort, il est nécessaire de procéder à une définition uniforme de l'ensemble de gestion des connaissances applicables à tous les moyens de communication disponibles. Nous avons besoin de cocebir la définition de la gestion du savoir comme une tâche dans la conception de nouveaux moyens de communication. De ce surgir libellés Système de gestion intégrée d'experts, un nouveau paradigme qui contiendra les aspects clairement direrenciadores à la gestion des techniques utilisées jusqu'ici, ce qui rend une application des connaissances fournies par l'expert des systèmes d'information et de gestion des ressources gérées. Dans notre proposition, la gestion des connaissances et la gestion de l'information font partie du modèle de gestion, dans notre cas, le modèle OSI. La connaissance des systèmes experts sera traitée comme un bien appartenant à plus d'objet géré.

Auteur: Mouriño Gallego Jose Carlos.
Année: 2005.
Université: A CORUÑA [www.udc.es].
Lieu de l'exposition: Facultad de Informática.
Lieu de préparation: Facultad de Informática.

Résumé: Il a abordé le raccourcissement de la demande d'exécution - STEM II pour la simulation de la dispersion des polluants produite par une centrale thermique. Nous avons réussi à avoir des temps de réponse qui permettent application réelle avec une haute précision et a fixé l'ordre du jour d'une interface graphique pour l'utilisateur. Les codes ont été adaptés aux systèmes multiprocesseurs parallèles et distribués mémoire systèmes GRID. Pour les systèmes GRID a été ajouté tolérance aux pannes techniques de contrôle.

Auteur: Molina Fernández Carlos.
Année: 2005.
Université: GRANADA [www.ugr.es].
Lieu de l'exposition: E.T.S. Ingneniería en Informática.
Lieu de préparation: E.T.S. Ingeniería en Informática.

Résumé: L'utilisation de la technologie OLAP dans de nouveaux domaines de la connaissance et l'utilisation de sources de données non structurées ont fait de l'apparition de nouvelles exigences sur les modèles utilisés dans la définition de la datacubos. Elle exige le recours à des structures souples qui permettent la modélisation et le travail sur le flou qui résulte de l'intégration. Une source de l'information serait intéressant données compilées par les experts pour enrichir l'analyse. Normalement, cette information sera donnée si vague. Dans ces systèmes tendent aussi à intégrer des techniques d'extraction de données pour enrichir les possibilités d'obtenir des informations pour l'utilisateur. Ces techniques doivent également être en mesure de travailler sur l'inexactitude de ces données. Ce que nous proposons dans cette thèse est d'une part un modèle pluridimensionnel qui grâce à l'utilisation de la logique floue permet pour la représentation et la gestion des informations inexactes. Cela permet à la fois de faits floue définition de l'utilisation des hiérarchies diffuses de relier les concepts en question. Cela représenterait des concepts plus proche de l'utilisateur. Mais il est possible que l'imprécision se pose non seulement pour définir les concepts, mais aussi les rapports entre eux. Pour l'aider dans ces cas, le modèle permet de définir les relations hiérarchiques de l'utilisation des étiquettes lingüsticas, ce qui permet à l'expert livrant utilisant des expressions lingüsticas. Ce modèle a mis en place des opérations normales sur datacubos. Pour isoler l'utilisateur de la complexité ajoutée, la structure proposée a été enveloppé opérateurs utilisant résumé diffuses, de sorte que l'utilisateur accède à l'information dans un plus intuitive. Pour démontrer sa demande avait été construit trois datacubos sur des données réelles tirées interventions chirurgicales, les données comptables et le troisième sur les données du recensement. Pour terminer la possibilité d'analyse, a mis au point une technique d'extraction de règles d'association sur la structure multidimensionnelle. L'algorithme est appelé COGARE et son objectif principal est de réduire la complexité des résultats. Il s'agit d'un ensemble de règles qui fonctionne à plusieurs niveaux entre les éléments de différentes dimensions. Pour maîtriser la complexité ont identifié deux facteurs: le nombre de règles et le niveau de détail des éléments à l'étude. Tous deux ont été combinées en une seule mesure de contrôler le processus d'extraction. La technique a été testée sur datacubos commenté plus tôt, obtenir une réduction moyenne de la complexité autour de 39% (soit environ 43% pour le nombre de règles). Ces deux résultats sont mis en oeuvre dans un prototype de système OLAP: F - Cube Factory. Le rapport présente les principales caractéristiques de la même chose.