La validation fonctionnelle d'un système matériel consiste a vérifier le système vis-a-vis de son fonctionnement attendu. Il existe deux façons de spécifier ce fonctionnement attendu. D'une part, la spécification peut être donnée sous forme d'une description fonctionnelle complète. D'autre part, l'expression de cette spécification peut être donnée sous forme d'un ensemble de propriétés temporelles critiques. Ces deux façons de spécifier les systèmes matériels ont donne lieu a deux problèmes de vérification. Notre domaine d'étude concerne les systèmes matériels numériques séquentiels synchrones. Le travail présente dans ce document développe une approche de vérification unifiée, fondée sur le modèle de machines d'états finis, pour résoudre les deux problèmes de vérification sur ces systèmes. Dans cette approche, tout probleme de vérification se ramène a définir une machine d'états finis sur laquelle la vérification sera réalisée. L'application du langage lustre et de l'outil de vérification Lesar associe a été étudiée dans le but de valider cette approche. Dans cette application, la resolution des deux problèmes de vérification se ramène a définir un programme lustre ayant une seule sortie. La vérification consiste a vérifier que cette sortie est la constante booléenne 1. Cette vérification est réalisée automatiquement par l'outil de vérification Lesar

Des systèmes de culture innovants doivent être proposés pour répondre aux nouveaux objectifs de l'agriculture qui devront allier productivité, respect de l'environnement et rentabilité économique. Les systèmes de culture en semis direct sous couvert végétal (SCV) avec cultures associées permettraient d'atteindre ces objectifs. Si ces systèmes ont en effet montré des intérêts en climat tropical, ils sont presque inexistants en climat tempéré.<br />Cette thèse se propose d'accroître les connaissances scientifiques sur ces systèmes particuliers pour faciliter leur conception et leur évaluation en climat tempéré. Le travail repose sur un dispositif expérimental mis en place à Grignon (Yvelines, France) en 2002 pour trois campagnes culturales. Du blé tendre d'hiver (Triticum aestivum L.) est semé (i) dans un sol labouré, (ii) directement dans les résidus de la culture précédente et, (iii) directement dans six plantes de couverture différentes. En combinant sur ce dispositif une double approche, systémique et analytique, les objectifs de la thèse sont de comprendre, selon l'espèce de couverture, (i) l'impact des différents SCV avec cultures associées sur le rendement de la culture de vente en mettant en évidence les phases de sensibilité aux stress de cette culture, (ii) les relations de compétition et/ou de facilitation pour l'azote et la lumière entre les espèces associées et, (iii) l'évolution, à court terme, de la structure du sol et de ses propriétés hydriques.<br />Ce travail montre que la présence d'une plante de couverture peut réduire, parfois fortement, le rendement de la culture de vente, différemment selon l'espèce de couverture, sa conduite technique et les conditions climatiques ; les phases d'élaboration du rendement qui sont perturbées dans ces situations culturales dépendent aussi de ces trois facteurs. De plus, l'étude met en évidence que la compétition pour le rayonnement lumineux entre les espèces associées est le processus le plus défavorable au rendement du blé.<br />A court terme, il n'apparaît pas de différences marquées entre la structure d'un sol non travaillé sans plante de couverture et celle d'un sol non travaillé avec une plante de couverture. Toutefois, l'étude révèle que les propriétés hydriques peuvent être modifiées selon l'absence ou la présence d'une plante de couverture sur un sol non travaillé sans démontrer de variations importantes de ces propriétés selon l'espèce de couverture.<br />La thèse fournit des informations scientifiques et techniques sur le fonctionnement, en climat tempéré, de peuplements associant sur un sol non travaillé, une culture de vente à différentes plantes de couverture. Elle montre la faisabilité mais aussi les risques des SCV avec cultures associées ; elle permet d'identifier des axes de recherche pour compléter les connaissances et fournir des références pour réduire ces risques.

Le point de départ des réflexions menées au cours de cette thèse est l'analyse des impacts locaux occasionnés au Mali par la mise en œuvre d'un système de gestion forestière communautaire : les marchés ruraux de bois. <br />Après un recadrage des racines intellectuelles de ce dispositif pensé pour assurer l'approvisionnement des grandes villes du pays en bois-énergie, dans le double contexte d'une réforme du secteur forestier et de l'achèvement d'un processus de décentralisation politique, ses conséquences sanitaires et environnementales sont brièvement exposées. A travers une étude de cas menée dans une commune des environs de Bamako (Zan Coulibaly), c'est la mise en évidence des profondes modifications causées par les marchés ruraux (lues en terme de configurations institutionnelles, de pratiques d'exploitation des ressources naturelles et de conflits territoriaux) qui justifie par contre un questionnement méthodologique approfondi sur l'analyse de situations de gestion contestée de ressources naturelles communes.<br />Prenant en compte les pratiques routinières des acteurs, le fonctionnement réel des filières bois et charbon, ainsi que les dynamiques institutionnelles locales, le cadre d'analyse s'inspire de la littérature des commons, des travaux sur les entitlements d'Amartya Sen, de la théorie de la structuration de Giddens. Il permet alors de présenter à travers des entrées respectivement : (i) « domestique », les déterminants de l'exploitation du bois au sein du marché rural & son impact économique direct ; (ii) « locale », la traduction en termes spatiaux et territoriaux de son fonctionnement ; (iii) « politique », les enjeux de gouvernance plus larges qu'il soulève.

Ce travail de thèse interroge, à partir d'une enquête compréhensive, les modes de vie des pavillonnaires toulousains et plus particulièrement ceux dont l'installation s'avère fortement contrainte par les conditions du marché immobilier et foncier. Si l'espace périurbain demeure le lieu de vie des couches moyennes, il s'est socialement diversifié, en particulier sous l'effet de la diffusion de l'accession sociale. Alors que pour bon nombre de périurbains, vivre en maison individuelle en périurbain correspond à une volonté de maîtrise de son environnement, pour les familles modestes rencontrées, l'acquisition d'un pavillon et sa localisation sont bien loin d'y répondre et nécessite une très forte mobilisation. Le décalage est grand entre la promesse d'une tranquillité et de bonnes relations sociales qui sous-tend l'accession à la maison individuelle en périurbain et le vécu de certains ménages fragilisés économiquement qui se sentent « captifs ». Ce questionnement autour de l'habiter, montre les limites d'un modèle très prégnant dans la société française, celui de la maison individuelle en périurbain.

La thèse a été réalisée en cotutelle entre le Centre de biophysique moléculaire, CNRS UPR 4301, conventionné avec l'Université d'Orléans et l'Université TUM de Munich.<br />La gelée royale est produite dans les glandes des abeilles nourricières Apis mellifera par digestion partielle de pollen et de nectar. La gelée royale joue un rôle clé dans la reproduction, la croissance, l'immunité et l'organisation sociale des abeilles. Elle constitue également une source potentielle de nombreuses molécules à vocation pharmaceutique.<br />Le candidat a analysé des gelées royales d'origines botaniques et géographiques bien définies. Des fractions de peptides et de protéines ont été isolées à l'aide de multiples techniques physico-chimiques. Ces fractions se sont avérées présenter des propriétés antimicrobiennes. Le candidat a également examiné les possibilités d'application pharmaceutique des fractions de gelée royale qu'il a isolées.

Nous présentons quelques contributions à la simulation et à l'analyse de discrétisation de processus, avec leurs applications notamment en finance. Nous avons regroupé nos travaux selon 4 thèmes: 1. statistique des processus avec observations discrètes; 2. couverture en temps discret en finance; 3. sensibilités d'espérances; 4. analyses d'erreurs de discrétisation. Le premier chapitre sur la statistique des processus est assez indépendant du reste. En revanche, les trois autres chapitres correspondent à une cohérence et une progression dans les questions soulevées. Néanmoins au fil de la lecture, on remarquera des liens entre les quatre parties: différentiation par rapport à des domaines et amélioration de simulation de temps de sortie, sensibilités d'espérances et statistique asymptotique avec le calcul de Malliavin, sensibilités d'espérances et analyse d'erreur etc... Les preuves des résultats s'appuient notamment sur les outils du calcul de Malliavin, des martingales, des Équations aux Dérivées Partielles et de leurs liens avec les Équations Différentielles Stochastiques.

Dans le cadre d'intersections de classes non quasi-analytiques à croissance modérée, J. Chaumat et A. M. Chollet ont démontré, notamment, un théorème d'extension de Whitney, pour des jets définis sur un compact et un théorème de Lojasiewicz sur la régulière situation. Ces intersections sont contenues dans l'intersection des classes de Gevrey. On établit ici un théorème d'extension dans une famille d'intersections de classes plus vaste, en ce sens que, tout jet de Whitney appartient à l'une des intersections considérées. Ensuite, en utilisant une méthode d'interpolation à l'aide de polynômes de Lagrange, due à W. Pawlucki et W. Plesniak, on établit aussi un théorème d'extension linéaire pour les jets définis sur des compacts ayant la propriété de Markov. Ces extensions de jets peuvent être choisies réelles analytiques sur le complémentaire du compact. Ces résultats sont complétés par trois exemples de situations pour lesquelles il n'existe pas d'opérateur d'extension linéaire continu. Enfin, on démontre un théorème de Lojasiewicz. Tous ces résultats sont étroitement reliés aux théorèmes classiques de la théorie des fonctions infiniment dérivables.

Le propos de cette thèse est l'étude de la norme ||G+T|| d'une perturbation compacte d'un opérateur G agissant entre des espaces de Banach. Dans un premier temps nous abordons le problème du point de vue de la propriété de Daugavet : un opérateur G un centre de Daugavet si tout opérateur T de rang 1 (ou de manière équivalente tout opérateur compact) vérifie ||G+T||=||G||+||T||. Dans le premier chapitre, nous donnons des exemples de centres de Daugavet parmi les opérateurs de composition à poids agissant sur certains espaces de fonctions, comme par exemple l'espace C(K) des fonctions continues sur un compact parfait K, l'algèbre du disque, ou encore l'espace des fonctions lipschitziennes sur un espace métrique complet. Dans le second chapitre, nous étudions une propriété un peu plus faible, à savoir que l'équation ||G+T||=||G||+||T|| ne soit plus satisfaite que pour une certaine classe d'opérateurs de rang 1, et nous appelons alors un tel opérateur G un presque centre de Daugavet. Nous donnons une caractérisation des presque centres de Daugavet en terme de l^1-type canonique et d'épaisseur de l'opérateur G. Ceci nous permet alors d'obtenir une caractérisation des opérateurs qui fixent une copie de l'espace l^1. Le point de vue du dernier chapitre est différent : on ne cherche plus à trouver G qui " maximise " la norme de G+T pour tout opérateur compact T, mais à trouver un opérateur compact T qui minimise ||G+T||. En d'autres termes, on cherche à évaluer la norme essentielle de G. Nous complétons certains résultats obtenus dans le cadre des opérateurs de composition à poids agissant entre différents espaces de Hardy.

Les travaux présentés dans ce mémoire traitent de la synthèse d'algorithmes de diagnostic de défauts simples et multiples. L'objectif vise à proposer une stratégie de diagnostic à minimum de redondance analytique en exploitant au mieux les informations de redondance matérielle éventuellement disponibles sur le système. Les développements proposés s'inscrivent dans une démarche de coopération et d'agrégation des méthodes de diagnostic et la construction optimale d'un diagnostic global en fonction des diagnostiqueurs locaux. Les travaux réalisés se veulent génériques dans le sens où ils mêlent à la fois les concepts et outils de deux communautés : ceux de la communauté FDI (Fault Detection and Isolation) et ceux de la communauté DX (Diagnosis) dont les bases méthodologiques sont issues des domaines informatiques et intelligence artificielle. Ainsi, le problème de détection (ainsi que le problème de localisation lorsque les contraintes structurelles le permettent) est résolu à l'aide des outils de la communauté FDI tandis que le problème de localisation est résolu à l'aide des concepts de la communauté DX, offrant ainsi une démarche méthodologique agrégée. La démarche méthodologique se décline en deux étapes principales. La première phase consiste en la construction d'une matrice de signatures mutuellement exclusive. Ainsi, le problème du nombre minimal de relations de redondance analytique (RRA), nécessaires pour établir un diagnostic sans ambiguïté, est abordé. Ce problème est formalisé comme un problème d'optimisation sous contraintes qui est efficacement résolu à l'aide d'un algorithme génétique. La deuxième étape concerne la génération des diagnostics. Ainsi, pour une situation observée, identifier les conflits revient à définir les RRAs non satisfaites par l'observation. Les diagnostics sont obtenus à l'aide d'un algorithme basé sur le concept de formules sous forme MNF (Maximal Normal Form). L'intérêt majeur dans cette approche est sa capacité à traiter le diagnostic des défauts simples et multiples ainsi que le diagnostic des plusieurs modes de fautes (i.e., le diagnostic des différents types de défauts) associés à chaque composant du système surveillé. De plus, il existe des preuves d'optimalité tant au niveau local (preuve de robustesse/sensibilité) qu'au niveau global (preuve de diagnostics minimaux). La méthodologie proposée est appliquée à la mission spatiale Mars Sample Return (MSR). Cette mission, entreprise conjointement entre l'administration nationale de l'aéronautique et de l'espace (NASA) et l'agence spatiale européenne (ESA), vise à ramener des échantillons martiens sur Terre pour des analyses. La phase critique de cette mission est la phase rendez-vous entre le conteneur d'échantillons et l'orbiteur. Les travaux de recherche traitent le problème de diagnostic des défauts capteurs présents sur la chaîne de mesure de l'orbiteur pendant la phase de rendez-vous de la mission. Les résultats, obtenus à l'aide du simulateur haute fidélité de Thalès Alenia Space, montrent la faisabilité et l'efficacité de la méthode.

Ce travail comporte deux parties indépendantes: la première concerne les suspensions de particules anisotropes en écoulement élongationnel, la seconde porte sur l'étude en lois d'échelle des couches limites en convection thermosolutale. L'écoulement de suspensions de particules anisotropes présente en déformation élongationnelle des propriétés spécifiques liées à la géométrie des particules. Après la mise en oeuvre d'une cellule d'écoulement à orifice relisant une sollicitation élongationnelle bien définie, des suspensions de fibres non-browniennes sont étudiées dans deux régimes de concentration. En régime dilué, les résultats expérimentaux concernant la dynamique d'orientation d'une fibre sont bien décrits par les équations d'orientations du vecteur directeur obtenues analytiquement. En régime semi-dilué, l'écoulement présente une structuration remarquable, qui est étudiée en fonction de la fraction volumique et du rapport de forme des particules. Un modèle d'écoulement obtenu en minimisant l'énergie dissipée permet d'interpréter les résultats expérimentaux en termes de viscosité élongationnelle, et en relation avec les propriétés de la suspension à l'échelle des particules. Les écoulements de couche limite au voisinage d'une paroi verticale dans un milieu fluide soumis a des gradients de température et de concentration horizontaux présentent une grande variété de situations suivant la valeur des paramètres adimensionnels du problème. Une analyse combinant raisonnements en loi d'échelle et méthode intégrale permet de prédire complètement les différents régimes d'écoulement et les variations des couches limites. Les résultats sont corroborés par des solutions de similitude obtenues numériquement.