L'objet de cette thèse est l'étude de deux méthodes de génération automatique de vecteurs de test pour les circuits intégrés digitaux. Après un rappel des problèmes actuels posés par le test des circuits VLSI (partie I), deux méthodes de génération automatique de vecteurs de test adressant deux types différents d'hypothèses de pannes sont présentées: une méthode heuristique de génération de vecteurs (partie II) et une méthode de test pseudo-exhaustif (partie III)

Lintégration progressive de lélectronique dans les secteurs automobile et avionique a amélioré le confort et les services rendus. Toutefois, cela a complexifié la conception des systèmes pilotés par calculateurs (systèmes mécatroniques, calculateurs de vol, etc.), ce qui rend difficile la maîtrise de leur fiabilité. Par ailleurs, la phase de conception doit être rapide et peu coûteuse (le moins de prototypes possible, le plus tard possible) avec un niveau de sécurité garantie. De plus, les ressources en moyens matériels étant limitées, pour des raisons de coûts et de mise en Suvre, les concepteurs évitent au maximum les redondances matérielles. Des études de Sûreté de Fonctionnement réalisées dès la phase de conception permettent une meilleure maîtrise des risques et de la fiabilité des systèmes conçus. En effet, les points faibles qui sont mis en évidence lors de lévaluation du niveau de sûreté des systèmes conçus permettent aux concepteurs de spécifier des stratégies de pilotage et des modes de reconfiguration avant les premiers essais sur un prototype réel. Les systèmes pilotés par calculateurs combinant des technologies mécaniques, hydrauliques, électroniques et informatiques sont hybrides: la dynamique continue est associée à la partie énergétique et la dynamique discrète est liée à la commande numérique et à lexistence dévénements discrets (défaillances, dépassements de seuils). Létude de la sûreté de fonctionnement de tels systèmes doit nécessairement tenir compte des interactions existantes entre leurs paramètres physiques (température, pression, vitesse&) et le dysfonctionnement de leurs composants. Les méthodes classiques de la sûreté de fonctionnement, comme les arbres de défaillances sont insuffisantes pour de tels systèmes complexes et hybrides car ils sont dynamiques. La sûreté de ces systèmes doit tenir compte du temps et de lordre dapparition des événements. La rareté de ces scénarios expose les méthodes basées seulement sur la simulation. au problème dexplosion combinatoire. Il existe en effet des techniques daccélération de la simulation, largement utilisées avec succès, dans lingénierie nucléaire notamment. Mes travaux de thèse sont placés dans le cadre de la fiabilité dynamique. Lobjectif est de réaliser une analyse qualitative de la sûreté de fonctionnement des systèmes pilotés par calculateurs pour extraire des scénarios menant à des états redoutés. Il sagit de caractériser ces scénarios au plus tôt dans la phase de conception, ce qui permet dévaluer leurs probabilités doccurrence pour valider larchitecture du système. Nous proposons une approche basée sur la logique linéaire et les Réseaux de Petri Prédicats Transitions Différentiels Stochastiques (RdP PTDS) qui garantissent le respect de la nature hybride de ces systèmes. Cette approche tient partiellement compte de laspect continu du système et plus particulièrement des seuils associés à certaines transitions dans le modèle RdP. Cela permet de déterminer plus précisément les conditions exactes de loccurrence de lévénement redouté : ce qui pousse le système à quitter son fonctionnement normal et à évoluer vers létat redouté. Loriginalité de notre approche est que lordre doccurrence des événements est pris en compte et les scénarios incohérents vis-à-vis de la dynamique continue du système sont éliminés. Notre approche est également orientée vers la vérification de certaines propriétés des systèmes pilotés par calculateur. Ces propriétés peuvent êtres de type temporel (la durée maximale dun scénario ou la durée entre deux commandes) ou de type accessibilité entre deux états. Lautomatisation de toutes les étapes de notre approche nous a paru indispensable dans le cas des systèmes complexes où le risque derreur humaine est très important. C'est pourquoi, j développé un outil ESA_PetriNet (Extraction & Scenarios Analyser by PetriNet model) qui permet dextraire les scénarios critiques qui mènent vers létat redouté à partir du n modèle Réseau de Petri temporel et de vérifier certaines propriétés des systèmes pilotés par calculateurs. null

Cette étude a pour objectifs la compréhension et la modélisation de certains effets importants du semis direct avec paillis de résidus (SDP) sur les bilans hydrique, thermique et azoté d'une culture de maïs pluvial. Elle a été menée dans le contexte d'un climat tropical semi-aride au Mexique. D'un point de vue méthodologique, le travail a consisté tout d'abord à identifier les phénomènes physiques et biologiques principaux qu'implique l'itinéraire technique SDP. En s'appuyant sur les résultats de la littérature et sur les acquis au niveau du terrain d'étude, nous avons retenu comme prédominants les effets du SDP sur i) l'évaporation et la température du sol, ii) la structure de surface du sol et l'infiltration, iii) le ruissellement, et iv) le cycle de l'azote et l'activité biologique des sols.<br />Ces effets identifiés, une lourde campagne de collecte de données de terrain a été réalisée de mai à octobre 1998, sur le site expérimental de la Tinaja (état de Jalisco, Mexique). Des mesures complémentaires ont été faites en juin et juillet 1999 sur le même site. Certaines mesures difficilement réalisables sur le terrain ont été effectuées en laboratoire, et sont venues renforcer les données du terrain. A l'issu de ce travail expérimental important, nous disposons d'une base de données relativement riche sur l'ensemble des phénomènes étudiés.<br />L'étude théorique des effets du SDP s'est déroulée en deux phases. La première s'appuie sur une stratégie d'atomisation de la problématique en volets élémentaires spécifiques, traitant les effets du SDP sur i), ii) et iii), en milieu contrôlé. Le premier volet vise à étudier et modéliser les flux d'eau et de chaleur dans le système sol-paillis-atmosphère (transferts turbulents et radiatifs au sein du paillis). Il permet de comprendre et de quantifier l'effet d'un paillis de résidus sur l'évaporation d'un sol et son amplitude thermique, en fonction du taux de couverture. Le deuxième volet consiste à caractériser les effets cumulatifs du SDP sur les propriétés hydrodynamiques d'un sol et donc sa capacité à l'infiltration. Le troisième volet est dédié à l'étude et la modélisation du ruissellement sur sol paillé éventuellement planté, en tenant compte de l'interception de l'eau de pluie, de la rétention de surface, de l'infiltration, de la canalisation du ruissellement et de son écoulement. La deuxième phase relève de la reconstruction par intégration et consiste en un volet unique. Dans ce volet les résultats des trois volets spécifiques précédents sont synthétisés et intégrés dans un modèle numérique de fonctionnement global. Ce dernier prend en compte à la fois les dynamiques de l'eau, de la chaleur et de l'azote. Il reproduit simultanément et de façon couplée tous les effets majeurs du SDP sur le système sol-paillis-plante-atmosphère.

Les modèles de fonctionnement de culture visent à simuler de façon mécaniste l'influence de l'environnement sur la croissance et le développement des végétaux cultivés. Destinés au raisonnement des systèmes de culture intensifs, les modèles usuels considèrent le couvert comme une entité homogène. L'évolution des pratiques agricoles vers une agriculture plus respectueuse de l'environnement conduit à considérer des systèmes plus complexes (multispécifiques) et plus hétérogènes, et appelle au renouvellement de ces modèles.<br />L'objectif de la thèse est d'élaborer une modélisation du couvert comme une population de plantes. Ceci nécessite de prendre en compte explicitement le développement de chaque individu au sein du couvert, et ses conséquences sur la croissance des plantes voisines. La thèse a pris pour objet la simulation des effets de la compétition pour la lumière sur la morphogenèse de l'appareil végétatif aérien du maïs (Zea mays L.).<br />Dans un premier temps, la plasticité morphologique du maïs est étudiée expérimentalement au champ, pour des situations contrastées de compétition pour la lumière. Une forte compétition conduit à une réduction globale de la taille des plantes. Elle a pour effet également d'accentuer au cours du temps la variabilité entre individus. L'analyse des dimensions individuelles des organes montre que la croissance en largeur et en diamètre suit précisément ce schéma. Par contre l'allongement des organes est d'abord stimulé par la compétition, puis subit une réduction dépendante de l'intensité de la compétition. <br />Ces observations ont justifié le choix du formalisme des L-systèmes ouverts pour l'implémentation du modèle. Cette approche permet une modélisation plante à plante, mais aussi d'intégrer et d'expliciter la croissance de chacun des organes. Le modèle couple des modèles microclimatiques préexistants (calcul de la température et de la distribution du rayonnement) à un modèle architectural et fonctionnel du développement végétatif, élaboré à partir de données bibliographiques. Un schéma de réduction de la croissance par le carbone disponible a été introduit et testé sur sa capacité à rendre compte des effets de la densité de peuplement. Le modèle simule la cinétique du développement à partir de données météorologiques mesurées en réseau et d'une paramétrisation génotypique réduite (5 paramètres). La structure géométrique de la plante est rendue de façon réaliste et simule convenablement l'évolution du taux de couverture du sol. Le modèle rend compte des variations de réduction de dimensions foliaires en fonction du numéro de phytomère, et permet de simuler le développement de l'hétérogénéité dans le couvert.<br />Ce premier axe de travail montre toutefois l'importance de disposer de formulations plus précises des cinétiques de croissances d'organes. L'allongement de la tige est particulièrement peu documenté dans la bibliographie. Nous avons mené l'étude expérimentale de la cinétique d'allongement des entre-nœuds, en considérant des situations contrastées de disponibilité en rayonnement. Les cinétiques de croissance diffèrent selon les traitements, mais montrent une même organisation. Durant une première période, l'allongement est un processus intégré à l'échelle de plusieurs entre-nœuds, stable au cours du développement. Dans une seconde période, la vitesse d'allongement devient très variable selon le rang et est fortement corrélée à la taille finale. La transition entre les deux périodes semble déclenchée par l'émergence de la gaine hors du cornet. L'évolution des dimensions du cornet au cours du temps pourrait donc être responsable des variations de longueur entre-nœuds entre phytomères.<br />Ce modèle ouvre des applications originales pour l'aide à l'interprétation d'expérimentation, car il permet de situer dans le temps les croissances de chaque organe et de la relier aux conditions environnementales locales. Le cadre de modélisation permet l'intégration des processus, de l'échelle de l'organe à celle du peuplement. Une meilleure compréhension du déterminisme des régulations des dimensions des organes reste toutefois nécessaire pour envisager l'application au raisonnement de pratiques agricoles. Les résultats obtenus suggèrent l'importance de signalisations environnementales, liées à l'exposition des organes à l'air ou à la lumière, dans ces régulations. Ces perspectives confortent l'intérêt d'une approche architecturale et fonctionnelle de la modélisation du développement.

Dans le double cadre de la conservation des écosystèmes soumis à l'exploitation et du développement durable d'une pêcherie, cette étude intégrée d'écologie benthique concerne la structure, le fonctionnement et l'évolution des communautés benthiques du plateau continental Nord Gascogne. Deux communautés distinctes ont été mises en évidence : une première dans la partie centrale de la Grande Vasière et une autre au niveau de la marge externe. Les divergences structurelles au sein de ces communautés traduisent un fonctionnement différent de ces deux écosystèmes contraints par des apports trophiques, des relations biotiques et des régimes de perturbations très différents. Des différences remarquables, notamment sur l'épifaune, ont été détectées en relation avec les perturbations engendrées par le passage des engins traînants. La comparaison des communautés à 35 ans d'intervalle révèle une évolution à long terme des entités biosédimentaires. La structure du réseau d'interactions trophiques a été précisée, en termes de niveaux trophiques et d'origine de la nourriture. Les apports trophiques par sédimentation ont été quantifiés. Aux échelles spatio-temporelles considérées, ils montrent une forte variabilité traduisant le rôle majeur des forçages physiques. Les données acquises au cours de cette étude ont été utilisées pour développer un modèle de réseau trophique à l'état stable de l'écosystème bentho-démersal de la Grande Vasière. A l'échelle annuelle, ce modèle révèle que la majeure partie des apports trophiques par sédimentation n'est pas consommée, que la pression de prédation exercée sur les consommateurs primaires benthiques est forte et que l'incidence des rejets de pêche dans le fonctionnement trophique de cet écosystème est faible. La définition de stratégies de gestion des pêcheries en terme de préservation des écosystèmes soumis à l'exploitation et de développement durable de ces activités doit prendre en compte l'ampleur et les rythmes de ces modifications.

Les travaux présentés dans la thèse portent sur la conception d'amplificateurs de puissance reconfigurables dans la technologie SiGe BiCMOS7RF de STMicroelectronics. Les applications visées sont les terminaux multi-standards de communications mobiles GSM/DCS/UMTS. Ces amplificateurs doivent être capables de modifier dynamiquement leurs propriétés en fonction à la fois du standard utilisé à un moment donné et du niveau de la puissance d'entrée afin de travailler à rendement optimum et préserver les batteries des terminaux. Pour cela, nous avons du faire face aux principaux points de divergence de ces standards: le rendement pour le GSM et le DCS afin de diminuer la puissance consommée et la linéarité pour l'UMTS qui utilise une modulation à enveloppe non-constante. L'amplificateur de puissance reconfigurable doit donc faire face à cette contradiction. Nous proposons une architecture capable d'adapter ses caractéristiques en fonction du standard choisi, en décrivant des méthodes permettant de modifier les caractéristiques principales de l'amplificateur : la classe de fonctionnement, le point de compression à 1 dB et le gain de la structure, le but étant de travailler à rendement optimum. Tous ces points de contrôles sont autant de leviers qui permettent de modifier les paramètres de l'amplificateur et de privilégier les critères de linéarité et de rendement l'un par rapport à l'autre, afin que l'amplificateur réponde aux spécifications du standard utilisé à un moment donné. La réalisation d'un amplificateur de puissance reconfigurable nous a permis de valider la fonctionnalité de la technique proposée. Mots-clés : multi-standard, circuits RF BiCMOS, amplificateur de puissance reconfigurable, classes de fonctionnement, variation du CP1, compromis linéarité-rendement, rendement optimum.

Depuis 2001 j'ai développé au sein de l'équipe Oasis des travaux de recherche sur la sémantique des applications à base d'objets distribués, appliquant dans le contexte d'un vrai langage, et d'applications de taille réelle, mes recherches précédentes dans le domaine des algèbres de processus. Les différents aspects de ce travail touchent naturellement à la sémantique comportementale, et à la définition de procédures de génération de modèles prenant en compte les différentes facettes de la programmation d'applications distribuées, mais aussi, en amont, à l'analyse statique de code et aux techniques d'abstraction de modèles, et en aval aux outils de vérification de propriétés comportementales. Je montre dans ce mémoire la complexité de ces recherches et la grande variété des techniques requises. Nous avons mis en place une méthode cohérente basée sur un modèle sémantique très flexible, le modèle pNets (parameterized Networks of automata), qui nous offre un bon compromis entre décidabilité, complexité, et utilisabilité. Cette approche nous a permis de définir une sémantique comportementale pour différents aspects des applications à base d'objets ou de composants distribués, mais aussi une notion d'abstraction vers des modèles abstraits finis, permettant d'utiliser des outils de vérification de type " model-checking ". L'ensemble de ces aspects a donné lieu à la réalisation de prototypes, dans la plateforme VerCors, et à des cas d'étude de grande taille.

L'étude de l'écologie des communautés et de la ségrégation écologique revêt une importance particulière, notamment pour ses apports en biologie évolutive mais aussi pour ses applications dans le domaine de la conservation. La présente étude s'intéresse à la ségrégation écologique des delphinidés de l'île de Mayotte (Canal de Mozambique, sud-ouest de l'océan Indien) à deux échelles : la communauté d'espèces (approche interspécifique) et les communautés d'individus (approche intra-spécifique). Autour de cette île, une communauté diversifiée de delphinidés se partage l'espace et les ressources, et ce à de très faibles échelles spatiales. Sur treize espèces observées, au moins cinq sont observées régulièrement et ont donc été étudiées : le grand dauphin de l'Indo-Pacifique (Tursiops aduncus), le dauphin à long bec (Stenella longirostris), le dauphin tacheté pantropical (Stenella attenuata), le péponocéphale (Peponocephala electra) et le dauphin de Fraser (Lagenodelphis hosei). Chez les espèces vivant en sympatrie, des mécanismes de ségrégation devraient s'observer selon les trois dimensions principales de la niche écologique : l'espace, la ressource et le temps. A l'échelle interspécifique, les analyses de l'habitat défini par les caractères physiographiques associés à chaque observation, de l'utilisation des ressources exprimée par les isotopes stables du carbone et de l'azote et des budgets d'activités montrent que les delphinidés occupent des niches écologiques distinctes. Parallèlement, certaines espèces jumelles peuvent constituer des associations poly-spécifiques, les mettant apparemment en situation de compétition pour les ressources et les habitats. Il a été montré que ces associations, notamment chez les delphinidés du genre Stenella, n'avaient pas de signification trophique, mais constituaient plutôt une stratégie de vigilance contre les prédateurs. Le dernier volet de l'étude s'intéresse à la ségrégation intra-spécifique et à la structure de population à fine échelle, notamment chez le grand dauphin de l'Indo-Pacifique, la principale espèce de delphinidé à vivre dans les eaux intérieures du lagon. La combinaison d'approches dont les échelles sont emboitées : de l'échelle évolutive populationnelle (structure génétique) à l'échelle de la vie de l'individu (domaine vital), a permis de démontrer que l'unique groupe panmictique de Mayotte se segmentait en communautés (définies par des ensembles d'individus ayant un domaine vital commun). Au moins deux communautés ont été identifiées, utilisant des domaines distincts, formant des groupes sociaux stables mais non constitués d'individus apparentés. L'ensemble de l'étude montre que la ségrégation écologique s'observe aux échelles inter- et intra-spécifiques chez les delphinidés, et que celle-ci ne peut être mis en évidence que par des approches multi-échelles et transdisciplinaires.

L'objectif de ce travail est d'étudier les relations entre la diversité des macro-invertébrés détritivores et la dynamique de la matière organique (MO) dans les sols limoneux des plateaux de Haute-Normandie. Ce travail vise à répondre à deux hypothèses : (H1) la biodiversité et les MO du sol sont influencées par les modifications environnementales induites par les gestions agricole et forestière et (H2) les assemblages de macro-détritivores influencent la dynamique de la MO du sol. Les systèmes étudiés incluent une culture intensive et des prairies d'âge croissant (0,5 à 33 ans), ainsi que des parcelles gérées en futaie régulière de hêtre (30 à 200 ans). La relation a été étudiée à l'échelle de la parcelle ainsi que dans des microcosmes réalisés au laboratoire. Dans les sols forestiers, la diversité spécifique des macro-détritivores diminue avec l'âge du peuplement. Les stocks de C dans le sol ne varient pas au cours de la rotation forestière, alors qu'ils augmentent dans l'episolum humifère jusqu'à 120-140 ans avant de se stabiliser. Si ces résultats empiriques ne permettent d'établir un lien entre diversité des macro-détritivores et stocks de C, une relation apparaît toutefois avec certaines fractions des horizons holorganiques. L'impact des macrodétritivores sur la biodégradation des feuilles de hêtre a donc été testé en conditions expérimentales. Les résultats expérimentaux permettent de classer les macro-détritivores en groupes distincts à partir de leurs effets spécifiques sur la biodégradation des feuilles. En faisant varier le nombre d'espèces dans les assemblages expérimentaux, nous mettons en évidence que la biodégradation est davantage liée à la diversité fonctionnelle (mesurée ici par la dissimilitude morphologique) qu'à la diversité spécifique. Les assemblages sont plus performants lorsqu'ils présentent une similarité morphologique intermédiaire. Ce niveau optimal de similarité pourrait correspondre à un point d'équilibre entre interactions compétitives et complémentarité au sein des assemblages. Dans les sols agricoles, il existe une augmentation simultanée de la diversité spécifique des vers de terre, des stocks de C et de la stabilité de la structure du sol dans les premières années de prairie. Cependant, dans les prairies plus âgées, le stock de C et la stabilité de la structure continuent d'augmenter alors que la diversité des lombriciens reste stable. Il n'y a donc pas de lien net entre la diversité des lombriciens et les stocks de C ou la stabilité structurale. Les résultats obtenus en conditions contrôlées montrent que les effets des vers de terre sur le dégagement de C-CO2, la teneur en MO et la stabilité structurale des gros macro-agrégats dépendent de l'espèce impliquée et du taux de MO initial du sol. De plus, dans un sol pauvre en MO (sol de culture intensive), l'augmentation de la diversité spécifique des lombriciens stabilise la minéralisation du C et augmente la stabilité structurale et la teneur en MO des agrégats. Ce résultat peut être expliqué par l'augmentation de la protection physique de la MO dans des agrégats stables avec la diversité spécifique des vers. D'une façon générale, les résultats obtenus au champ montrent que la richesse spécifique des macro-détritivores est plus influencée par le type d'occupation du sol que par la dynamique des systèmes, réfutant ainsi en partie l'hypothèse H1. D'autre part, les stocks de C dans les sols ne varient pas avec l'âge du peuplement de hêtre alors qu'ils augmentent avec l'âge des prairies, réfutant ainsi en partie l'hypothèse H1. D'autre part, les résultats des expérimentations en microcosmes permettent de classer les espèces en fonction de leurs effets sur la dynamique de la MO. En outre, la dynamique de la MO est modifiée lorsque la diversité des macro-détritivores change, confirmant donc l'hypothèse H2. Les recherches futures devront maintenant se pencher sur les relations complexes qui relient : les traits fonctionnels des macro-détritivores, les interactions entre ces espèces et les processus écologiques dans le système sol.

Cette thèse concerne l'étude de la dynamique des structures optiques dissipatives observées dans une cavité à gestion de dispersion utilisant l'évolution non linéaire de la polarisation comme technique de blocage de modes. Nous avons montré expérimentalement l'existence d'une transition graduelle entre le régime de fonctionnement continu et le régime de fonctionnement multi-impulsionnel. Nous nous sommes intéressés à l'état intermédiaire où il nous a été possible d'obtenir divers régimes inédits et d'étudier ainsi le comportement collectif des solitons dissipatifs en présence d'un fond continu. La dynamique de "la pluie de solitons" est une manifestation complexe et fascinante constituée de trois composantes de champ : le fond continu, les solitons de dérive et la phase condensée. Elle s'accompagne d'une circulation d'énergie à travers ces trois composantes. Le mouvement relatif des solitons de dérive ainsi que l'asymétrie temporelle présentent les caractéristiques majeures qui distinguent cette dynamique des autres. D'autres types d'auto-organisation ont été observés et étudiés, comme "le relargage des solitons de la phase condensée" ou bien encore "la vobulation du train de solitons". Nous nous sommes intéressés aussi à la propagation d'une seule impulsion dans la cavité. Pour la première fois, une importante dynamique de respiration spectrale a été prédite dans une cavité à gestion de la dispersion. Nous avons montré qu'une compression temporelle de l'impulsion est accompagnée d'un élargissement spectral d'une grande ampleur dans la partie passive de la cavité et que la largeur de l'impulsion peut dépasser la largeur de la bande passante du milieu amplificateur. Nous avons étudié la dynamique de la respiration spectrale, l'extraction et l'optimisation du signal laser en fonction des paramètres de la cavité et nous avons présenté les caractéristiques d'une cavité qui permet la génération d'une impulsion dont sa largeur spectrale est supérieure à la largeur de la bande passante de l'amplificateur d'un facteur de 2.4. Les dynamiques présentées dans cette thèse témoignent de la complexité et de la richesse de la dynamique dissipative des lasers à fibre fonctionnant en régime de blocage de modes passif par évolution non linéaire de la polarisation.