SCIENCES DE L'INFORMATIQUE

Auteur: AYALA PALENZUELA ROSA M..
Année: 2002.
Université: ALMERÍA [www.ual.es].
Lieu de l'exposition: ESCUELA POLITECNICA SUPERIOR.
Lieu de préparation: ESCUELA POLITECNICA SUPERIOR.

Résumé: La thèse présente les résultats d'un travail de recherche qui propose une méthodologie pour trouver le meilleur --- pour une image donnée. Cette méthode est basée sur un procédé automatique qui mettront en œuvre des algorithmes de classification connus --- fondée sur la reconnaissance de schémas. En outre, pour chaque algorithme de classification appliqué il change les paramètres fixés de partenaires, ainsi que d'une collection d'échantillons servant à la catégorie et à se concentrer -- classes qui peut exercer de discrimination sur l'image. Chacune de ces combinaisons possibles serait renvoyé d'une classification, qui seront évaluées sur la base d'un indicateur de performance (méthode statistique qui établit l'efficacité de la reliure et les schémas utilisés pour former le classificateur). Comme le résultat final, l'algorithme proposé offre la méthode de classement, le nombre de classes objet d'une discrimination dans le tableau, tous les échantillons utilisés pour former les -- la série d'échantillons utilisés pour la formation des valeurs et le classificateur -- les paramètres susceptibles d'écoles Sont le meilleur indicateur de la performance. Cet indicateur de performance est calculée en fonction de trois mesures statistiques: ---- Un calcul des échantillons d'internement. B - qualité des résultats par rapport à l'ensemble des échantillons choisis. C - Fiabilité de la classification obtenue.

Auteur: MARTINEZ RAMIREZ ROEL ELFEGO.
Année: 2003.
Université: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Lieu de l'exposition: LSI.
Lieu de préparation: EDIFICI C6 Campus NORD.

Résumé: Survie de l'analyse traite de l'évaluation des variables qui mesurent le temps écoulé jusqu'à un événement d'intérêt. Une analyse de survie a la particularité de rendre compte de données sont soumis à la censure, qui se pose chaque fois que le temps d'intérêt ne peut être mesuré exactement, mais une information partielle est disponible. Quatre types de censure sont distingués: droit de la censure se produit lorsque le temps de survie non observée est plus grande, à gauche, censure quand il est observé moins d'une heure, et en cas de censure d'intervalle, le temps de survie est observée à l'intérieur d'un intervalle de temps. On parle de doublement censurée données si le temps origine est également soumis à la censure. Méthodes d'intervalle censurée données ont reçu beaucoup d'attention au cours des dernières décennies, cependant un sujet qui n'a pratiquement pas été abordé dans la littérature scientifique, dans le cas d'intervalle censurée covariables dans les modèles de régression. Une exception est l'oeuvre de Gomez, Espinal et Lagakos (2003), qui présente un modèle de régression linéaire avec un tel co-variable. Par conséquent, une part importante de cette thèse sera consacrée à des procédures d'estimation paramétrique pour la survie des modèles avec un intervalle censurée co-variable. Dans le chapitre 1 de la thèse, nous donne d'abord une enquête sur les méthodes statistiques pour intervalcensored données, comprenant à la fois des approches paramétriques et non paramétriques. La plupart de ces procédures sont basées sur l'hypothèse que le processus de génération de données censurées est noninformative. Cela signifie que les intervalles observés ne sont pas porteurs de toute autre information sur le temps de survie non observée. Sans cette hypothèse, la construction de la fonction de vraisemblance aurait pour prendre en compte le processus de censure et de la fonction de distribution du temps de survie ne pouvait être identied. Dans la deuxième partie du chapitre 1, nous nous adressons à cette importante question avec plus de détails. Étant donné l'importance de l'optimisation des procédures dans les autres chapitres de la thèse, nal de la section du chapitre 1 porte sur l'optimisation théorie. Cela inclut certains algorithmes d'optimisation, ainsi que la présentation des outils d'optimisation, qui ont joué un rôle important dans l'élaboration de ce travail. Nous avons utilisé le langage de programmation mathématique AMPL la maximisation de résoudre les problèmes posés. Une de ses principales caractéristiques est que les problèmes d'optimisation AMPL écrit dans le code peut être envoyé à l'installation de l'Internet "NEOS: Serveur d'optimisation" et être résolu par ses solveurs disponibles. Au chapitre 2, nous présentons les trois ensembles de données analysées en vue de l'élaboration de cette thèse. Deux correspondent à des études sur le VIH / sida: l'une est de la survie des patients tuberculeux co-infectés par le sida à Barcelone, sur les autres usagers de drogues par injection de Badalona et les environs, dont la plupart sont infectés par le VIH du fait de leur toxicomanie . La censure des modèles complexes dans les variables d'intérêt de cette dernière étude ont motivé l'élaboration de procédures d'estimation pour les modèles de régression avec intervalcensored covariables. La troisième série de données provient d'une étude sur la durée de vie de yogourt. Nous 1 présente une nouvelle approche pour évaluer la durée de vie des produits alimentaires en profitant de la méthode actuelle pour les données d'intervalle censuré. Le chapitre 3 porte sur les fondements théoriques d'un modèle de temps de défaillance accéléré avec un intervalle censurée co-variable, soulignons la mise sur le développement des fonctions et de la probabilité que la méthode d'estimation par le biais d'outils et de techniques d'optimisation. Leur utilisation dans les statistiques peuvent être une alternative intéressante à des méthodes telles que l'algorithme EM. Au chapitre 4, nous présentons de nouvelles telles que les modèles de régression linéaire et de régression logistique avec le même type de co-variable, pour l'estimation des paramètres dont les mêmes techniques sont appliquées que dans le chapitre 3. Malheur sont adressés. 2

Auteur: GALINDO CHACON DAVID.
Année: 2003.
Université: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Lieu de l'exposition: SALA D'ACTES DE LA FME, EDIFICI U, CAMPUS SUD.
Lieu de préparation: U FACULTAT DE MATEMATIQUES I ESTADISTICA SUD.

Résumé: Un schéma de chiffrement est une procédure qui permet aux deux parties de communiquer de façon sécurisée sur une chaîne publique, de telle sorte que si un parti malveillant intercepte les informations échangées, il ne peut pas extraire le message original. Dans la cryptographie à clé publique, les clés nécessaires pour crypter et décrypter sont différents, étant la clé de cryptage publique, donc à la disposition des utilisateurs légitimes et illégitimes. Bien que les systèmes de cryptage sont à la base des objets dans la cryptographie à clé publique, et ils ont été étudiés depuis la naissance de ce sujet, les notions actuelles de sécurité et exigeant certains développements récents dans la cryptanalyse, la conception de systèmes de cryptage rend un domaine de recherche. Dans ce travail, avec des systèmes de cryptage sémantique sécurité sont étudiés. D'une part, les nouveaux systèmes sont proposés et analysés, et, d'autre part, certains régimes précédents pertinents sont revus.

Auteur: DÍAZ ESTEBAN ALBERTO.
Année: 2004.
Université: COMPLUTENSE DE MADRID [www.ucm.es].
Lieu de l'exposition: FACULTAD DE INFORMACIÓN.
Lieu de préparation: FACULTAD DE INFORMACIÓN.

Résumé: Au cours des dernières années, les informations disponibles en format électronique s'est développé à un tel point qu'il est très difficile de ne pas être dépassés lorsque l'on tente encontrar'la informations qui vous intéresse vraiment. Le Web contenu apparaissant dans de nombreuses manières différentes dans différents domaines d'application, mais dans mayoáa comment les rapports est la même pour tous les utilisateurs, c'est-à-dire ceux qui sont contenus statiques dans le sens où elle ne correspond pas à l'utilisateur de deux points de vue: ni sont présentées différemment Pour chaque utilisateur ou de s'adapter aux changements dans l'intérêt de l'utilisateur au fil du temps. La personnalisation de contenidos Web vise à éliminer la surcharge d'information en adaptant le contenu de chaque type d'utilisateur et dans le temps. Cette thèse montre d'une approche intégrée de personnalisation du contenu Web, tel qu'il est appliqué aux services de presse, basée sur trois éléments majeurs: la sélection des contenus, l'adaptation du modèle de l'utilisateur et à la présentation des résultats, tous ces processus sont basés sur la représentation des intérêts des utilisateurs qui Se traduire par un profil d'utilisateur ou d'un modèle, le choix de contenu renvoie à un choix entre tous les documents d'entrée de ceux qui sont les plus intéressantes pour un utilisateur donné. L'adaptation de l'utilisateur est nécessaire parce que les besoins des usagers évoluent au fil du temps, en particulier en raison de son interaction avec les informations qu'ils reçoivent. La présentation des résultats est, une fois que certains éléments d'informations que la plupart des intérêts d'un utilisateur, affichant un document à ce résultat. Contient, pour chaque élément sélectionné, un extrait qui est révélateur de leur contenu. En particulier, il a généré un résumé personnalisé pour chaque élément d'information choisis pour chaque utilisateur. Le modèle intègre utilisateur utilisé quatre types de systèmes de référence qui permettent de représenter les intérêts des utilisateurs de différents points de vue, ces intérêts sont divisés en deux catégories: les intérêts à long terme et les intérêts à court terme. Le premier représente les intérêts des utilisateurs qui restent constantes dans le temps, tandis que le second représente l'intérêt que modifié, à son tour, à long terme modèle utilise trois méthodes de classement qui permettent à l'utilisateur de définir leurs besoins d'information de 3 points de vue différents: d'une classification Système dépendant du domaine, où les documents sont preclasificados par l'auteur de l'étude (P, c'est-à-dire les articles dans un journal), un système de classification indépendant domaine, obtenus à partir des catégories de Yahoo premier niveau de l'Espagne et d'un ensemble de mots clés. Différents procédés techniques de personnalisation sont basées sur des statistiques de la classification de texte qui sont applicables aux documents comme los modèles utilisateur. Les tâches de tri de texte qui sont utilisés sont liés à la recherche d'information, le texte de catégorisation, real1mentación et la génération de résumés. L'évaluation des systèmes de personnalisation est particulièrement complexe car ils sont nécessaires, les avis des différents utilisateurs de pouvoir tirer des conclusions significatives quant à son fonctionnement. Pour évaluer les différents procédés de personnalisation ont généré plusieurs collections de l'évaluation qui en détient les procès pertinence de plusieurs utilisateurs pendant plusieurs jours d'utilisation du système. Ces collections ont conduit essayer différentes approches pour déterminer quel était le meilleur choix, ces collections peuvent aussi être utilisées plus tard par d'autres chercheurs de comparer les résultats de leurs techniques de personnalisation. Les évaluations a 8 Pas montre 447 ne sont que la proposition de personnalisation basée sur la combinaison des modèles utilisateur long et court terme, avec des résumés coutume comme une façon de présenter les résultats définitifs, il est possible de réduire la surcharge de l'information de la part des utilisateurs, indépendamment de domaine Et de la langue, un système de personnalisation de contenu Web appliqués aux services de presse.

Auteur: FERNÁNDEZ CONDE CARLOS JAVIER.
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é: Ce document aborde le problème de l'utilisation des cadres orientée objet en tant que mécanisme de réutilisation des logiciels. Le problème est abordé du point de vue que l'apprentissage de farmeworks difficile en grande réutilisation et le tour pénuries et lacunes dans la documentation, entrave l'apprentissage de l'utilisation des cadres. La solution présentée consiste en un modèle élaboré documentation basée sur les connaissances, une méthodologie pour l'extraction d'elle et d'une proposition qui est basée sur les techniques de l'intelligence artificielle pour l'exploitation. Parce que cette documentation est loin d'être statique, il définit également le cycle de vie de la même chose de sa génération à l'stades de l'utilisation par les utilisateurs dans un environnement de collaboration. Le modèle se compose de trois parties documentation de descriptif du domaine d'analyse, de conception et de mise en œuvre du cadre, et les relations nécessaires pour le modèle est lié. La représentation du modèle de domaine se fait en utilisant UML, grâce à la conception UML - Fy le code, en utilisant une technique qui permet de générer la documentation officiellement analysable (Javadoc). Le soutien commun pour les trois modèles est l'utilisation des logiques descriptives. Les mécanismes pour la collecte des documentations techniques utilisées recherche d'informations et de connaissances de programmation orienté objet de soutenir la production de la documentation de conception UML et de l'exécution. Le cycle d'utilisation et le cycle de vie de la documentation est basée sur les techniques de raisonnement fondé sur des cas riches en connaissances, en lui donnant une approche évolutive pour modéliser iCookbook. Avec le modèle, le travail définit une architecture logicielle capable de fournir l'environnement de collaboration nécessaire pour compléter la production et l'évolution de la documentation, y compris un chiffre de réviseure - bibliotecario responsable de l'approbation de nouvelles recettes à apprendre.

Auteur: RODRÍGUEZ DAMIÁN MARÍA.
Année: 2005.
Université: VIGO [www.uvigo.es].
Lieu de l'exposition: ESCUELA SUPERIOR.
Lieu de préparation: UNIVERSIDAD DE VIGO.

Résumé: L'objectif de cette thèse est de la recherche sur la conception d'un système de vision de comptage automatique de pollen espèces de la famille Urticaceae. L'objectif comporte deux volets: le tri et le comptage des grains de pollen. Il propose et évalue un système générique. Le système proposé se compose de plusieurs étapes, destancando trois d'entre eux. Détection de grain de pollen de l'imagerie numérique en utilisant des techniques telles que la transformation de Hough et filtres Gagor, l'autre étape est l'extraction du contour du grain de pollen et le troisième le classificación du grain en fonction des caractéristiques de forme et de texture extraite.

Auteur: ARIAS FISTEUS JESUS.
Année: 2005.
Université: CARLOS III DE MADRID [www.uc3m.es].
Lieu de l'exposition: ESCUELA POLITECNICA SUPERIOR.
Lieu de préparation: UNIVERSIDAD CARLOS III DE MADRID.

Résumé: Dans cette thèse ont fait des contributions dans le domaine de la vérification des besoins fonctionnels des processus d'affaires. D'une part, il est proposé une architecture ouverte, modulaire et extensible pour le processus de vérification, ce qui permet l'intégration des différentes langues définition des processus et des outils de vérification, et est basé sur un système formel entracte. De plus, ce système est défini formel intermédiaire, appelé "Common formelle Model" (CFM), qui est basé sur les systèmes estado - transición marqués, mais avec une notation orientée vers des abstractions et de la représentation des processus d'affaires. Afin de vérifier l'adéquation et l'expressivité de ce formalisme à la représentation de la même, une analyse fondée sur les "modes de travail". Par ailleurs, l'intégration de BPEL4WS, un langage de définition des compositions de services Web basés processus, dans l'architecture. À cette fin, sa sémantique sont définis en termes de formalisme, ainsi qu'une méthodologie pour transformer les processus de définition BPEL4WS définitions CFM. Il est également intégré dans l'architecture de vérification deux outils: le "modèle de dames' Spin et NuSMV, en définissant une transformation entre les définitions de CFM et de la langue d'entrée de ces outils.

Auteur: MORENO NOGUER FRANCESC D'ASSIS.
Année: 2005.
Université: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Lieu de l'exposition: Sala d'Actes FME.
Lieu de préparation: EDIFICI U DESPATX 518 Campus SUD.

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

Résumé: La dernière décennie a fait beaucoup d'efforts pour enquêter sur les méthodes qui permettent l'inclusion de la conception de l'interface utilisateur dans un processus de développement fondé sur des modèles, tente d'obtenir des prestations telles que l'automatisation de la génération de l'Internet interface utilisateur génération de ces engins pour les différents Langues ou de certains modèles communs ou d'améliorer les propriétés de la facilité d'utilisation du système. Toutefois, les progrès technologiques l'émergence de dispositifs qui posent un réel changement dans la manière dont l'utilisateur interagit avec les systèmes. L'utilisateur peut désormais interagir avec le système dans une voiture, dans les rues, à partir d'un téléphone mobile, PDA ou les PC traditionnels. Ce changement dans les habitudes de l'interaction humaine a entraîné la nécessité de fournir des solutions pour concevoir des interfaces utilisateur capables de fonctionner sous différentes plates-formes et conditions. Même s'il est possible de maintenir un développement séparé pour chaque famille de dispositifs, à supposer le coût élevé du développement et de la maintenance, il ya encore plus difficile, sinon impossible, de concevoir des interfaces utilisateur pour chacune des situations dans lesquelles l'interface utilisateur est potentiellement utilisable . Une solution serait plus efficace génération des interfaces utilisateur capables de s'adapter à différents types de dispositifs, l'utilisation des environnements, et même des types d'utilisateurs automatiquement, mais il implique la modification des méthodes existantes pour le développement d'interfaces utilisateur. Pour relever ce défi, dans ce travail, il est proposé de renforcer les méthodes actuelles fondées sur des modèles pour la conception d'interfaces utilisateur avec les mécanismes nécessaires pour la conception de l'adaptation des compétences nécessaires dans les différentes étapes du développement d'une interface utilisateur. Pour relever ce défi, dans ce travail, il est proposé de renforcer les méthodes actuelles fondées sur des modèles pour la conception d'interfaces utilisateur avec les mécanismes nécessaires pour la conception de l'adaptation des compétences nécessaires dans les différentes étapes du développement d'une interface utilisateur. Ces extensions sont collectées dans AB - UIDE (Agent Based User Interface Development Environment). La méthode permet la génération d'interfaces utilisateur capables de s'adapter aux différentes situations qui pourraient survenir au cours du processus d'interaction. La méthode est soutenu par une architecture basée sur un système pluridisciplinaire qui permet à l'utilisateur de fournir des capacités d'adaptation conçus à l'aide de la méthode AB - UIDE proposé. Les opérateurs de systèmes multiples travaillent ensemble pour fournir à l'utilisateur intelligemment adaptation les plus appropriés pour chaque situation qui se produit au cours de l'interaction avec la conception de l'interface utilisateur.

Auteur: CORCOLES TENDERO JOSE EDUARDO.
Année: 2005.
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é: Avec la croissance de ces dernières années pour le Web (World Wide Web) a détecté un déficit substantiel des méthodes disponibles pour rechercher et gérer l'information. Les méthodes traditionnelles de la place sont limitées à la comparaison de la recherche ou de mots clés. Pour supprimer ces limitations opérations sont nécessaires au plus haut niveau, de comparer, de consulter, d'analyser, de combiner et / ou d'intégrer des données à partir du Web en vue de leur mise en oeuvre sur les techniques de discrimination semblable à l'humain. Dans cette ligne, la communauté scientifique a établi les fondements de ce que sera la prochaine étape du Web, le Web sémantique (Berners-Lee et coll., 2001). Dans le Web sémantique, un domaine qui requiert une attention particulière est la sémantique de l'espace d'information (Web sémantique géospatiales) [Egenhofer, 2002]. Dans ce domaine, intègre qui a le potentiel information spatiale sur le Web avec l'élasticité de services fournis par le Web sémantique. L'objectif suivi le long de cette thèse est de contribuer à la réalisation des objectifs recherchés pour Geospatial Semantic Web (Web sémantique Geospatial) et, par extension, pour le Web sémantique. Il a développé une solution qui permet la recherche de ressources et de l'espace ne spéciaux au même niveau d'intégration et situés dans différentes sources. Un appel sans espacial est définie comme toutes les ressources actuellement disponibles sur le Web, par exemple, des documents (HTML, PDF Ms-Word ..), les images (GIF, JPG). D'autre part, un appel est la représentation spatiale d'une entité ou un groupe d'entités géographiques par le biais géométrique Markup Language - GML. Les points clés de cette architecture peuvent être résumées ainsi: la définition d'un langage de requête sur GML, une étude des différentes solutions pour le stockage et la consultation des GML efficacement, et la définition d'une architecture basée médiateur, qui, grâce à une ontologie de domaine, ce qui permet l'intégration Des ressources non - espaciales avec l'espace ressources.

Auteur: ROMANI ALSO SANTIAGO.
Année: 2005.
Université: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Lieu de l'exposition: SALA DEL LLAC DEL RECTORAT-CAMPUS NORD.
Lieu de préparation: EDIFICI C6 Campus NORD.

Résumé: Cette thèse définit un système informatisé pour effectuer Segmentation d'images couleur, c'est-à-dire Pour scinder une image numérisée compacte dans les régions de pixels de couleur homogènes, de sorte que des systèmes d'analyse d'images permettent d'interpréter ces régions comme des objets de la scène. Le système proposé est conçu pour être robuste en face de la couleur des sources d'incertitude, c'est-à-dire le bruit d'entrée, de la texture, des ombres et des ombres, met en relief, etc. Afin d'assurer le maximum de concordance avec l'homme beingâs perception de la couleur, nous avons décidé de transformer les composantes couleur RVB (Rouge - Vert - Bleu) fournies par les caméras CCD typique dans le Smithâs HSI perceptuelle composants (Teinte-Saturation intensité). La nouvelle couleur de l'assiette les composantes RVB inégale des variations dérivés d'un seul chromatiques quand il est éclairé avec une gamme des intensités. Toutefois, le Smithâs HSI espace présente certains inconvénients. L'un d'eux est le ennuyeux RVB amplification du bruit dû au non linéaire RGB à HSI formules. Pour faire face à ces effets, nous présentons une nouvelle étude de la variabilité intrinsèque de la HSI composants sous différentes conditions de niveau d'éclairage. Par conséquent, nous avons dérivé deux estimateurs de la teinte et de saturation des écarts. En s'appuyant sur ces estimateurs, nous formulons nos Hue Saturation et de la stabilité des fonctions, qui expriment le degré de confiance de la Smithâs SH valeurs d'un pixel de couleur. Ces fonctions seront utilisées tout au long de nos algorithmes de segmentation afin de renforcer la couleur des informations fiables contre l'instabilité de la couleur des informations. L'idée de base de notre système de segmentation est de trouver un ensemble de modèles pertinents chromatique de l'image, de sorte que chaque pixel peut être classé (étiqueté) à la plus tendance similaire SH en fonction de ses valeurs. Nous proposons trois méthodes pour trouver un vague - comme la caractérisation des modes chromatiques d'une image. La méthode la plus simple consiste à obtenir la teinte et la saturation des histogrammes d'une sélection manuelle de pixels appartenant à chaque modèle. L'intermédiaire méthode consiste à définir une palette de modes chromatique, qui couvrent l'ensemble de l'espace couleur. La méthode est plus sophistiqué pour la détection automatique des distributions significatives de pixels dans le SH cumulatif histogramme de l'image. Cette histogramme est constitué en tenant compte de la fiabilité des couleurs des pixels (par l'intermédiaire de la stabilité des fonctions). Afin de détecter les distributions de couleur dans ce flou histogramme, nous proposons une nouvelle version de l'outil morphologiques du bassin. De la couleur des distributions obtenues, le nombre de membres du système définit deux fonctions (c'est-à-dire ensembles flous) pour chaque modèle chromatique, qui représentent la tendance pour la typicité Hue et Saturation composantes Notre processus de classification obtient le degré de similitude entre chaque pixel de l'image floue et le SH séries de Chromatiques de chaque modèle. En outre, nous avons conçu une méthode permettant de moduler l'influence de la teinte et de saturation des membres, en tenant compte à la fois de l'essai (les pixels de l'image) et de formation (chromatique schémas) des données de stabilité. Au-delà de notre base de segmentation chromatique, nous proposons deux étapes poste. La première étape consiste à faire passer fausses étiquettes (petites régions), afin d'assurer le maximum de cohérence spatiale de la fin régions. La deuxième étape consiste à diviser à nouveau les régions chromatiques achromatique en plusieurs sous régions en vue de détecter la forte intensité des nuances qui pourraient correspondre aux différentes parties (visages) de la perception de couleur domaines de l'image (objets). Plusieurs expériences montrent que notre système dispose de bons résultats de segmentation, que nous avons vérifié au moyen de vérifier sur le terrain et les mesures empiriques, ainsi que par comparaison avec d'autres l'art de segmentation image couleur algorithmes. En outre, notre système prévoit deux niveaux de partitionnement flou de l'image (chromatique et achromatique), qui peuvent être très utiles pour aller plus loin dans les mesures de traitement de l'image.

Auteur: DIAZ DESCALZO GREGORIO.
Année: 2005.
Université: CASTILLA-LA MANCHA [www.uclm.es].
Lieu de l'exposition: FAC. CIEN. JURI. Y SOCIALES DE TOLEDO.
Lieu de préparation: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Résumé: À partir de l'an 2000 toutes les technologies liées à Internet, le réseau des réseaux, ont connu une évolution spectaculaire. Surtout, nous avons assisté à un essor des processus d'affaires inadmissibles qui ont décidé de mettre leurs efforts en utilisant l'Internet comme une plate-forme de communication. Cela a commencé à susciter une vaste gamme de technologies associées à l'Internet avec l'intention de développer les capacités technologiques disponibles. Une affaire sont les services web. Cette technologie est de proposer la construction de nouveaux programmes en utilisant l'Internet comme une base de données répartie dans laquelle les différents services d'accès des données et des ressources accessibles via le Web. Par conséquent, la conception qui auront les mêmes briques qui peuvent être comparées les unes avec les autres montés créer de nouveaux espaces qui offrent un grand nombre de services. L'un des services les plus importants que le commerce électronique qui pourraient manipuler d'importantes sommes d'argent. C'est pourquoi nous avons récemment née de la nécessité de vérifier que les systèmes mis au point pour fournir ce service avec un haut degré de fiabilité. Ainsi, ces systèmes doivent être conçus avec le plus faible niveau de risques d'erreurs, voire aucune. C'est pour cette raison qu'il convient d'appliquer à cette nouvelle technologie techniques formelles qui nous permettent de savoir si les nouveaux systèmes sont créés ou non des erreurs. Une technique est largement utilisée et de vérification associé à de nombreuses reprises, nous avons trouvé la technique connue sous le nom de "Model Checking". Cette technique utilisée dans les premiers stades de la conception de systèmes logiciels peuvent nous aider à trouver les erreurs que notre nouveau système souffre. Mais il est également nécessaire de déterminer quels sont les moyens que notre système devrait se développer. L'une fois identifiés, qui deviendrait exigences que le produit final doit satisfaire. Par conséquent, ces prescriptions devraient également être recueillis et mis à l'essai par le biais de techniques telles que nous l'avons déjà nommé "Model Checking." Ainsi, une fois défini, techniques et de la zone d'application sera décidée par une façon systématique qui nous permet de décider ou d'obtenir des informations lors de notre système A été testé avec succès. Par conséquent, il est nécessaire de mettre au point une méthodologie qui indique clairement les différentes étapes nécessaires à leur mise en oeuvre. Le premier d'entre eux nous appellerons phase d'analyse pour mission d'acquérir les exigences du système dans les phases ultérieures deviendront les propriétés vérifiées. À ce stade, sera guidée par les modèles utilisés pour l'acquisition des objectifs de ces exigences. La deuxième phase, ou phase de conception est identifié par le système de modélisation. Nous allons utiliser pour la modélisation des séquences et des diagrammes UML activité. La troisième phase sera consacrée à la mise en œuvre par le langage WS-CDL. La quatrième étape sera effectuée en utilisant les outil de vérification UPPAAL.

Auteur: Porcel Gallego Carlos Gustavo.
Année: 2005.
Université: GRANADA [www.ugr.es].
Lieu de l'exposition: Facultad de Biblioteconomía y Documentación.
Lieu de préparation: E.T.S. Ingeniería Informática.

Résumé: Ces dernières années, la révolution numérique est à l'origine une augmentation importante de la quantité d'informations qui est créé et distribué par voie électronique. Sur la façon d'accéder à cette information est en train de devenir une question essentielle dans la société d'aujourd'hui. Les utilisateurs de plus en plus besoin d'outils automatisés pour les aider à filtrer l'énorme quantité d'informations dont on dispose. Application de l'intelligence artificielle améliore les techniques de systèmes d'accès à l'information. Nous insistons sur deux types de systèmes d'accès à l'information, les techniques plus traditionnelles fondées Information Retrieval (IR) qui répondent à des exigences spécifiques représentés dans le cadre de consultations que les utilisateurs enregistrés dans le système, et en se fondant sur des renseignements techniques de filtrage (AF) qui répondent aux besoins les plus persistantes À déduire des profils d'utilisateurs. Dans ce rapport, nous avons l'intention d'approfondir dans la conception de systèmes d'accès à l'information faisant quelques suggestions d'améliorations basées sur hibridaciones systèmes d'accès à l'information repose sur l'IR et FI, ainsi que l'application de l'intelligence artificielle des techniques telles que la modélisation lingà ¼ istico diffuses.

Auteur: MONTENEGRO MONTES JOSÉ ANTONIO.
Année: 2005.
Université: MÁLAGA [www.uma.es].
Lieu de l'exposition: INFORMÁTICA.
Lieu de préparation: INFORMÁTICA.

Résumé: L'objectif de cette thèse est la conception d'une autorisation évolutive. À cette fin, il est nécessaire de mettre en place un prototype de l'infrastructure de gestion de privilèges (PMI) d'une manière similaire à sa hononima infrastructure à clé publique (ICP) est la notion d'éléments essentiels certificat. Dans le cas du concept de l'IMR nous attribuons certificat et le certificat d'ICP deviendra connu sous le nom de certificat de clé publique ou de l'identité. Le développement des PMI nécessaire dans un premier temps d'inclure des certificats d'attributs dans la bibliothèque OpenSSL. Une fois conçu et mis en oeuvre les éléments de la PMI, nous introduisons le concept de l'infrastructure d'authentification et d'autorisation (AAI). L'IAA est le lien d'un service d'authentification et d'autorisation comme cela peut être le cas d'une PKI avec un PMI. Une proposition est la création d'une authentification biométrique basée sur l'AIE, a appelé l'infrastructure d'authentification biométrique et d'autorisation (BAAI). En outre jugé approprié par la mise en place d'autorisation supplémentaire comme c'est le cas avec l'autorisation anonyme adéquation prototype PMI environnements omniprésents et l'établissement d'un mode online PMI pour remédier au problème des listes de révocation. Une fois que le service d'autorisation a été jugé nécessaire exigence d'évolutivité, il est nécessaire d'inclure ce service dans la délégation des pouvoirs. Cette action requise pour réaliser une étude comparative de la notion de délégation dans les solutions existantes, en concluant que la délégation était plus proche du transfert de l'identité que le transfert de privilèges. Pour cette raison, il est jugé nécessaire de créer un modèle de délégation à grain fin basé sur la délégation des attributs. En outre, pour faciliter la création de peines et de la délégation de pouvoir, nous avons conçu un langage de modélisation phrases délégation et l'autorisation par le biais d'un outil visuel qui aide les utilisateurs à créer des phrases d'autorisation et de délégation, ainsi que de les traduire dans les chaînes de certificats d'attributs. Le développement des services de sécurité est vide de sens sans la bonne articulation avec le processus de création de logiciels et de la thèse comprend une méthode pour capturer les exigences de sécurité dans les premiers stades du cycle de la création de logiciels. Cela permettra aux concepteurs de créer des services de sécurité des logiciels appropriés nécessaires à la conception, ainsi que là où ils devraient être couverts et de leur interaction avec les différentes exigences fonctionnelles.

Auteur: CUESTA INFANTE ALFREDO.
Année: 2005.
Université: NACIONAL DE EDUCACIÓN A DISTANCIA [www.uned.es].
Lieu de l'exposition: E.T.S. INGENIERÍA INFORMÁTICA.

Résumé: Les stratégies de contrôle multifréquences (MF) apparaissent comme une solution à de nombreuses situations où il est impossible ou inutile l'utilisation de la même période d'échantillonnage à tous les variables discrètes qui peuvent apparaître dans le système de contrôle. D'autre part, plus de 90% des boucles de contrôle des régulateurs PID. Ces suscite l'intérêt d'adapter ce type de portée réglementaire multifréquence: notamment dans les situations appelé MRIC (Multi-Rate Input Controller), dans laquelle le conducteur doit mettre à jour le signal N fois par erreur d'échantillonnage. Ce document traite de l'étude des régulateurs PID multifréquence (PIDMF) considérant les objectifs suivants: Obtenez un modèle mathématique de PIDMF de garder le sens des paramètres de l'harmonie, de démontrer l'effet que la situation MF introduit dans le pilote prend des mesures de contrôle des règles d'obtenir De l'harmonie dans la fréquence et l'heure de domaine et de développer un outil logiciel permettant de mettre en oeuvre ces règles. Afin de réaliser ces objectifs et a utilisé la technique de modélisation des opérateurs Kranc. Les règles de l'harmonie ont été développés en utilisant comme point de départ les méthodes de Ziegler-Nichols. Enfin, le logiciel a été développé en Matlab 7 et SysQuake 2,3. En conséquence, le PIDMF est capable de répondre aux exigences de robustesse agissent plus en douceur et plus efficacement que par une seule fréquence PID dans les cas où la période d'erreur d'échantillonnage a une très grande valeur fiscale.

Auteur: PASTOR VARGAS RAFAEL.
Année: 2005.
Université: NACIONAL DE EDUCACIÓN A DISTANCIA [www.uned.es].
Lieu de l'exposition: E.T.S. INGENIERÍA INFORMÁTICA.

Résumé: Le but ultime est de faire des contributions structurées concevoir et mettre en œuvre pilote par le biais d'Internet, de préconiser une méthode de développement qui utilise le format XML comme un langage de spécification. Cette initialement décrit l'état de l'art dans le domaine du développement des laboratoires de télédétection / virtuel en ligne et les procédures des principaux groupes de recherche et des initiatives, en mettant l'accent sur des approches qui définissent l'architecture de réseau de laboratoire. Ensuite, elle montre la nécessité d'utiliser un langage XML pour spécifier les composants d'un laboratoire, en plus de proposer des moyens d'appliquer une telle définition par les outils de développement disponibles aujourd'hui. Une fois définie la spécification des composants et la structure formelle d'un laboratoire, développe méthodologie de mise en oeuvre qui repose sur la définition des composants faits en utilisant le XML. Cette méthodologie de mise en oeuvre est basée sur trois composants logiciels qui supportent cette méthode: l'applet serveur expérimental de publication du laboratoire et le serveur sur le réseau de laboratoires. Enfin, nous présentons des exemples de laboratoires développés par la méthodologie proposée, afin de démontrer l'utilité de la spécification, ce qui démontre la validité de l'approximation.

Auteur: AMIGO CABRERA ENRIQUE.
Année: 2005.
Université: NACIONAL DE EDUCACIÓN A DISTANCIA [www.uned.es].
Lieu de l'exposition: E.T.S. INGENIERÍA INFORMÁTICA.

Résumé: Dans cette thèse développe un modèle interactif d'accès à l'information adaptée à la tâche de "Synthèse de l'information", défini comme le processus d'extraire, d'organiser et de relier les éléments d'information contenus dans une série de documents pertinents, à l'd'obtenir un Gratuit rapport qui répond à un besoin d'information complexes. Tout d'abord, dans cette thèse est un aperçu de l'état de l'art en termes de technique de résumé automatique, qui subsume la synthèse de l'information. Il a également passé en revue les schémas d'interaction entre l'utilisateur et les systèmes informatiques d'accès à l'information et à la méthodologie de l'évaluation. Deuxièmement, il met au point un cadre de travail constitué d'un ensemble de rapports générés manuellement, ISCORPUS et une méthodologie d'évaluation QARLA adapté à notre problème. Troisièmement, nous réalisons une série d'études empiriques sur le rôle des principaux aspects de la question abordés dans le rapport, en ce qui concerne le développement et l'évaluation d'un modèle interactif. De l'analyse des ISCORPUS, il est conclu que la tâche de synthétiser l'information, il est au fond des carrières, et diffère selon le type de sujet important. Nous pouvons distinguer entre les questions évoluent dans le temps (par exemple, "le rôle du gouvernement en Espagne, la guerre en Irak", et les questions qui traitent des différentes instances d'un même type d'événement tel que "les campagnes européennes contre le racisme." ; QARLA est un cadre pour l'évaluation des systèmes de synthèse élaboré dans le contexte de ce travail. Entrée se compose d'un cadre avec des résumés de référence généré manuellement, une série de résumés de référence généré automatiquement, et un ensemble de la mesure de similarité. QARLA fournit une mesure pour Évaluation de la qualité de tout ensemble de mesure de similarité, une mesure permettant d'évaluer la qualité d'un résumé en utilisant un ensemble optimal de la mesure de similarité, et une mesure de vérifier si l'ensemble des résumés automatiques de référence est fiable ou si, par contre, peuvent produire biaisée Résultats. Comparativement aux précédents travaux, QARLA est capable d'évaluer et de mettre en oeuvre un ensemble de critères de similarité sans application de critères lourds entre eux. Cette thèse est fourni des données quantitatives sur l'efficacité de ce cadre dans l'évaluation des résumés en combinant métriques. Emploient partie QARLA dans des expériences Développée au cours de la thèse. Expériences développées dans cette thèse de QARLA et ISCORPUS nous permettent de conclure que le vocabulaire ou les phrases sélectionnées figurent dans un rapport des traits qui ne sont pas de discrimination entre les rapports générés manuellement et rapports générés automatiquement en utilisant des stratégies de base. Toutefois, la combinaison de Ces caractéristiques à la répartition des "concepts clés" renforce la capacité de discrimination, mais d'autres termes, la répartition des concepts-clés doivent être pris en compte dans le processus de développement et d'évaluation des systèmes de synthèse de l'information. Outre, nous avons conclu que l'information syntaxique envisager surface Améliore l'extraction automatique de concepts clés, et que les prévisions de la distribution des concepts clés des rapports modèle peut être utilisé pour le développement de systèmes de synthèse de l'information. Enfin, nous présentons "PRISMA", un modèle interactif basé sur les niveaux intermédiaires de l'accès à l'information, et identifié Sur la base des données empiriques obtenues dans les précédentes expériences. Comparé deux stratégies de base d'exploration dans le contexte de la synthèse de l'information: les titres d'exploration par l'exploration des concepts clés. Les résultats montrent que l'exploration des concepts clés offrent des avantages nets sur le titre de l'exploration Documents.

Auteur: GARCIA BRINGAS PABLO.
Année: 2006.
Université: DEUSTO [www.deusto.es].
Lieu de l'exposition: FACULTAD DE INGENIERIA.
Lieu de préparation: FACULTAD DE INGENIERÍA.

Résumé: Face à l'ampleur croissante du problème des systèmes assurant la sécurité de l'information et des réseaux de communications de toutes sortes, les mécanismes traditionnels de l'isolement passif et le contrôle d'accès sont montrés insuffisants pour endiguer l'augmentation du nombre d'attaques et de tentatives d'intrusion spectaculaire, bien aveugles ou ciblés, survenant À l'heure actuelle. Ainsi, dans de telles circonstances, le domaine de la connaissance de la détection Intrusiones, caractérisée essentiellement par son comportement actif et de l'utilisation des techniques d'intelligence artificielle, plus ou moins ambitieux et sophistiqués, est classée comme l'une des technologies de sécurité les plus prometteurs, dans le moyen terme . Ainsi, il est maintenant possible de trouver des solutions commerciales pour détecter les sons et la renommée, qui a porté sur la surveillance des équipements spécifiques, ciblées sur le contrôle complet des réseaux de communication, appel à l'utilisation de modèles pour représenter les connaissances et l'inférence basée sur le concept de système expert , Une chaîne de règles. Ainsi, en général, les connaissances disponibles concernant documenté les attaques contre de tels équipements et réseaux de communication, est représenté sous la forme de règles de production telles que compilées par l'administrateur de l'homme. Ces systèmes de détection des utilisations Mal, se caractérisent par une grande précision dans ses décisions, ainsi que d'habitude pour un niveau élevé d'efficacité. Toutefois, la présentation d'une limite importante: ils ne sont pas en mesure de répondre à ce qu'ils ne savent pas. Ou pour le dire autrement, compte tenu de la possibilité qu'un agresseur potentiel pourrait avoir connaissance du système de détection (question réellement faisable dans la plupart des cas), pour lui de opartir de légères modifications dans leurs procédures que leur attaque camuflen parts, face à des attaques ou complètement Roman, il n'ya tout simplement pas de réponse. Par conséquent, la communauté scientifique est en train d'étudier les solutions possibles à ce problème, le nouveau concept de détection des anomalies comme un élément essentiel d'analyse à moyen terme, soit sous la forme d'un complément à l'approche traditionnelle de détecter les abus, les modèles ou les signatures, ou sémantiques Bien que surcouche de ce dernier. Pour ce faire, en général, une telle approche Anomaly Detection, cherche à être en mesure de fournir une réponse, même dans les situations de risque ne sont pas connus à l'avance, en se fondant sur le développement du système de profils pour surveiller le comportement et le calcul des écarts par rapport à Activité normale à l'égard de ce profil. Ainsi, tout écart est jugé suffisamment significatif comme une anomalie dans le système, et donc susceptible d'être notifiée à l'opérateur humain sous la forme de signal d'alarme, de sorte qu'il est possible à une analyse détaillée des causes de cette alarme, ou automatiquement traitées , En ligne avec le paradigme de la prévention Intrusiones. Ainsi, dans le but de fournir une réponse complète par le système de détection, à la fois aux attaques connues comme des attaques pas connu avant, cette thèse explore la voie de l'unification des deux principaux paradigmes de détection Intrusiones grâce à l'utilisation de modèles de représentation des connaissances et de l'inférence de conclusions Fondé sur le concept de réseau Bayésien, qui fournit toute la puissance intrinsèque de la représentation de la règle traditionnelle fondée sur des systèmes experts, ainsi que d'un large éventail de puissantes fonctionnalités supplémentaires, telles que: inférence exposé des conclusions, omnidirectionnelle chaîne de relations causales et / Ou corrélation, la représentation intrinsèque de l'ampleur apprentissage temporaires structurel (ou Bayesian Data Mining) à partir des données, l'apprentissage paramétrique intégrale ou séquentiel 8 départ 614 de ces données, de l'adaptabilité du modèle à l'évolution du système de connaissances remarqué, ou la capacité d'obtenir, Par l'analyse de sensibilité, un plan qualitatif et quantitatif de la représentativité et le degré d'interdépendance des paramètres qui composent l'ampleur du problème. Ainsi, depuis les études et les expériences menées dans cette thèse, fournit un puissant modèle de la représentation de connaissances qui servira à développer un moteur capable de raisonnement adaptatifs contemplant déduire des conclusions, d'une manière unifiée et homogène dans le traitement de divers types de détection, Détection paradigme de la connaissance Mauvais usage d'une part, en tant que caractéristique de la connaissance Abnormalities paradigme de détection, de l'autre.

Auteur: GARCIA FANJUL JOSE.
Année: 2006.
Université: OVIEDO [www.uniovi.es].
Lieu de l'exposition: DEPARTAMENTO DE INFORMATICA.
Lieu de préparation: DEPARTAMENTO DE INFORMATICA. UNIVERSIDAD DE OVIEDO.

Résumé: Ces dernières années, il a détecté une augmentation significative et durable de l'investissement que les entreprises engagées dans le développement de services basés sur les logiciels (OSS). Le développement de l'OSS, et en particulier les processus de preuves de ce type de logiciel un défi pour les ingénieurs que certains auteurs décrivent comme un changement de paradigme dans le génie logiciel. Parmi les défis qui doivent être traités dans le processus de la preuve, par exemple, le manque d'uniformité des informations sur les services disponibles et les coûts associés à la mise en œuvre des OSS. Une part très importante de l'OSS existants aujourd'hui sont des compositions de services, et plus particulièrement celles qui sont spécifiées en utilisant la norme BPEL, qui est devenue une norme de facto. Cette thèse décrit une méthode systématique de générer des cas de tests pour les compositions de services spécifiés dans la langue BPEL. Checker est utilisé pour générer automatiquement des modèles SPIN spécifications des cas. Initialement décrit la façon d'obtenir un modèle de comportement opérationnelle exprimée dans le langage PROMELA (langue d'entrée SPIN) de la spécification d'une composition de services exprimée en BPEL. Ensuite, la méthode est appliquée comme critère de pertinence, d'où la mise en œuvre du modèle PROMELA et systématique d'extraction d'un ensemble de preuves. L'argument utilisé deux critères de la suffisance fondée sur différentes transitions: Couverture de transitions et de la couverture des paires de transition adjacente. Chacune de ces exigences est transformée en une propriété en logique temporelle LTL, qui est compris dans l'apport de l'outil SPIN. Dans la mise en oeuvre du modèle de contrôleur, vous obtenez un contre-exemple qui répond au moins à l'exigence incluse dans la formule et elle devient un cas test. Pa. illustrer et de valider la méthode, comprend deux études de cas dans lesquels générer des cas de tests pour deux especififcaciones des compositions tirées de etándar BPEL (approbation du prêt et le service d'expédition). Il a étudié l'efficacité de l'essai de tels cas, les compositions produites à l'aide de l'analyse de mutation.

Auteur: AKEMI GALVEZ TOMIDA.
Année: 2006.
Université: CANTABRIA [www.unican.es].
Lieu de l'exposition: E.T.S. DE INGENIEROS DE C.C.P..
Lieu de préparation: ESCUELA TECNICA SUPERIOR DE INGENIEROS DE CAMINOS, CANALES Y PUERTOS.

Résumé: La principale contribution de la thèse consiste en un ensemble de méthodes générales pour résoudre divers problèmes d'interrogatoire et les surfaces géométriques de traitement d'un grand intérêt tant d'un point de vue mathématique que leurs applications pratiques. Les méthodes introduites dans cette thèse permettent d'obtenir diverses caractéristiques des surfaces courbes, l'identification des courbes (surfaces) isodistancia par rapport à un point donné (méthodes polaires) ou d'une courbe donnée (courbes parallèles) et le calcul des courbes d'efficacité intersection de deux surfaces (soit dans Sous la forme définie comme paramétrique implicite). La méthodologie a été appliquée: 1) Obtention de courbes caractéristiques sur les surfaces: courbes de projection d'un vecteur champ sur une surface paramétrique point sur une surface qui est à une distance minimum de l'arbitraire à l'extérieur de la surface, la section des courbes, des courbes géodésiques, lame courbe, Silhouette courbée. 2) Détermination de courbes sur les surfaces isodistancia à l'égard d'un point d'une courbe ou de dés: Courbes de isodistancia polaires et des courbes parallèles. 3) l'efficacité de calcul des courbes d'intersection de deux surfaces. Paramétrico cas-implícito, paramétrico-paramétrico et implícito-implícito. Une autre des contributions de la thèse est l'application d'une très récente de l'intelligence artificielle, les réseaux fonctionnels, pour la résolution du problème de la reconstruction de surfaces: étant donné un nuage de points, sont à la recherche d'une zone proche de la NURBS nuage de points, de sorte Comme pour répondre à certaines restrictions techniques. Une autre contribution de la thèse est le système informatique CG & CAGDTutor, imlementado dans Matlab et standalone version exécutable est orienté monde delCAGD (Geomereic Computer-Aided Design) et l'infographie.