Spelling suggestions: "subject:"horsligne"" "subject:"hochmaligne""
1 |
Mise en oeuvre applicative de séquences d'ordonnancement hors-ligne / Implementation of periodic task sets for off-line schedulingBikienga, Moustapha 16 October 2014 (has links)
Nous nous intéressons à la mise en oeuvre effective d'applications temps réel dans une approche d'ordonnancementhors-ligne de systèmes de tâches périodiques. L'ordonnancement hors-ligne consiste à rechercher avantl'exécution de l'application une séquence pire cas, c'est-à-dire une suite de blocs indiquant une date de débutet de fin d'exécution d'une instance de tâche. Mettre en oeuvre une séquence suppose de spécifier ce qui doit sepasser quand les durées d'exécution réelles sont inférieures aux durées pire cas prévues par la séquence. Notrepremière contribution consiste en la proposition de deux politiques de mise en oeuvre : une politique inflexiblequi respecte strictement les dates de début des blocs ; et une politique flexible qui permet de les avancer. Nousprouvons que ces politiques préservent la validité des séquences. Nous proposons ensuite un modèle de coûtspour l'évaluation et la comparaison de techniques respectant les politiques proposées. La seconde contributionconcerne la proposition de techniques de mise en oeuvre. Dans un premier temps, nous proposons sept techniquesde mise en oeuvre dans un contexte de tâches indépendantes et séquences sans préemption. Nous étendonsensuite l'utilisation de ces techniques aux séquences avec préemption, et aux tâches partageant des ressourcescritiques ou soumises à des contraintes de précédence. La troisième contribution concerne la mise en oeuvresous Posix. Nous présentons des outils de génération de code issus de l'ingénierie dirigée par les modèles. Nousproposons également un outil d'observation de séquences effectives. Enfin, une étude de cas présente l'utilisationpratique de notre approche. / We address the implementation of periodic task sets for off-line scheduling. Off-line scheduling approach consistsin computing a worst-case schedule before runtime. Implementing a schedule requires to specify what must happenwhen the actual execution times of tasks are lower than the planned execution times. The first contributionconsist of the formalization of implementation policies. These policies consider the date by which a task maystart execution, which may or not occur before the planned start time. The inflexible policy does not allowa task to run before its planned start time, the flexible policy does. Since many implementations can complywith these two policies, we also propose a cost model which enables to perform some comparisons betweenthese implementations. The second contribution is the proposition and the presentation of a set of algorithmswhich implement the pre-computed schedules. We first deal with independent task sets in a non preemptivecontext. These algorithms are then adapted to be used in the context of preemptive scheduling, with sharedcritical ressources and precedence constraints. Using the model driven engeneering, we next provide a Posixcode generation tool. We also present a schedule observation tool. Finally, our work has been tested through apratical case study.
|
2 |
Modèles mathématiques pour la gestion off-line et on-line des changements d'outils sur une machine flexiblePrivault, Caroline 20 January 1994 (has links) (PDF)
L'objet de cette thèse est l'étude d'un problème d'ordonnancement, dont le critère d'optimisation est la minimisation du nombre total de changements d'outils sur une machine flexible. Différents problèmes liés à l'outillage et pouvant constituer un obstacle au fonctionnement d'un atelier flexible sont brièvement examinés, (de la gestion de l'inventaire aux changements d'outils). Nous nous concentrons ensuite sur le problème d'ordonnancement avec gestion d'outils sur une seule machine: ce problème est NP-complet. Un premier aspect qui est la gestion off-line des outils est étudié: différents modèles sont proposés pour la minimisation des changements en fonction d'une séquence des tâches donnée. Dans ce cas, le problème est polynomial. Nous revenons ensuite au problème d'ordonnancement proprement dit, pour lequel plusieurs types de méthodes heuristiques sont décrites et comparées. La seconde partie du travail est consacrée à la gestion on-line des changements d'outils; elle se compose de deux chapitres: dans le premier, le modèle que nous allons utiliser est décrit en détail. Il s'agit de la modélisation des problèmes de k-serveurs. Le principe peut être résumé comme suit: sur un réseau de n clients potentiels, on dispose de k serveurs mobiles, avec lesquels on doit répondre on-line aux demandes unitaires et successives des clients, tout en optimisant les déplacements des serveurs. Ce problème est en étroite relation avec la gestion des mémoires en informatique. Dans le dernier chapitre, le modèle des k-serveurs «classique» est généralisé aux problèmes avec service par blocs de demandes, ce qui permet d'adapter l'algorithme de partitionnement, (fortement compétitif pour le service unitaire), au cas plus général des demandes groupées. Cet algorithme dont nous étudions les propriétés et la compétitivité est applicable à la gestion on-line des changements d'outils. Il sert de base à la construction d'une heuristique d'ordonnancement avec gestion d'outils. Cette dernière méthode se révèle très efficace comparée aux précédentes
|
3 |
Conception d'un microprocesseur reconfigurableSoueidan, Mohammad 14 April 1989 (has links) (PDF)
Ce microprocesseur reconfigurable en fin de fabrication, afin de tolérer les défauts de fabrication, est destine à être le CUR d'un microcontrôleur pour les applications de l'automatisme à haute sureté de fonctionnement
|
4 |
Le test des PLAs optimisés topologiquementFernandes, A.-O. 09 September 1988 (has links) (PDF)
Dans ce travail, l'auteur a effectué une étude complète de la testabilité des Pla et a proposé, pour les trois classes de test (hors ligne, en ligne et unifie) des schémas de test dont la compatibilité avec les Plas optimisés a été étudiée
|
5 |
Cohérence de copies multiples avec latence de détection d'erreur et test fonctionnel de micro-processeursPostigo, Carlos 14 June 1983 (has links) (PDF)
Modification d'algorithmes classiques utilises dans le maintien de la cohérence de copies multiples en vue de prendre en compte une latence de détection de faute. Bref parallèle des algorithmes modifies de Kaneko et Herran et Verjus. Réalisation d'une nouvelle classification de pannes.
|
6 |
Reconnaissance de mots manuscrits cursifs par modèles de Markov cachés en contexte : application au français, à l'anglais et à l'arabeBianne Bernard, Anne-Laure 21 November 2011 (has links) (PDF)
L'objectif de cette thèse est d'élaborer un système de reconnaissance de mots manuscrits pouvant être appris et appliqué sur différents styles d'écriture. L'approche utilisée est une approche analytique: les mots sont découpés en sous-parties (caractères) à modéliser. Le découpage est effectué de manière implicite par l'utilisation de fenêtres glissantes qui permettent de transformer les images de mots en séquences. La méthode choisie pour apprendre les modèles de caractères utilise les modèles de Markov cachés (HMMs). Chaque caractère est représenté par un HMM de type Bakis, ce qui permet d'absorber les variations d'écriture entre scripteurs. Les mots sont reconstruits ensuite par concaténation des modèles qui les composent. Dans cette thèse, le choix est fait de chercher à améliorer la modélisation HMM de caractères en agissant au coeur même des modèles. A cette fin, une nouvelle approche est proposée, qui utilise l'aspect contextuel pour la modélisation : un caractère est modélisé en fonction de son contexte et son modèle est nommé trigraphe. La prise en compte de l'environnement d'un caractère pour sa modélisation implique cependant une multiplication des paramètres HMMs à apprendre sur un nombre souvent restreint de données d'observation. Une méthode originale de regroupement de paramètres est proposée dans ces travaux : le clustering d'états par position à l'aide d'arbres binaires de décision. Ce type de clustering, inédit dans les systèmes de reconnaissance de l'écriture, permet au système de réduire le nombre de paramètres tout en conservant l'un des principaux attraits des HMMs : l'utilisation d'un lexique de test indépendant de celui d'apprentissage.
|
7 |
Integrating Online-Offline Interactions to Explain Societal Challenges / L'intégration des interactions en ligne/hors-ligne pour expliquer les défis sociétauxAbdalla Mikhaeil, Christine 20 November 2017 (has links)
Malgré une littérature abondante sur les conséquences des technologies de l'information et de la communication (TIC), cette littérature n'aborde que trop peu les conséquences sociétales, qu'elles soient positives ou négatives, intentionnelles ou non. Parce que les interactions se propagent au-delà de l'espace en ligne et de ces conséquences paradoxales, les défis sociétaux sont un problème complexe. C'est pour ces raisons que nous avons besoin d'une meilleure compréhension des problèmes sociaux complexes. Pour ce faire, nous avons adopté le modèle de la thèse sur travaux. Les trois études de ce travail de doctorat adoptent une approche qualitative et un positionnement réaliste critique. Nous examinons un premier cas : celui du Printemps Arabe et l'utilisation de Facebook. Etudier ces types d'événements contemporains ne vient pas sans difficultés analytiques. Par conséquent, nous utilisons un outil d'analyse sémiotique pour faire face à la complexité représentationnelle des données recueillies. Enfin, les communautés en ligne peuvent également générer des coûts sociaux en fournissant un espace se faisant l'écho à des comportements socialement indésirables. / Despite the wide literature on the consequences of Information and Communication Technologies (ICTs) use, the literature still lacks understanding about the societal consequences, positive or negative, intended or unintended. Consequences of technology usages on society are paradoxical. The paradoxical outcomes can be threat to the sustainability of society. Because interactions spread beyond the online space and its outcomes are paradoxical, societal challenges are complex problem. To harvest society, we need a better understanding of social complex problems. To do so, we adopted a multi-study dissertation model. The three studies of this doctoral work adopt a qualitative approach and a critical realist philosophy.We look at a first case: The Arab Spring and aim at understanding how an online community that started on Facebook materialized in urban space, changing the political landscape. Addressing these contemporaneous events does not come without analytical challenges. Therefore, we use and extend a semiotic analytical tool to face the representational complexity: Finally, online communities can also have social costs by providing an echo chamber to socially undesirable behaviors.
|
8 |
Compilation efficace de spécifications de contrôle embarqué avec prise en compte de propriétés fonctionnelles et non-fonctionnelles complexes / Efficient compilation of embedded control specifications with complex functional and non-functional propertiesCarle, Thomas 31 October 2014 (has links)
Une séparation existe de longue date entre les domaines de la compilation et de l'ordonnancement temps-réel. Si ces deux domaines ont le même objectif - la construction d'implantations correctes - la séparation se justifie historiquement par des différences significatives entre les modèles et les méthodes utilisés. Cependant, avec la complexification des applications et du materiel qui les exécute, les problèmes étudiés dans ces deux domaines se confondent désormais largement. Dans cette thèse, nous nous concentrons sur la génération automatique de code pour des systèmes de contrôle embarqué incluant des contraintes complexes (notamment temps-réel). A ces fins, nous défendons l'idée qu'il est profitable de fournir un effort commun de recherche entre ces deux communautés. En adaptant une technique de compilation au problème d'ordonnancement temps réel d'applications sur des architectures multiprocessurs, nous montrons à la fois les difficultés inhérentes à cet effort commun, mais aussi les possibles avancées qu'il porte. En effet, nous montrons que l'adaptation de techniques d'optimisation à de nouveaux objectifs, dans un contexte différent facilite le développement de systèmes de meilleure qualité. Nous proposons d'utiliser les formalismes et langages synchrones comme base formelle commune dans ce travail d'adaptation. Ceux-cis étendent naturellement les modèles classiques utilisés pour l'ordonnancement temps réel (graphes de tâches dépendentes) et la compilation (SSA et graphes de dépendence de données), et fournissent également des techniques efficaces pour la manipulation de structures de contrôle complexes. Nous avons implanté nos résultats dans le compilateur LoPhT. / There is a long standing separation between the fields of compiler construction and real-time scheduling. While both fields have the same objective - the construction of correct implementations – the separation was historically justified by significant differences in the models and methods that were used. Nevertheless, with the ongoing complexification of applications and of the hardware of the execution platforms, the objects and problems studied in these two fields are now largely overlapping. In this thesis, we focus on the automatic code generation for embedded control systems with complex constraints, including hard real-time requirements. To this purpose, we advocate the need for a reconciled research effort between the communities of compilation and real-time systems. By adapting a technique usually used in compilers (software pipelining) to the system-level problem of multiprocessor scheduling of hard real-time applications, we shed light on the difficulties of this unified research effort, but also show how it can lead to real advances. Indeed we explain how adapting techniques for the optimization of new objectives, in a different context, allows us to develop more easily systems of better quality than what was done until now. In this adaptation process, we propose to use synchronous formalisms and languages as a common formal ground. These can be naturally seen as extensions of classical models coming from both real-time scheduling (dependent task graphs) and compilation (single static assignment and data dependency graphs), but also provide powerful techniques for manipulating complex control structures. We implemented our results in the LoPhT compiler.
|
9 |
Facteurs influençant la consolidation et l’apprentissage d’une habileté motrice chez l’humainTrempe, Maxime 04 1900 (has links)
La pratique physique a longtemps été perçue comme le déterminant premier de l’apprentissage du mouvement. Souvent exprimée par l’expression « Vingt fois sur le métier remettez votre ouvrage», cette idée se base sur l’observation qu’une grande quantité de pratique est nécessaire pour maîtriser un geste technique complexe. Bien que l’importance de la pratique physique pour l’apprentissage du mouvement demeure indéniable, il a récemment été démontré que les changements neurobiologiques qui constituent les bases de la mémoire prennent place après la pratique. Ces changements, regroupés sous le terme « consolidation », sont essentiels à la mise en mémoire des habiletés motrices. L’objectif de cette thèse est de définir les processus de consolidation en identifiant certains facteurs qui influencent la consolidation d’une habileté motrice. À l’aide d’une tâche d’adaptation visuomotrice comportant deux niveaux de difficulté, nous avons démontré qu’une bonne performance doit être atteinte au cours de la séance de pratique pour enclencher certains processus de consolidation. De plus, nos résultats indiquent que l’évaluation subjective que l’apprenant fait de sa propre performance peut moduler la consolidation. Finalement, nous avons démontré que l’apprentissage par observation peut enclencher certains processus de consolidation, indiquant que la consolidation n’est pas exclusive à la pratique physique. Dans l’ensemble, les résultats des études expérimentales présentées dans cette thèse montrent que la consolidation regroupe plusieurs processus distincts jouant chacun un rôle important pour l’apprentissage du mouvement. Les éducateurs physiques, les entraineurs sportifs et les spécialistes de la réadaptation physique devraient donc planifier des entrainements favorisant non seulement l’acquisition de gestes moteurs mais également leur consolidation. / Physical practice has long been regarded as the single most determinant factor of motor skill acquisition. Often expressed by the old adage “practice makes perfect,” this idea easily relates to the common observation that extensive practice is necessary to master complex motor skills. Although the importance of physical practice for motor skill learning is undeniable, recent evidence demonstrates that the neurobiological changes that constitute the foundation of memory occur after physical practice. Regrouped under the term “consolidation”, these changes are essential for the memory storage of motor skills. The objective of this thesis was to identify factors that influence motor skill consolidation. Using a visuomotor adaptation task with two levels of difficulty, we showed that a good performance must be attained during practice to trigger certain consolidation processes. In addition, our results indicate that the learner’s subjective evaluation of his/her own performance can also modulate consolidation. Finally, we showed that observation triggers consolidation processes, indicating that consolidation is not exclusive to physical practice. Together, the results presented in this thesis demonstrate that consolidation regroups several distinct processes that each plays an important role for motor skill learning. Physical education teachers, athletic coaches and rehabilitation specialists should therefore plan training schedules favoring not only motor skill acquisition but also motor skill consolidation.
|
10 |
Optimisation des procédés chromatographiques multicolonnes continus : développement d'un système de contrôle avancé / Continuous multicolumn chromatographic processes : development of an advanced controled systemMorey, Céline 13 January 2009 (has links)
Les procédés chromatographiques multicolonnes continus se sont imposés comme technique séparative dans l’industrie pharmaceutique en raison de leur productivité élevée et de leur développement rapide. De nos jours, la modélisation, le dimensionnement et l’optimisation des procédés LMS et Varicol sont considérés comme établis. Le fonctionnement automatique optimisé et robuste de ces procédés reste cependant un sujet de recherche. Le plus souvent, les paramètres opératoires sont choisis en deçà du réglage optimal afin d’inclure une marge de robustesse. Ils sont ajustés manuellement par un opérateur expérimenté pour maintenir les produits à leurs spécifications de pureté. Le nombre élevé de séparations chromatographiques rend crucial le développement d’une application d’un contrôle avancé de ces procédés. Récemment, plusieurs méthodes de contrôle des procédés LMS ont été proposées. Ce travail de thèse présente une nouvelle approche de contrôle avancé. Cette commande ajuste les paramètres opératoires d’une séparation grâce à deux types de mesure : une mesure en ligne et une mesure hors ligne. Une validation expérimentale du schéma de contrôle a été effectuée sur un procédé Varicol. Les résultats présentés démontrent que la commande permet d’amener la pureté des produits à leurs spécifications, d’optimiser les performances du procédé et de répondre aux perturbations, tout en sécurisant la pureté du produit cible / Multicolumn continuous chromatographic processes became a key separation technology in the areas of pharmaceutical industry thanks to high productivity and short process development times. Today, modeling, design, and optimization of SMB and Varicol, are well established. However a robust and optimized operation of processes is still an open issue. The common practice is to operate processes under suboptimal operating conditions in order to gain the necessary robustness. The operating parameters are tuned manually by experienced operators in order to maintain the product specifications. Therefore, as chromatographic applications spread, process control problem becomes increasingly important. Recently, several control methodologies of SMB process have been proposed. This thesis work introduces a new advanced control system approach. This system adjusts operating parameters thanks to two kinds of measurements : an in-line measurement and an at-line measurement. The performance of this control scheme is demonstrated through several experiments on Varicol. The reported results aim to demonstrate that the controller is able to deliver the products within the specifications, to optimize the process performance and to answer to disturbances while protecting the key product
|
Page generated in 0.0351 seconds