TECHNOLOGIE DE L'INFORMATIQUE (2)

Auteur: MARTIN RULL ENRIC XAVIER.
Année: 2005.
Université: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Lieu de l'exposition: Sala de Juntes de la FME.
Lieu de préparation: EDIFICI U DESPATX 518 Campus SUD.

Résumé: Ce travail montre une série d'expériences afin d'identifier, de caractériser et de comparer plusieurs méthodes pour obtenir des vues objet réel dans des applications interactives telles que la réalité augmentée, téléprésence ou d'autres développements futurs. Lors du développement de ces méthodes, les problèmes constatés ont induit une étude plus approfondie de la géométrie de synthèse, de l'objet en trois dimensions la structure, l'accélération matérielle et la portabilité des données par l'Internet. Trois méthodes ont été trouvés qui satisfont aux fins de ce travail. Premièrement, les fichiers stockés objet-view accès appartient à l'organisation des données, algorithme de compression et des capacités de support matériel pour la décompression. La seconde méthode, objet 3D reconstruction et coprocesseur graphique basée projection, profite de l'évolution du marché des GPU. Enfin, le représentant vue-ensemble de sélection et méthode d'interpolation, utilise la vue de trois-propriétés de rectification et de la précision d'interpolation de vue quand une disparité assez dense, la carte est disponible. Cette dernière exigence oblige les deuxième et troisième méthodes de la nécessité d'un bon objet 3D reconstruction, la disparité des modèles 3D et les cartes sont deux expressions pour les mêmes données. Pour comparer les résultats de la méthode ont été utilisés à trois critères: Object-vue qualité d'image. Il a été nécessaire d'identifier les principales sources d'erreurs sur les processus et de trouver des évaluateurs pour ces erreurs. Comme les résultats du processus sont des images à montrer à l'homme, avec les évaluateurs numérique subjectif évaluateur a été utilisé trop. Process-temps, important pour l'interactivité objectif, calculé avec la technologie actuelle, mais les projections prévisible prochaines plates-formes. -- Montant de données qui doivent être consignées dans chaque méthode, qui sera un point-clé pour la portabilité. Lors du développement de ce travail, certaines contributions ont été atteints et ils peuvent être résumées ainsi:-Conception d'une méthodologie pour représenter n'importe quel objet de vue d'un ensemble de vues et des méthodes de synthèse. La méthodologie comprend un protocole d'acquérir et d'organiser des données, des idées pour un minimum vue Septembre sélection, le critère de consigner le montant minimum de données, l'amélioration de l'obtention de la structure tridimensionnelle de la scène et d'une rapide et complète algorithme de synthèse. -- Suppression de certaines restrictions géométriques dans les trois avis de rectification de la méthode, qui permet un positionnement plus général de la caméra virtuelle et une optimisation de l'image virtuelle à travers la distance à la reprojection avion. -- Une spécification complète pour les trois avis de modification de rectification et de visualiser méthode d'interpolation permettant sa mise en oeuvre avec des instructions MMX ou DSP pour atteindre les exigences des applications interactives. -- Présentation d'une méthode en trois dimensions pour affiner les modèles obtenus en sculptant l'espace par la stéréovision. Cette méthode combine deux bien connus des techniques de vision par ordinateur pour parvenir à un meilleur résultat en 3D reconstruction. -- Accélération de la reconstruction 3D space carving méthode à l'utilisation d'un octree voxel organisation, la distance de projection à des cartes et à tirer parti des performances du GPU à la vitesse de projection. Certains des résultats de ce travail seront utilisés dans la construction d'un simulateur de conduite de réalité augmentée (UPC-Université de Toronto) et la mise en œuvre d'un spectateur à distance des objets archéologiques (UPC - UB â d'autres universités).

Auteur: GÓMEZ GUTIÉRREZ EMILIA.
Année: 2005.
Université: POMPEU FABRA [www.upf.edu].
Lieu de l'exposition: DEPARTAMENTO DE TECNOLOGÍA.
Lieu de préparation: UNIVERSIDAD POMPEU FABRA.

Résumé: Cette thèse propose et évalue une méthode de calcul pour décrire les aspects automatique tonale de la musique à partir de l'analyse des signaux audio polyphonique. Ces méthodes sont centrées sur le calcul de descripteurs de la répartition des notes, dans l'estimation de l'ombre d'un morceau, de le manipuler ou de la mesure tonale centre de la similitude entre deux morceaux différents tons. Cette thèse apporte une contribution substantielle au domaine des méthodes de calcul grâce à la description complète: A-Fournir un examen pluridisciplinaire des systèmes permettant d'estimer l'ombre. B-Définit un ensemble de conditions à remplir par les descripteurs tonale faible. C-modulaire et offre une évaluation quantitative des méthodes proposées. D-soutient l'idée que, pour certaines applications, il n'est pas nécessaire d'obtenir une transcription du score parfait, et que l'on peut utiliser les méthodes qui fonctionnent avec des scores sans faire de la transcription automatique. E-Prolonge la littérature existante, qui travaille avec la musique classique avec d'autres genres. F-démontre l'utilité de descripteurs pour comparer tonale morceaux. G-Donne un algorithme optimisé, qui est utilisée dans un système de visualisation, de la musique de recherche et de recommandation, qui fonctionne avec plus d'un million de morceaux.

Auteur: MARTIN MONTES ANTONIO.
Année: 2005.
Université: SEVILLA [www.us.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 gestion des réseaux d'experts et de services a été un domaine où, traditionnellement, ont été imposées des solutions et des mécanismes propriétaires de différents fabricants. À l'heure actuelle, les modèles de gestion nous sommes dotés des caractéristiques nécessaires pour une administration efficace de la gestion des connaissances fournies par les systèmes experts. Il est nécessaire de développer des modèles de contrôle et de supervision offrant de plus grandes possibilités. En ce sens sera proposé la normalisation de la base de données de gestion des connaissances nécessaires à la gestion des ressources dans les divers réseaux de télécommunications. C'est là un aspect essentiel dans le modèle de gestion proposé, le but est de parvenir à une définition uniforme syntaxiquement large de gestion des connaissances qui contribuent des experts, quel que soit le fabricant de ressources gérées. Cela pose un grand effort, il est nécessaire de procéder à une définition uniforme de l'ensemble des connaissances de gestion applicables à tous les moyens de communication disponibles. Il est donc nécessaire de cerner la définition de la gestion des connaissances comme une tâche dans la conception de nouveaux moyens de communication. De ce surgissent libellés Système de gestion intégrée d'experts, un nouveau paradigme qui contiendra des aspects distincts de la gestion des techniques utilisées à ce jour, faire une demande distincte 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. Connaissance de l'Expert Systems sera traitée plutôt comme un bien appartenant à l'objet géré.

Auteur: Mata Mata Francisco.
Année: 2005.
Université: JAÉN [www.ujaen.es].
Lieu de l'exposition: Escuela Politécnica Superior.
Lieu de préparation: Escuela Politécnica Superior, Universidad de Jaén.

Résumé: La prise de décision (TD) est sans aucun doute l'une des activités fondamentales de l'homme, car nous sommes constamment face à des situations où il existe plusieurs variantes et, au moins parfois, nous devons décider ce qui est mieux, ou ce comportement. Le DT a été appliquée dans différentes disciplines telles que les sciences sociales, économie, ingénierie, etc. Un problème classique de la décision a pour base les éléments suivants: 1. Un ensemble de solutions de remplacement ou des décisions possibles. 2. Un ensemble d'états de la nature qui définissent le contexte dans lequel le problème se pose. 3. Un bon ensemble de valeurs, dont chacun est associé à un couple formé d'une alternative et d'un état de nature. 4. Une fonction qui établit les préférences expert (decisor) sur les résultats possibles. Un cas particulier est celui des problèmes Prend décision problèmes sont dans le groupe Decision Making (TMD). Ces problèmes peuvent être définis comme une décision qui implique un certain nombre d'experts qui tentera de trouver la meilleure solution. Dans certains problèmes du TMD est possible que les experts d'exprimer leurs opinions d'une manière précise en utilisant des valeurs quantitatives. Mais souvent le cas, les experts travaillent avec des vagues ou des informations inexactes, car elles ont pour qualifier les aspects qualitatifs difficilement évaluable par le biais des valeurs exactes. Dans ces cas, il est plus approprié d'utiliser des termes lingüsticos qui cadrent mieux avec ce type de points. Approche Lingüstico Difuso utilisation a été couronnée de succès dans la représentation et l'évaluation de l'information qualitative, en utilisant la variable lingüsticas pour représenter des données qualitatives. En TMD problèmes impliqués dans un programme complet et diversifié d'expertise, il est très fréquent qu'ils appartiennent à différents domaines d'études ou ont un autre degré de connaissance de ce problème. Cela peut les obliger à utiliser leurs propres ensembles de termes différents lingüsticos avec la sémantique et / ou la granularité d'exprimer leurs vues. Ces problèmes sont connus dans la littérature comme des problèmes TMD défini dans un contexte lingüstico multigranular. Résoudre un problème de TMD nécessaires pour la conduite de deux façons: 1) Processus de consensus: Dans ce processus, les experts ont examiné et changer leur point de vue afin de parvenir à un degré d'accord ou de consensus approprié. Le chiffre semble que le modérateur est chargé de vérifier le degré de consensus parmi les experts. Si nécessaire, le modérateur peut suggérer des changements dans les opinions des experts et à ce jour plus d'atteindre un plus haut degré de consensus. 2) Processus de sélection: Une fois que vous atteignez le niveau désiré de consensus, de choisir le meilleur ou la meilleure solution à ce problème. L'importance du consensus dans le domaine de la prise de décision de groupe pour veiller à ce que les décisions finales seront acceptées par tout le monde dans le groupe a été la raison qui nous a conduit à envisager le développement de modèles qui automatisent le processus de consensus, consensus. Les propositions et résultats: Le processus de consensus dans la vie réelle impliquant une personne qui exerce les fonctions de modérateur. Cela a été commandée pour évaluer le degré de consensus atteint dans chacune des séries qui le composent et à recommander aux experts pour être plus près de changer leur point de vue. Dans la décision dans lesquels les experts traiter des informations imprécises ou tentant d'évaluer les aspects de nature qualitative, il est conseillé d'utiliser une modélisation des préférences lingüstico d'exprimer leurs vues. En particulier, des problèmes peuvent survenir que chaque expert TMD utiliser leur propre ensemble de termes lingüsticos d'exprimer leurs opinions et elle est différente du reste des experts. Tenien 8 à acf enta cu dans ces circonstances et les objectifs que nous sommes au début de nos recherches dans le développement de modèles capables de reproduire automatiquement les processus de consensus, à la mémoire de cette thèse propose deux modèles de systèmes de soutien au consensus résultats peuvent être Résumées dans les points suivants: 1. SAC modèle pour les problèmes du TMD contextes définis lingüsticos multigranulares. Le modèle proposé est d'automatiser les processus en remplaçant le consensus figure de l'humain et de conduite d'opérations qui lui a été confiée. Dans un contexte lingüstico multigranular, ont défini une série de mesures et d'opérateurs pour évaluer le niveau de l'accord conclu sur le processus consensuel. En travaillant avec des informations lingüstica multigranular, a utilisé une méthodologie soutenue par ensembles flous lingüstica d'unifier l'information et en mesure de fonctionner avec lui. Le modèle intègre un Oriented System recommandations établies sur la base d'un ensemble de règles permettant d'identifier les préférences et les plus divergentes recommander la direction dans laquelle les experts doivent changer pour se rapprocher du reste des experts et ainsi d'augmenter le degré de consensus progressivement. 2. Modèle de système de soutien pour Adaptive consensus. Modèles consensus dans la littérature ne traitent pas le problème de l'optimisation du processus de consensus. Dans ce rapport, nous avons proposé un nouveau modèle d'adaptation à optimiser les processus de consensus dont les résultats ont été les suivants: Nous avons identifié trois procédures de la recherche est de changer les préférences. Selon le degré de consensus atteint à chaque tour, va lancer une procédure différente, ainsi adapter son modèle opérationnel pour le niveau de l'accord. En comparant les résultats renvoyés par les deux modèles, on peut voir comment le modèle adaptatif optimise les processus de consensus afin d'améliorer la rapidité de la convergence vers un consensus et de réduire le nombre de tours à effectuer pour y parvenir.

Auteur: ALVAREZ ZARATE JOSE MANUEL.
Année: 2005.
Université: ZARAGOZA [www.unizar.es].
Lieu de l'exposition: FACULTAD DE MEDICINA.
Lieu de préparation: Facultad de Medicina.

Résumé: L'objectif principal de cette thèse est la conception empirique d'une méthodologie pour évaluer le risque de blessure au niveau des membres supérieurs, élevés principalement pour la prévention des blessures musculo-squelettiques liés au travail de mise en œuvre simple et apprécié à l'occasion des facteurs de risque crucial pour Le développement des troubles musculo-squelettiques liés au travail dans les extrémités supérieures (force, la posture et la répétition), d'analyser de façon individualisée poignet, le coude et l'épaule. Cette évolution a conduit, en outre, l'étude des forces maximales de la population active, l'analyse des mouvements et l'utilisation d'un système sentinelle de comparer les résultats obtenus. Aussi, la méthodologie proposée dans le présent document est compatible avec l'un des plus largement utilisée en Espagne pour l'évaluation des risques liés à la sécurité (NTP-330 Système simplifié d'évaluation des risques de l'accident de la National Institute for Occupational Safety and Health Work), qui vise Pour faciliter l'interprétation des résultats et permet l'unification des critères d'évaluation dans les différentes disciplines couvertes par la préventive RD 39/973 (sécurité, l'hygiène et l'ergonomie appliquée et Psicosociología).

Auteur: FALCO BOUDET JOSE MARIA.
Année: 2005.
Université: ZARAGOZA [www.unizar.es].
Lieu de l'exposition: CENTRO POLITECNICO SUPERIOR.
Lieu de préparation: CENTRO POLITECNICO SUPERIOR.

Résumé: Guide est un système de l'intérieur guidées pour les personnes handicapées. En fonction des caractéristiques de la personne pour les guider et les éléments architecturaux de l'édifice qui est consultée GUIDE calcule le chemin optimal afin que la personne puisse accéder en sécurité à sa destination (s) vous intéresse (s). GUIDE "accompagne" la personne durant tout le voyage, la diffusion de messages guidés nécessaire. Messages guidée référer aux indicateurs présents dans le bâtiment. GUIDE est en mesure de recalculer la trajectoire en temps réel, en cas de besoins sobrevenidas (nouvelles destinations, les alarmes, ont bloqué les routes, la perte ou la confusion ,...) non prévue dans le calcul de la trajectoire initiale. GUIDE est un système modulaire: CALCULADOR D'HISTOIRE - GENERATEUR - ÉMETTEUR CHEMINS DE MESSAGES - LOCALISATEUR - ATTENTION SUR L'ENVIRONNEMENT. Chaque module fonctionne séparément parallèle à l'exploitation du reste. En développant GUIDE deux expériences sont conçues. Le premier d'entre eux a été mis en place et s'est avéré efficace GUIDE.

Auteur: ARAUJO CUNHA RAUL ANTONIO.
Année: 2005.
Université: EXTREMADURA [www.unex.es].
Lieu de l'exposition: FACULTAD DE BIBLIOTECONOMÍA Y DOCUMENTACIÓN.
Lieu de préparation: FACULTAD DE BIBLIOTECONOMÍA Y DOCUMENTACIÓN.

Résumé: L'objectif de cette thèse est de montrer que le développement actuel des nouvelles technologies de l'information et la communication, il est possible de créer de nouveaux modèles de robots auditoriums et interactif, automatique, qui pourrait jouer un fond de développement de l'enseignement à distance dans les pays africains Angola Et le Cap-Vert et en même temps de créer des liens entre les tuteurs large ibérique.

Auteur: DOMÉNECH DE SORIA JOSEP.
Année: 2006.
Université: POLITÉCNICA DE VALENCIA [www.upv.es].
Lieu de l'exposition: Universidad Politécnica de Valencia.
Lieu de préparation: Universidad Politécnica de Valencia.

Résumé: Résumé Cette thèse est centrée sur l'étude de la technique appliquée à la pré-extraction le World Wide Web. Cette technique réside dans le traitement (par exemple, le téléchargement) d'une demande Web avant que l'utilisateur lui fait effectivement. En agissant ainsi, le temps d'attente perçu par l'utilisateur peut être réduite, ce qui est le but principal du Web pré-extraction des techniques. L'étude de l'état de l'art sur le Web pré-extraction montré l'hétérogénéité qui existe dans son évaluation de la performance. Cette hétérogénéité est principalement axé sur quatre questions: i) il n'était pas ouvert cadre de simuler et d'évaluer les techniques de pré-extraction déjà proposé ii) aucune sélection uniforme de la performance, pour être maximisés, ou même leur définition iii) Aucune des études comparatives des algorithmes de prédiction En tenant compte des coûts et avantages de la pré-extraction Web, dans le même temps, et iv) l'évaluation des techniques dans des conditions très différentes ou peu significative de travail. Durant les travaux de recherche, nous avons contribué à homogénéiser l'évaluation de la performance pré-extraction en élaborant un cadre de simulation qui reproduit en détail tous les aspects qui ont une incidence sur les performances pré-extraction. En outre, la pré-extraction mesures de performance ont été analysées afin de préciser leur définition et de détecter les plus significatifs de l'utilisateur du point de vue. Nous avons également proposé une méthode d'évaluation pour examiner le coût et le bénéfice de pré-extraction au même moment. Enfin, l'importance d'utiliser les charges de travail actuelles afin d'évaluer les techniques pré-extraction a été mise en évidence, sinon fausses conclusions puissent être atteints. Les avantages potentiels de chaque architecture Web pré-extraction ont été analysés, constatant que la collaboration pourrait presque tous les prédicteurs réduit la latence perçue par les utilisateurs. La première étape pour développer une collaboration prédicteur est de faire des prévisions au niveau du serveur, si bien que cette thèse est centré sur une architecture avec un serveur situé prédictif.

Auteur: COMA TATAY INMACULADA.
Année: 2006.
Université: VALENCIA [www.uv.es].
Lieu de l'exposition: ESCUELA TÉCNICA SUPERIOR DE INGENIERÍAS.
Lieu de préparation: ESCUELA TÉCNICA SUPERIOR DE INGENIERÍAS.

Résumé: Ce travail de thèse porte sur le développement d'une architecture et d'un système pour la conception et la mise en oeuvre des situations ou des scénarios pour la simulation de conduite dynamique. Les points principaux de ce travail sont: l'analyse et la classification des scénarios utilisés dans la simulation de conduite, ainsi que les mesures prises au cours de cette tâche; étude de la nature des expériences sont réalisées et les tâches qui y prennent part; l'obtention, à partir de ces expériences, Des informations pertinentes sur les scénarios de base. Définition et la spécification de structures de données et de l'architecture nécessaire pour la conception et la mise en œuvre des scénarios permettant de simuler la conduite, qui remplissent les conditions pour l'intégration de la circulation et de permettre l'auto-contrôlée et répétable scénarios, et sont compatibles avec les exigences de la visualisation en temps réel. Développement d'une interface graphique de conception et de mise en œuvre des scénarios permettant la conception de scénarios et de définir des paramètres, ainsi que testearlos visuellement avant son exécution dans le simulateur. Développement d'une bibliothèque de livraison scénarios, y compris les scénarios dans un simulateur et les fonctions requises pour mettre en oeuvre en assurant le maximum de cohérence avec le système autonome de la circulation. En outre, le système permet le stockage de toutes les mesures nécessaires dans le processus de la conduite. Génération de tous les scénarios de base plus fréquente dans les expériences de simulation, en utilisant l'architecture développée, qui peut être utilisé dans la contrainte successifs se fixer quelques paramètres concernant l'environnement qui seront mises en oeuvre. Le système de classement mis au point par prendre des mesures de la charge introduite dans le processus de simulation en raison de la mise en œuvre des scénarios, ainsi que d'y remédier.

Auteur: MELIÁ BEIGBEDER SANTIAGO.
Année: 2006.
Université: ALICANTE [www.ua.es].
Lieu de l'exposition: ESCUELA POLITÉCNICA SUPERIOR DE ALICANTE.
Lieu de préparation: ESCUELA POLITÉCNICA SUPERIOR DE ALICANTE.

Résumé: Ces dernières années, l'Internet a considérablement évolué, et les applications Web sont de plus en plus complexes en termes de contenu, la structure, le comportement et l'interface. En outre, l'exigence d'un marché de plus en plus concurrentiel exige une très rapide démarrage de ces applications. Malgré cela, ils restent souvent, les applications Web sont développées d'une manière artisanale, en réduisant les chances de succès dans son développement et le maintien ultérieur. Là se pose dans laIngeniería Software Engineering Web de la discipline appelée éléments et le développement centré sur l'étude de particualaridades qui présente la famille d'applications Web. Il existe de nombreuses propositions énoncées dans le présent desciplina qui sont appliquées avec succès sur des cas réels et qui se concentrent principalement sur les aspects fonctionnels saisie, à savoir le contenu, navagación et de la présentation. Toutefois, en raison de la jeunesse de ces propositions, il ya certaines lacunes ou des zones qui restent à combler; 1 .- L'absence à l'examen des aspects architecturaux qui permettent de saisir des aspects tels que distribuicón de componenes, l'évolutivité du système, L'entretien, la connectivité avec les systèmes de gestion, etc. 2 .- Le manque de traçabilité entre les modèles de l'approche fonctionnelle à l'application. 3 .- L'existence de plusieurs de notations pour représenter les mêmes concepts techniques dans la même concepts fonctionnels dans les différentes méthodologies. Pour remédier à ces insuffisances, la thèse de ce document définit un processus de développement pour les applications Web remarquable par l'inclusion de l'architecture des artefacts et de l'introduction de l'automatisation des installations pour acelarar mise sur le marché des applications Web. Pour ce faire, vous définissez un ensemble de l'architecture du logiciel modèle compléter le rôle des modèles de la méthodologie de Ingenería du site, fournissant ainsi un tableau plus complet de spécification de la demande. A partir de ces modèles anállisis lancement d'un processus automatisé et traçable grâce à une série de transformations de modèle à l'exercice de l'intégration dans un modèle de conception qui contient les aspects arquiectónicos à côté les aspects fonctionnels. Dans la dernière étape définit un ensemble de transformations qui convertit le texte de modéliser le modèle de conception intégrée dans les implémentations différentes pour différentes plates-formes. À l'appui de cette proposition est appliquée unra outil Web appel WebTE qui permet à la définition des différents artefacts du processus grâce à l'utilisation des normes, donc l'obtention de l'interopérabilité avec d'autres outils.

Auteur: NAVARRO MARTINEZ ELENA MARIA.
Année: 2006.
Université: CASTILLA-LA MANCHA [www.uclm.es].
Lieu de l'exposition: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.
Lieu de préparation: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Résumé: Requirements Engineering établit le fondement sur lequel repose le système à être mis en oeuvre devrait être et donne appui aux exigences de validation et de l'évolution dans le temps. Modèles architecturaux ont un plus faible niveau d'abstraction que les besoins, être plus proche de la fin du système, et elles doivent être compatibles avec les exigences définies dans le but de produire une solution valable. Récemment, une attention accrue a été accordée à la façon d'établir et de renforcer les liens entre les exigences et la conception architecturale. En particulier, comment le processus doit s'étendre à la définition des besoins au fil du temps et de leurs effets sur une architecture de système. Cette thèse présente nos travaux dans ce domaine. Il décrit la méthode appelée ATRIUM (Architecture Traced de RequIrements appliquant une méthodologie unifiée) pour guider la définition de l'architecture qui accorde une attention particulière aux fonctionnels et non fonctionnels conditions qui doivent être remplies par le système à l'être. Dans sa définition, le Orientée Aspect approche a été considérée comme la pierre angulaire aidant à préciser correctement détecté les préoccupations du système à l'être. En outre, il convient de mentionner que ce travail principalement suit les directives du domaine propositions pragmatiques. Pour cette raison, la personnalisation des modèles et le processus a été considérée comme obligatoire, afin de faciliter son application à différents domaines. En outre, l'automatisation a également été utilisée dans les tâches qui pourraient être sujette aux erreurs ou lourde. Un outil, appelé MORPHEUS, qui permet à l'analyste de la spécification des différents modèles d'exploitation et de son coté, appuie ATRIUM. Par le biais de son exploitation, ATRIUM a été mis en pratique dans une étude de cas réels, le EFTCoR projet, qui a facilité la validation de la proposition.

Auteur: RUIZ DELGADO MARIA CARMEN.
Année: 2006.
Université: CASTILLA-LA MANCHA [www.uclm.es].
Lieu de l'exposition: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.
Lieu de préparation: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Résumé: La thèse objet du présent rapport s'inscrit dans le cadre de l'utilisation de méthodes formelles dans l'étude des systèmes concurrents. En termes plus concrets, traite de la spécification et d'évaluation de la performance des systèmes concurrents dans laquelle il est jugé que les ressources disponibles en coopérant processus et / ou de concurrence sont limitées, comme c'est le cas dans la vie réelle. Comme formalisme pour la spécification de ces systèmes a été utilisé une extension Time Process Algebra (BTC), qui permet de prendre en compte les ressources limitées discuté précédemment. Cette approche représente une percée dans l'étude des systèmes concurrents car il porte sur l'étude du parallélisme réel, mais aussi une nouvelle ingrédient pas auparavant est considérée comme la possibilité qu'un processus sera d'attente (bloquée) de l'incapacité d'obtenir un requise Ressource. Par conséquent, un processus sera affectée à leur performance non seulement par la synchronisation inhérent au système à l'étude (coopération), mais aussi en raison de la concurrence pour les ressources. D'abord définir la syntaxe et la sémantique opérationnelle de l'algèbre et soumis ensuite présenté plusieurs demandes dans la limite des domaines tels que le commerce électronique protocoles ou systèmes de fabrication flexible.