Tri :
Date
Editeur
Auteur
Titre
|
|
Université de Franche-Comté
/ 11-12-2009
De Vallière Dimitri
Voir le résumé
Voir le résumé
Cette thèse propose une étude de trois grands problèmes de mathématiques financières dans les marchés financiers avec coûts de transactions proportionnels. La. première partie est consacrée à l étude des conditions de non arbitrage dans un marché avec information incomplète. La seconde partie résout le problème de recouvrement d`option américaine dans le cas continue et introduit le concept de système de prix cohérent. Enfin, la troisième partie traite du problème de consommation investissement de Merton dans un marché où le processus des prix est dirigé par un processus de Lévy
|
|
Université de Franche-Comté
/ 11-12-2009
Courjon Emilie
Voir le résumé
Voir le résumé
Depuis une vingtaine d'années, on assiste à l'essor de la téléphonie mobile. Ce mode de communication nécessite l'utilisation de filtres radiofréquences (RF) capables de sélectionner le signal utile à la réception comme à l'émission. La miniaturisation des téléphones a nécessité le développement de nouveaux types de filtres fondés sur l'utilisation d'ondes acoustiques et notamment les ondes de surface (SAW). Pour répondre aux enjeux modernes des filtres RF pour la téléphonie cellulaire (montée en fréquence, augmentation des puissances d'émission, réduction des dimensions), nous avons envisagé un autre type de transducteur fondé sur l'utilisation de domaines ferroélectriques alternés. En effet, des matériaux ferroélectriques tels que le niobate de lithium (LiNbO3) présentent une polarisation spontanée pouvant être inversée. De cette manière, les peignes interdigités classiquement utilisés dans les composants à ondes de surface peuvent être remplacés par des structures périodiques à domaines inversés. Ce travail de thèse a consisté à valider le principe de fonctionnement de ce nouveau type de transducteur et à prouver qu'il était possible de fabriquer des filtres à l'aide de ces Transducteurs Polarisés Périodiquement (TPPs). Une étude théorique réalisée à l'aide d'un logiciel de simulation alliant calculs par éléments finis et éléments de frontière ainsi que la conception et la fabrication de ces dispositifs sont présentées. Ce type de structures à domaines inversés ayant prouvé son intérêt, d'autres objets exploitant ce principe ont été conçus et fabriqués (guides d'ondes acoustiques, dispositifs électro-optiques et dispositifs à onde isolée).
|
|
Université de Franche-Comté, Université de Tunis El Manar
/ 10-12-2009
Ben Hassen Samia
Voir le résumé
Voir le résumé
Des dépôts de magnésium ont été appliqués comme revêtements cathodiques pour protéger l'acier contre la corrosion. Ces dépôts de magnésium ont été obtenus par électrodéposition en courant continu à partir de six différentes solutions à réactifs de Grignard dans leurs solvants appropriés. En milieux chlorurés, le meilleur taux de l'efficacité de protection contre la corrosion à été obtenu pour le dépôt électrodéposé à partir de la solution chlorure de méthyle magnésium dans le tétrahydrofurane. L'utilisation de l'électrodéposition en courants pulsés a amélioré remarquablement la morphologie et la texture du dépôt de magnésium et par conséquent son taux d'efficacité de protection. Néanmoins, cette efficacité est limitée dans le temps. Afin d'améliorer la durée de vie du dépôt de magnésium, des traitements au cérium ont été adoptés. La couche de conversion au cérium a été trouvée majoritairement formée par l'oxyde de cérium CeO2 qui renforce la protection par un mécanisme de barrière. Dans ce travail, les études électrochimique et analytique ont fait appel aux techniques suivantes: potentiel libre, courbes de polarisation, SIE, MEB, EDS, DRX, FTIR et SDL.
|
|
Université de Franche-Comté
/ 09-12-2009
Besson Benoit
Voir le résumé
Voir le résumé
Le projet Sensibilité radioécologique de l'institut de Radioprotection et de Sûreté Nucléaire (IRSN) a pour but de caractériser et hiérarchiser les paramètres qui ont un effet significatif sur le transfert des contaminants radioactifs dans l environnement. L'objectif de ce travail de thèse, focalise sur les zones de prairies permanentes, est d'analyser les variations des activités de cieux radionucléides artificiels dans la chaîne ailant du sol aux produits fromagers et de hiérarchiser les paramètres écologiques anthropiques qui déterminent la sensibilité des zones étudiées. Cette étude est réalisée grâce à des prélèvements in situ dans 15 exploitations situées dans trois régions (Charente, Puy-de-Dôme et Jura). Les cartographies des sols des parcelles pâturées sont effectuées afin de choisir les sites de prélèvement les plus représentatifs. Des données géographiques, pédologiques, floristiques et relatives aux principales pratiques agricoles et fromagères sont alors acquises, en complément des mesures radiologiques.[ ] Une méthode non-linéaire basée sur la discrétisation du coefficient de transfert puis par des tests de comparaison multiple permet de hiérarchiser tes facteurs de sensibilité du sol à la végétation prairiale. Il apparait que 20 facteurs interviennent dans le transfert à la végétation, comme le taux d'argile des sols ainsi qu'un marqueur des particules de sol adhérées sur la végétation. Les transferts de 137Cs dans le lait sont dépendants du taux d'argile présent dans l échantillon de végétation et la nourriture du bétail.
|
|
Université de Franche-Comté
/ 08-12-2009
Tissot Régis
Voir le résumé
Voir le résumé
Cette thèse est une contribution à la conception d'une méthode de génération automatique de tests à partir de modèles (ou MBT -Model Based Testing). Le contexte de nos travaux se situe dans la continuité de ceux effectués autour de l'outil BZ- TT (BZ- Testing Tools) qui permet d'engendrer des tests fonctionnels à partir de modèles décrits en langage B. Les critères de sélection de tests implémentés dans l'outil BZ- TT reposent sur la couverture structurelle du modèle du système à valider en prenant en compte les structures de données et de contrôle de celui-ci. Cette approche ne permet pas de générer de tests à partir de propriétés liées au comportement dynamique du système, par exemple en tenant compte de propriétés basées sur des enchaînements d'opérations. Afin de répondre à cette problématique, un certain nombre de travaux proposent des méthodes où l'expertise humaine est exploitée afin de définir des critères de sélection de tests "dynamiques". De tels critères de sélection permettent, à l'ingénieur de définir des stratégies basées sur des propriétés et des aspects du système qu'il souhaite valider. Nos contributions s'inscrivent dans cette voie, tout en visant la complémentarité par rapport à la génération automatique de tests par couverture structurelle du modèle dans un objectif de valorisation des technologies et ressources déployées à cette fin. Notre première contribution est la définition d'un langage de formalisation d'objectifs de tests qui permet d'exprimer des ensembles de scénarios de tests inspirés de propriétés à valider sur le système. Ce langage permet de décrire des schémas de tests à partir d'un formalisme, basé sur celui des expressions régulières, qui permet de décrire des ensembles de scénarios principalement par des enchaînements d'appels d'opération et d'états symboliques. Nous définissons une méthode de génération de tests intégrée à l'outil BZ- TT, afin que celui-ci prenne en compte ce nouveau critère de sélection de tests. Cette méthode permet de réutiliser les technologies d'animation symbolique et de résolution de contraintes de cet outil, ainsi que de conserver les fonctionnalités d'exportation et de concrétisation des tests produits. Dans cette méthode, la seule charge supplémentaire pour l'ingénieur de validation est la définition des schémas de test utilisés comme critère de sélection. Nos dernières contributions, visent à évaluer la complémentarité de notre méthode avec celle de génération automatique de tests par couverture structurelle du modèle. Nous proposons une méthode d'évaluation de la complémentarité entre deux suites de tests. Cette méthode est basée sur le calcul de la couverture d'états et de transitions des suites de tests sur une abstraction du système. Enfin, nous appliquons cette méthode à trois études de cas (deux applications de type carte à puce et un système de gestion de fichiers Posix), et nous montrons la complémentarité qu'elle apporte.
|
|
Université de Franche-Comté
/ 07-12-2009
Briot Marc
Voir le résumé
Voir le résumé
Depuis 2001, les produits forestiers peuvent, au même titre qu'un produit alimentaire, prétendre à une reconnaissance en Appellation d'Origine Contrôlée (AOC). Comme le laissait supposer les études de notoriété des bois résineux du massif du Jura, les premières études sur leur résistance mécanique les classent parmi les meilleurs bois d'Europe. Cette étude a permis de déterminer les critères écologiques déterminant les spécificités des bois du Jura afin de permettre aux gestionnaires d'appuyer la future délimitation de l'AOC sur des éléments objectifs. La démarche scientifique s'appuie sur les études antérieures de caractérisation des terroirs viticoles (Vaudour, 2002) et fromagers (Monnet, 1996). Les critères écologiques pris en compte sont principalement les données climatiques et pédologiques. Un protocole de cartographie des sols forestiers du massif jurassien a été défini de façon stratifié et hiérarchisé. Il est basé sur la variabilité des compartiments géologiques et la topographie (unité "géo-topographique"). Le massif a été découpé en quatre zones de référence à l'intérieur desquelles un échantillonnage a été réalisé pour décrire la diversité et l'abondance des sols dans chaque unité géo-topographique aboutissant à 13 unités complexes de sols (UCS). La description morphologique des sols a été réalisée pour évaluer leurs propriétés édaphiques, à l'aide d'un indice synthétique (CE RU). Sur la base de ces données, 27 stations représentatives ont été sélectionnées pour leur variabilité des conditions locales sur l'ensemble du massif pour préciser les relations entre les conditions stationnelles et les caractéristiques du peuplement sylvicole. Sur chaque station, une étude détaillée du sol est réalisée (description du profil, pierrosité, carte systématique de la profondeur). Les arbres sont mesurés et localisés avec précision à l'intérieur de la station. Les mesures dendrométriques ont été complétées par des mesures ultrasonores de qualité mécanique du bois. Les résultats ont montré qu'il existe une influence significative de la richesse nutritive de la station et de la réserve utile individuelle sur la densité du bois de résineux du massif. Les arbres présentent une densité plus importante lorsqu'ils sont localisés sur des stations au pH.au élevé et ayant accès à un volume de sol lr'f1portant. La répartition géographique des stations d'étude a permis de montrer qu'il n'existait pas d'effet de l'altitude. A conditions pédologiques voisines, il n'y aura pas de différence entre deux stations à des altitudes différentes. L'ensemble des conditions écologiques est homogène à l'échelle du massif du Jura, malgré une variabilité qui peut s'avérer importante à une échelle locale. Cette étude a également confirmé que les sapins et les épicéas du massif étaient des arbres d'une grande qualité selon une variabilité relativement faible. De part son contexte (précipitations importantes, roche calcaire, gamme d'altitude moyenne, pentes variées et sols brunifiés), le terroir jurassien est original. Au-delà du zonage AOC "Bois du Jura", ces données apportent des informations nouvelles sur les relations propriétés des sols et les roches et sur la dimension spatiale des relations sol-arbre.
|
|
Université de Franche-Comté
/ 05-12-2009
Sanahuja Maria de la Almudena
Voir le résumé
Voir le résumé
Notre recherche s inscrit dans le champ psychosomatique. Cette étude propose une approche nouvelle dans le traitement de l obésité chez l adolescente. A travers un atelier groupal à médiation corporelle esthétique (nommé Look ), l enveloppe psychique est réaménagée en travaillant sur la représentation du corps changeant de l adolescente. L originalité de notre proposition d intervention auprès du corps obèse maigrissant est celle d une action parlante . Plus précisément en passant par la porte d entrée du symptôme lié à la corporéité du sujet, nous créons un raccourci, en deçà de la parole, avec une approche de l enveloppe corporelle externe de l image de soi. Nous tentons ainsi d agir au niveau intrapsychique du sujet afin de lui permettre l installation de limites plus nettes liées aux images fantasmatiques, ce qui aura pour effet un renforcement de la structure moïque. De ce fait on renforce le moi du sujet par une nouvelle délimitation du Moi-peau. Cette nouvelle image inconsciente de Soi redonne une stabilité narcissique à l individu dans son corps. C est en menant une étude transversale que nous avons mesuré l impact de cet atelier sur les processus de guérison et leur stabilité. A l aide de deux épreuves projectives (Rorschach et Test de l arbre) nous avons comparé deux groupes, une clinique et un témoin. Seul le groupe clinique a bénéficié de cet atelier. Nos résultats révèlent une meilleure restauration de l enveloppe psychique et une redéfinition de l image du corps plus nette dans le groupe expérimental. Ce qui ouvre à de nouvelles perspectives de compréhension et de soin pour cette population en souffrance. Par ailleurs, ce travail permet un nouvel éclairage sur les processus d’altération de l enveloppe psychique et de déformation de l image du corps chez les sujets obèses offrant ainsi une nouvelle approche et compréhension du phénomène d amaigrissement pour cette population.
|
|
Université de Franche-Comté
/ 05-12-2009
Sanahuja Maria de la Almudena
Voir le résumé
Voir le résumé
Notre recherche s inscrit dans le champ psychosomatique. Cette étude propose une approche nouvelle dans le traitement de l obésité chez l adolescente. A travers un atelier groupal à médiation corporelle esthétique (nommé Look ), l enveloppe psychique est réaménagée en travaillant sur la représentation du corps changeant de l adolescente. L originalité de notre proposition d intervention auprès du corps obèse maigrissant est celle d une action parlante . Plus précisément en passant par la porte d entrée du symptôme lié à la corporéité du sujet, nous créons un raccourci, en deçà de la parole, avec une approche de l enveloppe corporelle externe de l image de soi. Nous tentons ainsi d agir au niveau intrapsychique du sujet afin de lui permettre l installation de limites plus nettes liées aux images fantasmatiques, ce qui aura pour effet un renforcement de la structure moïque. De ce fait on renforce le moi du sujet par une nouvelle délimitation du Moi-peau. Cette nouvelle image inconsciente de Soi redonne une stabilité narcissique à l individu dans son corps. C est en menant une étude transversale que nous avons mesuré l impact de cet atelier sur les processus de guérison et leur stabilité. A l aide de deux épreuves projectives (Rorschach et Test de l arbre) nous avons comparé deux groupes, une clinique et un témoin. Seul le groupe clinique a bénéficié de cet atelier. Nos résultats révèlent une meilleure restauration de l enveloppe psychique et une redéfinition de l image du corps plus nette dans le groupe expérimental. Ce qui ouvre à de nouvelles perspectives de compréhension et de soin pour cette population en souffrance. Par ailleurs, ce travail permet un nouvel éclairage sur les processus d’altération de l enveloppe psychique et de déformation de l image du corps chez les sujets obèses offrant ainsi une nouvelle approche et compréhension du phénomène d amaigrissement pour cette population.
|
|
Université de Franche-Comté
/ 04-12-2009
Kriegler Christoph
Voir le résumé
Voir le résumé
Ce travail traite du calcul fonctionnel des opérateurs dont le spectre est contenu dans les nom- bres réels positifs. On s'intéresse en particulier aux théorèmes de multiplicateurs spectraux. On aborde le calcul abstrait et optimal, c'est-à-dire les homomorphismes u : C(K) -+ B(X). Si X est un espace de Hilbert, alors l'extension naturelle û : C(K; lu]') -+ B(X) de u sur l'ensemble des opérateurs est à nouveau bornée. En utilisant la R-bornitude, un renforcement de la bornitude uniforme, on donne une extension de ce résultat à des espaces de Banach généraux X et on l'applique au calcul H infini et aux bases inconditionnelles dans des espaces LP.On développe des calculs associés à des opérateurs sectoriels. Les exemples classiques en sont les théorèmes spectraux de Mihlin et Hôrmander donnant des classes de fonctions lisses qui forment des multiplicateurs de Fourier sur LP. Ces ~éorèmes ont déjà été étendus à une large classe d'opérateurs de type Laplacien. On les regroupe sous une forme unifiée grâce à la théorie des opérateurs: on compare le calcul de Mihlin et de Hôrmander à la bornitude des familles classiques associées à un opérateur sectoriels. Pour la famille des puissances imaginaires, on donne une caractérisation de leur croissance polynomiale en fonction d'un calcul fonctionnel qui raffine le calcul de Mihlin. On étudie des semi-groupes de diffusion qui agissent sur une échelle d'espaces de Banach. Il est connu que le semi-groupe a une extension analytique sur un secteur dans le plan com- plexe si cette échelle consiste des espaces LP. On donne une généralisation de ce résultat à des espaces LP non commutatifs en utilisant la théorie des espaces d'opérateurs.
|
|
Université de Franche-Comté
/ 04-12-2009
Kriegler Christoph
Voir le résumé
Voir le résumé
Ce travail traite du calcul fonctionnel des opérateurs dont le spectre est contenu dans les nom- bres réels positifs. On s'intéresse en particulier aux théorèmes de multiplicateurs spectraux. On aborde le calcul abstrait et optimal, c'est-à-dire les homomorphismes u : C(K) -+ B(X). Si X est un espace de Hilbert, alors l'extension naturelle û : C(K; lu]') -+ B(X) de u sur l'ensemble des opérateurs est à nouveau bornée. En utilisant la R-bornitude, un renforcement de la bornitude uniforme, on donne une extension de ce résultat à des espaces de Banach généraux X et on l'applique au calcul H infini et aux bases inconditionnelles dans des espaces LP.On développe des calculs associés à des opérateurs sectoriels. Les exemples classiques en sont les théorèmes spectraux de Mihlin et Hôrmander donnant des classes de fonctions lisses qui forment des multiplicateurs de Fourier sur LP. Ces ~éorèmes ont déjà été étendus à une large classe d'opérateurs de type Laplacien. On les regroupe sous une forme unifiée grâce à la théorie des opérateurs: on compare le calcul de Mihlin et de Hôrmander à la bornitude des familles classiques associées à un opérateur sectoriels. Pour la famille des puissances imaginaires, on donne une caractérisation de leur croissance polynomiale en fonction d'un calcul fonctionnel qui raffine le calcul de Mihlin. On étudie des semi-groupes de diffusion qui agissent sur une échelle d'espaces de Banach. Il est connu que le semi-groupe a une extension analytique sur un secteur dans le plan com- plexe si cette échelle consiste des espaces LP. On donne une généralisation de ce résultat à des espaces LP non commutatifs en utilisant la théorie des espaces d'opérateurs.
|
|