Les terminaux à conteneurs constituent des interfaces inter-modales essentielles pour le réseau de transport mondial. Une manutention efficace des conteneurs dans des terminaux est d'une importance cruciale pour la réduction des coûts de transport et la détermination des plans d'embarquement. Dans ce rapport de thèse, nous proposons principalement une approche de résolution distribuée à travers la description d'un modèle d'optimisation heuristique distribuée baptisé COSAH COntainer Stacking via multi-Agent approach and Heuristic methodqui permet de simuler, résoudre et optimiser l'espace de stockage disponible pour manier les départs et les arrivées des conteneurs dans un port fluvial ou maritime. Autrement dit, COSAH permet de minimiser le nombre total de mouvements parasites tout en respectant des contraintes dynamiques d'espace et de temps. Les performances de COSAH sont ensuite évaluées sur des instances générées aléatoirement, ainsi que des instances extraites de la réalité d'un port maritime tunisien : le port de Radès. En effet, nous avons procédé à une étude expérimentale implémentant et comparant COSAH à la version centralisée associée, toutes deux basées sur un algorithme de recherche non informée et un algorithme de recherche informée. Les résultats obtenus, présentés et illustrés, montrent l'efficacité de COSAH en particulier, et d'une méthode d'optimisation heuristique distribuée alliant les deux concepts : Agent et Heuristique, en général.

Les intergiciels sont aujourd'hui incontournables lorsqu'il s'agit de développer des applications réparties. Des simples Web Services aux architectures n-tiers, d'une unique communication client / serveur à un réseau dynamique pair-à-pair, chaque conception requiert des outils adaptés et performants. En complément de chaque utilisation spécifique des intergiciels, leur contexte de déploiement nécessite des mécanismes particuliers afin de s'adapter au mieux à la situation.<br /><br />Face à ces besoins, les intergiciels proposent des modèles de programmation et de communication différents, fournissant des moyens de communication efficaces dans certaines situations.<br /><br />La mobilité introduit une problématique supplémentaire pour ces intergiciels. D'une part l'interopérabilité devient inévitable ; le nombre de composants répartis susceptibles d'être utilisés en mobilité est immense, et les composants peuvent être développés avec différents intergiciels. D'autre part le contexte varie, et avec lui les conditions et capacités de communication évoluent.<br /><br />Nous traitons dans cette thèse des impératifs actuels d'un intergiciel en mobilité. Nous proposons pour cela une approche multi-modèles, basée sur les travaux actuels dans ce domaine, et présentant des concepts novateurs.<br /><br />Cette approche se compose d'un modèle de programmation générique, proposant différents types de communications synchrones, asynchrones, et basées sur des patrons de conception. Elle se compose également d'une combinaison de modèles de communication, assurant l'interopérabilité avec les intergiciels standards, et offrant des possibilités de communications enrichies, capables de s'adapter aux changements de contextes.<br />Des politiques d'adaptation définissent les règles de combinaison des modèles en fonction d'observations du contexte, afin de se comporter au mieux face à ses évolutions.<br />Des mécanismes d'adaptation dynamique permettent à notre approche de proposer une prise en compte en temps réel des changements de contexte, et permettent également de reconfigurer le système pendant son exécution afin de répondre à des besoins de déploiement.<br /><br />Nous avons validé notre approche au travers d'une application concrète aux problèmes engendrés par l'utilisation d'un proxy Internet à bord des trains : le développement d'un greffon multi-modèles a illustré et justifié notre approche, et l'évaluation de ce greffon a montré les bénéfices de celle-ci face aux changements de contexte.<br />Pour implémenter entièrement notre approche et proposer ainsi un intergiciel multi-modèles, nous avons conçu et développé notre infrastructure logicielle multi-modèles, proposant tous les concepts de l'approche. Une première version "statique" puis une version finale offrant les mécanismes d'adaptation dynamique ont été implémentées et permettent ainsi de profiter des bénéfices de notre approche multi-modèles.

La circulation des tramways peut produire des vibrations se propageant dans le sol, et induire une gêne pour les personnes résidant et travaillant dans les bâtiments voisins de la voie. Par conséquent, lors de la réalisation d'une ligne de tramway, il est important de considérer ces phénomènes vibratoires. Dans ce contexte, l'objectif de ce travail est double. Premièrement, les procédures expérimentales permettant d'analyser les vibrations générées par le tramway sont présentées, prenant en compte notamment : la vitesse et le type de rame (deux constructeurs), le type de pose (classique ou sur dalle flottante), et les caractéristiques du sol. Le traitement des données expérimentales fournit des informations sur le sol (procédure Sasw), une validation du comportement de la voie (mobilités de transfert voie-sol et réceptance du rail) en comparaison avec les données constructeurs, et l'estimation des efforts dynamiques exercés par les essieux sur les rails (mesures de vibrations sur un bogie porteur). Le second objectif correspond à la validation des modèles numériques (prenant en compte la voie et le sol) pour la prédiction des vibrations générées. Les efforts dynamiques provenant des essieux sont estimés à partir de rugosités simplifiées pour les rails et les roues, ces rugosités étant validées par comparaison avec les mesures. Les équations couplées sont résolues dans le domaine des nombres d'onde, à l'aide de transformées de Fourier (une ou deux dimensions). L'effet de la rotation de la dalle flottante ou d'assise est pris en compte et intervient de façon significative dans la réponse du sol. Étant donné que la précision des amplitudes vibratoires calculées dans le cas d'un passage de tramway est correcte, ce travail peut être utilisé pour l'analyse et la validation de nouvelles lignes de tramways.

Cette thèse contribue à l'amélioration de la fiabilité des réponses fournies par les systèmes pair-à-pair sémantiques de plusieurs façons. La première partie de la thèse a pour but de garantir de ne produire que des réponses bien-fondées quand le réseau global d'un tel système est inconsistant. Deux algorithmes ont été proposés. Le premier détecte des causes d'inconsistances. Il termine, est décentralisé, complet, correct. Le deuxième profite des résultats du premier pour garantir de ne raisonner que de manière bien-fondée. Il termine, est décentralisé, correct. Des résultats prometteurs ont été obtenus à partir des expérimentations. La seconde partie de la thèse considère le problème de modéliser la confiance des pairs en des réponses obtenues. Basé sur un modèle probabiliste, le modèle de confiance proposé a une sémantique claire et permet aux pairs d'estimer la confiance en des réponses obtenues avec une bonne précision même avec peu observations.

Nous considèrerons ici les modèles linéaires de multiflots, en mettant l'accent sur leurs multiples applications, notamment dans les domaines de l'ordonnancement et de la gestion de production. Il est bien connu que ces problèmes, présentés sous forme de programmes linéaires, sont difficiles à résoudre, contrairement à leurs homologues en flot simple. Les méthodes de résolution classiques proposent, déjà dans le cas continu, des solutions approchées. On distingue: les méthodes de décomposition par les prix, par les ressources, ainsi que les techniques de partitionnement. Si l'on rajoute la contrainte d'intégralité sur les flots, ces problèmes deviennent extrêmement difficiles. Nous nous sommes intéressés à un cas particulier des problèmes de multiflots, à savoir: le biflot entier de coût minimum. Nous avons développé une approche de résolution heuristique basée sur un principe de décomposition mixte, opérant itérativement, à la fois par une allocation de ressources et par un ajustement des coûts. L'implémentation de cette approche met en évidence des résultats prometteurs, obtenus sur des problèmes de biflot purs, générés aléatoirement. Nous avons donc envisagé une deuxième application sur des problèmes de biflot plus structurés. Ces problèmes de biflot ont été proposés pour la modélisation du problème de voyageur de commerce. Cette application débouche d'une part, sur l'utilisation d'un algorithme de recherche d'un circuit hamiltonien dans un graphe, et d'autre part, sur le développement de techniques heuristiques pour la construction de tournées intéressantes

Le travail de ma thèse s'inscrit dans le cadre d'un projet industriel proposé par une entreprise luxembourgeoise (Gottschol-Alcuilux) et en collaboration avec le Centre de Recherche Public Henry Tudor du Luxembourg (Laboratoire des Technologies Industriels (LTI)). L'objectif consiste à mettre au point une méthode numérique de détermination de la forme des outils d'emboutissage et du flan de pièces de précision en tôlerie fine pour que ce dernier, une fois déformé en une ou plusieurs opérations, correspond à la définition tridimensionnelle du cahier des charges. La méthode a pour objectif de remplacer une démarche expérimentale coûteuse par essais–erreur. <br /><br />Deux démarches numériques ont été développées, la première est relative à la détermination de la forme du flan. Elle consiste à estimer la forme du flan par Approche Inverse en partant de la forme 3D demandée. Puis, un logiciel de simulation incrémental par éléments finis en 3D est utilisé dans une procédure d'optimisation heuristique pour déterminer la forme du flan. Dans la deuxième démarche, il s'agit de déterminer la forme des outils d'emboutissage en utilisant le logiciel de simulation incrémental couplé avec une méthode de compensation du retour élastique en 2D. La démarche numérique est validée expérimentalement dans le cas d'un emboutissage réalisé en une ou plusieurs passes, à l'aide d'une presse manuelle, sans serre flan et avec des outils de forme très complexe.

Le compilateur de parties opératives Apollon qui est présenté dans cette thèse, génère automatiquement le dessin des masques de parties opératives de circuits VLSI de type microprocesseur à partir d'une description comportementale de niveau transfert de registres constituée d'un ensemble non ordonné d'instructions opératives. Une instruction opérative est formée d'un ensemble d'actions opératives dont le format est prédéfini (transferts - opérations unaires ou binaires et entrées-sorties) devant se dérouler en parallèle en au plus deux cycles opératifs. Un cycle opératif comprend 4 phases qui correspondent aux 4 phases d'exécution d'un transfert entre 2 registres. Apollon est basé sur un modèle dérivé de la partie opérative du MC68000. Ce modèle fournit à la fois: un modèle architectural: la partie opérative est formée d'un ensemble de sous parties opératives alignées à deux bus qui traversent tous les éléments d'une sous partie opérative; un modèle temporel: une opération prend 2 cycles, un transfert un seul; un modèle électrique: les bus sont complémentés et à précharge; un modèle topologique: le plan de masse est basé sur la structure en tranches appelée communément bis slice. Le compilateur génère d'abord l'architecture de la partie opérative, puis les spécification des masques à partir de cette architecture. Pour générer l'architecture de la partie opérative en un temps raisonnable, le compilateur doit recourir à des heuristiques. Pour générer le dessin des masques, le compilateur utilise l'assembleur de silicium Lubrick qui permet d'assembler et de connecter automatiquement les cellules de base des éléments fonctionnels de la partie opérative. Les spécifications des masques sont générées à partir des spécifications des cellules prédéfinies d'une bibliothèque NMOS.

Beaucoup d'analyses ont tendance à se limiter à la notion d'accès ou à la dotation en équipements en comparant l'appropriation des outils de communication et en évoquant la fracture numérique entre les cadres sociaux du Nord et du Sud. Ainsi, la dimension culturelle de l'appropriation des outils de communication est souvent évacuée au profit d'une conception universaliste. Le phénomène de l'appropriation s'insère dans un cadre socioculturel bien déterminé avec des représentations, des valeurs spécifiques qui interviennent dans le processus. S'intéresser au contexte socioculturel et aux individus est essentiel pour saisir la complexité de l'appropriation des TIC. C'est tout l'intérêt que revêt une recherche comparative sur l'appropriation de la téléphonie mobile et d'internet dans deux cadres sociaux appartenant à des univers géographiquement, économiquement et culturellement différents comme Rennes et Thiès. En tant qu'éléments constitutifs de la physionomie de ces deux villes, de tels outils techniques incorporent leurs réalités socioculturelles. En plus d'être révélateur des modèles de société en vigueur dans ces deux villes, l'appropriation de ces deux outils reflète les identités culturelles des usagers. Ce phénomène fait transparaître les rapports sociaux de générations, de genres, de groupes entre autres. La culture technique, précisément un savoir-faire et une compétence minimale, intervient aussi pour rendre opérationnel l'outil de communication. Celle-ci varie, toutefois, selon les usagers, les groupes et les cadres socioculturels. L'appropriation implique aussi les finalités, les représentations, les identités des usagers ainsi qu'un ensemble de capitaux (culturel, économique et symbolique) mobilisables. Les codes acquis durant le processus de socialisation ainsi que les trajectoires et visions du monde se reflètent sur le phénomène. Par conséquent, l'articulation entre les identités des usagers et les objets techniques mais aussi les contextes socioculturels, constitue une entrée privilégiée pour appréhender l'appropriation

Dans le monde actuel, nous sommes de plus en plus souvent face à un public multilingue. Dans le contexte scolaire, l'enseignement des langues doit s'adapter à cette évolution. A partir de la présentation d'un établissement scolaire à sections internationales et d'une étude des situations de différents groupes d'apprenants (germanophones, francophones, bi- et multilingues) ainsi que des erreurs spécifiques de chaque groupe, on peut constater des tendances dans la fréquence des erreurs. Une analyse détaillée des erreurs orthographiques, morphologiques, sémantiques et syntaxiques peut aider à améliorer et approfondir la compréhension des processus d'apprentissage. On constate aussi bien des similitudes que des différences dans les types d'erreurs et leur fréquence, selon l'âge et selon la place des langues chez les différents apprenants. Les résultats et les conclusions obtenus devraient conduire à un changement d'attitudes face aux erreurs. En plaçant ainsi l'apprenant au centre des discussions et des réflexions, les approches didactiques et pédagogiques devraient évoluer. Des exemples d'unités pédagogiques se basant sur une approche contrastive illustrent de manière concrète les possibilités d'enseignement dans un contexte multilingue. En rendant l'enseignement plus motivant, en valorisant tous les élèves, en profitant de leurs compétences, en favorisant la réflexion critique, interdisciplinaire et interculturelle, une telle approche est une réponse aux besoins actuels de la société.

Lors de l'analyse physico-chmique d'un échantillon d'une substance multi-composantes par des techniques spectroscopiques, les signaux mesurés sont des mélanges linéaires des spectres purs des différentes composantes de cette substance. L'objectif de l'analyse est d'identifier la composition de la substance via l'estimation des spectres purs et la détermination de leurs concentrations. C'est un problème de séparation de sources dans lequel les spectres purs sont les signaux sources et les coefficients de mélange permettent de déduire les proportions des différentes composantes. La contrainte principale est la non-négativité des signaux sources et des coefficients de mélange. Il s'agit donc d'un problème de séparation de sources non-négatives.<br /><br />La séparation de sources est un problème fondamental en traitement du signal dont une hypothèse forte est celle de l'indépendance statistique des signaux sources. Compte tenu du recouvrement entre les spectres purs, leur corrélation mutuelle devient parfois importante. Dans une telle situation, l'application d'une méthode fondée sur l'hypothèse d'orthogonalité s'avère infructueuse. Par ailleurs, une analyse des solutions admissibles sous la contrainte de non-négativité montre que cette contrainte toute seule ne permet d'obtenir une solution unique que dans certains cas particuliers. Ces deux constats motivent le développement de deux méthodes qui considèrent conjointement l'hypothèse d'indépendance et l'information de non-négativité. La première méthode est issue de l'approche de séparation par maximum de vraisemblance et la deuxième se fonde sur une inférence bayésienne. Une évaluation numérique des performances des méthodes développées à l'aide de données synthétiques et le traitement de signaux expérimentaux permettent, d'une part, de mettre en évidence les avantages de ces méthodes par rapport aux approches usuelles et, d'autre part, de déceler leurs limitations. Des applications au traitement de signaux réels issus de trois types de spectroscopies (Infrarouge, Raman et Ultraviolet-Visible) illustrent l'apport de la séparation de sources non-négatives à l'analyse physico-chimique.