Spelling suggestions: "subject:"basal""
121 |
Observation et commande des systèmes de grande dimension / Observer and control for large scale systemsMansouri, Mejda 08 December 2012 (has links)
Dans ce mémoire, on s'est intéressé aux problèmes d'estimation, de filtrage $H_{\infty}$ et de la commande basée observateur des systèmes de grande dimension. L'étude porte sur les systèmes linéaires standards mais aussi sur les systèmes algèbro-différentiels appelés aussi systèmes singuliers pour couvrir la classe la plus large possible des systèmes de grande dimension. Ainsi, on a commencé notre travail en proposant des méthodes de synthèse d'observateurs décentralisés à interconnexions inconnues pour des systèmes de grande dimension standards et singuliers. On a cherché à éliminer l'effet des interconnections inconnues sur la dynamique de l'erreur d'observation. La synthèse de l'observateur est basée sur des LMIs permettant de déterminer la matrice de gain paramétrant toutes les matrices de l'observateur. La formulation LMI est basée sur l'approche Lyapunov et déduite des différents lemmes bornés. Ensuite, on a proposé des filtres décentralisés qui permettent d'assurer, en plus de la stabilité, un critère de performance $H_{\infty}$, c'est à dire qu'on a cherché à atténuer l'effet des perturbations, supposées être inconnues mais à énergie bornée, sur la dynamique de l'erreur d'estimation. On a abordé après l'étude des observateurs interconnectés pour les systèmes de grande dimension, où on a proposé une nouvelle méthode permettant de synthétiser une nouvelle forme d'observateurs interconnectés connectivement stable. On s'est intéressé à la capacité d'un tel observateur à être stable de manière robuste vis-a-vis des incertitudes sur les interconnexions entre les sous observateurs qui les forment. Enfin, on s'est intéressé à l'application des méthodes d'estimation proposées dans le cadre de la commande. En effet, dans un premier temps, on a proposé une commande décentralisée basée sur un filtre $H_{\infty}$ pour une classe de systèmes de grande dimension standards à interconnections non-linéaires. L'approche est une extension des travaux de Kalsi et al. aux cas des systèmes perturbés standards. En effet, on a commencé par le calcul du gain de retour d'état qui satisfait les spécifications du système bouclé. Puis, on a synthétisé un filtre qui a pour but de fournir en sortie une estimée de ce retour d'état. L'approche a été validée sur un exemple de système composé de trois machines électriques interconnectées. Dans le second volet du chapitre, on a considéré le problème de la commande via un filtre $H_{\infty}$ pour une classe de système singulier de grande dimension soumis à des perturbations à énergie bornée. L'approche est une extension des travaux de Kalsi et al. au cas des systèmes singuliers perturbés. L'un des principaux apports de nos travaux, a été de proposer une nouvelle méthode de synthèse de commande basée sur un filtre $H_{\infty}$ qui générée par des conditions de solvabilité moins restrictives que celles introduites dans les travaux de Kalsi et al. Ainsi, on a relaxé les contraintes qui portait sur la distance entre la paire de matrices formée par la matrice d'état et la matrice d'entrée d'une part et l'ensemble de paires de matrices incontrôlables d'autre part. De plus, on tient compte de la maximisation des bornes de l'interconnexion, ce qui est très important en pratique / In this dissertation, we investigated the problems of the estimation, $H_{\infty}$ filtering and the controller based-observer design for standard large scale systems and for algebro-differentials ones called also singular large scale systems. So, we began to propose methods for decentralized observer design with unknown interconnections for standard and singular systems. We search here to decouple the unknown interconnections and the dynamics of the observation error. The method is based on LMIs approach to find the gain matrix implemented in the observer matrices. The LMI formulation is based on Lyapunov approach and deduced from various bounded lemmas. We propose then, filters that permits to ensure, in addition to the stability, an $H_{\infty}$ performance criteria; we search to attenuate the perturbations effect, supposed unknown but of bounded energy, on the dynamics of the estimation error. We discussed after the study of interconnected observers for large systems, we have proposed a new method to design a new form of interconnected observers connectively stable. We are interested in the ability of a such observer to be robustly stable towards uncertainties in the interconnections between sub-observers. Finally, we are interested to the application of the proposed estimation methods to the control purpose. Indeed, in a first step, we propose a decentralized control based on a filter $H_{\infty}$ for a class of large scale standard systems with nonlinear interconnections. Then, Then, we focus our attention on the observer based control for singular systems to search for a control law which ensures an $H_{\infty}$ performance criteria. The approach is an extension of recent works of Kalsi and al. to the case of disturbed large scale systems. One of the main contributions of our work was to propose a new method of control design based on a filter $H_ {\infty} $ which generated by using less restrictive conditions than those introduced in the work of Kalsi and al. Thus, we have relaxed the constraint on the distance between the pair of matrices formed by the state matrix and input matrix and the set of pairs of matrices uncontrollable. In addition, we consider the maximization of the bound of the interconnection, which is very important in practice. Our approach is obtained into two steps. The first one consist on calculating the gain state feedback that meets the specifications of the closed loop system. The second one , then we reconstruct this control law using our previous results on the $H_{\infty}$ filtering. The approach has been validated on an example of a system composed of three interconnected electrical machines
|
122 |
Observateurs dynamiques et commande des systèmes : application aux systèmes de grande dimension / Dynamic observers and control design : application to large-scale systemsGao, Nan 29 June 2015 (has links)
Cette thèse est le résultat de recherche effectuée à Longwy au sein du département CID « Contrôle Identification et Diagnostic» du Centre de Recherche en Automatique de Nancy (CRAN). Elle concerne, d’une part, la synthèse des observateurs dynamiques (d’ordre plein et d’ordre réduit) et la commande basée observateur d’une classe de systèmes linéaires incertains, d’autre part, l’application de ces résultats aux systèmes de grande dimension. Dans une première partie, une nouvelle forme d’observateurs dynamiques H-infini est conçue pour les systèmes linéaires en présence d’entrées inconnues et de perturbations, pour les systèmes continus et discrets. L’observateur proposé généralise ceux existants tels que les observateurs proportionnels et proportionnels-intégrales. La conception d’observateur est fondée sur la résolution des inégalités matricielles linéaires (LMI). Ensuite, ces observateurs ont été utilisés dans la synthèse de contrôleurs basés observateur pour les systèmes incertains en présence de perturbations. Cette synthèse est basée sur le paramétrage des solutions des contraintes algébriques obtenues à partir des erreurs d’estimation. La solution est obtenue à partir de la résolution des inégalités matricielles bilinéaires en utilisant un algorithme à 2 étapes.Dans la dernière partie, les résultats obtenus ont été étendus aux systèmes de grande dimension. Dans ce cadre, les systèmes considérés sont décomposés en plusieurs sous-systèmes interconnectés de faible dimension, où les interconnections sont supposées non linéaires et satisfaire des contraintes quadratiques. Une commande décentralisée basée observateur dynamique est proposée pour les systèmes interconnectés incertains en présence de perturbations / The present thesis is the result of research conducted in Longwy, within the department Control, Identification, Diagnosis (CID) of Research Center for Automatic Control of Nancy (CRAN). This thesis investigates the problem of dynamic observer (full- and reduced-order) and observer-based control design and their applications to large-scale systems. Firstly, a new form of H-infinity dynamic observer is designed for linear systems in the presence of unknown inputs and disturbances. The proposed observer generalizes the existing results on proportional observer and proportional integral observer. The observer design is based on the solution of linear matrix inequalities (LMI). Both continuous-time and discrete-time systems are considered. Thereafter, by inserting the proposed observer into a closed-loop, an observer-based control is presented for uncertain systems in the presence of disturbances. Based on the parameterization of algebraic constraints obtained from the analysis of the estimation error, the control design is derived from the solution of bilinear matrix inequality, by using a two-steps algorithm. Finally, the obtained results have been extended to large-scale systems. A decentralized observer-based control is proposed for large-scale uncertain systems in the presence of disturbances. These systems are composed of several interconnected subsystems of low dimensions, where the interconnections are assumed to be nonlinear and satisfy quadratic constraints
|
123 |
Surface Realisation from Knowledge Bases / Bases de connaissances et réalisation de surfaceGyawali, Bikash 20 January 2016 (has links)
La Génération Automatique de Langue Naturelle vise à produire des textes dans une langue humaine à partir d'un ensemble de données non-linguistiques. Elle comprend généralement trois sous-tâches principales: (i) sélection et organisation d'un sous-ensemble des données d'entrée; ii) détermination des mots à utiliser pour verbaliser les données d'entrée; et (iii) regroupement de ces mots en un texte en langue naturelle. La dernière sous-tâche est connue comme la tâche de Réalisation de Surface (RS). Dans ma thèse, j'étudie la tâche de RS quand les données d'entrée sont extraites de Bases de Connaissances (BC). Je présente deux nouvelles approches pour la réalisation de surface à partir de bases de connaissances: une approche supervisée et une approche faiblement supervisée. Dans l'approche supervisée, je présente une méthode basée sur des corpus pour induire une grammaire à partir d'un corpus parallèle de textes et de données. Je montre que la grammaire induite est compacte et suffisamment générale pour traiter les données de test. Dans l'approche faiblement supervisée, j'explore une méthode pour la réalisation de surface à partir de données extraites d'une BC qui ne requière pas de corpus parallèle. À la place, je construis un corpus de textes liés au domaine et l'utilise pour identifier les lexicalisations possibles des symboles de la BC et leurs modes de verbalisation. J'évalue les phrases générées et analyse les questions relatives à l'apprentissage à partir de corpus non-alignés. Dans chacune de ces approches, les méthodes proposées sont génériques et peuvent être facilement adaptées pour une entrée à partir d'autres ontologies / Natural Language Generation is the task of automatically producing natural language text to describe information present in non-linguistic data. It involves three main subtasks: (i) selecting the relevant portion of input data; (ii) determining the words that will be used to verbalise the selected data; and (iii) mapping these words into natural language text. The latter task is known as Surface Realisation (SR). In my thesis, I study the SR task in the context of input data coming from Knowledge Bases (KB). I present two novel approaches to surface realisation from knowledge bases: a supervised approach and a weakly supervised approach. In the first, supervised, approach, I present a corpus-based method for inducing a Feature Based Lexicalized Tree Adjoining Grammar from a parallel corpus of text and data. I show that the induced grammar is compact and generalises well over the test data yielding results that are close to those produced by a handcrafted symbolic approach and which outperform an alternative statistical approach. In the weakly supervised approach, I explore a method for surface realisation from KB data which does not require a parallel corpus. Instead, I build a corpus from heterogeneous sources of domain-related text and use it to identify possible lexicalisations of KB symbols and their verbalisation patterns. I evaluate the output sentences and analyse the issues relevant to learning from non-parallel corpora. In both these approaches, the proposed methods are generic and can be easily adapted for input from other ontologies for which a parallel/non-parallel corpora exists
|
124 |
Support à la décision pour l'analyse de l'interopérabilité des systèmes dans un contexte d'entreprises en réseau / Decision support for interoperability readiness in networked enterprisesLeal, Gabriel da Silva Serapião 11 January 2019 (has links)
L'interopérabilité entre les systèmes a été identifiée comme un problème majeur auquel sont confrontées les entreprises lorsqu’ils ont le besoin de collaborer avec d'autres organisations et de participer au sein d’un réseau d’entreprises. Pour atteindre une qualité d'interopérabilité supérieure et garantir une collaboration efficace, un certain nombre d'Exigences d'Interopérabilité (EI) doivent être satisfaites. Ainsi, l'interopérabilité doit être vérifiée et continuellement améliorée. L’Analyse de l’Interopérabilité (ANIN) est une manière de vérifier l’interopérabilité des systèmes. Cependant, en général, la notion « d’exigence » est implicite et présentée sous forme de critères d'évaluation dans les approches ANIN. Il a également été identifié que les interdépendances entre les EI ne sont pas explicitement définies. En effet, leurs interdépendances doivent être prises en compte car elles peuvent aider à identifier les impacts sur l'ensemble du système. De plus, la majorité des approches ANIN sont manuelles, ce qui est un processus laborieux et long qui dépend souvent des connaissances « subjectives » des experts. Dans ce contexte, cette recherche propose un Système d'Analyse de l'Interopérabilité basé sur la Connaissance (SAIC) pour soutenir la prise de décision au sein des entreprises en réseau. Une méthodologie « Design Science Research » (DSR) a été adoptée pour mener à bien la contribution proposée. Premièrement, une approche basée sur l’ingénierie des exigences a été adaptée pour obtenir des EI pertinentes, établir un lien entre les EI obtenues et les composantes du système concerné et définir les interdépendances entre les EI. Pour conceptualiser formellement les connaissances sur l’ANIN, en englobant l'ensemble des EI, les problèmes et solutions d'interopérabilité ainsi que leurs relations, nous avons proposé l’Ontologie de l'Analyse de l'Interopérabilité (OAI). Une approche d'Ingénierie Système basée sur des Modèles a été appliquée pour définir les concepts de l'ontologie. Un prototype du SAIC utilisant l'OAI comme modèle de connaissance a été développé sur une plate-forme Java. L'outil résultant peut exploiter les connaissances sur l'interopérabilité et les informations provenant de la situation actuelle des systèmes évalués pour identifier les problèmes et améliorations potentiels. La contribution proposée a été évaluée grâce à une étude de cas basée sur une véritable entreprise en réseau / Enterprise systems’ interoperability has been identified as a significant issue faced by enterprises, which need to collaborate with other companies and participate within Networked Enterprises. To achieve a higher quality of interoperability and ensure an effective collaboration, a certain number of Interoperability Requirements (IRs) should be satisfied. Thus, interoperability should be verified and continuously improved. A manner for verifying the enterprise systems’ interoperability is through the Interoperability Assessment (INAS). However, in general, the notion of “requirement” is implicit and presented as Interoperability Evaluation Criterion (IEC) in the INAS approaches. It also has been identified that the IEC interdependencies are not explicitly defined. Indeed, their interdependencies should be considered as they can support the identification of impacts on the overall system. Further, the majority of the INAS approaches are manual-conducted, which is a laborious and time-consuming process and in many times depends on the “subjective” knowledge of experts, which can be expensive in time and money when hiring external consultants. In this context, this research proposes a Knowledge-Based Interoperability Assessment System (KBIAS) for supporting decision-making within Networked Enterprises. A Design Science Research (DSR) methodology has been adopted for conducting the work. First, A Requirement Engineering (RE) approach has been adapted to elicit and define relevant IRs, which are father related with system’s components. Such IRs are used as IEC during the INAS process. To formally conceptualise the knowledge about the INAS (subsuming the set of IRs, interoperability problems and solutions), we proposed the Ontology of Interoperability Assessment (OIA). A Model-Based System Engineering approach has been applied for defining and organising the concepts of the proposed ontology. A prototype of the KBIAS using the OIA as its knowledge model has been developed in a Java platform. The developed tool can exploit the knowledge about interoperability issues and information from the as-is situation of the assessed systems for identifying potential problems and improvements. The contribution proposed in this research has been evaluated through a case study based on a real Networked Enterprise
|
125 |
Indexation bio-inspirée pour la recherche d'images par similarité / Bio-inspired Indexing for Content-Based Image RetrievalMichaud, Dorian 16 October 2018 (has links)
La recherche d'images basée sur le contenu visuel est un domaine très actif de la vision par ordinateur, car le nombre de bases d'images disponibles ne cesse d'augmenter.L’objectif de ce type d’approche est de retourner les images les plus proches d'une requête donnée en terme de contenu visuel.Notre travail s'inscrit dans un contexte applicatif spécifique qui consiste à indexer des petites bases d'images expertes sur lesquelles nous n'avons aucune connaissance a priori.L’une de nos contributions pour palier ce problème consiste à choisir un ensemble de descripteurs visuels et de les placer en compétition directe. Nous utilisons deux stratégies pour combiner ces caractéristiques : la première, est pyschovisuelle, et la seconde, est statistique.Dans ce contexte, nous proposons une approche adaptative non supervisée, basée sur les sacs de mots et phrases visuels, dont le principe est de sélectionner les caractéristiques pertinentes pour chaque point d'intérêt dans le but de renforcer la représentation de l'image.Les tests effectués montrent l'intérêt d'utiliser ce type de méthodes malgré la domination des méthodes basées réseaux de neurones convolutifs dans la littérature.Nous proposons également une étude, ainsi que les résultats de nos premiers tests concernant le renforcement de la recherche en utilisant des méthodes semi-interactives basées sur l’expertise de l'utilisateur. / Image Retrieval is still a very active field of image processing as the number of available image datasets continuously increases.One of the principal objectives of Content-Based Image Retrieval (CBIR) is to return the most similar images to a given query with respect to their visual content.Our work fits in a very specific application context: indexing small expert image datasets, with no prior knowledge on the images. Because of the image complexity, one of our contributions is the choice of effective descriptors from literature placed in direct competition.Two strategies are used to combine features: a psycho-visual one and a statistical one.In this context, we propose an unsupervised and adaptive framework based on the well-known bags of visual words and phrases models that select relevant visual descriptors for each keypoint to construct a more discriminative image representation.Experiments show the interest of using this this type of methodologies during a time when convolutional neural networks are ubiquitous.We also propose a study about semi interactive retrieval to improve the accuracy of CBIR systems by using the knowledge of the expert users.
|
126 |
Handling uncertainty and variability in robot control / Manipulation de l'incertitude et de la variabilité dans le contrôle des robotsGiftsun, Nirmal 13 December 2017 (has links)
Parmi les nombreuses recherches en matière de planification et de contrôle des mouvements pour des applications robotiques, l'humanité n'a jamais atteint un point où les robots seraient parfaitement fonctionnels et autonomes dans des environnements dynamiques. Bien qu'il soit controversé de discuter de la nécessité de ces robots, il est très important d'aborder les problèmes qui nous empêchent de réaliser un tel niveau d'autonomie. Ce travail de recherche tente de résoudre ces problèmes qui séparent ces deux modes de fonctionnement avec un accent particulier sur les incertitudes. Les impossibilités pratiques de capacités de détection précises entraînent une variété d'incertitudes dans les scénarios où le robot est mobile ou l'environnement est dynamique. Ce travail se concentre sur le développement de stratégies intelligentes pour améliorer la capacité de gérer les incertitudes de manière robuste dans les robots humanoïdes et industriels. Premièrement, nous nous concentrerons sur un cadre dynamique d'évitement d'obstacles proposé pour les robots industriels équipés de capteurs de peau pour la réactivité. La planification des chemins et le contrôle des mouvements sont généralement formalisés en tant que problèmes distincts de la robotique, bien qu'ils traitent fondamentalement du même problème. Les espaces de configuration à grande dimension, l'environnement changeant et les incertitudes ne permettent pas la planification en temps réel de mouvement exécutable. L'incapacité fondamentale d'unifier ces deux problèmes nous a amené à gérer la trajectoire planifiée en présence de perturbations et d'obstacles imprévus à l'aide de différents mécanismes d'exécution et de déformation de trajectoire. Le cadre proposé utilise «Stack of Tasks», un contrôleur hiérarchique utilisant des informations de proximité, grâce à un planificateur de chemin réactif utilisant un nuage de points pour éviter les obstacles. Les expériences sont effectuées avec les robots PR2 et UR5 pour vérifier la validité du procédé à la fois en simulation et in-situ. Deuxièmement, nous nous concentrons sur une stratégie pour modéliser les incertitudes des paramètres inertiels d'un robot humanoïde dans des scénarios de tâches d'équilibre. Le contrôle basé modèles est devenu de plus en plus populaire dans la communauté des robots à jambes au cours des dix dernières années. L'idée clé est d'exploiter un modèle du système pour calculer les commandes précises du moteur qui entraînent le mouvement désiré. Cela permet d'améliorer la qualité du suivi du mouvement, tout en utilisant des gains de rétroaction plus faibles, ce qui conduit à une conformité plus élevée. Cependant, le principal défaut de cette approche est généralement le manque de robustesse aux erreurs de modélisation. Dans ce manuscrit, nous nous concentrons sur la robustesse du contrôle de la dynamique inverse à des paramètres inertiels erronés. Nous supposons que ces paramètres sont connus, mais seulement avec une certaine précision. Nous proposons ensuite un contrôleur basé optimisation, rapide d'exécution, qui assure l'équilibre du robot malgré ces incertitudes. Nous avons utilisé ce contrôleur en simulation pour effectuer différentes tâches d'atteinte avec le robot humanoïde HRP-2, en présence de diverses erreurs de modélisation. Les comparaisons avec un contrôleur de dynamique inverse classique à travers des centaines de simulations montrent la supériorité du contrôleur proposé pour assurer l'équilibre du robot. / Amidst a lot of research in motion planning and control in concern with robotic applications, the mankind has never reached a point yet, where the robots are perfectly functional and autonomous in dynamic settings. Though it is controversial to discuss about the necessity of such robots, it is very important to address the issues that stop us from achieving such a level of autonomy. Industrial robots have evolved to be very reliable and highly productive with more than 1.5 million operational robots in a variety of industries. These robots work in static settings and they literally do what they are programmed for specific usecases, though the robots are flexible enough to be programmed for a variety of tasks. This research work makes an attempt to address these issues that separate both these settings in a profound way with special focus on uncertainties. Practical impossibilities of precise sensing abilities lead to a variety of uncertainties in scenarios where the robot is mobile or the environment is dynamic. This work focuses on developing smart strategies to improve the ability to handle uncertainties robustly in humanoid and industrial robots. First, we focus on a dynamical obstacle avoidance framework proposed for industrial robots equipped with skin sensors for reactivity. Path planning and motion control are usually formalized as separate problems in robotics. High dimensional configuration spaces, changing environment and uncertainties do not allow to plan real-time motion ahead of time requiring a controller to execute the planned trajectory. The fundamental inability to unify both these problems has led to handle the planned trajectory amidst perturbations and unforeseen obstacles using various trajectory execution and deformation mechanisms. The proposed framework uses ’Stack of Tasks’, a hierarchical controller using proximity information to avoid obstacles. Experiments are performed on a UR5 robot to check the validity of the framework and its potential use for collaborative robot applications. Second, we focus on a strategy to model inertial parameters uncertainties in a balance controller for legged robots. Model-based control has become more and more popular in the legged robots community in the last ten years. The key idea is to exploit a model of the system to compute precise motor commands that result in the desired motion. This allows to improve the quality of the motion tracking, while using lower feedback gains, leading so to higher compliance. However, the main flaw of this approach is typically its lack of robustness to modeling errors. In this paper we focus on the robustness of inverse-dynamics control to errors in the inertial parameters of the robot. We assume these parameters to be known, but only with a certain accuracy. We then propose a computationally-efficient optimization-based controller that ensures the balance of the robot despite these uncertainties. We used the proposed controller in simulation to perform different reaching tasks with the HRP-2 humanoid robot, in the presence of various modeling errors. Comparisons against a standard inverse-dynamics controller through hundreds of simulations show the superiority of the proposed controller in ensuring the robot balance.
|
127 |
Estimation multi-robuste efficace en présence de données influentesMichal, Victoire 08 1900 (has links)
No description available.
|
128 |
Vers la modélisation grand échelle d'environnements urbains à partir d'imagesMoslah, Oussama 05 July 2011 (has links) (PDF)
L'objectif principal de cette thèse est de développer des outils pour la reconstruction de l'environnement urbain à partir d'images. Les entrées typiques de notre travail est un ensemble d'images de façades, des empreintes au sol de bâtiments, et des modèles 3D reconstruits à partir d'images aériennes. Les principales étapes comprennent le calibrage des images,le recalage avec le modèle 3D, la récupération des informations de profondeur ainsi que la sémantique des façades.Pour atteindre cet objectif, nous utilisons des techniques du domaine de vision par ordinateur, reconnaissance de formes et de l'informatique graphique. Les contributions de notre approche sont présentés en deux parties.Dans la première partie, nous nous sommes concentrés sur des techniques de reconstruction multi-vues dans le but de récupérer automatiquement les informations de profondeur de façades à partir un ensemble des photographies non calibrées. Tout d'abord, nous utilisons la technique structure et mouvement pour calibrer automatiquement l'ensemble des photographies. Ensuite, nous proposons des techniques pour le recalage de la reconstruction avec un modèle 3D. Enfin, nous proposons des techniques de reconstruction 3d dense (stéréo multi-vues et voxel coloring) pour produire un maillage 3D texturé d'une scène d'un ensemble d'images calibrées.La deuxième partie est consacrée à la reconstruction à partir d'une seule vue et son objectif est de récupérer la structure sémantique d'une façade d'une image ortho-rectifiée. La nouveauté de cette approche est l'utilisation d'une grammaire stochastique décrivant un style architectural comme modèle pour la reconstruction de façades. nous combinons un ensemble de détecteurs image avec une méthode d'optimisation globale stochastique en utilisant l'algorithme Metropolis-Hastings.
|
129 |
Prédiction de performances d'applications de calcul distribué exécutées sur une architecture pair-à-pairCornea, Bogdan Florin 08 December 2011 (has links) (PDF)
Dans le domaine du calcul de haute performance, les architectures d'exécution sont en continuelle évolution. L'augmentation du nombre de nœuds de calcul, ou le choix d'une topologie réseau plus rapide représentent un investissement important tant en temps qu'en moyen financier. Les méthodes de prédiction de performances permettent de guider ce choix. En parallèle à ce développement, les systèmes HPC pair-à-pair (P2P) se sont également développés ces dernières années. Ce type d'architecture hétérogène permettrait la résolution des problèmes scientifiques pour un coût très faible par rapport au coût d'une architecture dédiée.Ce manuscrit présente une méthode nouvelle de prédiction de performances pour les applications réelles de calcul distribué, exécutées dans des conditions réelles. La prédiction prend en compte l'optimisation du compilateur. Les résultats sont extrapolables et ils sont obtenus pour un ralentissement réduit. Ce travail de recherche est implémenté dans un logiciel nouveau nommé dPerf. dPerf est capable de prédire les performances des applications C, C++ ou Fortran qui communiquent en utilisant les normes MPI ou P2P-SAP et qui s'exécutent sur une architecture cible pair à pair, hétérogène et décentralisée. La précision de cette contribution a été étudiée sur (i) la transformée Laplace, pour l'aspect séquentiel, (ii) le benchmark IS de NAS, pour l'aspect MPI, (iii) et le code de l'obstacle pour l'aspect calcul P2P décentralisé et l'extrapolation du nombre de nœuds.
|
130 |
La morphologie du pluriel nominal du persan d’après la théorie Whole Word MorphologyFaghiri, Pegah 08 1900 (has links)
Ce mémoire présente une étude de la morphologie de ce qui est généralement appelé
le pluriel nominal du persan (parler de Téhéran) dans le cadre d’une théorie de la
morphologie basée sur le mot : Whole Word Morphology, développée par Ford et
Singh (1991). Ce modèle lexicaliste adopte une position plus forte que les modèles
proposés par Aronoff (1976) et Anderson (1992) en n’admettant aucune opération
morphologique sur des unités plus petites que le mot.
Selon cette théorie, une description morphologique consiste en l’énumération des
Stratégies de Formation de Mots (SFM), licencées chacunes par au moins deux paires
de mots ayant la même covariation formelle et sémantique. Tous les SFM suit le
même schéma.
Nous avons répertorié 49 SFM regroupant les pluriels et les collectifs. Nous
constatons qu’il est difficile de saisir le pluriel nominal du persan en tant que
catégorie syntaxique et que les différentes « marques du pluriel » présentées dans la
littérature ne constituent pas un ensemble homogène : elles partagent toutes un sens
de pluralité qui cependant varie d’une interprétation référentielle à une
interprétation collective non-référentielle.
Cette étude vise la déscription de la compétence morphologique, ce qui ne dépend
d’aucune considération extralinguistique. Nous argumentons notamment contre la
dichotomie arabe/persan généralement admise dans la littérature. Nous avons
également fourni des explications quant à la production des pluriels doubles et
avons discuté de la variation supposée du fait d’un choix multiple de « marques du
pluriel ». / This thesis presents a word-based study of what is generally called the nominal
plural morphology of Persian (Tehrani dialect) within the framework of the Whole
Word Morphology developed by Ford & Singh (1991). This lexicaliste model takes
up a stronger position than that proposed by Aronoff (1976) and Anderson (1992), by
not allowing any morphological operation on units smaller than the word.
According to this theory a morphological description consist of the listing of the
Word Formation Strategies (WFS), each licensed by at least two pairs of words
having the same formal and semantic covariation. All WFS’s follow the same
schema.
We have listed 49 WFS’s of plurals and collectives. We note that it is difficult to
understand the import of the plural nominal as a syntactic category in Persian and
that different “marks of plural” presented in the literature do not make a
homogeneous unity: they all share a plurality meaning but it varies from referential
interpretation to collective and non-referential interpretation.
This study’s aim is to describe the morphological competence, which does not
depend on any extra-linguistic criteria. In particular, we argue against the generally
admitted Arabic/Persian dichotomy. We also provide explanation with regards to
the utterance of double plurals and to the variation assumed since more than one
choice of “plural marks” are available.
|
Page generated in 0.0408 seconds