Les langages logico-fonctionnels sont des langages de programmation de très haut niveau permettant de définir dans un formalisme unifié des types de données, des fonctions et des prédicats (relations). Plusieurs propositions de langages logico-fonctionnels ont été faites mais toutes se restreignent à des calculs basés sur les termes du premier ordre. Cette restriction permet de programmer avec des types abstraits algébriques mais elle rend difficile la manipulation des structures de données du monde réel, modélisées sous la forme de graphes cycliques. L'objectif de cette thèse est donc d'introduire les graphes cycliques comme structure de données de base des langages logico-fonctionnels. Pour cela, nous voyons les programmes comme des systèmes de réécriture de graphes cycliques et nous étudions les relations de réécriture et de surréduction qu'ils induisent (sémantique opérationnelle). Une propriété importante de la réécriture concerne la confluence : elle exprime le déterminisme des calculs effectués. De nombreux résultats de confluence existent pour la réécriture de termes mais ils ne s'étendent généralement pas aux graphes cycliques. Nous mettons en évidence une classe de graphes cycliques particuliers, les graphes admissibles, pour laquelle nous donnons une preuve de confluence de la réécriture. Concernant la relation de surréduction, nous en proposons une définition puis nous montrons que ce calcul est cohérent et complet par rapport à celui de la réécriture dans le cadre des graphes admissibles. Nous étudions ensuite plusieurs stratégies de réécriture et de surréduction de graphes admissibles, c'est-à-dire des algorithmes permettant d'éliminer des calculs inutiles ou redondants. Nous montrons que nos stratégies sont optimales selon de nombreux critères dépendants des systèmes de réécriture considérés.

L'hétérogénéité spatiale est aujourd'hui reconnue comme un facteur primordial pour la diversité et le fonctionnement des écosystèmes prairiaux, mais reste souvent négligée dans l'analyse de l'impact de différents modes d'utilisation pastorale. Les communautés prairiales subalpines sont des milieux hautement diversifiés, au cœur d'enjeux écologiques, socio-économiques et culturels. Depuis plusieurs décennies, des changements d'usage, notamment l'extensification conduisant parfois à l'abandon du pâturage, affectent ces prairies dans de vastes régions des Alpes. Connaitre la réponse spatiale de ces communautés à ces changements d'usage peut constituer un enjeu important pour mieux prédire les conséquences en termes de valeurs écologiques et agronomiques. L'objectif général de ce travail est d'identifier l'organisation spatiale de composantes spécifiques et fonctionnelles de communautés prairiales subalpines dans des situations contrastées d'usage : pâturage traditionnel et abandon sur le moyen terme (~20 ans), de comprendre les mécanismes liés au pâturage influençant cette organisation spatiale et d'explorer les conséquences potentielles de l'organisation spatiale des composantes spécifiques et fonctionnelles sur les valeurs d'usage de ces milieux. Ce travail révèle que l'arrêt du pâturage conduit à des modifications importantes de l'organisation spatiale à la fois des espèces et de traits fonctionnels aériens. La variabilité spatiale de ces composantes est systématiquement augmentée à différentes échelles spatiales en situation d'abandon révélant un grain plus grossier d'hétérogénéité spatiale, lié à une plus faible coexistence locale des espèces et des traits et à une convergence fonctionnelle plus forte que sous l'effet diversificateur à échelle fine du pâturage traditionnel. D'autres part, même si une réponse en termes de patrons spatiaux est également observée, celle-ci n'est pas systématique, indiquant l'absence d'une action structurante forte du pâturage qui agit donc surtout sur la variabilité. Une expérimentation in situ montre en effet que la formation de patrons spatiaux marqués en réponse à une action de défoliation sélective semble limitée dans ces prairies relativement peu productives. De plus, une faible structuration spatiale du couvert en termes de valeurs d'usage fourragère a été observée, pilotée dès des échelles très fines par la variabilité spatiale à un grain fin des assemblages d'espèces et de traits dans les zones pâturées. Ces résultats suggèrent ainsi l'expression d'un pâturage peu sélectif exprimé par les troupeaux ovins dans ces milieux peu productifs, et la prépondérance du filtre abiotique dans la détermination des assemblages spatiaux des espèces et des traits. La formation de patchs très contrastés et très structurés spatialement en réponse au pâturage est plus probable dans des milieux très productifs où la compétition est plus intense et la repousse de la végétation favorisée. La prise en compte de la variabilité autour de la réponse moyenne des communautés se révèle donc un élément essentiel pour analyser l'évolution des prairies subalpines en réponse au changement d'usages pastoraux. Une des perspectives fortes suite à ce travail est l'analyse de la synergie entre la réponse de l'hétérogénéité spatiale du couvert et celle du compartiment souterrain (traits racinaires, mycorhization, diversité microbienne...).

Les travaux présentés dans ce mémoire s'inscrivent dans la problématique dite d'adéquation algorithme architecture. Ils concernent la conception et le développement d'outils logiciels permettant de faire du prototypage rapide d'applications parallèles de vision artificielle sur des architectures de type MIMD à mémoire distribuée. De tels outils ont pour objectif de faciliter l'évaluation rapide d'un ensemble de solutions vis à vis d'un problème donné en diminuant de manière drastique les temps de cycle conception-implantation-validation des applications. L'outil SKiPPER développé dans le cadre de ces travaux est basé sur le concept des squelettes de parallélisation. Ceux-ci représentent des constructeurs génériques de haut niveau encapsulant des formes communes de parallélisme tout en dissimulant les détails relatifs à l'exploitation de ce parallélisme sur la plate-forme cible. Au niveau langage, la spécification des squelettes est réalisée au sein du langage fonctionnel Caml sous la forme de fonctions d'ordre supérieur. Ainsi, la spécification d'une application est un programme purement fonctionnel dans lequel l'expression du parallélisme est limitée au choix et à l'instanciation des squelettes choisis dans une base pré-définie. L'environnement de développement SKiPPER est organisé autour de trois modules réalisant respectivement l'expansion du code fonctionnel en un graphe flot de données (outil Dromadaire), le placement-ordonnancement de ce graphe sur l'architecture matérielle (outil SynDEx développé à l'INRIA) et la génération de code cible final pour l'architecture cible (la machine Transvision du LASMEA dans notre cas). L'applicabilité des concepts mis en \oe uvre dans SKiPPER et des outils développés conjointement est démontrée également dans les travaux présentés dans ce mémoire. Diverses applications de complexité réaliste (étiquetage en composantes connexes, détection et suivi de signalisation horizontale autoroutière) ont été parallélisées automatiquement par l'environnement SKiPPER validant ainsi l'objectif initial de prototypage rapide d'applications parallèles de vision artificielle à fortes contraintes temporelles sur architecture dédiée.

Dans les langages fonctionnels, l'efficacité dépend crucialement du choix de la stratégie d'évaluation et d'un modèle d'implantation adapté. Nous développons d'abord un λ-calcul avec substitutions explicites qui évite les problèmes habituels liés à la substitution et à l'α-conversion, dans lequel on peut définir les stratégies usuelles, mais aussi des stratégies avec un meilleur partage de calcul. Ensuite, nous développons un modèle d'implantation efficace pour ce calcul. Pour cela, nous proposons une représentation innnovante des variables libres, d'abord dans le cadre très général de la récriture d'ordre supérieur, puis avec plus de détails dans notre cas particulier. Nous obtenons ainsi un λ-calcul avec substitutions explicites sans noms ni indices, dans lequel les te! rmes sont annotés avec de l'information qui indique comment les substitutions doivent être propagées, et qui constitue un modèle d'implantation efficace pour nos stratégies. Des machines abstraites sont alors définies, implantées et comparées expérimentalement aux meilleurs évaluateurs connus. Finalement, nous étudions les relations entre machines abstraites traditionnelles et réseaux d'interaction, deux modèles d'implantation courants mais très différents. Plus précisément, nous montrons comment certaines stratégies peuvent être implantées dans les réseaux d'interaction d'une façon très naturelle, rapprochant ainsi deux modèles utilisés pour l'implantation de stratégies efficaces.

L'objectif de cette thèse est de comprendre la place et le rôle de la fonction contrôle de gestion au sein de l'organisation. Un cadre d'analyse de la fonction contrôle de gestion est proposé. La revue de littérature, complétée par une étude exploratoire, conduit à appréhender la fonction contrôle de gestion comme un service fonctionnel et comme le résultat de l'activité individuelle des contrôleurs de gestion. La rationalité dominante, la centralité de la fonction (autorité et client) et l'activité des contrôleurs de gestion (tâches, relations et images) permettent de révéler les rôles de la fonction contrôle de gestion. Une typologie est ensuite réalisée à partir de douze études de cas. Quatre idéaux-types sont mis en évidence : la fonction contrôle de gestion partenaire, discrète, garde-fou et omnipotente. Les facteurs de contingence et des cas de changement de la fonction sont étudiés. Cette thèse montre que la fonction contrôle de gestion peut remplir des rôles divers : aide à la décision locale, surveillance discrète, centralisation du pouvoir, légitimation interne et externe des décisions et formation des managers.

Ce mémoire propose des représentations formelles pour contrôleurs logiques industriels qui visent à améliorer le passage à l'échelle des techniques de model-checking. Ces vérifications, focalisées sur les propriétés extrinsèques, permettent d'améliorer la sûreté et aident à la certification de ces contrôleurs. Premièrement, la représentation de contrôleurs ne comprend que les états qui sont pertinents pour la preuve de propriétés et minimise le nombre de variables qui caractérisent chaque état. Puis une représentation de chaque bloc fonctionnel, décrit dans un nouveau langage formel adapté à nos besoins, est incluse dans la représentation du contrôleur. Ces représentations permettent la vérification formelle du contrôleur, même avec des programmes de grande taille. La comparaison avec de précédentes représentations, ainsi que leur utilisation dans un contexte industriel, valide nos représentations et quantifie leur efficacité.

La plate-forme .NET est un environnement d'exécution moderne et répandu, reposant sur une machine virtuelle qui interprète du code-octet typé. Elle prétend être parfaitement adaptée à l'exécution de composants écrits dans une grande variété de langages de programmation et faciliter leur interopération.<br /> En tant que langage fonctionnel statiquement typé avec polymorphisme paramétrique, Objective Caml présente des caractéristiques qui défient l'environnement d'exécution .NET et son système de types. Nous expérimentons ces difficultés dans un cadre pratique, par la conception et l'implantation de OCamIL, un compilateur complet pour Objective Caml qui produit du code-octet .NET vérifiable. Ses objectifs principaux sont la compatibilité et la possibilité d'interopérer.<br /> Ce travail met à l'épreuve les capacités de la plate-forme .NET autant que l'adéquation de l'implantation officielle de Objective Caml dans un tel projet (celle-ci est conçue pour un environnement d'exécution dénué de types ce qui explique qu'elle élimine les informations de types assez tôt dans la chaîne de compilation). Nous examinons la représentation des valeurs Caml et comparons deux stratégies : la reconstruction et la propagation de l'information de typage manquante. D'autres choix de conception décrits ici illustrent le compromis entre efficacité d'une part et lisibilité/interopérabilité de l'autre.<br /> Nous réalisons l'interopérabilité à l'aide d'un langage de description d'interface IDL qui construit un pont entre les deux systèmes de classes distincts utilisés par Objective Caml et l'environnement typé de .NET. Les bénéfices de l'interopération sont illustrés par des exemples non-triviaux.<br /> Au chapitre des performances, OCamIL occupe une place respectable au sein des compilateurs de langages fonctionnels sur .NET. Nous comparons également les exécutables .NET avec les programmes Objective Caml originaux.

L'objectif de cette étude a été d'évaluer la productivité et la valeur nutritive de 13 espèces de graminées natives, issues de prairies permanentes de fertilité moyenne, et de comprendre les bases fonctionnelles de ces processus grâce à la mesure de traits fonctionnels aériens. Ces espèces ont été cultivées en culture pure dans un dispositif factoriel complet, croisant deux facteurs de gestion : la fréquence de coupe (3 ou 6 coupes par an) et le niveau de fertilisation azotée (120 et 360 kg N ha-1 an-1). Nous montrons que des syndromes distincts de traits d'effet déterminent la productivité et la valeur nutritive. Les différences de nutrition azotée (indice de nutrition et efficience d'utilisation de l'azote) entre espèces affectent la productivité aérienne. Deux traits (teneur en azote et teneur en matière sèche des limbes) se démarquent comme indicateurs de la productivité et de la valeur nutritive des espèces étudiées. Celles ci ont été classées en quatre groupes selon la valeur de leurs traits. Une augmentation de la fréquence de coupe a modifié des traits foliaires entraînant une baisse de digestibilité des limbes, ce qui a été interprété comme une stratégie d'évitement du pâturage. Une réduction de l'apport d'azote a entraîné une augmentation de la teneur en matière sèche et de la durée de vie des feuilles, ce qui a été interprété comme une stratégie de conservation des nutriments. Les espèces issues d'habitats plus perturbés présentaient des valeurs de traits qui tendaient à réduire leur digestibilité. Nos résultats soulignent la diversité fonctionnelle élevée des graminées prairiales, diversité qui contribue à la coexistence de ces espèces dans la prairie permanente et favorise la stabilité de la production et de la valeur nutritive dans cet écosystème.

Thèse de doctorat : Physique : Metz : 1999. / 1999METZ047S. 53 ref.

Thèse d'exercice : Médecine. Médecine générale : Paris 12 : 2007. / Titre provenant de l'écran-titre. 63 f. : ill. Bibliogr. f. 49-56.