Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 20 of 109 for “"Logiciel"”.

  1. Le logiciel de calcul distribué Snowflakes

    Ce mémoire présente le logiciel de calcul distribué Snowflakes, un outil conçu pour télécharger et exécuter des applications arbitraires de façon automatique. Snowflakes possède un économiseur d'écran qui peut être installé sur les ordinateurs d'un laboratoire informatique afin de récupérer la …

    sherbrooke Repository record for Le logiciel de calcul distribué Snowflakes (opens in a new tab)

  2. Homologie effective des espaces de lacets itérés: un logiciel

    … qui nous on permis de developper un logiciel Lisp calculant l'homologie entière des espaces de lacets itérés. Dans le chapitre 1, on introduit une machine théorique (inspirée du X-calcul).où il faut interpréter les resultats de calculabilité démontrés dans les chapitres suivants. Le …

    dialnet Repository record for Homologie effective des espaces de lacets itérés: un logiciel (opens in a new tab)

  3. LDU : un logiciel d'optimisation pour le problème de découpe unidimensionnelle

    … de ces résultats nous a permis de développer le logiciel de découpe unidimensionnelle LDU. Des tests numériques montrent l'efficacité de notre logiciel.

    sherbrooke Repository record for LDU : un logiciel d'optimisation pour le problème de découpe unidimensionnelle (opens in a new tab)

  4. Les modèles de fiabilité et la modélisation de la fiabilité du logiciel

    … des bases pour des études de la fiabilité du logiciel. Ces bases visent à combler le fossé qui existe entre la théorie et la pratique dans le domaine du génie de la fiabilité du logiciel. Nous insistons particulièrement sur l'intérêt des modèles de fiabilité pour l'amélioration de la qualité …

    sherbrooke Repository record for Les modèles de fiabilité et la modélisation de la fiabilité du logiciel (opens in a new tab)

  5. Environnement logiciel d'exploitation des images satellitaires pour faciliter la gestion des catastrophes majeures

    … géographique ainsi que de différents logiciels de traitement d’images vise à déterminer le type d’environnement logiciel nécessaire pour faciliter la manipulation et le traitement des images satellitaires de très haute résolution. Ceci est fait dans le but d’obtenir une plateforme de …

    ets-quebec Repository record for Environnement logiciel d'exploitation des images satellitaires pour faciliter la gestion des catastrophes majeures (opens in a new tab)

  6. Modélisation à l'aide du logiciel EMTP-RV du compensateur série variable commandé par thyristors

    … à reproduire le même modèle à l'aide d'un logiciel différent, dans ce cas ci SPS. Afin de comparer les réponses, plusieurs variations sont appliquées au système; défauts monophasé et triphasé ainsi qu'une variation de l'impédance. La seconde comparaison consiste à utiliser un modèle de …

    ets-quebec Repository record for Modélisation à l'aide du logiciel EMTP-RV du compensateur série variable commandé par thyristors (opens in a new tab)

  7. Élaboration d'un logiciel d'enseignement et d'application de la logique floue dans un contexte d'automate programmable

    … la commande industrielle. Or, il n'existe pas de logiciel pédagogique pour l'apprentissage des notions de la logique floue. Il existe, certes, des logiciels professionnels pour la mise en oeuvre des systèmes flous, par exemple Matlab®, mais rien qui ne préconise une approche pédagogique. Notre …

    ets-quebec Repository record for Élaboration d'un logiciel d'enseignement et d'application de la logique floue dans un contexte d'automate programmable (opens in a new tab)

  8. OntoCASE : méthodologie et assistant logiciel pour une ingénierie ontologique fondée sur la transformation d'un modèle semi-formel

    … en ontologie et développé un assistant logiciel qui semi-automatise, ou automatise les processus de la méthodologie de transformation. La démarche de conception de la méthodologie et de son assistant informatique se divise en trois phases: 1) la phase de Mise en place des composants …

    teluq Repository record for OntoCASE : méthodologie et assistant logiciel pour une ingénierie ontologique fondée sur la transformation d'un modèle semi-formel (opens in a new tab)

  9. Assistance à la prise de decision dans le processus de modification d'un produit en utilisant la technologie "Agent logiciel"

    … de gestion des changements. La technologie"Agent logiciel" est utilisée pour implémenter le système proposé. L'approche"Agent" présente certains avantages par rapport à l'approche classique Client/Serveur. Elle permet justement de minimiser le nombre de requêtes sur le réseau (avec la propriété de …

    sherbrooke Repository record for Assistance à la prise de decision dans le processus de modification d'un produit en utilisant la technologie "Agent logiciel" (opens in a new tab)

  10. Système d'aide à la planification et à la conception d'une stratégie d'évaluation formative instrumentée

    Le logiciel SysML (Système Mastery Learning) est le prototype d'un logiciel pour enseignants qui désirent implanter le Mastery Learning dans leurs cours. Appartenant à la famille des APO (Applications Pédagogiques de l'Ordinateur), ce logiciel de GPAQ (Génie Pédagogique Assisté par Ordinateur) …

    sherbrooke Repository record for Système d'aide à la planification et à la conception d'une stratégie d'évaluation formative instrumentée (opens in a new tab)

  11. La théorie des graphes appliquée à la conception assistée par ordinateur des circuits de contrôle pour les systèmes d'électronique de puissance

    … Une revue de différentes méthodes et de logiciels pour la simulation en électronique de puissance est présentée. Un logiciel TFF 2000 est développé pour intégrer la partie contrôle au logiciel Supra. La méthode pour générer la fonction de transfert est basée sur la formule de Mason pour …

    moncton Repository record for La théorie des graphes appliquée à la conception assistée par ordinateur des circuits de contrôle pour les systèmes d'électronique de puissance (opens in a new tab)

  12. Études empiriques des relations entre les modèles de qualité du logiciel d' ISO 9126 en utilisant le référentiel de données d'ISBSG et la méthode Taguchi

    Avec l'évolution du domaine du genie logiciel, la gestion de la qualite du logiciel a évolué : elle s'est orientee non seulement vers la production de logiciels qui s'executent, mais aussi vers la satisfaction des objectifs pour lesquels ces logiciels sont concus. Contrairement au genie industriel, …

    ets-quebec Repository record for Études empiriques des relations entre les modèles de qualité du logiciel d' ISO 9126 en utilisant le référentiel de données d'ISBSG et la méthode Taguchi (opens in a new tab)

  13. Référentiel des processus et d'un entrepôt générique des mesures pour la vérification & validation (V&V) des logiciels critiques

    … le nucléaire et l'aérospatial, la qualité du logiciel est un besoin capital. Le logiciel embarqué dans ces types des systèmes est reconnu comme étant critique car leurs échec peut causer blessures (ou mort) aux êtres humains ainsi que la perte d'investissements financiers considérables. Dans …

    ets-quebec Repository record for Référentiel des processus et d'un entrepôt générique des mesures pour la vérification & validation (V&V) des logiciels critiques (opens in a new tab)

  14. Conception et validation d'un module d'entraînement à la construction de cartes de connaissances, dédié à des étudiants à distance

    … à des fins d’apprentissage à l’aide d’un logiciel dédié à cette fin, soit le logiciel MOT développé au Centre de recherche LICEF de la Téléuniversité. En nous basant sur une méthodologie de recherche de développement, nous avons réalisé notre recherche en trois étapes : 1) L’analyse des …

    teluq Repository record for Conception et validation d'un module d'entraînement à la construction de cartes de connaissances, dédié à des étudiants à distance (opens in a new tab)

  15. L'apprentissage par résolution de problèmes mathématiques avec utilisation de logiciel de géométrie dynamique chez l'élève d'origine africaine subsaharienne immigrant récent en Ontario au primaire

    … permet de mieux comprendre le rôle qu'occupe un logiciel de géométrie dynamique (LGD) dans un tel dispositif d'apprentissage. L'approche méthodologique choisie est celle d'une recherche qualitative/interprétative menée sous la forme d'une étude de cas multiples. Deux dyades d'élèves ASSI (quatre …

    ottawa-retro Repository record for L'apprentissage par résolution de problèmes mathématiques avec utilisation de logiciel de géométrie dynamique chez l'élève d'origine africaine subsaharienne immigrant récent en Ontario au primaire (opens in a new tab)

  16. Design d'un système d'aide à la décision à l'évaluation de la sous-traitance industrielle

    … technologies dans les domaines du Génie Logiciel, du Génie Mécanique et Industriel et des Sciences de la Décision. Dans ce projet il y a eu trois partenaires: Mouvement Desjardins, Sous Traitance Industrielle Québec (STIQ) et l’École de Technologie Supérieure (ETS). Ce projet de recherche …

    ets-quebec Repository record for Design d'un système d'aide à la décision à l'évaluation de la sous-traitance industrielle (opens in a new tab)

  17. Modélisation du sillage tridimensionnel des éoliennes Darrieus pour l'étude des forces aérodynamiques

    … dans le calcul des forces instantanées. Un logiciel numérique a été développé et les résultats se comparent bien à ceux de modèles tourbillonnaires et à tubes de courant. L'impact de la forme des vortex sur les résultats est faible mais vient légèrement augmenter certains maximums des …

    sherbrooke Repository record for Modélisation du sillage tridimensionnel des éoliennes Darrieus pour l'étude des forces aérodynamiques (opens in a new tab)

  18. Conception hydro-économique et analyse conflictuelle des systèmes hydriques

    … les interventions ont des buts multiples. Un logiciel et une méthodologie ont été développés afin d’analyser, au niveau de la pré-faisabilité, les PHBM rapidement, facilement et systématiquement en plus de permettre l’étude économique du projet de façon sectorielle ou globale.

    moncton Repository record for Conception hydro-économique et analyse conflictuelle des systèmes hydriques (opens in a new tab)

  19. Facteurs associés à la réussite de la pédagogie de l'inclusion dans les écoles francophones du Nouveau-Brunswick

    … de ces deux collectes de données en utilisant le logiciel ATLAS.ti, un logiciel destiné à l’analyse qualitative de données. Les résultats de cette étude nous permettent de constater que, d’après la population choisie pour cette recherche, cinq facteurs semblent reliés au succès que peuvent …

    moncton Repository record for Facteurs associés à la réussite de la pédagogie de l'inclusion dans les écoles francophones du Nouveau-Brunswick (opens in a new tab)

Page 1 of 6