Chaque année, prés de 50 millions de m3 de sédiments sont extraits des ports et des cours d'eau français. Dans le Nord-Pas de Calais, région ayant connu un important essor industriel au XXe siècle, une proportion importante des boues draguées présente des teneurs en métaux lourds et/ou en matière organique élevées. Les filières d'élimination classiques telles que l'épandage ou le stockage n'étant pas ou peu adaptées aux matériaux fortement pollués, des procédés de traitement ont été mis au point. Une fois traités, il est possible d'envisager la valorisation des sédiments dans les matériaux du Génie Civil.<br /><br />L'objet de ce travail de thèse concerne la valorisation de sédiments fluviaux, pollués et traités par le procédé Novosol®, développé par la société Solvay, dans le domaine de la construction routière. Une première étape de caractérisation physico-chimique et géotechnique des sédiments traités Novosol® (STN) a établi la faisabilité de leur valorisation en couche de forme. Il a également été mis en évidence qu'ils présentaient une réactivité hydrique et pouzzolanique. L'influence de la nature du liant sur le traitement des STN a ensuite été abordée. D'après les résultats des essais mis en œuvre (aptitude au traitement, gonflement, portance, résistance en compression et en traction Brésilienne), 2 des 5 liants testés se distinguent particulièrement et présentent un niveau de performance de classe 3 selon le Guide du Traitement des Sols. Il s'agit du Roc Sol et la chaux vive.<br /><br />Enfin, une étude complémentaire a montré qu'il était également possible de valoriser les STN en remblais autocompactant. Cependant, cette voie nécessiterait d'être approfondie.

La technique du renommage, appliquée exhaustivement, permet d'obtenir une forme clausale polynomiale. Nous choisissons de l'appliquer partiellement, de façon a minimiser certains criteres syntaxiques, principalement le nombre de clauses, tout en conservant une complexité polynomiale. Nous montrons qu'un algorithme efficace permet d'obtenir le nombre optimal de clauses sur les formules linéaires. Enfin, nous étudions l'influence de ces transformations sur les réfutations par la methode de resolution, autant théoriquement expérimentalement

L'analyse des résultats les plus récents des spectres de dileptons obtenus en collision d'ions lourds a démontré la nécessité d'une compréhension fine des différents mécanismes élémentaires de production de ces paires e+e-. Le dispositif expérimental HADES, installé auprès de l'accélérateur de GSI, est bien adapté à ces études. Ainsi, le rapport de branchement de la décroissance Dalitz de la résonance Delta, qui n'a jamais été mesuré, est une des axes principaux de cette thèse. Au delà de la mesure de ce rapport de branchement, la réaction pp->pD+->ppe+e- pourrait aussi permettre de donner des informations sur la structure interne de la résonance et plus particulièrement sur les facteurs de forme de transition électromagnétique N-Delta.<br />L'analyse des simulations présentée a permis de démontrer la faisabilité de cette expérience en estimant le taux de comptage attendu ainsi que le rapport Signal sur Bruit. Cette analyse a aussi mis en évidence l'importance de la résolution en impulsion du détecteur pour la réussite de l'expérience.<br />La résolution en impulsion doit donc être étudiée. Dans ce travail, nous avons tenté de mettre en évidence les points importants qui permettraient de comprendre la résolution mesurée actuellement.

Les désintégrations semileptoniques du charme permettent une validation des calculs de QC D sur réseau grace à la mesure de facteurs de forme hadroniques qui décrivent l'effet de l'interaction forte dans ces réactions.<br />La précision de ces calculs joue un role crucial dans l'amélioration des tests du modèle standard dans le domainde des saveurs. Cette thése présente une etude du canal Ds+ --> K+K- e+ nu_, utilisant 214 fb-1 de données collectées par l'expérience Babar. Pour les évènements ayant une masse K+K- dans l'intervalle entre 1.01 et 1.03 GeV/c2, le phi to K+K- est le canal dominant. En utilisant le modèle des poles simples pour paramétrer la dépendance en q2 des facteurs de forme V(q2), A1(q2) et A2(q2), les rapports suivant sont mesurés à q2=0 : r_V=V(0)/A_1(0)=1.868 +/- 0.061 +/- 0.079, r_2=A_2(0)/A_1(0)=0.763 +/- 0.072+/-0.062.<br />La masse du pole du facteur de forme axial-vecteur est egalement obtenue: m_A=(2.30^{+0.24}_{-0.18}\pm0.21) GeV.c2. Dans le meme intervalle de masse, le rapport d'embranchement relatif au canal Ds+ -> phi pi+, est mesuré, et la normalisation absolue du facteur de forme A1(0) en est déduite: A_1(q^2=0) = 0.605 +/- 0.012 +/- 0.018 +/- 0.018. Les erreurs mentionnées correspondent aux incertitudes statistique, systématique et à celle due aux mesures exterieures à cette analyse. <br />Enfin, le systeme K+K- en onde S, pouvant etre issu du f_0, est etudié à travers son interférence avec le phi. Une composante d'onde S est observée dans ce canal pour la première fois à plus de 5 sigma.

Les systèmes à commutation représentent une classe particulière de systèmes hybrides. Ils sont décrits par plusieurs modèles de fonctionnement et chaque modèle, définissant un mode du système, est actif sous certaines conditions opératoires particulières. Lorsque la loi de commutation régissant le passage d'un modèle de fonctionnement à l'autre est parfaitement connue, il est aisé de manipuler de tels systèmes car le mode actif peut être connu à chaque instant. Par contre, dans la situation où aucune information n'est disponible sur l'évolution de la loi de commutation, il est plus ardu de procéder au diagnostic ou encore de synthétiser une loi de commande sur ces systèmes. Il est abordé ici le problème de la reconnaissance du mode actif sur la base d'observations de l'entrée et de la sortie du système. L'identification des paramètres de la loi de commutation est ensuite étudiée sous l'hypothèse de la connaissance de la structure de la loi de commutation.

PRATIQUE DES LANGAGES FONCTIONNELS TYPES Dans l'approche conception on s'intéresse à l'évolution de la compilation de ML en l'illustrant par la description de deux compilateurs : CeML un compilateur de ML vers C et OCamil un compilateur d'O'CAML vers .net. On montre ensuite les capacités d'extensions (parallèle et objet) au niveau des constructions du langage ML. Cela autorise de le choisir comme langage cible de compilation pour d'autres langages. Les capacités d'interopérer entre ML d'autres langages sont alors explorées pour plusieurs plates-formes d'exécution en conservant la sûreté du typage statique. Dans l'approche développement d'applications on s'intéresse aux outils de développement de l'édition structurée à la mise au point et à l'intégration de ces outils dans une même interface. On discute ensuite sur la formation du programmeur en montrant le cadre confortable du typage statique et l'intérêt de comprendre le modèle fonctionnel avant d'aborder le modèle objet. Le déploiement d'application est illustré par plusieurs applications embarquant un compilateur ML en tant que composant de l'application.

Ce manuscrit présente différentes études s'inscrivant dans la thématique du contrôle cohérent. Nous établissons, aussi bien théoriquement qu'expérimentalement, la possibilité de manipuler finement la dynamique rotationnelle de molécules linéaires. Afin d'opérer cette manipulation, les impulsions ultra-brèves sont façonnées par un dispositif de mise en forme. Son principe et sa mise en place sont décrits de manière détaillée. La dynamique rotationnelle de la molécule linéaire d'azote (N2) est manipulée en jouant sur l'excitation relative entre les composantes rotationnelles paires et impaires du paquet d'ondes en régime de champ faible. Pour cela, nous avons opté pour une modulation de phase périodique bien définie de l'impulsion excitatrice. Une analyse temporelle vient éclairer sous un autre angle les résultats expérimentaux. Une extension de la stratégie de contrôle au régime de champ fort permet de contrôler la dynamique de l'alignement moléculaire.

Le futur accélérateur linéraire à électrons est un nouveau défi technologique pour la communauté scientifique de la physique des particules. Le cahier des charges de l'électronique de lecture du calorimètre électromagnétique comporte plusieurs points critiques. En effet, les contraintes liées au coût, 34 millions de diodes silicium de $1cm^2$, à l'encombrement, $0,2cm^3$ par puce de 128 voies, à la consommation, <5mW par voie, et à la dynamique, rapport de 32.000 entre le plus grand signal et le bruit, impliquent la mise en oeuvre d'une électronique intégrée. Nous proposons une solution de traitement de l'information qui associera sur la même surface de silicium la partie traitement analogique et la conversion analogique numérique. Plusieurs prototypes de circuits réalisés dans une technologie CMOS 0,35microns nous ont permis de valider des éléments de l'architecture globale du système. Cette électronique se composera d'un préamplificateur de charge suivi d'un système multi-gain avec suppression en ligne des évènements non significatifs et d'un convertisseur analogique numérique sur 10bits. La mise en forme composant le système multi-gain sera réalisée avec un intégrateur à remise à zéro. Les résultats obtenus, qui répondent aux spécifications en temps et en dynamique du cahier des charges, confirment, à présent, la nécessité de mettre en place un système d'alimentation pulsé

Ce travail de recherche traite des alliages à mémoire de forme (AMF) utilisés en tant qu'actionneurs dans les microrobots et les microsystèmes. Parmi les AMF, l'alliage de nickel-titane (NiTi) est notamment un très bon candidat au micro-actionnement, car il est capable de développer un travail mécanique très important, en comparaison avec d'autres matériaux actifs. Cependant, la température étant sa grandeur de commande, le temps de réponse de l'AMF est grand. De plus, il est difficile de contrôler précisément ses déplacements, car il reste très sensible aux conditions thermiques extérieures. Aussi, ce travail présente une étude thermique détaillée, fondée sur le modèle physique de comportement d'un AMF, des deux principaux moyens de chauffage et de refroidissement du matériau : l'effet Joule et l'effet Peltier. Cette étude a abouti à la réalisation d'un micro-actionneur à effet Peltier intégré (nommé module $\Omega$ Peltier). Cet actionneur original a la particularité de rendre l'AMF moins sensible aux variations de la température extérieure et peut donc fonctionner en milieu confiné, ce qui est impossible avec un actionneur à effet Joule. Un simulateur numérique, mis au point dans cette étude, permet de comprendre et de prédire le comportement thermomécanique du module $\Omega$.

L'analyse et l'approximation de solutions des Equations Differentielles Stochastiques (E.D.S.) possédant des coefficients discontinus est un sujet qui n'a pas ete traité de facon pleinement satisfaisante. Ce problème devient particulierement motivant lorsque l'on cherche à approcher, par des méthodes de Monte-Carlo, les solutions de certaines Equations aux Derivées Partielles (E.D.P) qui font également intervenir des coefficients discontinus. C'est par exemple le cas, bien connu en Physique, des E.D.P.s avec opérateur sous forme divergence (O.F.D.) dont les coefficients sont discontinus et que nous étudions dans ce mémoire : les discontinuités traduisent alors les irrégularités du milieu dans lequel évolue le système étudié. Cette thèse propose de nouveaux résultats pour l'analyse et l'approximation de solutions des E.D.S. qui sont reliées à un O.F.D. dont les coefficients sont discontinus. Les aspects statistiques des modèles en jeu sont également étudiés.