Ce travail porte sur la dynamique bactérienne (abondances totale, vivante et active, productions de cellules et de biomasse, activités de dégradation exo-enzymatique) en Manche orientale, depuis une approche écosystémique à l'application d'outils microbiens spécifiques. Il permet de mieux comprendre le rôle des bactéries, jusqu'alors peu étudiées en Manche orientale, dans les flux de matière et d'énergie, particulièrement en période de floraison printanière.<br />Le premier objectif consistait à déterminer la réponse du bactérioplancton à la variabilité spatio-temporelle du milieu, à l'échelle (i) de l'écosystème au cours de deux années consécutives (2003/2004), (ii) saisonnière sur le site de Wimereux et (iii) journalière au cours de suivis Lagrangiens de masse d'eau. Cette étude montre que les années 2003 et 2004 ont été très différentes en termes de fonctionnement trophique du réseau microbien. Par ailleurs, la diversité des paramètres de contrôle de la dynamique bactérienne (température, disponibilité en matières organiques, pression de prédation) conditionne son caractère saisonnier. Sur un cycle journalier, l'application de deux méthodes de mesure de la production a permis une analyse plus précise et plus fine des conditions de croissance bactérienne.<br />Afin d'évaluer le rôle trophique du bactérioplancton, particulièrement lors des blooms massifs de Phaeocystis globosa, les fractions cellulaires viables et actives du pool bactérien, responsables de l'activité mesurée, ont été estimées. Les abondances de ces cellules augmentent significativement en réponse aux matières organiques accumulées pendant et après le bloom phytoplanctonique. Des mesures d'activité exo-enzymatique montrent une dégradation bactérienne significative des matières issues du bloom, et soulignent l'existence d'une étroite relation « trophique » entre bactéries et P. globosa.

Dans ce mémoire, nous avons cherché à exploiter au mieux la cyclostationnarité afin de faire ressortir toute l'information présente dans les signaux issus de machines tournantes. Les méthodes de prétraitement qui y sont présentées sont illustrées sur des signaux d'engrenage et de roulement.<br /><br /> Nous présentons tout d'abord la cyclostationnarité ainsi que ces diverses variantes. La caractérisation est faite suivant l'angle où les signaux sont naturellement cyclostationnaires. Ensuite, nous insistons plus longuement sur le devenir de la cyclostationnarité après échantillonnage temporel. Alors que les périodes cycliques sont certaines suivant l'angle, elles ne le sont plus nécessairement suivant le temps à cause des fluctuations de vitesse aléatoires. Dès lors, les propriétés de cyclostationnarité disparaissent. Nous introduisons alors le concept de cyclostationnarité floue pour caractériser un tel signal. De plus, afin d'induire la cyclostationnarité sur les signaux temporel, nous proposons des méthodes de re-échantillonnage en fonction de l'angle.<br /><br /> Après avoir présenté les outils basés sur la cyclostationnarité, nous nous intéressons à son utilisation sur des signaux mécaniques. Pour cela nous introduisons le concept de cycloergodisme qui étend l'ergodisme stationnaire au cas cyclostationnaire et nous permet d'utiliser une seule réalisation. Nous présentons également les différents outils à l'ordre $1$ et $2$ (variance, distribution Wigner-Ville ...). Un exemple de diagnostic sur un engrenage permet d'expliquer comment traiter les signaux contenant plusieurs périodes commensurables. Ensuite, nous illustrons la pseudo-quasi-cyclostationnarité floue à l'aide d'un signal composé d'engrènement et de roulement. Dans un premier temps, nous traitons de la séparation des contributions roues et roulement + bruit. Pour cela nous exploitons le caractère principalement périodique des signaux de roue et le caractère stochastique des signaux de roulement. Dans un deuxième temps, nous utilisons ensuite un filtre de Wiener Cyclique afin de réduire le bruit toujours présent dans la contribution du roulement.

composition des paysages agricoles, sous l'effet de changements dans les politiques et les méthodes de production de l'agriculture (mécanisation accrue, expansion des zones cultivées au détriment des habitats semi-naturels, augmentation de l'utilisation des intrants chimiques...). Face à tous ces changements liés à l'agriculture moderne, la question se pose de l'impact de l'intensification agricole sur la biodiversité.<br />Dans cette optique, nous nous sommes intéressés à une communauté de petits mammifères (rongeurs et insectivores < 40g) des haies dans trois paysages agricoles bretons contrastés du point de vue de l'intensité de l'usage des terres et de la densité des réseaux de haies, le long d'un gradient d'intensification de l'agriculture. Quatre axes principaux sont identifiés : (1) caractériser la structure et la composition de la communauté dans les trois paysages, (2) déterminer (dans une approche multi-échelle quelles sont les variables environnementales qui peuvent expliquer les<br />différences dans les assemblages d'espèces entre les haies, (3) caractériser les variations saisonnières de la communauté et des populations qui la composent en réponse à la dynamique des paysages. (4) Nous nous sommes aussi intéressés à un niveau trophique supérieur en comparant les abondances de deux espèces de prédateurs des petits mammifères, la buse variable (Buteo buteo) et la faucon crécerelle (Falco tinnunculus) en réponse à la composition des paysages et à la<br />disponibilité en proies.<br />Les résultats soulignent l'importance de développer des approches qui intègrent plusieurs niveaux d'organisation et plusieurs échelles d'analyse. La diversité, l'abondance, la composition, la biomasse et les amplitudes saisonnières de fluctuation de la communauté, ainsi que l'abondance des deux espèces de rapaces sont différentes entre les trois sites, montrant un effet de<br />l'intensification de l'agriculture sur les différents taxons étudiés. Le paysage, mais également les caractéristiques de l'habitat sont impliqués dans la structuration des assemblages d'espèces.<br />Ces résultats permettent d'envisager des modes de gestion et d'aménagement pour la conservation de la biodiversité dans les paysages agricoles.

Cette étude traite de la simulation de la variabilité spatiale et temporelle de la température de surface pour des sols avec relief.<br /><br /> L'approche 1D développée pour les modèles simplifiés consiste à exprimer la température en un point de la surface du sol avec relief comme une combinaison d'une température "ombre" et d'une température "soleil" du sol équivalent plat horizontal. Les phénomènes prépondérants de la variabilité de la température sont isolés par la réalisation de mesures en extérieur sur une maquette à profil sinusoïdal. Les mesures obtenues permettent de valider le code thermique 3D de référence.<br /><br />Différents modèles analytiques 1D sont développés et validés par rapport à ce code. L'application de la méthode "ombre/soleil" par passage dans l'espace de Fourier conduit à une bonne concordance entre le modèle et la solution de référence 3D.

Les modes de Fourier spatiaux de la vorticité dans un jet et dans un écoulement de grille turbulents sont étudiés par diffusion acoustique à des nombres de Reynolds de Taylor entre 100 et 400. Les propriétés dynamiques de la vorticité sont déduites des corrélations temporelles du signal acoustique de diffusion. Les échelles spatiales accessibles couvrent la fin de la zone inertielle et le début de la zone dissipative de l'écoulement. Le signal complexe de vorticité est dominé par les effets d'advection des petites structures par la grande échelle. La corrélation d'intensité des modes de Fourier (enstrophie) révèle deux temps caractéristiques : un temps court contrôlé par les gradients de vitesse à grande échelle et un temps long comparable au temps intégral de l'écoulement. La coexistence de ces deux temps est la manifestation d'un phénomène d'intermittence temporelle. L'évolution à travers les échelles du niveau de corrélation à temps long est la manifestation d'un phénomène d'intermittence spatiale associée à la lacunarité croissante des échelles dissipatives de la turbulence.

Cette thèse propose une nouvelle technique de vérification par model-checking de propriétés dynamiques PLTL, exprimées au cours d'un processus de spécification de systèmes réactifs par raffinement. La vérification par model-checking a l'avantage d'être entièrement automatisable, mais elle se heurte au problème de l'explosion combinatoire de l'espace d'états à vérifier. Afin de faire face à ce problème, nous proposons de découper par partition l'espace d'états en un ensemble de modules, et de mener la vérification successivement sur chacun des modules, afin de pouvoir conclure sur le modèle dans son ensemble. Nous prouvons que cette méthode de vérification (appelée vérification modulaire) est valide pour tout une classe de propriétés PLTL, que nous caractérisons par des automates de Büchi. Nous présentons les systèmes d'événements B comme cadre d'application de cette technique. Nous proposons une méthode de découpage en modules guidée par le processus de raffinement B.

La mer côtière est le siège d'activités anthropiques multiples, parfois concurrentes, interagissant avec l'environnement naturel. La compréhension des interactions entre ces activités et le milieu est un objectif majeur de la recherche pour l'aide au développement durable des sociétés humaines. Dans ce contexte, il est notamment indispensable de se focaliser sur les modalités d'utilisation et d'exploitation du milieu par l'Homme. Cela répond à un fort besoin des scientifiques, qui cherchent à évaluer la part de l'activité humaine dans l'évolution des écosystèmes, et des gestionnaires en quête d'informations permettant une vision globale et interdisciplinaire du territoire. Dans ce cadre, le milieu marin pose des problèmes spécifiques. Sur cet espace ouvert, la lisibilité des phénomènes liés aux activités humaines est d'autant plus complexe. Une méthodologie visant à analyser le système est donc proposée. Elle consiste à réaliser une description du déroulement des activités humaines dans l'espace et dans le temps grâce à l'utilisation de filtres spatio-temporels. Cette approche fournit les bases d'une modélisation conceptuelle et logique des usages anthropiques intégrable au sein d'un simulateur de la Dynamique des Activités HUmaines (DAHU). L'exploitation des résultats via un SIG permet la restitution de représentations spatio-temporelles pertinentes et constitue ainsi une information synthétique utile à une gestion concertée de la mer côtière.

La vérification formelle est indispensable pour assurer la fiabilité des applications critiques comme les protocoles de communication et les systèmes répartis. La technique de vérification basée sur les modèles (model-checking) consiste à traduire l'application vers un système de transitions étiquetées (STE), sur lequel les propriétés attendues, exprimées en logique temporelle, sont vérifiées à l'aide d'outils appelés évaluateurs (model-checkers). Cependant, les logiques temporelles "classiques", définies sur un vocabulaire d'actions atomiques, ne sont pas adaptées aux langages de description comme LOTOS, dont les actions contiennent des valeurs typées. Cette thèse définit un formalisme appelé XTL (eXecutable Temporal Language) qui permet d'exprimer des propriétés temporelles portant sur les données du programme à vérifier. XTL est basé sur une extension du mu-calcul modal avec des variables typées. Les valeurs contenues dans le STE, extraites à l'aide d'opérateurs modaux étendus, peuvent être passées en paramètre aux opérateurs de point fixe ou manipulées à l'aide de constructions d'inspiration fonctionnelle comme "let", "if-then-else", "case", etc. Les propriétés portant sur des séquences d'actions du programme sont décrites succinctement au moyen d'expressions régulières. Des méta-opérateurs spéciaux permettent l'évaluation des formules sur un STE et l'expression de propriétés temporelles non-standard par exploration de la relation de transition. La sémantique de XTL est formellement définie et des algorithmes efficaces sont proposés pour évaluer des formules temporelles XTL sur des modèles STEs. Un évaluateur XTL est développé et utilisé avec succès pour la validation d'applications industrielles comme le protocole BRP développé par Philips et la couche liaison du bus série IEEE-1394 ("FireWire").

La composition des systèmes temporisés est source de nombreux problèmes, notamment de blocage. Nous proposons un cadre de description compositionnelle des systèmes temporisés qui préserve la réactivité temprorelle, à savoir que si le système ne peut réagir, alors le temps peut avancer. Nous effectuons d'abord une étude préliminaire sur la spécification des évolutions temporelles dans les systèmes, débouchant sur la définition de mécanismes de description adéquats. Ceci nous permet de définir une classe de modèles temporisés temporellement réactifs, par construction. Nous définissons sur cette classe des opérateurs de choix et de composition parallèle qui préservent cette propriété. En outre, les opérateurs sont définis de sorte à préserver l'activité dans le sens où si à partir d'un état une action est possible dans un composant, alors une action est possible dans la composition. L'opérateur de composition parallèle respecte également la propriété de progrès maximal grâce à l'utilisation d'opérateurs de choix avec priorités qui favorise les synchronisations. Un cadre général est donné pour exprimer différents modes de synchronisation, parmi lesquels on retiendra AND (synchronisation classique), MAX (synchronisation avec attente) et MIN (interruption). Pour terminer, nous développons une approche algébrique pour une sous-classe des modèles considérés.

Cette thèse s'intéresse à la photo-dynamique du photochromisme du salicylidène aniline (SA) en solution afin d'en proposer un mécanisme général. Le photochromisme du SA faisant intervenir un transfert de proton intramoléculaire ultra-rapide, l'étude expérimentale a été principalement conduite par spectroscopie d'absorption transitoire femtoseconde à différentes longueurs d'onde d'excitation. L'observation de processus photo-induits ultra-rapides par les techniques de spectroscopie de type pompe-sonde requiert la mesure et la prise en compte de la fonction de réponse instrumentale. En effet, des effets physiques peuvent affecter la structure des données spectrocinétiques, voire provoquer certaines distorsions, et la convolution limite la résolution temporelle des acquisitions. La première étape de ce travail a donc été d'adapter des méthodes chimiométriques de résolution des données multivariées à cette spécificité. L'approche proposée a consisté à implémenter une contrainte cinétique adaptée dans une résolution multivariée de courbes par moindres carrés alternés (MCR-ALS). Les développements méthodologiques ont été validés sur des données simulées avant d'être appliqués à l'étude spectroscopique du SA. Les principaux résultats obtenus concernent 1) le transfert de proton intramoléculaire, qui a été estimé à 60 fs, 2) la compétition avec un mécanisme de rotation qui a pu être caractérisé, 3) la dépendance des rendements quantiques avec la longueur d'onde d'excitation. Cette thèse propose ainsi une caractérisation complète des processus photo-induits pour le SA, c'est-à-dire les vitesses de réaction et les spectres de toutes les espèces transitoires.