Le 1,3-diphényl-3-acétoxypropène PhCH=CHPh-OAc est très utilisé pour tester l'efficacité des ligands chiraux. Nous avons étudié séparément son addition oxydante avec différents complexes de palladium (0) (Pd°(PPh3)4 et Pd(dba)2 + P,P = dppb ou 2xPPh3 ) et la substitution nucléophile avec la morpholine et la pipéridine.<br />L'addition oxydante conduit à la formation d'un complexe cationique [(eta3-PhCH-CH-CHPh)Pd(PPh3)2]+. Elle est réversible et constituée de deux étapes. L'étape de complexation formant le complexe neutre : [(eta2-PhCH=CHPh-OAc)Pd°(P,P)] est plus rapide que l'étape d'ionisation dans les conditions étudiées. <br />La substitution nucléophile est équilibrée avec dppb. Elle est irréversible avec PPh3 et plus rapide que l'étape cinétiquement déterminante de l'addition oxydante : l'étape d'ionisation. <br /><br />Les carboxylates allyliques cycliques substitués en 5 s'isomérisent en présence de complexes de palladium(0). L'étude de l'addition oxydante des p-Z-benzoates de cis-5-phénylcyclohex-2-enyl (cis-1Z, Z = NO2, Cl, H, Me, MeO) avec les précurseurs de palladium(0) cités plus haut nous a permis de déterminer l'influence du groupe partant sur l'isomérisation en position allylique<br />Quel que soit le benzoate de départ, la vitesse d'isomérisation est plus grande avec Pd0(PPh3)4 qu'avec Pd0(dba)(PPh3)2. C'est en accord avec le mécanisme SN2 lors de l'isomérisation du complexe cationique eta3-allylique formé lors de l'addition oxydante. Pour le même précurseur de palladium(0), plus le groupe partant est bon, plus la concentration en complexe cationique eta3-allylique est élevée, plus l'isomérisation est rapide.

Cette thèse traite de plusieurs façons de construire une théorie quantiques des champs en quatre dimensions à partir de la théorie des cordes.<br /><br />Dans une première partie nous étudions la construction d'une théorie Yang-Mills supersymétrique, couplée à un superchamp chiral dans la représentation adjointe, à partir de la théorie des cordes de type IIB sur une variété Calabi-Yau non compacte, avec des D-branes qui enroulent certaines sousvariétés. Les propriétés de<br />la théorie de jauge sont alors reflétées dans la structure<br />géométrique de la variété Calabi-Yau. En particulier, on peut calculer en principe le superpotentiel effectif de basse énergie qui décrit la structure des vides de la théorie de jauge en utilisant la théorie des cordes (topologiques). Malheureusement, en pratique, ceci n'est pas faisable. Il est remarquable qu'on puisse cependant montrer que la dynamique de basse énergie de la<br />théorie de jauge est codée par la géométrie d'une autre variété Calabi-Yau non compacte, reliée à la première par une transition géométrique. La théorie des cordes de type IIB sur cette deuxième variété, dans laquelle sont allumés des flux de fond appropriés, génère une théorie de jauge en quatre dimensions, qui n'est d'autre que la théorie effective de basse énergie de la théorie de<br />jauge originale. Ainsi, pour obtenir le superpotentiel effectif de basse énergie il suffit simplement de calculer certaines intégrales dans la deuxième géométrie Calabi-Yau, ce qui est faisable, au moins perturbativement. On trouve alors que le problème extrêmement difficile d'étudier la dynamique de basse<br />énergie d'une théorie de jauge non Abelienne a été réduit à celui de calculer certaines intégrales dans une géométrie connue. On peut démontrer que ces intégrales sont intimement reliées à certaines quantités dans un modèle de matrices holomorphes, et on peut alors calculer le superpotentiel effectif comme fonction de<br />certaines expressions du model de matrices. Il est remarquable que la série perturbative du modèle de matrices calcule alors le superpotentiel effectif non-perturbatif.<br /><br />Ces relations étonnantes ont été découvertes et élaborée par plusieurs auteurs au cours des dernières années. Les résultats originaux de cette thèse comprennent la forme précise des relations de la ``géométrie spéciale" sur une variété Calabi-Yau<br />non compacte. Nous étudions en détail comment ces intégrales géométriques dépendent du cut-off, et leur relation à l'énergie libre du modèle de matrices. En particulier, sur une variété Calabi-Yau non compacte nous proposons une forme bilineaire sur le<br />produit direct de l'espace des formes avec l'espace des cycles, qui élimine toutes les divergences, sauf la divergence logarithmique. Notre analyse détaillée du modèle de matrices holomorphes clarifie aussi plusieurs aspects reliés à la méthode du col de ce modèle de matrices. Nous montrons en particulier qu'exiger une densité spectrale réelle restreint la forme de la<br />courbe Riemannienne qui apparaît dans la limite planaire du modèle de matrices. Çela nous donne des contraintes sur la forme du contour sur lequel les valeurs propres sont intégrées. Tous ces<br />résultats sont utilisés pour calculer explicitement l'énergie libre planaire d'un modèle de matrices avec un potentiel cubique.<br /><br />La deuxième partie de cette thèse concerne la génération de théories de jauge supersymétriques en quatre dimensions comportant des aspects caractéristiques du modèle standard à partir de<br />compactifications de la supergravité en onze dimensions sur une variété G_2. Si cette variété contient une singularité conique, des fermions chiraux apparaissent dans la théorie de jauge en quatre dimensions ce qui conduit potentiellement à des anomalies. Nous montrons que, localement à chaque singularité, les anomalies<br />correspondantes sont annulées par une non-invariance de l'action classique au singularités (``anomaly inflow"). Malheureusement, aucune métrique d'une variété G_2 compacte n'est connue explicitement. Nous construisons ici des familles de métriques sur des variétés compactes faiblement G_2, qui contiennent deux singularités coniques. Les variétés faiblement G_2 ont des propriétés semblables aux propriétés des variétés G_2, et alors ces exemples explicites pourraient être utiles pour mieux comprendre la situation générique. Finalement, nous regardons la<br />relation entre la supergravité en onze dimensions et la théorie des cordes hétérotiques E_8\times E_8. Nous étudions en détail les anomalies qui apparaissent si la supergravité est formulée sur le produit d'un espace de dix dimensions et un intervalle. Encore une fois nous trouvons que les anomalies s'annulent localement sur<br />chaque bord de l'intervalle si on modifie l'action classique d'une façon appropriée.

Quels sont les processus d'excitation électronique impliqués dans le claquage optique des solides diélectriques ? Cette question, débattue depuis la fin des années 60, a récemment connu un regain d'intérêt, dans le cas où le claquage est induit par des impulsions laser picoou femtosecondes. Dans cette gamme de durée, un modèle a récemment été proposé, selon lequel les électrons de conduction seraient essentiellement injectés par une très forte avalanche électronique, initiée par une faible densité de porteurs libres excités par absorption multiphotonique. Jusqu'à présent, les seules observations expérimentales en faveur de ce modèle sont des mesures de seuils de claquage en fonction de la durée de l'impulsion laser. Nous avons adopté une approche expérimentale plus directe de ce problème, fondée sur deux expériences pompe-sonde. Grâce à la technique d'interférométrie fréquentielle, nous avons mesuré la densité totale d'électrons de conduction excités par une impulsion laser ultra-brève, en fonction de la durée et de l'intensité de cette dernière, aussi bien en-dessous qu'au-dessus du seuil de claquage. Ces mesures démontrent de façon très directe que l'absorption multiphotonique par les électrons de valence est le processus dominant d'injection de porteurs : aucune avalanche électronique ne se produit avec des impulsions lasers de moins de quelques picosecondes. L'ionisation par impact des électrons de valence par les électrons de conduction est une étape cruciale dans les modèles d'avalanche. Nous avons donc réalisé une expérience de photoémission résolue en temps, afin d'évaluer l'efficacité de ce processus dans les diélectriques. Des électrons étaient injectés dans la bande de conduction, au-dessus du seuil d'ionisation par impact, grâce à une impulsion pompe UV (40 eV) femtoseconde. La relaxation de ces électrons était ensuite sondée au moyen d'une impulsion infrarouge intense. En mesurant la distribution en énergie des photoélectrons émis par le solide en fonction du délai pompe-sonde, nous avons montré que le processus d'ionisation par impact se produit sur une échelle de temps caractéristique de quelques dizaines de picosecondes pour des électrons de conduction de quelques dizaines d'eV dans SiO2 : cette faible efficacité pourrait expliquer pourquoi il ne peut pas se produire d'avalanche électronique avec des impulsions ultra-brèves, comme nous l'avons démontré par interférométrie fréquentielle.

Cette thèse présente un algorithme robuste et efficace du calcul<br /> d'une forme paramétrée exacte de la courbe d'intersection de deux<br /> quadriques définies par des équations implicites à coefficients rationnels. Pour la première fois, le<br /> paramétrage que nous obtenons contient toutes les informations<br /> topologiques de la courbe et est assez simple pour être exploité<br /> dans des applications géométriques non triviales.<br /><br /> De nombreux progrès, dans différents domaines, ont été<br /> nécessaires pour atteindre ce résultat. Nous avons réalisé une étude<br /> exhaustive de tous les cas possibles d'intersection, d'abord dans<br /> $\Pp^3(\C)$ en nous basant sur les travaux de Segre, puis dans $\Pp^3(\R)$ <br /> en exploitant les résultats d'Uhlig sur la réduction simultanée de<br /> deux formes quadratiques réelles. Cette étude systématique nous a<br /> permis de maîtriser complètement la géométrie inhérente à<br /> l'intersection de deux quadriques. Nous sommes maintenant capables<br /> de déterminer toutes les caractéristiques de la courbe<br /> d'intersection, à savoir son genre, ses points singuliers, le nombre<br /> de ses composantes algébriques et connexes, et les incidences entre<br /> ces composantes. Quand il en existe, nous<br /> trouvons un paramétrage rationnel des composantes de la courbe<br /> d'intersection. En ce sens, notre algorithme est optimal.<br /> Nous avons aussi fait des progrès significatifs sur la complexité de l'expression radicale des<br /> coefficients du paramétrage obtenu.<br /> Notre résultat est quasi-optimal dans le sens où les coefficients du paramétrage<br /> de la courbe d'intersection que nous calculons contiennent au plus<br /> une racine carrée non nécessaire dans leur expression. <br /> De plus, notre résultat est optimal dans le cas le pire,<br /> dans le sens où pour chaque type de courbe d'intersection<br /> (par exemple une quartique régulière, ou une cubique et une droite, ou<br /> deux coniques), il existe des paires de quadriques pour lesquelles le<br /> nombre de racines carrées apparaissant dans l'expression des<br /> coefficients de notre paramétrage est minimal.<br /><br /> Enfin, nous avons réalisé une implantation complète de notre<br /> algorithme en MuPAD qui nous a permis d'afficher des<br /> performances inédites, tant en terme de vitesse d'exécution qu'en terme de<br /> simplicité du résultat obtenu.

Le détecteur d'ondes gravitationnelles par interférométrie optique Virgo atteindra bientôt sa sensibilité nominale. <br />Les sources astrophysiques attendues sont principalement les coalescences de systèmes binaires d'objets compacts et les supernovas gravitationnelles. Les amplitudes des signaux sont à la limite de la sensibilité de l'instrument, les taux d'événements observables sont faibles et les formes d'ondes mal connues, notamment pour les effondrements gravitationnels. <br />L'analyse des données repose sur la recherche de signaux de faible amplitude dans du bruit coloré. Dans ce contexte, ce travail propose l'utilisation de décompositions temps-fréquence des séries temporelles pour la détection de signaux courts. Les performances de cette approche sont estimées en simulation et comparées à celles d'autres méthodes de détection disponibles dans la communauté. <br />Une autre difficulté pour l'analyse est la présence de structures spectrales étroites dans la distribution d'énergie en fréquence des données. Elles proviennent de résonances mécaniques des miroirs et du système d'isolation sismique de l'instrument. L'utilisation de filtres de Kalman pour éliminer ces bruits bien modélisés avant l'analyse est présentée. Le problème essentiel <br />de l'estimation des paramètres du modèle est traité, avec l'objectif d'une réestimation dynamique. <br />Enfin ces outils sont appliqués aux données Virgo disponibles, avec comme résultat principal la mise en évidence de sources de bruits instrumentaux importantes, dont la suppression demandera une amélioration du fonctionnement et une meilleure isolation de l'environnement.

Le processus de certification de logiciels est dans la plupart des<br /> cas une tâche laborieuse et coûteuse qui nécessite aussi bien des<br /> méthodes mathématiques, pour exprimer sans ambiguïté et de façon<br /> structurée le comportement attendu du logiciel, que des outils<br /> automatiques pour vérifier ses propriétés. Parmi les techniques de<br /> preuve, la récurrence est parfaitement adaptée pour raisonner sur<br /> des structures de données infinies, comme les entiers et les<br /> listes, ou des systèmes paramétrés.<br /> <br /> Cette thèse comprend deux parties, l'une théorique, l'autre<br /> applicative. La première partie est centrée autour d'un nouveau<br /> concept, l'\emph(ensemble couvrant contextuel) (ECC). Le principe<br /> de preuve par récurrence avec ECC est exprimé par un système<br /> d'inférence abstrait qui introduit des conditions suffisantes pour<br /> son application correcte. La conception modulaire de règles<br /> d'inférence concrètes est un avantage de cette approche. Comme<br /> étude de cas, nous spécifions le système d'inférence du<br /> démonstrateur SPIKE en tant qu'instance de ce système.<br /> <br /> Dans la deuxième partie, nous analysons tout d'abord le problème<br /> d'interactions de services téléphoniques. Nous proposons une<br /> méthodologie pour les détecter et les résoudre, reposant sur des<br /> techniques basées sur la réécriture conditionnelle et la<br /> récurrence. Dans une autre application, nous obtenons, à l'aide<br /> du démonstrateur PVS, la première preuve formelle de l'équivalence<br /> entre deux algorithmes de conformité du protocole ABR. Puis,<br /> nous utilisons SPIKE pour vérifier complètement automatiquement<br /> la majorité des 80 lemmes de cette preuve.

Pour cette recherche en didactique des mathématiques, les observations se sont déroulées dans un centre d'animation scientifique et technique qui reçoit des scolaires du cycle 3 du primaire. Dans ce centre, l'enjeu est de fabriquer et d'étudier des objets scientifiques. Pour étudier le cas des mathématiques – c'est-à-dire la fabrication et l'étude d'objets mathématiques – notre choix s'est porté sur les instruments à calculer (le boulier chinois, les bâtons à multiplier de Néper et de Genaille-Lucas, et la règle à calcul). Nous montrons que la fabrication des instruments avec les animateurs du centre est une phase importante où chaque enfant produit une œuvre matérielle. Aussi, nous proposons l'étude des instruments avec les professeurs en posant directement aux enfants la question de leur fonctionnement. Nous analysons ce type d'activité comme situation de recherche qui nécessite la mobilisation de savoirs notionnels et de savoirs transversaux en mathématiques. Ainsi, l'étude des instruments permet de créer des œuvres du savoir. C'est de cette manière – en créant des œuvres – que nous avons construit le partenariat entre l'animation socioculturelle et l'institution scolaire. Les savoirs notionnels concernés ici sont la numération positionnelle, les algorithmes de calcul et en particulier la notion de retenue qui est indissociable de la numération positionnelle. En effet, la compréhension mathématique de la retenue a été une condition nécessaire pour mécaniser les instruments à calculer. Enfin, nous montrons que définir la retenue est une question mathématique, riche de sens autant pour les élèves que pour la formation des enseignants.

Cette thèse explore le domaine du diagnostic appliqué à l'automobile basé sur le produit SIDIS Enterprise développé par Siemens AG. Au début, une analyse est conduite de l'importance du réseau après-vente pour les constructeurs et leurs places dans la chaine de valeur de l'automobile ainsi que les contraintes industrielles des outils d'aide au diagnostic. L'une d'elle est de limiter le coût de développement des modèles pour le diagnostic. De plus, une analyse approfondie démontre que la part des composants électroniques et des pannes d'origine électronique des véhicules à tendance à augmenter tout en complexifiant la localisation de leurs origines. Le besoin d'un outil moderne pour les constructeurs est essentiel pour la satisfaction client et pour l'image de marque. Ces travaux ont conduit au développement d'une plateforme modulaire pour le diagnostic composée : d'un module de recherche des symptômes, un système automatisé d'échange de fichier ODX, une méthode de diagnostic hybride et d'un moteur d'évaluation du retour d'expérience. Le premier module est dédié à l'interprétation et au mappage de la description des symptômes en langage naturel. Le second module permet aux auteurs des bases de données et des connaissances d'importer automatiquement les fichiers de descriptions des calculateurs électroniques. Les deux derniers sont dédiés à un algorithme de diagnostic qui combine les différentes sources de connaissances et bénéficie du retour d'expérience pour compléter automatiquement les modèles. Ces modules contribuent à l'objectif de réduction des coûts de développements des modèles pour le diagnostic et diminue significativement l'orbite des sessions de diagnostic guidé.

Nous nous intéresserons d'abord aux équations stochastiques de Navier-Stokes bidimensionnelles (NS), de Ginzburg-Landau Complexes (CGL) et de Schrödinger non-linéaires (NLS) munies d'un bruit blanc en temps et régulier pour la variable spatiale. En nous appuyant sur des méthodes de couplages, nous établirons le caractère exponentiellement (resp polynomialement) mélangeant de NS et CGL (resp NLS) lorseque le bruit recouvre un nombre suffisant de bas modes. Deux des innovations majeures de ces résultats sont le fait que l'on s'autorise à traiter des équations non-dissipatives telles que NLS et que l'on considère des bruits non additifs.<br />Dans un deuxième temps, nous considérerons les équations de Navier-Stokes stochastiques tridimensionnelles (NS3D). Nous établirons la régularité Hp et Gevrey des solutions stationnaires de NS3D et nous en déduirons des informations sur l'échelle de dissipation de Kolmogorov (K41). Puis, nous établirons le caractère exponentiellement mélangeant des solutions de NS3D lorsque le bruit est à la fois suffisament régulier et non-dégénéré.

The purpose of this thesis is to indicate the extent to which nineteenth century eucharistic thought and practice underwent a process of change within the Church of Scotland. It seeks also to identify those aspects of the Sacrament which were The thesis begins by showing that the older Scottish Reformed Communion did not remain intact, either in form or in theological emphasis. Within a century of the inauguration of Reformed discipline and teaching, such was the diversity of belief A review of the relevant literature of the first half of the nineteenth century reveals that much of the debate on the Lord's Supper in Scotland focussed upon the issue of the frequency of celebration. There is no doubt that the prevailing pract The early nineteenth century debate over the matter of frequency also draws attention to that epoch's preoccupation with the death of Christ as an aspect of sacramental thought which received undue consideration, overshadowing the old Reformed The thesis goes on to attribute such an understanding to the predominance of the federal or covenant theology within the Church of Scotland. An examination is made of the origin and nature of federalism and its effect upon nineteenth century e However, the thesis also shows that the liturgical awakening of the early nineteenth century helped to bring about the gradual and irreversible recession of federalism in the life of the Church. Moreover, it is argued that Romanticism provided aa With the assertion of the values of Romanticism and the erosion of federal theology, other influences made themselves felt in the nineteenth century Scottish Church. Anglican scholars affected by Tractarianism were known and admired by some, at In view of the burgeoning of German influence upon Scottish cultural and intellectual life - beginning tentatively in the last decades of the eighteenth century to become one of the established features of Scottish life by 1850 - due account is German influence manifested itself obliquely, however, during the decade 1850-1860 and prior to the founding of the Church Service Society in 1865. Moreover, this influence was specifically related to the Eucharist and was transmitted to the C The view is advanced at this stage that the liturgical development of the nineteenth century, particularly in relation to the Lord's Supper, cannot adequately be surveyed without taking into account the Communion psalmody, and latterly hymnody, If the appearance of The Scottish Mission Hymnbook (1912) marked one aspect of the Scoto-Catholic party's concern for eucharistic worship and praise, the earlier publication of William Milligan's Ascension and Heavenly Priesthood of The thesis concludes by indicating the manner in which some of the late nineteenth century eucharistic themes were developed or modified by circumstances and events as this present century progressed.