SYSTÈMES TEMPS RÉEL

Auteur: RUIZ MARTINEZ JOSE FRANCISCO.
Année: 2003.
Université: POLITÉCNICA DE MADRID.
Lieu de l'exposition: ESCUELA TECNICA SUPERIOR DE INGENIEROS DE TELECOMUNICACIÓN.
Lieu de préparation: ESCUELA TECNICA SUPERIOR DE INGENIEROS DE TELECOMUNICACION.

Résumé: L'objectif de ce travail est de mettre au point un système hiérarchique et l'architecture décentralisée de la gestion de la qualité des services et des ressources dans les systèmes multimédias embarqués. Le système de contrôle est hiérarchique et multiethnique fournis, être capable de gérer les diverses entités conceptuelles correctement. Les travaux de cette thèse prévoit architecturale appui nécessaire pour mettre en oeuvre les agents des domaines d'applications capables de escapsular connaissances específicao de services. Nous avons défini deux modèles qui portent le covivencia entre le gestionnaire et les divers gestionnaires spécialisés centrale. Ul part, est le modèle de partenariat que les actions de contrôle sont mises en oeuvre par le gestionnaire central de l'aide d'une seule base de données contenant les informations nécessaires à la gestion des applications. En outre, la délégation modèle fournit un cadre plus souple fondée sur la délégation de certaines fonctions spécifiques de contrôle des agents spécialisés des domaines d'applications. La validation de l'architecture a été fondée sur le développement d'un prototype funcional.La exécution d'une série de cas de test a révélé la opreración système control.Se a également fait une multiprocesseurs application du système de contrôle qui permet d'améliorer l'efficacité, la fiabilité et la prévisibilité extensibilité De la arqutectúra, distribuant la charge de la gestion entre les processeurs hétérogènes.

Auteur: CRUZ MARTIN ANA M..
Année: 2004.
Université: MÁLAGA.
Lieu de l'exposition: INGENIEROS INDUSTRIALES.
Lieu de préparation: E.T.S.I INDUSTRIALES.

Résumé: Cette thèse traite du problème de chemin dans la planification des systèmes robotiques composé de plusieurs éléments. Comme point de départ, il faut une vitesse d'un algorithme de planification pour un seul robot qui génère des profils de vitesse dont la trajectoire prend en compte les limitations de vitesse, à la fois physique et opérationnelle une incidence importante sur le mouvement du véhicule. Cet algorithme monorrobot s'étend à l'affaire multirobot fournissant une voie sûre pour chacun des véhicules qui composent le système. Planification des chemins multirobot soulevées soutient diverses solutions, dont le degré de bonté est également différent. Par conséquent, la solution de ce problème consiste à ne pas trouver facilement une solution, mais la détermination de la meilleure solution en fonction de certains critères peuvent être établis pour chaque système multirobot. Ce document analyse en détail ce type d'outil serait le mieux adapté pour déterminer l'organisation à fournir une gestion optimale conclu que les algorithmes génétiques sont un bon choix, et a également présenté un algorithme génétique qui établit l'ordre des priorités qui applique l'algorithme de planification multirobot trajectoires. Pour faciliter les tâches d'expérimentation et d'essai a mis au point un graphique de systèmes de simulation multirobot, ce qui évite d'employer un système multirobot réel, qui est habituellement très coûteux et complexe à organiser et à gérer. À cela il faut ajouter une compilation détaillée des différentes architectures multirobot systèmes existants dans la littérature à ce jour, ainsi que l'étude, plutôt large, et par la suite le classement de la navigation de délibération des stratégies qui peuvent être trouvés à l'heure actuelle pour ce type de systèmes.

Auteur: CALVO GORDILLO ISIDRO.
Année: 2004.
Université: PAÍS VASCO.
Lieu de l'exposition: E.T.S. DE INGENIEROS.
Lieu de préparation: ESCUELA TECNICA SUPERIOR DE INGENIEROS.

Résumé: Les systèmes modernes de l'environnement industriel exige une adaptation constante aux nouveaux défis posés par l'industrie. Dans le même esprit, à distance, la possibilité d'interagir avec ces systèmes de contrôle sont passionnants avantages pour différentes catégories de personnel concernées. Certains de ces avantages sont de réduire les déplacements à l'usine, faute de réduire les délais de résolution, ou de l'exécution de certains processus dans des environnements dangereux à distance. En outre, elle introduit la possibilité d'offrir de nouveaux services tels que la maintenance à distance des systèmes ou à l'intégration du traitement de l'information dans les chaînes d'approvisionnement pour les clients et les fournisseurs. Précisément, le présent document propose une méthodologie de conception qui facilite la construction systématique et générale des systèmes d'accès à distance aux installations industrielles. La méthodologie proposée pour l'utilisation de technologies qui sont considérées comme mûres pour une utilisation dans des environnements industriels ayant été largement utilisées dans d'autres contextes. Dans le cadre de la méthodologie, il est proposé un cadre d'architecture composée de divers types de composants proposé un cadre d'architecture composée de divers types de composants qui doivent être remplis conformément aux principes directeurs mis en place le système d'accès à distance. Cette méthode a été appliquée à deux études de cas distincts pour tester sa validité. L'une de ces études de cas se compose d'une cellule de fabrication flexible formé dispositifs de laboratoire industriel réel, ce dernier étant déployés dans le secteur de l'électricité.

Auteur: USAMENTIAGA FERNANDEZ RUBEN.
Année: 2004.
Université: OVIEDO.
Lieu de l'exposition: DEPARTAMENTO DE INFORMATICA.
Lieu de préparation: DEPARTAMENTO DE INFORMATICA.

Auteur: JORDÀ PUIG SERGI.
Année: 2004.
Université: POMPEU FABRA.
Lieu de l'exposition: DEPARTAMENTO DE TECNOLOGÍA.
Lieu de préparation: UNIVERSIDAD POMPEU FABRA.

Résumé: Cette thèse étudie l'utilisation de l'ordinateur comme d'un instrument de musique pour la mise en œuvre et de l'improvisation de la musique en temps réel. Son principal objectif est de construire un cadre théorique qui nous permet d'évaluer le potentiel, le potentiel et la diversité de ces nouveaux instruments de musique numérique. Les systèmes interactifs musicale remontant à la fin des années soixante, quand il a mis au point le premier ordinateur contrôlé synthétiseurs analogiques pour l'utilisation dans des concerts et installations interactives. Malheureusement, près de quatre décennies après les premiers pionniers, de la conception assistée par ordinateur sur les instruments de musique et, plus généralement, de l'improvisation musicale en utilisant des ordinateurs, sont encore immatures multidisciplinaire domaines dans lesquels les connaissances ne semble pas sedimentarse de façon incrémentielle ou cumulativement, et la roue est réinventée De façon permanente. La conception de nouveaux instruments de musique numérique est un domaine très large, couvrant des domaines de haute technologie (par exemple l'électronique et les technologies de capteurs, les techniques de synthèse et traitement audio, programmation informatique, etc.) Disciplines et liées à l'étude du comportement humain (par exemple, la psychologie, la physiologie, l'ergonomie, l'interaction humain - computadora, etc.), Avec toutes les connexions possibles entre eux. Une grande partie de la recherche existante, cherche à s'attaquer parties distinctes du problème. Cette approche, une approche qui est indispensable à tout progrès réel dans ce domaine, il s'agit aussi, comme l'indiquent ci-après, manifestement insuffisant. Des études globales, qui prennent en compte non seulement les facteurs ergonomiques ou technologiques, mais aussi psychologique, philosophique, conceptuelle, musicológicos, historique, et surtout, de musique, mais ne peut être totalement systématique, sont absolument nécessaires. Cette thèse traite de l'idée d'un instrument numérique dans son ensemble, indépendamment des éléments au sein de l'entreprise et à son potentiel de caractéristiques (par exemple les moyens de maîtriser ce type de bruit généré, etc.). Elle explore l'essence et les points forts de ces nouveaux outils numériques, ainsi que de nouveaux paradigmes de l'interprétation musicale et la musique qu'ils peuvent apporter sans précédent. Nous partons de l'hypothèse que lui, de développer de nouveaux et de meilleurs outils doivent nécessairement explorer trois directions parallèles, comprenant: Â cerner la quintessence des nouveaux outils numériques, qui sont vraiment originales éléments qui peuvent contribuer à l'exécution musicale comme vous pouvez redefinirla; Â identifier les faiblesses et les points faibles des instruments traditionnels, qui ont leurs limites ou les problèmes pourraient être éliminés, améliorés ou résolus; Â identifier générique qualités essentielles des instruments traditionnels; ces propriétés telles que probablement implicite et supposé demeurer semiocultas, mais nous ne devrions jamais oublier Ou le rejeter. L'identification de ces points, c'est parce que l'objectif principal de cette thèse. Il ya une interaction complexe entre les tâches d'imaginer, de concevoir et de construire des ordinateurs musicale, d'exécuter et d'improviser la musique avec eux, et d'analyser et de comprendre les résultats. Cette relation peut seulement être comprise comme un rapprochement progressif. Cette thèse est le fruit de quinze ans d'expérience comme un luthier à improvisateur. Il peut être considéré comme un travail théorique ou conceptuelle, tandis que d'expériences pilotes bien qu'il soit documenté transmis d 8 et ans ou 9f0 décennies. Pour cette raison, la thèse est divisé en trois parties. La première partie identifie les trois points clefs progressivement ci-dessus. Il le fait progressivement, les nouvelles possibilités de l'outil numérique, ainsi qu'en fournissant une description détaillée de l'actuel des connaissances techniques et des cadres techniques et théoriques et conceptuels dans lesquels les chercheurs et les lecteurs numériques luthiers. Il présente également plusieurs taxonomies, qui nous aideront à développer une image claire et concise de la portée des travaux. Cette partie conclut dans le chapitre sept, qui a institué la première contribution majeure de cette thèse, l'élaboration d'un cadre théorique qui nous permet d'évaluer les possibilités d'expression que ces nouveaux instruments de musique peuvent fournir à leurs interprètes. La deuxième partie décrit en détail sept des instruments de musique que j'ai développé au fil des ans. Depuis sept implantations sont conceptuellement très différentes, dont chacune illustre plusieurs des paradigmes présenté dans la première partie. Présenté chronologiquement, ces exemples illustrent également le chemin qui mène au cadre conceptuel précédemment saisies. La troisième reprend les leçons et les conclusions résultant de cette évolution voyage et introduit le deuxième point le plus important de cette thèse, de proposer des solutions pour atteindre les objectifs fixés à la fin de la première partie. Il se termine par ce qui pourrait être considéré comme mon décalogue de lutheria numérique, résume la plupart des idées introduites dans la thèse, après quoi la reacTable *, le premier instrument conçu à partir de zéro de l'ensemble des concepts introduits en elle, présentés comme des travaux futurs.

Auteur: BALDASSARRI SANDRA SILVIA.
Année: 2004.
Université: ZARAGOZA.
Lieu de l'exposition: CENTRO POLITÉCNICO SUPERIOR.
Lieu de préparation: CENTRO POLITÉCNICO SUPERIOR.

Résumé: L'être humain se caractérise par de manière proactive interagir avec l'environnement, de sorte que bouger, de parler ou de manipuler les objets sont des actions communes dans nos vies. Il n'est que naturel, alors, la tendance dans le monde scientifique, en recréant avec la vraisemblance des actions fonctionnelles et le comportement de l'être humain. La simulation d'êtres humains ont des problèmes complexes liés principalement en raison de la qualité d'observateur à détecter d'éventuelles anomalies ou irrégularités dans quelque chose d'aussi familier que soit le mouvement ou le corps d'une personne. Malgré les progrès réalisés en images de synthèse de ces dernières années dans le domaine de l'animation de la figure humaine, il convient de garder à l'esprit que la silhouette peut varier au cours de l'animation, car il se déplace muscles, étirer ou à contrat et de changer l'aspect extérieur. Par conséquent, pour représenter la complexité du corps humain est indispensable pour faire face à la simulation des muscles et des tensions qui se produisent quand il fait un mouvement. Ce document développe un système complexe appelé MOBIL (Muscle defOrmation dans Biped Locomotion), qui permet de favoriser, de façon coordonnée, le mouvement global de la caisse et la volumétrie souche locale et des muscles au cours de la locomotion. Pour ce faire, en utilisant un modèle basé sur deux phases: músculo-squelettiques et esqueletal. Dans la phase squelettique, réaliste motion est obtenue au moyen d'un modèle hybride de locomotion: dinámico-cinemático. Le modèle dynamique est très simple et est la base pour une cinématique qui permet le calcul de simulation en temps réel du mouvement mondial en faveur de la locomotion. Dans la phase músculo-esqueletal, déformation des muscles sont simulés physiquement avec un système basé sur des éléments finis, alimentée par les forces de la locomotion par l'intermédiaire d'un modèle de système de lignes de l'action musculaire. Le système fonctionne sur une paramétriques générer des animations avec des personnes différentes caractéristiques anthropométriques (taille, poids et teint), et de générer différentes locomociones (vitesse, la durée et la fréquence de l'étape).

Auteur: VICENTE BORRUEL LUIS.
Année: 2004.
Université: ZARAGOZA.
Lieu de l'exposition: CENTRO POLITECNICO SUPERIOR.
Lieu de préparation: CENTRO POLITECNICO SUPERIOR.

Résumé: Cette thèse porte sur l'étude des algorithmes de traitement du signal adaptatif appliqué dans le domaine du contrôle actif, que ce soit le bruit, les vibrations et la structure acoustique. L'algorithme FxLMS est la plus largement utilisée contrôle actif en raison de sa simplicité yrobustez. Toutefois, la convergence est souvent trop lente, en plus d'une forte dépendance sur le signal dereferencia. Ainsi, cette thèse est centré sur les algorithmes de recherche altemativos pour les systèmes de contrôle actif, avec l'objetivoprincipal pour améliorer les caractéristiques de la convergence de l'algorithme FxLMS, et plus précisément sa vitesse. En outre delbeneficio évident de convergence plus rapide, hautement non stationnaire environnements aussi traduit par une mayorcapacidad suivi, et donc l'annulation. Pour conserver l'inévitable augmentation du coût de calcul au sein deunos limites acceptables, ainsi que d'éviter des problèmes potentiels de stabilité numérique, seulement considérés algorithmes développés adaptative degradiente estocástico.Los algorithmes sont regroupées en deux familles: la FxGAL, au moyen d'un prédicteur adaptatif en treillis pour Ortogonalizarel vecteur des données d'entrée, et W + FxLMS ou FxLMS avec preblanqueado, où un système de l'eau de Javel, transversales ou encelosía détermine le signal filtré de référence. Les performances de ces algorithmes sont évalués grâce à des tests enentomos simulé exhaustives, ainsi que dans une application réelle de contrôle actif du bruit dans un environnement de laboratorio.Además développement et l'expérimentation de nouveaux algorithmes de contrôle actif dans cette thèse ont été Deux novedososestudios théoriciens sujet La convergence des algorithmes adaptatifs. Ces analyses sont, d'une part, tandis que deadaptación maximale FxLMS avec déterministes signal de référence et, deuxièmement, à l'influence que le signal souhaité prend laconvergencia algorithmes de descente en pente, en particulier lorsque le cadre de l'initialisation des poids zéro. Elprimero d'eux est une raison de la lenteur FxLMS. Le deuxième explique la cause de l'amélioration de la vitesse deconvergencia dans les systèmes avec preblanqueado.

Auteur: ENTRIALGO CASTAÑO JOAQUIN.
Année: 2005.
Université: OVIEDO.
Lieu de l'exposition: DEPARTAMENTO DE INFORMATICA. GIJON.
Lieu de préparation: DEPARTAMENTO DE INFORMATICA.

Résumé: Dans les systèmes temps réel est d'une importance particulière correction temporaire, de sorte que les techniques ont été développées qui tentent de s'assurer que les exigences temporaires. Ces techniques comprennent l'analyse des méthodes planificabilidad, qui déterminent à partir d'un modèle de système s'il est possible d'obtenir les résultats du système dans les délais impartis. En outre, nous avons développé des systèmes qui permettent de prendre le temps système de surveillance mis en œuvre. Les techniques d'analyse et des outils de suivi planificabilidad n'ont souvent aucun lien entre eux, ce qui complique le débogage des erreurs de comportement temporairement. Cette thèse présente une méthode qui facilite le débogage des erreurs de comportement des modèles reliant les employés temporaires lors de l'analyse planificabilidad avec des mesures obtenues à partir du système. La méthode est appliquée à deux types de modèles: d'une part, une "traditionnelle" qui est basé sur le calcul des pires temps de réponse des tâches du système à partir de ses pires moment de l'exécution, ainsi que d'un modèle probabiliste, qui calcule La probabilité d'atteinte à la limite des termes des tâches du système de la distribution de probabilité de leur temps d'exécution. La méthode proposée dans cette thèse permet la recherche automatique des erreurs de comportement temporaire, en se fondant sur une comparaison entre les valeurs du modèle et les mesures. Cette comparaison est compliquée dans les systèmes analysés avec des modèles probabilistes, et nous devons comparer deux distributions de probabilités. Pour effectuer cette comparaison, nous proposons deux métriques heuristique, appelée le "pessimisme" et "optimisme", qui sont la première approche d'un problème complexe n'est pas abordée jusqu'ici dans la recherche de systèmes temps réel. Afin de tester l'applicabilité de la méthode a été mis en place un outil de débogage des systèmes POSIX, le comportement temporaires, comme la norme la plus importante du temps-réel des systèmes d'exploitation d'aujourd'hui. L'outil se compose de deux éléments: un système de surveillance et un outil d'analyse et de visualisation. L'outil de surveillance accorde une importance à obtenir un système portable d'instrumentation, de sorte que les travaux sur les systèmes POSIX, indépendamment de leur mise en oeuvre et sans avoir besoin de code source du système d'exploitation. De nouvelles études des perturbations introduites par l'outil de surveillance dans le système mesuré, à la fois du point de vue du temps d'exécution et de la consommation mémoire occupé. L'analyse et la visualisation outil permet d'effectuer une analyse basée sur le modèle et les mesures, et présente les résultats dans un certain nombre de fenêtres qui permettent d'analyser les causes de l'erreur. Au premier rang de ces fenêtres est la fenêtre "métriques", qui résume les principaux résultats de l'analyse. Il met en lumière les erreurs, qui peuvent être analysées plus en détail par d'autres fenêtres de diagrammes de Gantt qui montrent l'évolution du système. Lors de l'utilisation de modèles probabilistes, l'outil fournit également des graphiques pour comparer visuellement les distributions de probabilités. Enfin, nous développons plusieurs études de cas qui permettent d'une part, les avantages des techniques présentées dans cette thèse et, d'autre part, à analyser comment la métrique de pessimisme et d'optimisme.

Auteur: LOPEZ PEREZ BENJAMIN.
Année: 2005.
Université: OVIEDO.
Lieu de l'exposition: E.U.I.TEC. INFORMATICA.
Lieu de préparation: DEPARTAMENTO DE INFORMATICA.

Résumé: Le principe de la séparation des pouvoirs ou la responsabilité met l'accent sur la capacité du module différentes parties d'une application à un concept pertinent, objectif, à la tâche ou à but spécifique. Une séparation appropriée des différents aspects d'un système permet de réduire la complexité du logiciel, l'amélioration de leur compréhension et de leur maintenance, et facilite la réutilisation du code. Considérant que la persistance d'une question typique de la majorité des demandes, cette séparation du code principal du système permet le développement des programmes sans tenir compte de leurs besoins persistants, et en ajoutant les adapter en aval. Cette séparation permet au développeur de gérer la persistance des programmes indépendamment de ses fonctionnalités, ainsi que de développer la logique de la demande sans tenir compte de leurs besoins persistants. La persistance serait, dans ce cas, la concurrence orthogonale qui pourraient être réutilisés pour n'importe quelle application, indépendamment de ses besoins fonctionnels. Après avoir analysé les différentes solutions possibles avec l'objectif de parvenir à une séparation complète de l'apparence de la persévérance, il est clair que si certains offrent plus transparent que d'autres, permet à toute demande d'élaborer un code qui est absolument indépendant de l'aspect des caractéristiques de la persistance . De même, la plupart des solutions existantes sont tributaires d'un langage spécifique. En plus des carences relevées dans la séparation des aspects de la persévérance, les approches existantes ne traitent pas de l'affectation, de séparation ou de l'adapter à l'exécution. Une adaptation dynamique des différents paramètres liés à la persistance d'un système, ainsi que sa répartition et de l'élimination à l'exécution, sont pertinents et systèmes adaptatifs de s'adapter aux nouveaux contextes de temps de programmation. La réflectivité informatique est une technique qui permet d'adapter la structure et le comportement d'un système à l'exécution. À propos d'une plate-forme de réflexion sans restriction de calcul offrant réflectivité à l'exécution, a mis au point un système de persistance, qui montre comment ce mécanisme peut être utilisé pour fournir une séparation totale de l'entreprise de la persistance d'une manière indépendante du langage de programmation choisi. En outre, la réflectivité de calcul offre un haut niveau de capacité d'adaptation aux changements dynamiques caractéristiques persistance d'un programme en cours d'exécution sur un programme.

Auteur: BELDA ORTEGA ÁNGELA.
Année: 2005.
Université: POLITÉCNICA DE VALENCIA.
Lieu de préparation: UNIVERSIDAD POLITÉCNICA DE VALENCIA.

Résumé: La transmission de vidéo sur des canaux hétérogènes, qui est le dernier maillon sans fil présente des défis intéressants pour les chercheurs travaillant à la question. La plupart de ces systèmes ont une très faible bande passante. Outre la perte de paquets dans les liaisons fixes sont d'une nature différente de pertes Forfait liaisons sans fil. D'autres aspects à prendre en compte sont l'existence d'autres flux de concurrence pour la bande passante disponible et de la variabilité de la connexion sans fil. Le codage de vidéo, les outils de protection contre les erreurs, les protocoles de transmission et de l'adapter aux propriétés des instantanés de la chaîne sont les principaux domaines de recherche dans lesquels il cherche à améliorer la qualité, à la fois objectives et subjectives, les flux vidéo reçus. La popularité récemment acquise par le terminal mobile périphériques (assistants personnels, téléphones mobiles) a ajouté un nouveau degré de difficulté aux efforts visant à déplacer des applications de transmission vidéo de ces appareils. Cela est dû à la capacité limitée de transformation et de l'espace mémoire disponible sur le programme de terminaux. Le travail effectué dans cette thèse porte sur l'étude et l'analyse des problèmes les plus fréquents rencontrés dans la mise en place d'un système multimédia pour la transmission des flux vidéo et audio dans des environnements à faible largeur de bande et / ou à fort taux de pertes d'appareils mobiles. Dans cette étude ont été analysées, évaluées et mises en oeuvre des solutions à ces problèmes. Commençant par le choix d'un encodeur approprié pour un tel système, a fait une évaluation des options disponibles pour le codage peuvent connaître la réponse à cette encodeur. Ensuite, le codeur a été intégré dans un intergiciel multimédia qui a été utilisé comme une plate-forme pour le développement d'applications multimédia adaptatives. Cette intergiciels multimédia a été analysé et amélioré portée sur plusieurs appareils mobiles. Enfin découlant des problèmes dans les communications multimédias avec des terminaux mobiles analyser les algorithmes utilisés pour les résoudre, et propose un algorithme adaptatif de protection et d'évaluer le canal sans fil sur la base des renseignements fournis par la rétroaction du récepteur.

Auteur: ÁLVAREZ PALOMO JOSÉ MARÍA.
Année: 2005.
Université: MÁLAGA.
Lieu de l'exposition: ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA.
Lieu de préparation: ESCUELA TÉCNICA SUPERIOR DE INFORMÁTICA.

Résumé: Ce document propose une méthodologie pour le développement de systèmes temps réel rend particulièrement l'accent sur l'examen des exigences fonctionnelles non caractéristique de ce type de système requise comme temporaire, la concurrence, l'établissement des priorités ou de l'interaction avec les périphériques physiques. La méthode prend en provenance d'autres éléments existants, comme SOMT et OCTOPUS et a proposé des mécanismes afin de résoudre les problèmes dans le cadre du passage des objets de modèle à l'approche processus et l'établissement de priorités. La méthodologie est divisé en quatre phases divisé en deux zones distinctes, et les aspects fonctionnels de la non-fonctionnelles. Tout au long de la méthodologie utilisée et l'objectif d'orientation UML. Pour tirer parti des méthodes formelles, telles que la simulation, la validation et la génération de code propose une sémantique formelle pour certains des aspects dynamiques d'UML, et plus précisément les actions et l'état des machines. La sémantique proposition en metamodelado et est basée sur le langage MML. Ils font la distinction entre la sémantique et la syntaxe abstraite de domaine. La validité des éléments de ces deux ensembles sont définis par les diagrammes de classes, qui seront valables cas, et les restrictions exprimées dans le langage fonctionnel OCL. Les éléments de ces deux séries sont liés les uns aux autres à la sémantique, ce qui implique un ratio d'un (dans la syntaxe abstraite, de la fin "DE"), de nombreux (dans le domaine sémantique, l'extrême les «instances»). Avec ce système, il a été défini la sémantique des actions et des exécutions, avec une hiérarchie de classes pour les différents types d'actions et les exécutions, dans le premier niveau de cette hiérarchie se distinguent primitive actions et complexe. Une action est définie comme un ordinateur qui modifie l'état d'un élément du système et les performances individuelles sont les occurrences des actions. Il a également été définis avec la même sémantique stratégie de l'état des machines, qui sont considérés comme la plupart des éléments inclus dans le formulaire d'UML, comme les Etats composés, les actions simultanées d'entrée et de sortie et des états guaridas transitions et des événements. Dans ce cas, nous avons suivi une stratégie qui augmente dans le cadre d'un modèle simple et raffinements successifs sont l'ajout de nouvelles fonctionnalités.

Auteur: GUITARTE PEREZ JESUS FERNANDO.
Année: 2005.
Université: ZARAGOZA.
Lieu de l'exposition: CENTRO POLITECNICO SUPERIOR.
Lieu de préparation: CENTRO POLITECNICO SUPERIOR.

Résumé: Dans cette thèse l'information visuelle contenue dans le mouvement des lèvres a été utilisé pour améliorer la robustesse contre le bruit dans les systèmes de reconnaissance vocale sur les dispositifs avec des ressources limitées. Le système décrit ci-dessus permet de réduire sensiblement le taux d'erreur dans les niveaux élevés de bruit acoustique. Les algorithmes utilisés sont caractérisées par une faible consommation, à la fois en temps de traitement et la mémoire, ce qui permet son utilisation dans des dispositifs intégrés. Les principales questions à prendre en considération dans un système de lecture des lèvres sont de localisation et de suivi des lèvres, de l'extraction de l'information visuelle et son intégration aux informations acoustiques. Dans ce papier, nous proposons des solutions à ces trois problèmes aptes à être utilisées dans des dispositifs avec des ressources limitées. Il a mis au point un algorithme de localisation et de suivi des lèvres. Sur la base d'un classement par couleur, en utilisant les contours horizontaux et un modèle simple de l'algorithme mis en oeuvre face fournit la position de la bouche avec une très faible consommation de ressources. Cet algorithme a été implémenté dans un téléphone mobile taux de traitement de 15 images par seconde en temps réel. En plus de l'extraction d'informations visuelles ont étudié deux types d'algorithmes différents, l'un basé sur une modélisation de la géométrie des lèvres et un autre basé sur une transformation mathématique de pixels dans la région de la bouche. Il a été démontré dans des dispositifs avec des ressources limitées, la deuxième catégorie fournit de meilleurs taux de satisfaction en n'exigeant pas de la suppression de la précision des contours des lèvres. Enfin, nous avons étudié trois techniques pour l'intégration des informations visuelles et sonores, qui se distinguent dans la mesure où l'intégration dans le processus de reconnaissance: début et fin hybride. Il a été constaté que la dernière offre les meilleurs résultats pour la reconnaissance, présenter d'autres avantages pour sa mise en œuvre dans un dispositif intégré. La conception du système donne de très bons résultats dans la lutte contre les effets nocifs du bruit et les interférences provenant d'un autre orateur, la réduction relative de 38% du taux d'erreur. Les techniques classiques de réduction du bruit, comme le vol ou le filtrage de Wiener spectrale, ne parviennent pas à réduire le taux d'erreur par rapport à ce type d'ingérence. Tenant compte de l'augmentation du marché croissant pour les dispositifs équipés d'une caméra et de la viabilité de cette technologie a démontré dans cette thèse, la lecture des lèvres peut être considérée comme une technologie pour fournir à l'avenir améliorer la robustesse des systèmes de reconnaissance vocale.

Auteur: SANZ MONTEMAYOR ANTONIO.
Année: 2005.
Université: REY JUAN CARLOS.
Lieu de l'exposition: ESCUELA SUPERIOR DE CIENCIAS EXPERIMENTALES Y TECNOLOGÍA.
Lieu de préparation: ESCUELA SUPERIOR DE CIENCIAS EXPERIMENTALES Y TECNOLOGÍA.

Résumé: La forte demande de l'industrie de la videosjuegos a facilité la croissance de matériel graphique à devenir une plate-forme de haute performance et de faible coût. Au-delà des tâches de rendu, les graphiques permettra de traitement des données dans un parallèle très efficace si nous disposons des algorithmes et des structures de données approprié. Dans cette thèse, présenté de nouvelles propositions algorithmiques adaptés à une plate-forme graphique, qui a été validée par l'intermédiaire de diverses propositions relatives au traitement de l'image à générer éventuellement différentes contributions à algoritmicas des problèmes de traitement vidéo. Le format de la vidéo, en tant que mécanisme de reducicón bande passante pour la transmission du signal, a son origine au cours des premières années de l'introduction de la télévision. Nous avons proposé un large éventail d'algorithmes pour la reconstruction ou le désentrelacement. Cependant, peu d'entre eux ont adapté les techniques de l'informatique douce, en particulier les boueux logique à ce problème. Dans cette thèse, d'améliorer une proposition préliminaire pour le désentrelacement floue ensuite adapter le modèle à une plate-forme graphique de la consommation. En outre, le suivi des objets dans des séquences d'images est un problème de la vision par ordinateur qui a de nombreuses applications dans diverses tâches de la connaissance. Les filtres à particules appartiennent à une classe d'algorithmes pour l'estimation séquentielle spécialisée dans le dépannage à partir d'une perspective dynamique de Bayes. Dans cette thèse, sont modélisés les bases d'un filtre à particules appliquée au suivi visuel à être exécuté dans un graphisme plate-forme, en adaptant leur modèle de calcul pour le schéma traditionnel du calcul d'une carte graphique, en adaptant leur modèle de calcul pour le schéma traditionnel du calcul D'une carte graphique d'utilisation courante.

Auteur: OCAMPO MARTINEZ CARLOS AUGUSTO.
Année: 2006.
Université: POLITÉCNICA DE CATALUÑA.
Lieu de l'exposition: E.U. Eng. Tècnica Industrial Terrassa.
Lieu de préparation: EDIFICI U DESPATX 518 Campus SUD.

Résumé: Contrôle en temps réel (RTC) des réseaux d'assainissement joue un rôle fondamental dans la gestion des systèmes hydrologiques, tant dans le cycle urbain de l'eau, ainsi que dans le cycle naturel de l'eau. Une bonne conception de systèmes de contrôle pour les réseaux d'égout peut prévenir l'impact négatif sur l'environnement que l'égout unitaire Overflow (CSO) ainsi qu'à la prévention des inondations dans les limites de la ville lorsque des conditions météorologiques extrêmes se produisent. Cependant, les réseaux d'égouts sont les systèmes à grande échelle avec un grand nombre de variables, et une forte dynamique complexe de comportement non-linéaire. Toute stratégie de contrôle appliquées devraient être capables de manipuler ces conditions difficiles. Dans le domaine des réseaux d'égouts de la CCF pour réseau mondial de surveillance, le Model Predictive Control (MPC) stratégie se distingue par sa capacité de traiter à grande échelle, non-linéaire et multivariable systems. En outre, cette stratégie permet à l'optimisation des performances, en tenant compte de plusieurs objectifs de contrôle en même temps. Cette thèse est consacrée à la conception de contrôleurs pour MPC réseaux d'égout, ainsi que les méthodologies de modélisation complémentaires. En outre, des scénarios où une défaillance du vérin sont spécialement examiné et des stratégies afin de maintenir la performance ou du moins d'en limiter sa dégradation en présence de défauts sont proposés. Dans la première partie de cette thèse, les concepts de base occupent une place de réseaux d'égout, de la RPC et à tolérance de panne. En outre, les méthodes de modélisation utilisé pour décrire de tels systèmes sont présentés. Enfin, l'étude de cas de cette thèse est décrit: le réseau d'égouts de la ville de Barcelone (Espagne). La deuxième partie de cette thèse est centré sur la conception de contrôleurs pour la MPC proposé étude de cas. Deux types de modèles sont envisagés: (i) d'un modèle linéaire dont le correspondant MPC stratégie est connue pour ses avantages, tels que la convexité du problème d'optimisation et de la stabilité des preuves existantes, et (ii) un modèle hybride qui permet l'inclusion de l'état hybride dépendant Tels que la dynamique des déversoirs. Dans ce dernier cas, une nouvelle méthodologie de modélisation hybride est introduit et modèle hybride prédictive (HMPC) des stratégies fondées sur ces modèles sont conçus. En outre, les stratégies visant à détendre le problème d'optimisation sont introduites pour réduire les temps de calcul nécessaire pour la HMPC contrôle de la loi. Enfin, la troisième partie de cette thèse est consacrée à l'étude de la tolérance aux pannes capacités des contrôleurs MPC. Actuator fautes dans la conservation et la réorientation des portes sont considérés. En outre, les techniques de modélisation hybride sont présentés pour fautes qui, dans le cas linéaire, ne peut être traitée sans perdre de la convexité liés problème d'optimisation. Deux tolérance de panne HMPC stratégies sont comparées: la stratégie active, qui utilise les informations d'un système de diagnostic de garder le contrôle des performances et de la stratégie passive qui ne repose sur la robustesse intrinsèque de la loi sur le contrôle des PPM. Dans le prolongement de l'étude de la tolérance aux pannes, la recevabilité des configurations vérin défectueux est analysé à l'égard de la dégradation des objectifs de contrôle. La méthode, qui repose sur les contraintes liées à la satisfaction, permet l'évaluation de la recevabilité faute vérin configurations, ce qui permet d'éviter le processus de résolution du problème d'optimisation avec ses hautes coût de calcul.

Auteur: Guirado Fernández Fernando.
Année: 2006.
Université: AUTÓNOMA DE BARCELONA.
Lieu de l'exposition: Escuela Técnica Superior de Ingeniería.
Lieu de préparation: Escuela Técnica Superior (ETSE).

Résumé: Les demandes de traitement en parallèle des flux continus de données d'entrée sont d'un grand intérêt pour la communauté scientifique. Pour ces applications à optimiser leurs performances en fonction de deux critères différents. Le primreo correspond à la réduction de la latence, de façon à obtenir le résultat de la saisie des données dans les plus brefs délais. La seconde est définie sur la base d'un taux prédéterminé de données traitées par unité de temps, la valeur indiquée comme étant la productivité. La nécessité de traiter un flux continu de données rend ces applications ajouter un facteur de iteratividad dans l'accomplissement de sa mission, ce qui représente une augmentation de la complexité en ce qui concerne son optimisation à faire dans le calcul parallèle à courir qu'à chaque que les données traitées. Cette caractéristique associée à la structure et les dépendances entre les tâches disponibles dans les stades, rend ces applications sont désignées comme des applications gazoduc. Le but de ce travail de thèse a été défini pour fournir une solution pour l'optimisation des applications de gazoduc. Dans le processus d'optimisation présenté, aborde à la fois la définition de la structure de la représentation graphique des tâches pour les situations dans lesquelles les caractéristiques de la demande n'est pas possible de parvenir à l'exigence de productivité marqués, que la manière dont les tâches d'application doit être Alloués à l'architecture à faire tourner, en veillant à ce que le reste des objectifs de performance. L'architecture choisie comme base pour mener à bien ces tâches, il incombe à l'architecture distribuée de la mémoire, comme cela est le plus largement utilisé aujourd'hui dans le calcul hautes performances. Pour une définition de tâches graphique a développé deux techniques, qui, en vertu de l'approche de minimiser les communications, peuvent obtenir le graphique de la structure la mieux adaptée pour répondre à l'exigence de productivité marqués comme une cible. Les deux techniques sont situés tâches qui agissent comme des goulets d'étranglement de la demande et en fonction de leurs caractéristiques et le type de flux de données à traiter s'applique à: (a) de données parallèle pour réduire les temps de calcul de chacun d', ou (b) d'augmenter les tâches de réplication La capacité de traitement, en parallèle, plus de données flux d'entrée. Pour que le processus d'attribution des tâches sur les nœuds de traitement, il a mis au point deux heuristiques de la cartographie basée sur le concept de la phase synchrone. Ces heuristiques ont été marqués comme MPASS (Pipeline cartographie des demandes fondées sur synchrones étapes) et MPART (Pipeline cartographie des demandes fondées sur l'arbre réduit). Les deux heuristique, a pour objectif de l'attribution de deux options possibles: (a) Obtenir une présélection productivité, de réduire au minimum le nombre de noeuds ou de la transformation (b) de réduire au minimum le temps de latence, dans le cadre d'une obligation de parvenir à la productivité et à minimiser le nombre de nœuds de traitement. L'expérience a été réalisée en utilisant des applications de synthèse qui façonnent le comportement de l'oléoduc et trois demandes du monde réel des applications de différents domaines scientifiques: le compresseur vidéo MPEG2, IVUS (IntraVascular UltraSound), qui est responsable du traitement des images médicales et BASIZ (Bright And Satured Images Zones), qui détecte une séquence d'images, les régions qui retiennent l'attention de l'oeil humain. Les résultats montrent comment les techniques proposées sont en mesure d'améliorer la performance des applications, de la définition d'une nouvelle dépendance des tâches afin d'améliorer la performance, ainsi que d'allouer plus approprié pour ce type d'applications.