L'activité de test est une partie de plus en plus importante dans les développements logiciels. Cette activité de test est souvent longue et répétitive, les travaux entrepris dans cette thèse ont pour objectif de décharger l'ingénieur de test des tâches les plus répétitives de la synthèse de tests. Notre approche, dans le cadre du test de conformité, se base sur le fait qu'il existe différents niveaux d'abstraction pour définir des tests les tests exécutables pour une cible technologique, les tests abstraits qui sont indépendants de la technologie et les objectifs de test qui ne représentent que partiellement le chemin d'un test dans la spécification. Nos travaux portent sur deux points. le premier point vise à réduire l'effort alloué à la conception des tests. Pour cela nous définissons un nouveau niveau d'abstraction : les schémas de test qui offrent une abstraction supplémentaire sur les instances et valeurs manipulées. L'outil TObiAs a été développé au cours de la thèse pour aider à la conception des schémas de test, les déplier en objectifs de test ou en cas de test, puis concrétiser ces cas de test. le deuxième point étudie la portée d'un schéma de test en mesurant sa couverture de la spécification, au niveau d'abstraction du schém de test. Pour ce faire nous étudions les relations entre les niveaux d'abstraction de test et la spécification. Nous présentons l'intérêt de proposer une notion de couverture au niveau des schémas de test en construisant une abstraction de la spécification ainsi que l'outil CoPAS que nous avons créé pour calculer la couverture a priori.

Les générateurs d'électricité actuels dans les automobiles sont des alternateurs à griffes. Ils présentent une bonne puissance massique à un prix compétitif, mais ont, en contrepartie, un mauvais rendement. Ainsi, comme le besoin en énergie électrique embarquée est en constante évolution, il en résulte que l'impact de la génération d'électricité sur la consommation de carburant n'est plus négligeable. Les travaux de cette thèse ont pour but de modéliser le comportement de l'alternateur à griffes en fonction des paramètres de construction pour pouvoir, par la suite, utiliser des processus informatiques pour optimiser le rendement et / ou la puissance massique. La méthodologie choisie pour modéliser cet alternateur repose sur la théorie des réseaux de réluctances analytiques. Pour déterminer le courant débité par l'alternateur, le réseau de réluctance est couplé à un modèle analytique du redresseur. Ensuite un modèle analytique est établi pour l'ensemble des pertes. Ce modèle est ensuite intégré dans un logiciel d'optimisation sous contraintes de type gradient. Ceci permet alors d'obtenir un ensemble de solutions répondant à des cahiers des charges bien définis avec un nombre important de paramètres variables (18 paramètres de construction sont optimisés). Cette approche présente différentes évolutions possibles pour améliorer le rendement des alternateurs à griffes. Pour finir, une méthode fondée sur des optimisations multi objectifs est proposée pour déterminer le meilleur compromis entre un rendement élevé et une bonne puissance massique.

La conception d'un système électrique est une tâche très complexe qui relève d'expertises dans différents domaines de compétence. Dans un contexte compétitif où l'avance technologique est un facteur déterminant, l'industrie cherche à réduire les temps d'étude et à fiabiliser les solutions trouvées par une approche méthodologique rigoureuse fournissant une solution optimale systémique.Il est alors nécessaire de construire des modèles et de mettre au point des méthodes d'optimisation compatibles avec ces préoccupations. En effet, l'optimisation unitaire de sous-systèmes sans prendre en compte les interactions ne permet pas d'obtenir un système optimal. Plus le système est complexe plus le travail est difficile et le temps de développement est important car il est difficile pour le concepteur d'appréhender le système dans toute sa globalité. Il est donc nécessaire d'intégrer la conception des composants dans une démarche systémique et globale qui prenne en compte à la fois les spécificités d'un composant et ses relations avec le système qui l'emploie.Analytical Target Cascading est une méthode d'optimisation multi niveaux de systèmes complexes. Cette approche hiérarchique consiste à décomposer un système complexe en sous-systèmes, jusqu'au niveau composant dont la conception relève d'algorithmes d'optimisation classiques. La solution optimale est alors trouvée par une technique de coordination qui assure la cohérence de tous les sous-systèmes. Une première partie est consacrée à l'optimisation de composants électriques. L'optimisation multi niveaux de systèmes complexes est étudiée dans la deuxième partie où une chaîne de traction électrique est choisie comme exemple

Hegel réinscrit l’idée d’autonomie kantienne au sein d’une totalité organisée par des médiations qui constituent le sujet et lui livrent un contenu normatif venant mettre en forme sa pratique et lui assigner sa signification et sa place au sein du processus de reproduction de la société. La philosophie substitue à la morale abstraite une éthicité concrète (Sittlichkeit) objectivée au sein de médiation institutionnelle (l’esprit objectif). Cette conception incarnée de la moralité, exprimée par Hegel dans la Philosophie du droit sera l’objet d’une critique sévère par le marxisme au nom de l’émancipation de la puissance instituante de la société civile et des sujets, si bien que bon nombre d’interprètes contemporains de Marx le présentent comme un individualiste, un naturaliste et un économiciste. La théorie critique contemporaine, chez Axel Honneth, s’est-elle aussi repliée sur une conception naturaliste et intersubjectiviste de la théorie de la reconnaissance, puisée chez le jeune Hegel, où l’amour, l’amitié et la reconnaissance réciproque sont présentés comme des préalables à l’établissement d’une relation de communication, et servent de modèle pour penser l’ensemble du lien social. À l’encontre de ces approches, notamment à l’aide des travaux de Vincent Descombes et du sociologue québécois Michel Freitag, je cherche à revaloriser l’institutionnalisme hégélien et son concept d’esprit objectif. J’illustre aussi, avec Moishe Postone, comment toute théorie critique contemporaine doit, si elle espère réellement développer une critique des sociétés capitalistes avancées, pouvoir retrouver en Marx un penseur de la totalité et des médiations aliénées ou fétichisées (la forme-valeur) et articuler à la critique de la médiation des rapports sociaux par le travail abstrait une revalorisation de des médiations symboliques et politico-institutionnelles, de l’esprit objectif, en tant que seule la transcendance d’une dimension de sens objectivée peut suppléer à la régulation des rapports sociaux par la forme aliénée propre à la valeur abstraite. La revalorisation du concept d’esprit objectif hégélien, c’est-à-dire du pôle d’objectivité normative instituée, m’apparaît l’une des conditions sine qua non pour réorienter la théorie critique vers la dialectique qui, seule, lui évitera les écueils de l’intersubjectivisme, du dualisme et du nominalisme.

Ce manuscrit est décomposé en un chapitre introductif et deux parties principales.<br /><br />Le chapitre 1, pose le contexte du travail. Pour cela les principales définitions liées à l'optimisation combinatoire multi-objectif sont présentées. Puis, les problématiques spécifiques à ce domaine sont exposées et étudiées. Parmi ces problématiques nous parlerons en particulier de la structure de l'ensemble des solutions de compromis (solutions Pareto), du choix des méthodes de résolution et de l'analyse de performances en multi-objectif. Ce chapitre permettra de cerner ce qui est étudié dans le manuscrit et ce qui ne l'est pas.<br /><br />La première partie (chapitres 2 et 3) traite de la coopération de méthodes en vue d'améliorer les résultats des méthodes d'optimisation combinatoire multi-objectif. Au cours de cette partie, un problème d'ordonnancement - problème de flowshop de permutation bi-objectif - est utilisé à titre d'exemple. Nous commençons donc le chapitre 2 par la présentation de ce problème. Puis, le chapitre s'attarde sur les méthodes exactes pour l'optimisation multi-objectif. Ces méthodes n'étant pas nombreuses, une revue de la littérature est réalisée. Inspirée de cette étude, un nouveau schéma de méthode exacte - PPM - est proposé.<br /> Le chapitre 3 s'intéresse à la coopération entre méthodes. Pour cela, la première partie du chapitre concerne l'utilisation des métaheuristiques en multi-objectif. Ainsi, après avoir présenté nos travaux concernant le développement d'un algorithme génétique pour le flowshop bi-objectif, une présentation rapide des méthodes les plus connues est réalisée. Puis, la deuxième partie discute des possibilités de coopération entre les différentes méthodes et présente les résultats obtenus.<br /><br />La deuxième partie (chapitres 4, 5 et 6) s'intéresse à un tout autre domaine d'application. Il s'agit de l'extraction de connaissances. En effet, de nombreux problèmes d'extraction de connaissances peuvent être modélisés, entièrement ou en partie, en des problèmes d'optimisation combinatoire. C'est ce que nous présentons dans le chapitre 4. Dans ce chapitre, une partie est consacrée à l'apport du multi-objectif pour ce type de problèmes. Puis, une étude plus approfondie porte sur la problématique de recherche de règles d'association. Pour ce problème, nous exposons la modélisation multi-objectif proposée ainsi que les méthodes de résolution développées.<br /> Le chapitre 5 présente deux approches coopératives : une approche coopérative parallèle mettant en jeux plusieurs métaheuristiques et une coopération avec une méthode exacte.<br /> Finalement, le chapitre 6 donne des indications sur le contexte applicatif utilisé, à savoir l'étude de données issues de la bio-informatique.<br />Au cours du mémoire, chaque chapitre se termine par un certain nombre de perspectives. Le dernier chapitre, conclusions et perspectives, fait une synthèse des principaux apports des travaux présentés dans le manuscrit ainsi que des perspectives annoncées.

L'objectif de notre travail est la réalisation d'un système interactif d'aide aux déplacements, en mode normal, et en mode dégradé de fonctionnement du réseau de transport en commun. Ce système vise par ailleurs à minimiser le temps d'attente des voyageurs, en mode dégradé, dans les pôles d'échanges et à leur assurer, dans la mesure du possible, la continuité des déplacements dans les réseaux multimodaux. Il s'agit donc d'améliorer la qualité du service rendu aux voyageurs et les maintenir informés. Une grande partie du travail de cette thèse concerne la conception, le développement et la validation des approches qui permettent de donner des solutions optimales ou quasi optimales, pour un réseau de transport normal et perturbé. Ces approches utilisent une méthode multicritère de recherche d'itinéraire qui s'appuie sur une hybridation entre un algorithme de Dijkstra modifié et un algorithme génétique, pour générer une population de chemins minimums . L'algorithme de Dijkstra modifié nous donne un ensemble de solutions servant de population initiale pour l'algorithme génétique.<br />La modélisation du réseau de transport est représentée par une architecture multi-zones . Cette architecture nous montre l'aspect distribué du système, les interactions et les relations qui peuvent avoir lieu entre les différenttes zones. Nous présentons dans ce travail un Système Multi-Agent d'Aide au Déplacement, SMAAD. Les agents de ce système utilisent le module d'optimisation développé dans la première partie. Notre travail est réalisé dans le cadre du projet « VIATIC-MOBILITE », qui est le projet 6 du pôle de compétitivité I-Trans.

La qualité vocale des systèmes de télécommunications est évaluée par les opérateurs pour satisfaire leurs usagers. Les méthodes subjectives permettent de connaître le jugement humain mais sont coûteuses : les méthodes objectives représentent une alternative. Un modèle objectif est proposé pour évaluer la qualité en contexte de conversation à partir des qualités d'écoute, de locution et d'interaction. Il est divisé en deux parties : la partie intégration combine les notes de qualité d'écoute, de locution et d'interaction pour estimer une note de qualité de conversation et la partie mesure fournit les notes objectives de qualité à la partie intégration en se basant sur les modèles existants de qualité vocale dans les différents contextes. Quatre tests subjectifs étudiant différentes dégradations de la qualité de conversation sont utilisés pour construire et valider la partie intégration du modèle. Les performances du modèle sont vérifiées en l'appliquant à des signaux réels.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Ce travail de thèse a pour but de fournir les bases scientifiques et techniques nécessaires au développement d'un programme de sélection en milieu tropical appliqué à une race caprine locale de Guadeloupe. La chèvre Créole est une chèvre de petite taille, aux bonnes aptitudes maternelles, issue du métissage de chèvres d'Afrique et d'Europe de l'ouest. Cette chèvre rustique est bien adaptée au climat tropical et présente une certaine tolérance aux parasites internes. Les éleveurs guadeloupéens l'utilisent pour la production de viande. En 2008, un projet de programme de sélection pour la chèvre Créole a démarré, projet qui réunit la coopérative caprine Cabricoop, la chambre d'agriculture et l'INRA. Les différentes étapes nécessaires à la conception et à l'optimisation de ce programme sont présentées dans ce travail de thèse. En termes d'objectif de sélection, des enquêtes auprès des éleveurs de la Cabricoop ont montré l'importance que les éleveurs attribuent tant à la croissance de leurs animaux qu'aux qualités maternelles des femelles. Afin de quantifier cette importance sur des bases économiques explicites, la modélisation des différentes composantes de la marge brute d'un atelier caprin a permis de déterminer les pondérations économiques des différents caractères à inclure dans l'objectif de sélection de la race. L'objectif de sélection intègre des caractères de production (poids et rendement carcasse à 11 mois), de reproduction (fertilité) et de résistance (OPG = nombre d'oeufs de strongles par gramme de fèces) et résilience (hématocrite) au parasitisme. Quel que soit le scénario envisagé en termes de quantité ou coût des intrants, le poids et la fertilité sont les deux composantes pour lesquelles une amélioration d'un écart type génétique de caractère amène le bénéfice escompté le plus grand. Les pondérations standardisées et cumulées de ces deux caractères expliquent entre 70 et 90% du total des pondérations économiques standardisées des caractères inclus dans l'objectif. A l'exception du rendement carcasse, les paramètres phénotypiques et génétiques des différents caractères inclus dans l'objectif de sélection ont été estimés pour la chèvre Créole à partir des données recueillies à l'unité expérimentale de Gardel. L'héritabilité est modérée pour le poids (0,32), faible pour la fertilité (0,11) et intermédiaire pour l'hématocrite (0,13) et l'OPG (0,18). Les corrélations génétiques estimées entre les caractères sont soit très faibles ou plutôt favorables. Les simulations de réponses à la sélection pour un noyau de sélection de 300 mères Créoles ont montré qu'il était possible d'améliorer à la fois le poids, le rendement carcasse, la fertilité, l'hématocrite et l'OPG. Améliorer résistance et résilience au parasitisme ne diminue que très légèrement la réponse à la sélection espérée sur les caractères de production. Il est donc possible de concilier des objectifs de production, de reproduction et d'adaptation au milieu pour la chèvre Créole en Guadeloupe. Ce travail de thèse a donc fourni les bases pour le développement d'un programme de sélection durable, pour une race locale, en milieu tropical.

L'informatique a changé profondément les aspects méthodologiques du processus de découverte dans les différents domaines du savoir. Les chercheurs ont à leur disposition aujourd'hui de nouvelles capacités qui permettent d'envisager la résolution de nouveaux problèmes. Les plates-formes parallèles et distribués composées de ressources partagés entre différents participants peuvent rendre ces nouvelles capacités accessibles à tout chercheur et offre une puissance de calcul qui a été limitée jusqu'à présent, aux projets scientifiques les plus grands (et les plus riches). Dans ce document qui regroupe les résultats obtenus pendant mon doctorat, nous explorons quatre facettes différentes de la façon dont les organisations s'engagent dans une collaboration sur de plates-formes parallèles et distribuées. En utilisant des outils classiques de l'analyse combinatoire, de l'ordonnancement multi-objectif et de la théorie des jeux, nous avons montré comment calculer des ordonnancements avec un bon compromis entre les résultats obtenu par les participants et la performance globale de la plate-forme. En assurant des résultats justes et en garantissant des améliorations de performance pour les différents participants, nous pouvons créer une plate-forme efficace où chacun se sent toujours encourager à collaborer et à partager ses ressources. Tout d'abord, nous étudions la collaboration entre organisations égoïstes. Nous montrons que le comportement égoïste entre les participants impose une borne inférieure sur le makespan global. Nous présentons des algorithmes qui font face à l'égoïsme des organisations et qui présentent des résultats équitables. La seconde étude porte sur la collaboration entre les organisations qui peuvent tolérer une dégradation limitée de leur performance si cela peut aider à améliorer le makespan global. Nous améliorons les bornes d'inapproximabilité connues sur ce problème et nous présentons de nouveaux algorithmes dont les garanties sont proches de l'ensemble de Pareto (qui regroupe les meilleures solutions possibles). La troisième forme de collaboration étudiée est celle entre des participants rationnels qui peuvent choisir la meilleure stratégie pour leur tâches. Nous présentons un modèle de jeu non coopératif pour le problème et nous montrons comment l'utilisation de "coordination mechanisms" permet la création d'équilibres approchés avec un prix de l'anarchie borné. Finalement, nous étudions la collaboration entre utilisateurs partageant un ensemble de ressources communes. Nous présentons une méthode qui énumère la frontière des solutions avec des meilleurs compromis pour les utilisateurs et sélectionne la solution qui apporte la meilleure performance globale.