• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 44
  • 8
  • 3
  • 1
  • Tagged with
  • 55
  • 20
  • 20
  • 16
  • 14
  • 12
  • 7
  • 7
  • 7
  • 7
  • 7
  • 6
  • 6
  • 6
  • 6
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
21

Optimisation de la politique de lotissement et de séquencement pour une ligne de production soumise aux aléas / Optimization of a lot-sizing and sequencing problem for an imperfect production line

Schemeleva, Kseniya 13 December 2010 (has links)
Les travaux de recherche effectués dans le cadre de cette thèse concernent un problème delotissement et de séquencement pour une ligne de production imparfaite. Deux types d'aléas sont prisen compte : le rendement aléatoire (à cause des rebuts) et le temps d'exécution aléatoire (à cause despannes machines). Les temps de changement de série dépendant de la séquence des produits sontégalement pris en compte.Le problème est issu de d'une fabrication automatisée (usine-automate) des circuits impriméset il a été posé lors de la conception du système de gestion de production de l'atelier fabriquant lespartons conducteurs de plusieurs types. Étant donné que l'usine était complètement automatisée,l'atelier (comme le reste de l'usine) travaillait la plupart de la journée sans personnel autre que celui demaintenance, alors il fallait construire un planning de production pour les 24 heures suivantes. Ceplanning devait être répété chaque jour. Le problème consistait à définir les quantités optimales deproduits à traiter (tailles de lots) et l'ordre de passage des lots dans une ligne de production afind'optimiser un critère.Le problème traité appartient à trois domaines de recherche: 1) lotissement optimale pour lessystèmes de production imparfaits (ou lotissement sous incertitudes); 2) ordonnancement etlotissement déterministe; 3) ordonnancement avec des temps ou (et) coût de changement de série (setup).Dans la littérature scientifique nous trouvons beaucoup d’exemples de problèmes appartenant auun ou à l’intersection de deux de ces domaines. Par contre, nous n’avons pas trouvé les travaux quitraites de problèmes identiques au notre.Etant donné que le problème est trop compliqué tel qu’il est, nous avons cherché des façonsde son modélisation qui nous permettrons le résoudre. Nous avons trouvé trois cas où le problèmeinitial peut être décomposé en plusieurs parties, chacune entre lesquelles peut être transformé dans unproblème connu de la Recherche Opérationnelle. Ensuite nous avons travaillé que sur la partielotissement du problème décomposé tout en montrant comment les autres partis peuvent être résolus.Les problèmes de ce type sont très importants pour l’optimisation d’une chaine logistique.Ces résolutions aident d’organiser la production à la manière efficace, que permet aux entreprises defaire des gains financiers importants. / This thesis contains the research study of a multi-product lot-sizing and sequencing problemfor an imperfect production line. Two types of uncertainties were taken into account: the random yield(because of defective items) and random lead time (due to machine breakdowns). The sequencedependent set-up time between different products was also taken into account.This problem came from the electronics industry, more precisely from the automatedmanufacturing of several types of Printed Circuit Board. Since the plant was completely automated,the considered production line (like the rest of the plant) worked most of the day without any otherstaff but maintenance one, so it was necessary to consider a production schedule for the next 24 hours.This schedule was repeated every day. The problem was to define the optimal quantities of productsto be manufactured (lot sizes) and the sequence of these lots to optimize a given factor. The problemaddressed belongs to three research domains: 1) optimal lot-sizing for the imperfect productionsystems (or lot-sizing under uncertainty), 2) deterministic lot-sizing and scheduling, 3) schedulingwith set-up times or (and) costs. In the literature we can find many examples of problems belonging toone or the intersection of two of these areas. But we did not find any work that deals with similarproblem to ours.Since the problem is too complicated as it is, we looked for ways of modeling it, which wouldhave allowed us to solve it. We found three cases where the original problem could be decomposedinto several parts, each of which could be converted to a known problem of Operations Research.Then we worked on the lot-sizing part of the decomposed problem. Meanwhile, we showed how otherparties could be resolved.These kinds of problems are very important for a supply chain optimizing. Their solutionshelp to organize an efficient production, which in turn allows to make significant financial gains tocompany.
22

Interface cerveau-machine : de nouvelles perspectives grâce à l'accélération matérielle / Brain-computer interface : new perspectives through hardware acceleration

Libessart, Erwan 30 November 2018 (has links)
Les interfaces cerveau-machine (ICM) permettent de contrôler un appareil électronique grâce aux signaux cérébraux. Plusieurs méthodes de mesure de ces signaux, invasives ou non, peuvent être utilisées. L'électro-encéphalographie (EEG) est la méthode non-invasive la plus étudiée car elle propose une bonne résolution temporelle et le matériel nécessaire est bien moins volumineux que les systèmes de mesure des champs magnétiques.L'EEG a cependant une faible résolution spatiale, ce qui limite les performances des ICM utilisant cette méthode de mesure. Ce souci de résolution spatiale peut être réglé en utilisant le problème inverse de l'EEG, qui permet de passer des potentiels mesurés en surface à une distribution volumique des sources de courant dans le cerveau. Le principal verrou de cette technique est le temps nécessaire (plusieurs heures) pour calculer avec une station de travail la matrice permettant de résoudre leproblème inverse. Dans le cadre de cette thèse, nous avons étudié les solutions actuelles pour accélérer matériellement la conception de cette matrice. Nous avons ainsi proposé, conçu et testé une architecture électronique dédiée à ces traitements pour ICM. Les premiers résultats démontrent que notre solution permet de passer de plusieurs heures de calcul sur une station de travail à quelques minutes sur circuit reconfigurable. Cette accélération des traitements d'imagerie par EEG facilitera grandement la recherche sur l'utilisation du problème inverse et ouvrira ainsi de nouvelles perspectives pour le domaine de l'ICM. / Brain-Computer Interfaces (BCI) are systems that use brain activity to control an external device. Various techniques can be used to collect the neural signals. The measurement can be invasive ornon-invasive. Electroencephalography (EEG) is the most studied non-invasive method. Indeed, EEG offers a fine temporal resolution and ease of use but its spatial resolution limits the performances of BCI based on EEG. The spatial resolution of EEG can be improved by solving the EEG inverse problem, which allows to determine the distribution of electrical sources in the brain from EEG. Currently, the main difficulty is the time needed(several hours) to compute the matrix which is used to solve the EEG inverse problem. This document describes the proposed solution to provide a hardware acceleration of the matrix computation. A dedicated electronic architecture has been implemented and tested. First results show that the proposed architecture divides the calculation time by a factor of 60 on a programmable circuit. This acceleration opens up new perspectives for EEG BCI.
23

Système de sécurité biométrique multimodal par imagerie, dédié au contrôle d’accès / Multimodal biometric security system based on vision, dedicated to access control

Bonazza, Pierre 21 June 2019 (has links)
Les travaux de recherche de cette thèse consistent à mettre en place des solutions performantes et légères permettant de répondre aux problèmes de sécurisation de produits sensibles. Motivé par une collaboration avec différents acteurs au sein du projet Nuc-Track,le développement d'un système de sécurité biométrique, possiblement multimodal, mènera à une étude sur différentes caractéristiques biométriques telles que le visage, les empreintes digitales et le réseau vasculaire. Cette thèse sera axée sur une adéquation algorithme et architecture, dans le but de minimiser la taille de stockage des modèles d'apprentissages tout en garantissant des performances optimales. Cela permettra leur stockage sur un support personnel, respectant ainsi les normes de vie privée. / Research of this thesis consists in setting up efficient and light solutions to answer the problems of securing sensitive products. Motivated by a collaboration with various stakeholders within the Nuc-Track project, the development of a biometric security system, possibly multimodal, will lead to a study on various biometric features such as the face, fingerprints and the vascular network. This thesis will focus on an algorithm and architecture matching, with the aim of minimizing the storage size of the learning models while guaranteeing optimal performances. This will allow it to be stored on a personal support, thus respecting privacy standards.
24

Étude et optimisation de l'interaction processeurs-architectures reconfigurables dynamiquement

Faten, Ben Abdallah 20 October 2009 (has links) (PDF)
Les applications de télécommunications mobiles et de multimédia, notamment dans le domaine de l'embarqué, deviennent de plus en plus complexes au niveau calculatoire et consomment de plus en plus d'énergie. Afin de palier aux besoins calculatoires et énergétiques de ces applications, les concepteurs se sont orientés vers les architectures hybrides, associant des systèmes de nature et paradigme différents. Ces architectures ont retenu l'attention des concepteurs parce qu'elles présentent un bon compromis coût/performances calculatoires d'autant plus qu'elles possèdent des propriétés énergétiques intéressantes. En outre, l'émergence dans la dernière décade des architectures reconfigurables dynamiquement associant haute performance et encore plus de flexibilité, a fait que les dernières générations des architectures hybrides associent un ou plusieurs processeurs à une ou plusieurs architectures reconfigurables dynamiquement (ARD). Cette thèse s'inscrit dans cette thématique et a ainsi pour objectif d'apporter une modélisation précise de ces architectures ainsi que des méthodologies permettant d'exploiter leurs potentiels de performances. Une modélisation des mécanismes d'échange d'informations entre un processeur couplé à une ressource reconfigurable est d'abord proposée ce qui a permis une identification précise de modèles de performances. En utilisant ces modèles de performances, une méthodologie d'adéquation algorithme architecture permettant suivant les paramètres de l'application de déterminer le couplage CPU/ARD adéquat est présentée. Nous introduisons ces modèles de performances dans le flot de développement logiciel de ces architectures afin de permettre un partitionnement temporel automatique basé sur la détermination de la surface (en nombre d'unités fonctionnelles) de l'ARD nécessaire pour avoir des performances optimales et ce en trouvant le facteur de déroulage de boucle qui assure le maximum de performances pour l'architecture hybride. Le dernier aspect de ce travail concerne la validation de ces méthodologies et leur mise en oeuvre. Nous présentons pour cela les mécanismes d'implémentation d'un démodulateur multimode DVB-T/H et d'un récepteur WCDMA dynamique sur une architecture hybride reconfigurable dynamiquement.
25

Architecture SoC-FPGA pour la mesure temps réel par traitement d'image. Conception d'un système embarqué : imageur CMOS et Circuit Logique Programmable.

Lelong, Lionel 07 December 2004 (has links) (PDF)
La méthode de mesures par PIV (Particle Image Velocimetry) est une technique pour mesurer un champ de vitesse de manière non intrusive et multipoints. Cette technique utilise l'algorithme de corrélation entre deux images consécutives pour déterminer les vecteurs vitesse. La quantité de calcul requis par cette méthode limite son usage à des traitements en temps différé sur ordinateur. Les performances des ordinateurs demeurent insuffisantes pour ce type d'applications sous contrainte temps réel sur des cadences de données élevés. Au vu de ces besoins, la définition et la conception d'architectures dédiées semblent être une solution adéquate pour atteindre le temps réel. L'évolution des niveaux d'intégration permet le développement des structures dédiées au traitement d'images en temps réel à bas prix. Dans ce travail de thèse, nous nous sommes intéressés à la conception d'une architecture de type SoC (System on-Chip) dédiée aux mesures de paramètres physiques par traitement d'images en temps réel. C'est une architecture hiérarchique et modulaire dédiée à des applications de type flot de données d'entrée dominant. Cette description hiérarchique permet la modification du nombre et/ou de la nature de ces éléments sans modifier profondément l'architecture. Pour le calcul d'une mesure, il faut 267 s avec un FPGA à 50 MHz. Pour estimer les performances du système, un imageur CMOS a été connecté directement au FPGA. Les avantages de ce prototype sont de réduire au minimum le mouvement de grands ensembles de données ainsi que la latence en commençant à traiter des données avant leur complète acquisition.
26

Education, capital humain et dynamique économique : analyse à partir du secteur industriel sénégalais

Dia, Abdoul Alpha 16 November 2005 (has links) (PDF)
L'objectif de ce travail est d'analyser les relations entre l'éducation, le capital humain et les performances industrielles au Sénégal. Les questions abordées sont diverses et variées, et plus particulièrement, elles se rapportent à l'investissement des entreprises industrielles dans le capital humain (niveaux de qualification de la main d'oeuvre, politiques en matière de formation continue), aux différents niveaux d'efficacité (interne<br />et externe) du système éducatif, à l'adéquation formation/emploi, à l'apport des systèmes de formation non scolaires à la production et à la diffusion du capital humain, aux niveaux de performances du secteur industriel, etc. En dernier ressort, est étudié l'impact de l'investissement des entreprises dans le capital humain sur leurs propres performances. Le travail empirique réalisé, globalement, ne révèle pas un impact significatif et positif des différentes catégories de main d'oeuvre (et<br />plus généralement de la structure des qualifications) ou des politiques des entreprises en matière de formation continue. Afin de rendre compte d'un tel résultat, plusieurs explications sont mises en avant (influence du capital humain soumis à des effets de<br />seuil, influence néfaste - du point de vue de l'impact du capital humain - des phénomènes bureaucratiques, environnement productif et technologique des entreprises industrielles sénégalaises qui contribue à limiter le potentiel productif du capital humain, etc.), lesquelles, en définitive, rappellent toute la complexité de la relation<br />capital humain / croissance économique, et plus particulièrement la nécessité d'une meilleure articulation entre d'une part les politiques éducatives et d'autre part les politiques économiques (politiques industrielles, politiques fiscales, politiques macroéconomiques, etc.).
27

L’aspect spatial et temporel des usages naissants lors de l’interrelation entre l’usager et l’espace-transitoire de la gare du Midi à Bruxelles.

Ghiste, Natacha 01 1900 (has links)
Fréquemment, des usagers se retrouvent confrontés à des espaces-transitoires tels que les couloirs de gares. Ces derniers présentent souvent des contraintes temporelles et spatiales qu’il serait possible de transformer en outil optimalisant l’usage. Nous avons voulu vérifier cette hypothèse en observant le degré d’adéquation entre l’offre (les aménagements) et la demande (les usages réels) dans le cas précis de la gare du midi à Bruxelles, Belgique. Nous avons récolté des indices spatiaux, temporels et comportementaux qui nous ont permis d’identifier les conditions de l’usage et, au moyen d’observations directes, de comprendre les usages réellement pratiqués. Afin de documenter le rapport entre usager et espace-temps, nous avons établit une typologie des usages qui met en évidence des figures d’interactions possibles entre ces deux composantes. Nos résultats nous ont permis d’élaborer une conclusion sous la forme d’un modèle nommé « triangle des interrelations » dans le but d’offrir un outil permettant aux professionnels d’anticiper au mieux l’impact des aménagements. / Users are frequently facing transitory spaces, such as station corridors, that are often constrained temporally and spatially, while they could be better adapted to their use. To check this hypothesis, we observe the adequacy between the offer (the space arrangement) and the demand (the real uses) in the context of the Belgian Brussels South Station. We have collected spatial, temporal and behavioral clues that conducted us to characterise conditions of use. Moreover, by the mean of direct observations, we understood the uses as they are really practised. Aiming to illustrate the relation between users and space-time, we have developed a typology of the usages that exhibits possible interaction patterns between these two variables. As a conclusion of our results, we draw up a model named “interrelations triangle” that allow professionals to better understand the incidence of their space arrangements.
28

Analyse et synthèse de tolérance pour la conception et le dimensionnement des systèmes mécatroniques

El Feki, Mariem 05 July 2011 (has links) (PDF)
Cette thèse s'inscrit dans le cadre de la conception des systèmes mécatroniques et porte, plus particulièrement, sur le dimensionnement de chaînes d'actionnement et les méthodes à mettre en œuvre pour satisfaire le cahier des charges et réduire au mieux le temps de développement. Afin de suivre l'évolution du marché et faire face à la concurrence croissante, les concepteurs ont eu recours au cycle de conception en Vet au prototypage virtuel. Pour réduire davantage la durée du processus de conception, la formulation du problème de conception sous la forme d'un problème inverse est une solution intéressante. Dans ce contexte, le laboratoire Ampère propose une méthodologie de dimensionnement par modèles bond graph inverses. Ainsi, l'objectif de cette thèse est de contribuer au développement de cette méthodologie d'une part dans sa phase de vérification de l'adéquation des spécifications du cahier des charges à la structure retenue pour le modèle de conception et, d'autre part, par la prise en compte des tolérances dans le problème de conception. Pour la phase de vérification de l'adéquation spécifications/structure, le mémoire présente tout d'abord, l'analyse structurelle du cahier des charges qui permet de vérifier, avant toute simulation et à partir du modèle bond graph, si le problème de conception par modèle inverse est bien posé. Différents niveaux d'analyse sont supposés pour renforcer la démarche chronologique du travail de conception ou de reconception proposée par la méthodologie de dimensionnement. Ensuite, ces niveaux d'analyse sont mis à profit pour définir une procédure de vérification de l'adéquation des spécifications, définies sous forme de comportements type, au modèle de conception. En cas d'inadéquation, des recommandations pour la remise en question des spécifications ou de la structure du modèle de conception sont proposées et ce, selon le niveau d'analyse considéré. Au niveau de l'analyse numérique (le niveau d'analyse le plus bas), cette procédure peut être utilisée pour la synthèse paramétrique ou encore pour la synthèse de tolérance en cas de prise en compte des incertitudes dans le problème de conception. Concernant cet aspect, le mémoire présente également une contribution à la représentation des incertitudes paramétriques dans le formalisme bond graph, formalisme de base de la méthodologie de dimensionnement. Enfin, l'approche probabiliste est utilisée pour la modélisation des incertitudes dans la démarche de dimensionnement des systèmes dynamiques par inversion des modèles bond graph : les deux cas d'inversion, entrées/sorties d'une part (pour la remontée de spécifications), et paramètres/sorties d'autre part (pour la synthèse de tolérances paramétriques), sont abordés. Les règles d'exploitation d'un modèle bond graph probabiliste permettant la propagation des fonctions de densité de probabilité et des grandeurs caractéristiques(espérance et variance) tout le long de la structure énergétique du système sont proposées et illustrées par un exemple.
29

L'hébergement de la personne âgée dépendante – Modélisation prospective : exemple de la région Poitou-Charentes. / Housing for dependent older people - a prospective modeling : an example of Poitou-Charentes

Guennery, Sophie 16 December 2014 (has links)
Face au vieillissement démographique, l’adéquation de l’offre et de la demande de la prise en charge de la dépendance est au cœur des politiques de santé publique. L’objectif de ce travail est d’estimer la consommation d’hébergement des personnes âgées dépendantes pour un horizon de 5 à 10 ans en intégrant l’origine géographique des résidents. En effet, ces derniers ne cherchent pas nécessairement une réponse d’hébergement à proximité de leur lieu de résidence. On peut ainsi bâtir un « scénario moyen » pour mesurer la consommation d’hébergement actuelle, construire des bassins gérontologiques et envisager des projections d’hébergement les plus précises possibles, selon le postulat « toute chose égale par ailleurs ». Cette recherche menée en Poitou-Charentes en 2010 permet une analyse prospective qui annonce un déficit du nombre de places d’hébergement dès 2017 et qui devrait s’amplifier au cours des années suivantes. Ces résultats trouvent toute leur légitimité pour aider la planification gérontologique et adapter l’offre à la demande à différentes échelles. De plus, ils rendent possible l’appréhension du volume d’emplois non « délocalisables ». / In view of demographic ageing, the adequacy between supply and demand of older population needs is placed in the heart of the public health policy. The aim of this work is to estimate the housing consumption of dependent older people for the time horizon from 5 to 10 years by integrating the geographical origins of residents. In fact, these latter don't necessarily look for an accommodation close to their place of residence. Thus a 'medium scenario' can be proposed to measure the current consumption,build gerontological basins and plan the most accurate possible senior housing projections according to 'all else being equal' principle. This research conducted in Poitou-Charentes in 2010 allows to do a prospective analysis which reveals a deficit in the number of rousing places from 2017 and this deficit is expected to increase over the following years. These results have all legitimacy to help gerontological planning and adapt supply to demand at different scales. Moreover, they make possible the estimation of the volume of 'non relocatable' jobs.
30

Vision multi-caméra pour la détection d'obstacles sur un robot de service: des algorithmes à un système intégré

Ibarra Manzano, Mario 07 January 2011 (has links) (PDF)
L'une des tâches les plus importantes en robotique mobile est la détection d'obstacles pendant les déplacements du robot. Pour résoudre cette tâche, de nombreuses approches ont été proposées; cependant les propositions applicables dans un milieu structuré, dynamique et fortement encombré du fait de la présence humaine, sont limitées. Dans ce cadre, nous présentons dans ces travaux un système visuel reprogrammable dédié à la détection d'obstacles. Le système est composé de plusieurs micro-caméras disposées autour du robot mobile et d'un système reprogrammable. Le nombre de micro-caméras est grand (4 dans la version courante, 8 dans la version finale) et la performance en temps réel requis dans ce contexte, ne peut pas être satisfaite par un processeur standard. Cela rend obligatoire la conception et la mise en oeuvre d'une architecture dédiée pour le traitement des images. Le parallélisme fourni par les FPGAs permet de répondre aux contraintes de performance et de minimiser l'énergie et le coût unitaire du système. L'objectif est de construire et mettre à jour une grille d'occupation robot-centrée lors de la navigation du robot. Cette opération doit être exécutée à 30Hz, afin de réduire la latence entre l'acquisition des images et la détection des obstacles. La détection des zones du sol occupées est faite par l'algorithme de classification AdaBoost en utilisant un vecteur d'attributs. Les attributs utilisés sont la couleur et la texture. Pour la couleur, nous utilisons l'espace de couleur CIE-Lab, car cela permet d'avoir une plus grande immunité au changement de l'éclairage. Les attributs de texture sont obtenues par une méthode adaptée de la technique des histogrammes de sommes et différences. Cette adaptation réduit considérablement les ressources nécessaires pour calculer les attributs de texture, tout en fournissant un modèle riche de chacun des objets présents dans une scène acquise par une des micro-caméras. Chaque pixel dans l'image est classifié pour savoir s'il appartient ou pas au sol, en fonction de ces attributs couleur-texture. Une fois le pixel classé, il est projeté sur le plan du sol pour enrichir la grille d'occupation courante de l'environnement. Plusieurs paramètres de notre approche ont été sélectionnés afin de développer un système avec le meilleur compromis entre les performances et les ressources consommées. Les graphiques de performances de la classification ainsi que les ressources consommées par les architectures implantées sont présentés. Les architectures ont été développées en VHDL avec les outils Altera; des comparaisons sont présentées avec une approche fondée sur des outils de synthèse haut-niveau (Gaut, labview...). Finalement ces architectures ont été portées et évaluées sur un kit Stratix3 connecté à 4 caméras et embarqué sur un robot mobile.

Page generated in 0.4795 seconds