Ces dernières années, les systèmes de communication sans fil utilisant plusieurs antennes en émission et en réception, couramment appelés systèmes MIMO, sont apparus comme une solution très prometteuse pour améliorer le débit et la fiabilité des transmissions de données. Dans le but de répartir l'information sur les différentes antennes d'émission, une multitude de codes temps-espace a été proposée dans la littérature. Parmi ces schémas de codage, les codes temps-espace en treillis (STTCs), basés sur des modulations codées en treillis dans un contexte multi-antennaire, se sont distingués comme offrant un très bon gain de codage. Des critères ont été élaborés pour analyser les performances des STTCs. Cependant, pour identifier les codes offrant les meilleures performances, il est nécessaire d'appliquer ces critères sur la totalité des codes. Cette recherche exhaustive nécessite un temps important de calcul, en particulier lorsque le nombre d'antennes d'émission, le nombre d'états du codeur ou encore la complexité de la modulation augmentent. Le but de cette thèse est de proposer des solutions rapides et efficaces pour construire les meilleurs STTCs sans avoir recours à une recherche exhaustive. Dans un premier temps, une nouvelle méthode de construction des STTCs $2^n$-PSK équilibrés est présentée. L'avantage de cette classe de codes est de contenir l'ensemble des STTCS offrant les meilleures performances. Il suffit alors d'analyser seulement les STTCs $2^n$-PSK équilibrés pour trouver les meilleurs STTCs. Une deuxième méthode appelée 'coset partitioning' est ensuite présentée. Exploitant une approche en cosets du set partitioning proposé par Ungerboeck, elle permet de générer de manière optimale les STTCs $2^n$2n-PSK les plus performants. Ainsi, les meilleurs STTCs 4-PSK de 2 à 8 antennes d'émission et les meilleurs STTCs 8-PSK de 2 à 6 antennes d'émission sont proposés. Par la suite, nous nous intéressons à la génération des STTCs $2^{2n}$-QAM. Basée sur la décomposition de la distance euclidienne entre deux mots de code, une méthode permettant la génération des meilleurs STTCs $2^{2n}$-QAM est décrite. Ainsi, grâce à l'efficacité de cette méthode, pour la première fois, des STTCs 16-QAM avec 3 et 4 antennes et des STTCs 64-QAM avec 2 et 3 antennes d'émission sont construits. Par ailleurs, les performances de tous les nouveaux codes proposés durant ces travaux de thèse sont évaluées par simulation en présence de canaux lents ou rapides de Rayleigh et en prenant en référence les meilleurs codes correspondants jusqu'alors publiés (lorsqu'ils existent).

Cette thèse étudie la vérification automatique de propriétés de sûreté de systèmes logico-numériques discrets ou hybrides. Ce sont des systèmes ayant des variables booléennes et numériques et des comportements discrets et continus. Notre approche est fondée sur l'analyse statique par interprétation abstraite. Nous adressons les problèmes suivants : les méthodes d'interprétation abstraite numériques exigent l'énumération des états booléens, et par conséquent, ils souffrent du probléme d'explosion d'espace d'états. En outre, il y a une perte de précision due à l'utilisation d'un opérateur d'élargissement afin de garantir la terminaison de l'analyse. Par ailleurs, nous voulons rendre les méthodes d'interprétation abstraite accessibles à des langages de simulation hybrides. Dans cette thèse, nous généralisons d'abord l'accélération abstraite, une méthode qui améliore la précision des invariants numériques inférés. Ensuite, nous montrons comment étendre l'accélération abstraite et l'itération de max-stratégies à des programmes logico-numériques, ce qui aide à améliorer le compromis entre l'efficacité et la précision. En ce qui concerne les systèmes hybrides, nous traduisons le langage de programmation synchrone et hybride Zelus vers les automates hybrides logico-numériques, et nous étendons les méthodes d'analyse logico-numérique aux systèmes hybrides. Enfin, nous avons mis en oeuvre les méthodes proposées dans un outil nommé ReaVer et nous fournissons des résultats expérimentaux. En conclusion, cette thèse propose une approche unifiée à la vérification de systèmes logico-numériques discrets et hybrides fondée sur l'interprétation abstraite qui est capable d'intégrer des méthodes d'interprétation abstraite numériques sophistiquées tout en améliorant le compromis entre l'efficacité et la précision.

Les études présentées dans ce mémoire portent sur la simulation numérique et l'analyse physique des milieux granulaires immergés dans un fluide. Des développements numériques ont été réalisés pour coupler la méthode Lattice Boltzmann pour la dynamique du fluide avec la méthode Contact Dynamics en 2D et avec la méthode Molecular Dynamics en 3D pour la dynamique des grains. Ces outils numériques ont été utilisés pour étudier l'initiation des avalanches sur un plan incliné en fonction de la compacité initiale et de l'angle d'inclinaison en 3D. Les résultats sont en bon accord quantitatif avec les expériences et ont permis de mettre en évidence la stabilisation de la pente granulaire par une pression négative du fluide interstitielle induite par la dilatance, et l'évolution spatiotemporelle des grandeurs telles que la compacité et la déformation de cisaillement. Ces évolutions dans la phase de fluage qui précède la rupture de pente ont pu être mises à l'échelle par un modèle théorique incorporant la loi de Darcy et l'effet de la dilatance sur l'angle de frottement interne. L'analyse de la texture granulaire a révélé la distortion du réseau des contacts pendant le fluage et la saturation de l'anisotropie comme un critère de rupture. La propagation des avalanches granulaires a été étudiée dans une configuration 2D pour deux géométries différentes : 1) l'effondrement et l'étalement d'une colonne sous son propre poids, 2) l'étalement d'une pente sous l'effet d'une énergie cinétique injectée. Nous avons en particulier montré que la distance et la durée d'étalement obéissent à des lois de puissance en fonction du rapport d'aspect initial ou de l'énergie injectée. Le fluide exerce deux effets contradictoires : réduire les temps de relaxation et lubrifier les contacts. Ces effets ont été analysés dans le régime visqueux en fonction des conditions initiales et la viscosité du fluide.

L'objectif principal de cette thèse est consacré à l'étude de la dynamique et la rhéologie d'une suspension de particules denses qui se comportent comme des fluides complexes. La premier partie de cette thèse est consacrée à l'étude de la déformation, le comportement dynamique et la rhéologie d'une suspension de vésicule (un modèle simple pour les globules rouges) sous l'action d'un écoulement externe appliqué (cisaillement simple et Poiseuille confiné) dans la limite de faible nombre de Reynolds. L'étude basée sur des simulations numériques en utilisant la méthode des intégrales de frontière. Cette étude est inspirée par le comportement des globules rouges dans le système microvasculaire. Notre étude est ensuite consacrée aux effets du confinement et du nombre capillaire sur la forme, le comportement dynamique et la viscosité effective d'une suspension de vésicules. Nous avons montré que pour des membranes rigides (nombre capillaire petit), on peut observer en plus de la forme parachute et pantoufle, les formes suivantes : (i) forme d'oscillation centrée, (ii) forme d'oscillation décentrée et (iii) la forme cacahuète. Egalement, nous avons examiné l'influence du contraste de viscosité sur la dynamique et la rhéologie d'une vésicule. Nous avons montré qu'il existe une phase de "coexistence" entre la forme pantoufle et la forme parachute. Dans la deuxième partie de cette thèse, nous avons proposé un modèle analytique et une étude numérique pour étudier les propriétés dynamiques et rhéologiques d'une suspension de particules rigides sous écoulement de Poiseuille confiné. Le débit, la dissipation et la viscosité apparente sont étudiés en fonction de la structure des plaques dans le canal. Egalement, l'étude numérique d'une suspension de particules sphériques (formes des chaînes de particules) est en accord qualitatif avec le modèle analytique qui considère les longues plaques. Cette étude numérique est basée sur une méthode de la dynamique des particules du fluide, où les particules sont représentées par un champ scalaire ayant une viscosité élevée à l'intérieur.

Les canaux vocodés sont les canaux de communications dédiés à la voix et dans lesquels le signal traverse divers équipements destinés au transport de la voix tels que des codeurs de parole, des détecteurs d'activité vocale (VAD), des systèmes de transmission discontinue (DTX). Il peut s'agir de systèmes de communications téléphoniques filaires ou mobiles (réseaux cellulaires 2G/3G, satellites INMARSAT...) ou de voix sur IP. Les codeurs de parole dans les normes récentes pour les réseaux de téléphonie mobiles ou de voix sur IP font appel à des algorithmes de compression dérivés de la technique CELP (Code Excited Linear Prediction) qui permettent d'atteindre des débits de l'ordre de la dizaine de Kb/s bien inférieurs aux codeurs des réseaux téléphoniques filaires (typiquement 64 ou 32 Kb/s). Ces codeurs tirent leur efficacité de l'utilisation de caractéristiques spécifiques aux signaux de parole et à l'audition humaine. Aussi les signaux autres que la parole sont-ils généralement fortement distordus par ces codeurs. La transmission de données sur les canaux vocodés peut être intéressante pour des raisons liées à la grande disponibilité des canaux dédiés à la voix et pour des raisons de discrétion de la communication (sécurité). Mais le signal modulé transmis sur ces canaux vocodés est soumis aux dégradations causées par les codeurs de parole, ce qui impose des contraintes sur le type de modulation utilisé. Cette thèse a porté sur la conception et l'évaluation de modulations permettant la transmission de données sur les canaux vocodés. Deux approches de modulations ont été proposées pour des applications correspondant à des débits de transmission possibles assez différents. La principale application visée par la thèse concerne la transmission de parole chiffrée, transmission pour laquelle le signal de parole est numérisé, comprimé à bas débit par un codeur de parole puis sécurisé par un algorithme de cryptage. Pour cette application, nous nous sommes focalisés sur les réseaux de communications utilisant des codeurs CELP de débits supérieurs à la dizaine de Kb/s typiquement les canaux de communication mobiles de deuxième ou troisième génération. La première approche de modulation proposée concerne cette application. Elle consiste à utiliser des modulations numériques après optimisation de leurs paramètres de façon à prendre en compte les contraintes imposées par le canal et à permettre des débits et des performances en probabilité d'erreur compatibles avec la transmission de parole chiffrée (typiquement un débit supérieur à 1200 b/s avec un BER de l'ordre de 10-3). Nous avons montré que la modulation QPSK optimisée permet d'atteindre ces performances. Un système de synchronisation est aussi étudié et adapté aux besoins et aux contraintes du canal vocodé. Les performances atteintes par la modulation QPSK avec le système de synchronisation proposé, ainsi que la qualité de la parole sécurisée transmise ont été évalués par simulation et validés expérimentalement sur un canal GSM réel grâce à un banc de test développé dans la thèse.La deuxième approche de modulation a privilégié la robustesse du signal modulé lors de la transmission à travers un codeur de parole quelconque, même un codeur à bas débit tels que les codeurs MELP à 2400 ou 1200 b/s. Dans ce but, nous avons proposé une modulation effectuée par concaténation de segments de parole naturelle associée à une technique de démodulation qui segmente le signal reçu et identifie les segments de parole par programmation dynamique avec taux de reconnaissance élevé. Cette modulation a été évaluée par simulation sur différents codeurs de parole. Elle a aussi été testée sur des canaux GSM réels. Les résultats obtenus montrent une probabilité d'erreur très faible quelque soit le canal vocodé et le débit des codeurs de parole utilisés mais pour des débits possibles relativement faibles. Les applications envisageables sont restreintes à des débits typiquement inférieurs à 200 b/s.Enfin nous nous sommes intéressés aux détecteurs d'activité vocale dont l'effet peut-être très dommageable pour les signaux de données. Nous avons proposé une méthode permettant de contrer les VAD utilisés dans les réseaux GSM. Son principe consiste à rompre la stationnarité du spectre du signal modulé, stationnarité sur laquelle s'appuie le VAD pour décider que le signal n'est pas de la parole

Les écoulements diphasiques en milieu poreux sont des phénomènes complexes et qui concernent de nombreux problèmes industriels. EDF travaille sur la faisabilité et la sécurité d'un stockage en couche géologique profonde de déchets nucléaires. Dans ce domaine la simulation des écoulements diphasiques en milieu poreux est particulièrement importante dans au moins trois domaines : tout d'abord lors de la phase de ventilation des galeries du stockage qui pourrait désaturer la roche présente et ainsi en modifier ses propriétés de rétention, mais également lors de la phase de resaturation des matériaux et enfin lors de l'arrivée de l'eau sur les parties métalliques contenues dans le stockage qui entraînera alors des phénomènes de corrosion et un dégagement d'hydrogène. Dans ce contexte, EDF souhaite se doter de méthodes numériques performantes et robustes ne nécessitant pas de conditions restrictives sur la forme des mailles. Ce travail s'inscrivant dans cette problématique, est consacré dans un premier temps au développement du schéma volumes finis SUSHI (Scheme Using Stabilization and Hybrid Interfaces) dans le code de mécanique d'EDF, Code_Aster afin de modéliser les écoulements diphasique en milieu poreux. Ce schéma a été développé en 2D et en 3D. Parallèlement une nouvelle formulation qui permet de traiter de manière uniforme les écoulements en milieu saturé et insaturé pour des problèmes miscibles et immiscibles est proposée. Différentes études modélisant des difficultés liées aux problématiques du stockage de déchets radioactifs en couches géologiques profondes ont été traitées. On peut citer l'étude d'un bi-matériau qui met en avant le ré-équilibrage capillaire d'un matériau par un autre possédant des propriétés et des conditions initiales en saturation très hétérogènes. On citera également l'étude de l'injection d'hydrogène dans un milieu initialement saturé en eau pure qui est tirée du benchmark " Ecoulement diphasique " proposé par le GNR MOMAS. Cette étude avait pour objectif de mettre en évidence le bon traitement de l'apparition d'une phase dans un milieu saturé et donc la pertinence de notre nouvelle formulation à traiter d'une manière unifié un problème d'écoulement saturé et un problème d'écoulement insaturé

Le message principal livré par ce manuscrit, qui constitue également le fil conducteur des activités techniques et scientifiques que nous présentons ici, est que les méthodes mathématiques avancées, en particulier issues du domaine des probabilités et de la statistique sont nécessaires pour la résolution de problèmes d'ingénierie. Ces méthodes, pas toujours familières aux ingénieurs, deviennent de plus en plus indispensables dans la pratique industrielle. Le but de ce document est aussi de résumer et de mettre en valeur un certain nombre de contributions personnels a différents problèmes techniques et scientifiques. Ces contributions sont de nature différente : (i) méthodologiques : adapter, améliorer ou critiquer l'utilisation de méthodes et outils, (ii) techniques : résoudre des problèmes spécifiques d'ingénierie, (iii) managériales : organiser et piloter projets et activités de R&D. Malgré la diversité des méthodes, outils, domaines d'application et nature des contributions apportées, tous ces travaux restent dans un cadre cohérent : l'amélioration des études d'ingénierie à l'aide de méthodes mathématiques avancées pour traiter les incertitudes et recommander des décisions.

Le rôle des outils numériques dans les situations d'enseignement-apprentissage est analysé du point de vue des savoirs en jeu en éducation technologique. Leur impact dans les processus de transmission et appropriation est appréhendé au travers de l'analyse de l'activité des enseignants.

Cette thèse porte sur l'usage du dictionnaire général français monolingue dans l'enseignement primaire. Cet usage, aujourd'hui banal, est-il ancien ? Depuis quand le dictionnaire a-t-il sa place dans l'enseignement ? Au XXIe siècle, de quels dictionnaires s'agit-il ? Sont-ils couramment consultés par les enseignants et les élèves ? Quel rôle jouent-ils dans l'apprentissage de la langue maternelle ? Quelle place occupent les outils numériques ? Pour tenter de répondre à ces questions, cette étude s'organise en trois parties consacrées, respectivement, à l'institutionnalisation de l'enseignement primaire ; à l'adaptation des premiers dictionnaires à cet enseignement ; à l'usage actuel du dictionnaire à l'école. Ces trois parties sont précédées d'un préambule qui s'attache à la définition du dictionnaire, à son élaboration et à son histoire. Il est toujours tenu compte du contexte historique, sans négliger les rapprochements contemporains, notamment géographiques. La conclusion dresse un bilan des efforts accomplis et ouvre des perspectives. À cette thèse sont jointes plusieurs annexes : textes de lois, listes de dictionnaires chronologiquement ou thématiquement classés, extraits de rapports officiels, tableaux comparatifs..

Le sujet de cette thèse est le développement de méthodes pour la découverte automatique des propriétés des variables numériques d'un programme. Nous nous plaçons dans le cadre de l'interprétation abstraite et introduisons plusieurs nouveaux domaines numériques, dont celui des octogones, de coût et de précision intermédiaires entre les domaines non relationnels (peu précis) et relationnels (coûteux) existants. Nous présentons leur adaptation à l'analyse des nombres à virgule flottante, jusqu'à présent limitée aux domaines non relationnels. Enfin, nous présentons les méthodes génériques de linéarisation et de propagation symbolique améliorant leur précision pour un surcoût réduit. Les méthodes introduites dans cette thèse ont été intégr! ées à l'analyseur Astrée et appliquées à la preuve d'absence d'erreurs dans le logiciel embarqué critique de commande de vol des avions Airbus A340, justifiant ainsi l'intérêt de nos méthodes pour des cadres d'applications réelles.