Contents
Academic literature on the topic 'Modèle d'arbre'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Modèle d'arbre.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Modèle d'arbre"
1
Fonton, Noël Houédougbé, Charles Chaffra Yabi, Jean Zinsou Dah-Dovonon, Fortuné Kokou Adoko, and Titilayo Dotchamou. "Modélisation du volume du fût d'arbre pour une gestion durable des écosystèmes forestiers soudaniens." BOIS & FORETS DES TROPIQUES 300, no. 300 (June 1, 2009): 95. http://dx.doi.org/10.19182/bft2009.300.a20418.
Full textAbstract:
La difficulté de disposer d¿un tarif de cubage de chaque essence en forêt naturelle a conduit les aménagistes à utiliser le coefficient de forme proposé par Dawkins. Cette note propose une méthode conciliant les exigences écologiques (aspect non destructif du cubage des arbres sur pied) et la mise à disposition d¿outils adéquats d¿estimation du volume des arbres sur pied. Trois essences ont été choisies dans la forêt classée de Wari-Maro au Bénin pour mener l¿étude: Isoberlinia spp., Anogeissus leiocarpa et Daniellia oliveri. Il ressort que la meilleure équation de cubage du volume du fût est de la forme V = a + bD2 H quelle que soit l¿essence. L¿étude comparative révèle une amélioration de l¿estimation du volume fût de l¿ordre de 10% sur le modèle de Dawkins. (Résumé d'auteur)
2
Matsaguim Nguimdo, Cédric Aurélien, and Emmanuel D. Tiomo. "FORET D'ARBRES ALEATOIRES ET CLASSIFICATION D'IMAGES SATELLITES : RELATION ENTRE LA PRECISION DU MODELE D'ENTRAINEMENT ET LA PRECISION GLOBALE DE LA CLASSIFICATION." Revue Française de Photogrammétrie et de Télédétection, no. 222 (November 26, 2020): 3–14. http://dx.doi.org/10.52638/rfpt.2020.477.
Full textAbstract:
Résumé: En télédétection, il existe un grand nombre d'algorithmes permettant de classifier une image satellite. Parmi ces algorithmes de classification, la Forêt d'Arbres Aléatoires apparait comme particulièrement performant. Cette étude a pour objectifs d'évaluer (1) l'importance de la sélection des images pour le niveau de précision du modèle d'entrainement et (2) la nature de la relation qui existe entre le niveau de précision du modèle et celui de la précision globale de la carte thématique résultant de la classification de l'image satellite avec cet algorithme de classification. A partir d'une image Landsat 8 OLI prise au-dessus d'une zone de montagne tropicale : la région de l'Ouest Cameroun, 35 modèles ont été construits et testés. Les résultats montrent que le niveau de la précision globale des résultats de la Forêts d'Arbres Aléatoires est étroitement dépendant d'une part de la précision du modèle d'entrainement utilisé pour classifier l'image satellite, et d'autre part du choix des images utilisées pour entrainer ce modèle. De plus, la sélection de ces images est elle-même dépendante de la qualité des zones d'entrainement qui serviront à la construction du modèle. Il est donc important de mettre en accent particulier sur la qualité des données d'entrée afin de garantir des résultats satisfaisants avec cet algorithme. Mots clés : Forêt d’Arbres Aléatoires ; précision ; modèle d’entrainement ; télédétection ; Cameroun
3
Vincendon, Béatrice, Simon Edouard, and Véronique Ducrocq. "De l'incertitude dans un système de prévision d'ensemble des crues rapides méditerranéennes." La Houille Blanche, no. 3-4 (October 2019): 22–30. http://dx.doi.org/10.1051/lhb/2019051.
Full textAbstract:
Il est crucial d'augmenter le délai d'anticipation des crues rapides méditerranéennes pour mieux anticiper leur impact. Mais la prévision hydrométéorologique est affectée par plusieurs sources d'incertitude : l'incertitude majeure qui provient des prévisions de précipitations utilisées en entrée des modèles hydrologiques, mais aussi la connaissance de l'humidité initiale du sol et le modèle hydrologique lui-même. Pour échantillonner ces incertitudes, des systèmes de prévision d'ensemble hydrométéorologique sont conçus et comparés. Ils sont basés sur le modèle atmosphérique à l'échelle kilométrique AROME de Météo-France et sur le modèle hydrologique ISBA-TOP, dédié aux bassins méditerranéens à réponse rapide. L'incertitude sur la prévision des pluies est échantillonnée en utilisant la PEARO, prévision d'ensemble avec AROME, en entrée d'ISBA-TOP ou en introduisant dans les sorties déterministes d'AROME des perturbations basées sur des climatologies d'erreur de prévision de la pluie. Pour considérer les incertitudes sur la modélisation hydrologique et sur l'état initial du sol, des méthodes de perturbation des paramètres les plus sensibles d'ISBA-TOP et de l'humidité initiale du sol ont été conçues. Les scenarii de précipitations de la PEARO sont ensuite utilisés en entrée d'une version d'ISBA-TOP où ces méthodes de perturbation sont appliquées. Ce système de prévision prenant en compte différentes sources d'incertitude englobe bien les observations de débits sur plusieurs cas d'étude et bassins versants. Un petit nombre de membres permet déjà de meilleures performances en termes de prévisions de débits qu'une prévision déterministe.
4
Vincent, Grégoire, F. Caron, Damien Sabatier, and Lilian Blanc. "L'imagerie LiDAR montre que les forêts les plus hautes comportent des tiges plus élancées." BOIS & FORETS DES TROPIQUES 314, no. 314 (December 1, 2012): 51. http://dx.doi.org/10.19182/bft2012.314.a20490.
Full textAbstract:
Une opération de balayage laser aéroporté à haute densité a permis de modéliser la hauteur du couvert forestier d'un site expérimental en forêt néotropicale (à Paracou en Guyane française). La hauteur des arbres individuels a été calculée par segmentation manuelle des houppiers sur le modèle numérique de canopée et extraction de la hauteur maximale locale du couvert forestier. Trois cent quatrevingt- seize estimations de hauteur d'arbres dominants ou émergents ont été mises en relation avec les données de terrain correspondantes pour les diamètres des tiges échantillonnées sur deux placettes de hauteur moyenne différente (28,1 m et 31,3 m). Les résultats montrent une corrélation positive et très significative entre l'élancement des tiges et la hauteur moyenne du couvert à l'échelle des placettes. La même corrélation apparaît à l'échelle des peuplements des trois essences suffisamment échantillonnées. Il est possible de conclure qu'une stratification selon la hauteur du couvert est à recommander dans le calcul de relations allométriques afin d'éviter les biais dans les estimations de biomasse aérienne.
5
Tochon, Guillaume, Jean-Baptiste Féret, Silvia Valero, Roberta E. Martin, Raul Tupayachi, Jocelyn Chanussot, Philippe Salembier, and Gregory P. Asner. "Segmentation hyperspectrale de forêts tropicales par Arbres de Partition Binaires." Revue Française de Photogrammétrie et de Télédétection, no. 202 (April 16, 2014): 55–65. http://dx.doi.org/10.52638/rfpt.2013.51.
Full textAbstract:
La segmentation d'images de forêts tropicales est un outil important pour faciliter le travail des écologues. Dans ce papier, nous proposons une nouvelle méthode de segmentation pour les images hyperspectrales, basée sur la construction d'un arbre de partition binaire (APB). Nous introduisons tout d'abord une étape de prétraitement combinant une analyse en composantes principales et la définition de cartes de pré-segmentation, afin de réduire spatialement et spectralement le volume de données à traiter. La construction de l'APB nécessite la définition d'un modèle de région statistique non-paramétrique s'appuyant sur des histogrammes, ainsi qu'un critère de fusion fondé sur la distance de diffusion. Nous introduisons également une stratégie d'élagage de l'APB, adaptée spécifiquement à la segmentation de couronnes d'arbres en forêts tropicales. Pour finir, nous présentons certains critères permettant d'évaluer la qualité de la segmentation finale, basés sur le décompte du nombre de couronnes de référence correctement segmentées. La méthode proposée est validée sur deux jeux de données issues de campagnes aéroportées à Hawaii et Panama, respectivement, avec des résolutions spectrales et spatiales différentes.
6
Monnier, Fabrice, Bruno Vallet, Nicolas Paparoditis, Jean-Pierre Papelard, and Nicolas David. "Mise en cohérence de données laser mobile sur un modèle cartographique par recalage non-rigide." Revue Française de Photogrammétrie et de Télédétection, no. 202 (April 16, 2014): 27–41. http://dx.doi.org/10.52638/rfpt.2013.49.
Full textAbstract:
Depuis quelques années, des véhicules de cartographie mobile ont été développés pour acquérir des données géoréférencées très précises et en grande quantité au niveau du canyon urbain. L'application majeure des données collectées par ces véhicules est d'améliorer les bases de données géographiques existantes, en particulier leur précision, leur niveau de détail et la diversité des objets représentés. On peut citer entre autres applications la modélisation géométrique fine et la texturation des façades, l'extraction de "petits" objets comme les troncs d'arbres, poteaux, panneaux, mobiliers urbain, véhicules,...Cependant, les systèmes de géopositionnement de ces véhicules ne parviennent pas à fournir une localisation d'une précision suffisante pour cette tâche. En particulier, les masques GPS fréquents en milieu urbain sont paliés par les mesures de la centrale inertielle grâce à un algorithme de fusion de données pouvant entraîner une dérive. C'est pourquoi, un recalage est indispensable pour mettre en correspondance ces données mobiles très détaillées avec les bases de données géographiques moins détaillées mais mieux géopositionnées, qu'elles soient 2D ou 3D.Cet article présente une méthode générique et efficace permettant un tel recalage. Le processus est basé sur une méthode de type ICP ("Iterative Closest Point") point à plan.On suppose que l'erreur de géopositionnement, ou dérivevarie de façon non linéaire, mais lentement en fonction du temps. On modélise donc la trajectoire par une "chaîne" ayant une certaine rigidité. A chaque itération, la trajectoire est déformée afin de minimiser la distance des points laser aux primitives planes du modèle.Cette méthode permet d'approximer la dérive par une fonction linéaire par intervalle de temps.La méthode est testée sur des données réelles ( 3,6 millions de points laser acquis sur un quartier de la ville de Paris sont recalés sur un modèle 3D d'environ 71.400 triangles). Enfin, la robustesse et la précision de cet algorithme sont évaluées et discutées.
7
P. Plamondon, André, Marcel Prévost, and Renald C. Naud. "Accumulation et fonte de la neige en milieux boisé et déboisé." Géographie physique et Quaternaire 38, no. 1 (November 29, 2007): 27–35. http://dx.doi.org/10.7202/032533ar.
Full textAbstract:
RÉSUMÉ Les auteurs présentent une étude des caractéristiques physiques du couvert de neige en relation avec l'altitude, l'exposition et le couvert forestier. L'expérience s'est déroulée à la forêt Montmorency, sise à 80 km au nord de Québec. Au cours des hivers 1981 et 1982, l'équivalent en eau maximal de la neige, pour l'ensemble du bassin du lac Laflamme, a été de 28 et 29 cm, respectivement. Durant cette période, les mesures effectuées n'ont pas permis de détecter l'effet des faibles différences d'altitude (50 m) sur l'accumulation de la neige. L'équivalent en eau de la neige était maximal dans les milieux découverts et apparaissait plus important sous les jeunes peuplements que sous les vieux. Les jeunes sapinières, entourées d'arbres plus hauts, agissent comme des pièges à neige. L'influence de l'exposition ne ressort que durant la période de fonte, accélérée d'une semaine sur les flancs sud. La fonte en sous-bois dure un mois et demi en moyenne et est écourtée d'une à deux semaines dans les sites découverts. Un modèle de fonte, basé sur les degrés-jours, est finalement adapté. Le coefficient de fonte est rajusté en fonction de deux périodes distinctes par la densité du manteau nival ou les degrés-jours cumulés.
8
Bigsby, Hugh. "Le modèle spatial de rendement est-il une solution plus pertinente pour l¿exploitation des forêts tropicales ?" BOIS & FORETS DES TROPIQUES 314, no. 314 (December 1, 2012): 57. http://dx.doi.org/10.19182/bft2012.314.a20491.
Full textAbstract:
L'expérience de sociétés forestières pratiquant l'abattage sélectif d'arbres individuels au Sarawak montre que leurs opérations ne sont encadrées en général que par une réglementation de base concernant par exemple le diamètre minimum d'abattage, les dimensions maximales des trouées ou les essences autorisées. En général, les aspects sylvicoles ne sont, au mieux, pris en compte qu'implicitement dans les règlements sur l'abattage, et non explicitement dans la planification et les opérations d'abattage. Les sociétés forestières tendent de plus en plus à pratiquer un comptage à 100 % des arbres, associé à une cartographie par GPS, dans le cadre de systèmes d'exploitation à impact faible ou réduit. L'utilisation de systèmes GPS permet d'élaborer des bases de données spatialisées et des descripteurs clés des arbres. Ceux-ci pourraient servir d'appui à la planification d'activités futures basées sur des modèles de croissance et de rendement permettant de prendre en compte des paramètres forestiers importants, comme le DBH et les essences présentes, et de cartographier la position des arbres. Cela aiderait les gestionnaires des récoltes et les arpenteurs forestiers à passer d'une optique purement opérationnelle à une optique sylvicole, en prenant en compte des paramètres tels que l'espacement, le recrutement et les tiges d'avenir lors de la planification des opérations d'abattage. L'absence de ce type de planification parmi les sociétés forestières est principalement due au fait que les modèles d'exploitation forestière en milieu tropical sont généralement basés sur des paramètres de zonage (modèles à l'échelle des peuplements ou selon les classes de dimension) qui ne sont pertinents que par rapport aux besoins de la planification à grande échelle. Ces modèles n'intègrent généralement pas les données spatiales générées par la planification, ils nécessitent des données beaucoup plus nombreuses et différentes de celles utilisées pour planifier les opérations d'abattage et ne produisent pas de résultats utiles à la planification opérationnelle des récoltes. Il est plus utile de se servir de modèles par arbre qui intègrent des données spatiales et produisent des résultats pertinents au plan opérationnel, comme les diamètres, les essences et la position des arbres. Cet article rappelle les contraintes opérationnelles de l'exploitation forestière à impact faible ou réduit, et préconise des approches pour la modélisation des rendements compatibles avec ces systèmes.
9
Penev, Lyubomir, Stela Lazarova, and Vlada Peneva. "Nematode assemblages from the moss Hypnum cupressiforme Hedw. growing on different substrates in a balkanic durmast oak forest (Quercus dalechampii Ten.) on Mount Vitosha, Bulgaria." Nematology 2, no. 3 (2000): 263–72. http://dx.doi.org/10.1163/156854100509132.
Full textAbstract:
AbstractSpecies and generic composition, trophic structure and some ecological parameters of nematode assemblages from the moss, Hypnum cupressiforme Hedw., in a durmast oak (Quercus dalechampii Ten.) forest were studied on three substrates (soil, stone and tree trunks). Nematode abundance was very variable between samples and substrates. Nematode assemblages varied in species composition but were similar in generic composition, diversity and trophic group structure. Bacterial feeders were the most abundant, frequent and diverse trophic group, while the proportion of omnivorous and predatory nematodes was remarkably low, i.e., the nematode assemblages present can be characterised as of the 'detritus foodweb' type. No clear substrate-dependent patterns in the distribution of single species were found, with the exception of Chiloplectus andrassyi which was typical and abundant for mosses growing on stones.La composition spécifique et générique, la structure trophique et quelques paramètres écologiques des communautés de nématodes vivant dans la mousse Hypnum cupressiforme Hedw. poussant dans une forêt de chênes (Quercus dalechampii Ten.) ont été étudiés sur trois substrats: sol, rochers et troncs d'arbres. L'abondance des nématodes variait fortement suivant l'échantillon et le substrat. Les communautés de nématodes présentaient une composition spécifique variable, mais étaient très semblables en ce qui concerne la composition générique, la diversité et la structure des groupes trophiques. Les bactérivores représentaient le groupe trophique le plus abondant, fréquent et diversifié, tandis que la proportion des nématodes omnivores et prédateurs était remarquablement faible, c'est à-dire que les communautés de nématodes présentes peuvent être considérées du type 'réseau détritivore'. Aucun modèle net de dépendance envers le substrat n'a été observé dans la répartition des espèces à l'exception de Chiloplacus andrassyi, typique et abondant dans les mousses poussant sur les rochers.
10
Richard, Pierre J. H., and Claude Labelle. "Histoire postglaciaire de la végétation au lac du Diable, mont Albert, Gaspésie, Québec." Géographie physique et Quaternaire 43, no. 3 (December 18, 2007): 337–54. http://dx.doi.org/10.7202/032787ar.
Full textAbstract:
RÉSUMÉAu lac du Diable (494 m d'altitude), sur le flanc oriental du mont Albert (sommet: 1154 m), la colonisation végétale postglaciaire débuta par un stade ayant pu durer quelques siècles, à physionomie comparable à celle de la toundra, caractérisé d'abord par les herbes puis par les arbustes. Les populations arborescentes s'installèrent à partir de 10 600 ans BP environ. L'aire occupée par la toundra dans la région devait alors déjà se confiner, comme de nos jours, au seul sommet du mont Albert. Les peupliers et les épinettes (surtout l'épinette blanche) immigrèrent les premiers, mais le bouleau blanc était présent dès 10 300 ans BP. Autour de 10 000 ans BP, les forêts environnantes étaient déjà dominées par les épinettes, mais vers 9500 ans BP leur nombre a fortement diminué alors qu'augmentaient les populations de mélèzes, de bouleaux blancs et surtout d'aulnes verts, et ce, jusque vers 7000 ans BP; pendant ce temps, le sapin croissait dans le secteur, mais sans abonder. Cette longue régression des épinettes fut probablement provoquée par un climat plus sec ou orageux qui favorisa une grande fréquence des feux de forêts, ce qui corrobore le modèle de Milankovitch pour le climat de l'Holocène inférieur. Après 7000 ans BP, sous un climat plus humide, les populations de sapins ont alors pu se développer sur les versants, et des communautés forestières fermées associées aux sapinières-pessières y ont dominé jusqu'à nos jours. Durant la période hypsithermique (7000 à 5000-4500 ans BP environ), à part une plus grande abondance du bouleau blanc, le paysage végétal autour du lac du Diable n'a pas été modifié par l'immigration d'arbres plus thermophiles comme le bouleau jaune ou le pin blanc. Durant l'Holocène supérieur, les populations de sapins et d'épinettes eurent tendance à augmenter et celles de bouleaux blancs ont régressé, phénomène attribué au refroidissement post-hypsithermique.
Dissertations / Theses on the topic "Modèle d'arbre"
1
Biri, Nicolas. "Logiques spatiales de ressources, modèles d'arbres et applications." Phd thesis, Université Henri Poincaré - Nancy I, 2005. http://tel.archives-ouvertes.fr/tel-00128631.
Full textAbstract:
La modélisation et la spécification de systèmes distribués nécessitent une adaptation des modèles logiques utilisés pour leur représentation. Les notionsd'emplacements et de ressources jouent notamment un rôle centrale dans la représentation de ces systèmes.
On propose tout d'abord à la proposition d'une première logique, la logique linéaire distribuée et mobile (DMLL) qui intègre les notions de distribution et de mobilité. On propose également une sémantique à la Kripke et un calcul des séquents supportant l'élimination des coupures pour cette logique.
Cette première étude a mis en avant le rôle centrale de la sémantique pour la modélisation de systèmes distribués. On propose alors la structure des arbres de ressources, des arbres dont les noeuds possèdent des labels et contiennent des ressources appartenant à
monoïde partiel de ressources et BI-Loc, une logique pour raisonner sur ces arbres, un langage permettant de modifier les arbres et son axiomatisation correcte et complète sous forme de triplets de Hoare. Concernant BI-Loc, on détermine des conditions suffisantes pour décider de la satisfaction et de la validité par model-checking et on développe une méthode de preuves fondée sur les tableaux sémantiques correcte et complète.
On montre comment on peut raisonner sur les tas de pointeurs grâce aux arbres de ressources. Enfin, on détermine comment le modèle des arbres partiel peut être utilisé pour représenter et spécifier les données
semi-structurées et raisonner sur la transformation de ce type de données.
2
Bertrand, Denis. "Étude et inférence d'arbres de duplication en tandem." Montpellier 2, 2005. http://www.theses.fr/2005MON20180.
Full text
3
Jousse, Florent. "Transformations d'Arbres XML avec des Modèles Probabilistes pour l'Annotation." Phd thesis, Université Charles de Gaulle - Lille III, 2007. http://tel.archives-ouvertes.fr/tel-00342649.
Full textAbstract:
Cette thèse traite de l'apprentissage supervisé de transformations d'arbres XML. Le langage XML permet de décrire des données sous forme d'arbres dont la structure est définie par un schéma. Il est par conséquent devenu le standard en termes d'échanges de données, que ce soit sur le Web ou entre plusieurs applications. Toutefois, les documents XML peuvent avoir des structures très variables. La grande variété de ces structures nécessite alors d'être capable de transformer de tels arbres. Nous proposons d'effectuer de telles transformations d'arbres XML en annotant les arbres d'entrée, c'est-à-dire en associant un label à chacun de ses noeuds, la sémantique associée aux labels permettant de transformer l'arbre.Afin d'apprendre à effectuer ces transformations, nous adaptons donc dans un premier temps au cas des arbres XML le modèle des champs aléatoires conditionnels ou Conditional Random Fields (CRF). Les CRFs sont un modèle graphique non dirigé conditionnel pour l'annotation : ils modélisent la probabilité conditionnelle d'une annotation sachant une observation. Ils ont, jusqu'à présent, été essentiellement utilisés dans le cadre de tâches d'annotation de séquences, à la fois dans le domaine de l'extraction d'informations ou en traitement automatiques des langues naturelles. Notre adaptation des CRFs au cas de l'annotation d'arbres XML porte à la fois sur le modèle de dépendances et sur les algorithmes d'inférence exacte (recherche de la meilleure annotation) et d'apprentissage.
De plus, nous proposons deux méthodes d'amélioration de la complexité de ces algorithmes afin de permettre l'utilisation des champs aléatoires conditionnels dans le cadre d'applications à grande échelle. Ces méthodes s'appuient toutes deux sur l'utilisation des connaissances du domaine. La première consiste en l'intégration de contraintes sur l'annotation. Celles-ci viennent restreindre l'espace des annotations possibles d'un arbre en interdisant des configurations de labels. La seconde technique d'amélioration de la complexité que nous proposons consiste en l'approximation d'un CRF par la composition de plusieurs CRFs de complexité moindre, définis sur des sous-parties de l'alphabet des labels.
Ces travaux ont été validés par diverses expériences sur des données artificielles et réelles, montrant ainsi non seulement la qualité des transformations effectuées à l'aide de nos méthodes, mais aussi leur intérêt dans des tâches réelles. Ces bons résultats nous ont conduit à réaliser une application de génération automatique de flux RSS à partir de pages Web. Celle-ci permet à son utilisateur d'apprendre un générateur de flux RSS en annotant une ou plusieurs pages d'un site Web. Ce générateur consiste en un CRF qui annote les pages Web de ce site de façon à transformer l'arbre XHTML en un arbre XML au format RSS. Il permet alors de créer automatiquement des flux RSS pour toute autre page du même site. Cette application est disponible à l'adresse suivante : http://r2s2.futurs.inria.fr/
4
Jacquemard, Florent. "Modèles d'automates d'arbres étendus pour la vérification de systèmes infinis." Habilitation à diriger des recherches, École normale supérieure de Cachan - ENS Cachan, 2011. http://tel.archives-ouvertes.fr/tel-00643595.
Full textAbstract:
Ce document présente l'étude de plusieurs modèles de machines à états finis qui étendent tous le même formalisme: les automates d'arbres classiques, et leur application dans différentes tâches telles que l'analyse statique de programmes ou de systèmes, la typage, la vérification de la cohérence de spécifications, le model checking... Les arbres sont une structure naturelle de données, très répandue en informatique, par exemple pour la représentation des structures de données hiérarchiques ou imbriquées, pour des algorithmes spécifiques (arbres binaires de recherche, algorithmes distribués), comme modèle abstrait pour des données semi-structurées utilisées pour l'échange d'information dans le Web, pour une présentation algébrique de processus récursifs, comme les termes en logique... Lorsqu'il s'agit de raisonner sur des systèmes manipulant des arbres, ou modelisés par des arbres, il est crucial d'avoir une représentation finie d'ensembles infinis d'arbres. Les automates d'arbres sont des machines à états finis permettant une telle représentation. Ils ont fait la preuve de leur adéquation à des tâches de raisonnement: ils ont un modèle théorique bien établi, en étroite relation avec la logique, ils bénéficient de bonnes propriétés de composition et d'algorithmes de décision efficaces. En particulier, les automates d'arbres sont utilisées au coeur de systèmes de vérification formelle d'outils de déduction automatique. Toutefois, les automates d'arbres ont des limitations sévères en expressivité. Par exemple, ils sont incapables de faire du filtrage non-linéaire ou d'exprimer des contraintes d'intégrité tels que les clés dans les bases de données. Certaines extensions ont été proposées afin d'améliorer le modèle en essayant de conserver de bonnes propriétés. Nous présentons dans ce document de plusieurs de telles extensions, leurs propriétés et leur utilisation en vérification symbolique de systèmes et de programmes.
5
Gourlet-Fleury, Sylvie. "Modélisation individuelle spatialement explicite de la dynamique d'un peuplement de forêt dense tropicale humide (dispositif de Paracou - Guyane française)." Phd thesis, Université Claude Bernard - Lyon I, 1997. http://tel.archives-ouvertes.fr/tel-00204403.
Full textAbstract:
Un simulateur de la dynamique forestière, basé sur un modèle d'arbre dépendant des distances, est élaboré, calibré et évalué à partir des données accumulées sur le dispositif sylvicole expérimental de Paracou en Guyane française. Il met en oeuvre des arbres, localisés au sein d'un peuplement et dotés de règles de vie décrites par des sous-modèles de croissance, de mortalité et de recrutement en fonction d'un pas de temps de trois ans.Le modèle de croissance est dérivé d'un type « potentiel x réducteur » adapté aux spécifités de la forêt dense tropicale humide de Guyane. Il prédit l'accroissement d'un arbre en fonction de son diamètre à l'instant t et de son environnement immédiat décrit par deux indices de compétition : l'un rend compte de la pression subie par l'arbre en début de période de croissance et l'autre de l'évolution de cette pression dans un passé proche. La prise en compte de quinze groupes d'espèces, homogènes du point de vue de la croissance, améliore considérablement son efficacité. Quatre modèles de mortalité prédisent la mort sur pied et la mort par chablis primaire, secondaire ou complexe d'un arbre, et un modèle de recrutement permet de gérer l'apparition de nouveaux individus sur des placeaux de 100m2 en fonction de la place disponible dans le peuplement.
Le simulateur, programmé en langage SmallTalk-80 selon la technique des systèmes multi-agents, est doté d'une interface conviviale permettant à l'utilisateur : (i) de suivre l'évolution virtuelle dans le temps d'un peuplement et de chacun des individus qui le constituent par le biais de cartes et de graphiques ; (ii) de réaliser à tout moment une gamme très variée d'interventions de manière à tester des scénarios sylvicoles. Les différents essais réalisés montrent que le peuplement que nous avons généré présente un comportement satisfaisant quelle que soit l'intensité des perturbations imposées, mais que sa réactivité est faible au regard d'un modèle matriciel calibré à partir des mêmes données. Nous proposons différentes voies d'amélioration et soulignons l'intérêt que peut présenter ce type de modèle pour la communauté scientifique et, à plus long terme, le gestionnaire forestier.
6
Duffaut, Olivier. "Problématique multi-modèle pour la génération d'arbres de test : application au domaine de l'automobile." Toulouse, ENSAE, 1994. http://www.theses.fr/1994ESAE0005.
Full textAbstract:
Ce travail concerne l'étude d'un système multi-modèle d'aide à la génération d'arbres de test. Son application a été menée sur les systèmes électroniques de commande embarqués sur véhicules automobiles. Le travail présenté met en évidence les problèmes actuels du développement manuel des arbres de test et propose une solution basée sur l'utilisation conjointe de plusieurs modèles du système traité. Dans l'architecture présentée, chaque modèle est considéré comme une entité indépendante qui participe à la construction de l'arbre de test en rendant des services. Ce processus est supervisé par une autre entité qui est dépositaire de la stratégie globale de test. Trois modèles ont été développés : un modèle fonctionnel, un modèle de comportement électrique normal et un modèle de comportement électrique anormal. La connaissance utilisée, les technique de génération de test et les services renuds dans un cadre multi-modèle sont décrits pour chaque modèle. Un maquette informatique a été réalisée. / Les arbres de test fournis ont été testés sur un système d'injection de carburant et évalués par rapport aux arbres de test existants.
7
Sellier, Damien. "Analyse numérique du comportement mécanique d'arbres sous sollicitation aérodynamique turbulente." Bordeaux 1, 2004. http://www.theses.fr/2004BOR12911.
Full textAbstract:
Tempêtes et ouragans causent des dégâts considérables dans les forêts de plantation du globe, entraînant ainsi des pertes économiques sévères. La question de la tenue aérodynamique du système aérien de l'arbre est centrale pour déterminer les risques de ruine lors de tels événements. Un modèle de dynamique non-linéaire des structures basé sur la Méthode des Eléments Finis a été développé afin d'évaluer le comportement mécanique de l'arbre soumis à l'écoulement atmosphérique, de nature turbulente en milieu forestier. L'analyse numérique est nécessaire pour appréhender toute la variabilité et la complexité de l'architecture aérienne des arbres. Les oscillations libres de trois jeunes Pins maritimes (Pinus Pinaster Ait. ) sont caracterisées experimentalement et par des simulations numériques. L'influence de la morphologie des sujets est prise en compte. En outre, le modèle est appliqué à un Epicéa de Sitka (Picea Sitchensis) sous forçage aérodynamique. Enfin, la méthode des plans d'expérience est employée pour identifier les facteurs clés affectant la stabilité d'un Pin maritime soumis à un vent simulé. Les paramètres étudiés sont les caractéristiques géométriques et matérielles de la structure. Les résultats mettent en évidence l'aptitude du modèle à prédire les caractéristiques dynamiques d'arbres réels. Ils confirment de plus l'incidence de l'architecture aérienne sur les mouvements de l'arbre induits par le vent.
8
Ghattas, Badih. "Agrégation d'arbres de décision binaires : Application à la prévision de l'ozone dans les Bouches du Rhône." Aix-Marseille 2, 2000. http://www.theses.fr/2000AIX22003.
Full text
9
Chaubert-Pereira, Florence. "Combinaisons markoviennes et semi-markoviennes de modèles de régression. Application à la croissance d'arbres forestiers." Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2008. http://tel.archives-ouvertes.fr/tel-00341822.
Full textAbstract:
Ce travail est consacré à l'étude des combinaisons markoviennes et semi-markoviennes de modèles de régression, i.e. des mélanges finis de modèles de régression avec dépendances (semi-)markoviennes. Cette famille de modèles statistiques permet l'analyse de données structurées en phases successives synchrones entre individus, influencées par des covariables pouvant varier dans le temps et présentant une hétérogénéité inter-individuelle. L'algorithme d'inférence proposé pour les combinaisons (semi-)markoviennes de modèles linéaires généralisés est un algorithme du gradient EM. Pour les combinaisons (semi-)markoviennes de modèles linéaires mixtes, nous proposons des algorithmes de type MCEM où l'étape E se décompose en deux étapes de restauration conditionnelle: une pour les séquences d'états sachant les effets aléatoires (et les données observées) et une pour les effets aléatoires sachant les séquences d'états (et les données observées). Différentes méthodes de restauration conditionnelle sont présentées. Nous étudions deux types d'effets aléatoires: des effets aléatoires individuels et des effets aléatoires temporels. L'intérêt de cette famille de modèles est illustré par l'analyse de la croissance d'arbres forestiers en fonctions de facteurs climatiques. Ces modèles nous permettent d'identifier et de caractériser les trois principales composantes de la croissance (la composante ontogénique, la composante environnementale et la composante individuelle). Nous montrons que le poids de chaque composante varie en fonction de l'espèce et des interventions sylvicoles.
10
Chaubert, Florence. "Combinaisons markoviennes et semi-markoviennes de modèles de régression : application à la croissance d'arbres forestiers." Montpellier 2, 2008. http://www.theses.fr/2008MON20117.
Full textAbstract:
Ce travail est consacré à l'étude des combinaisons markoviennes et semi-markoviennes de modèles de régression, i. E. Des mélanges finis de modèles de régression avec dépendances (semi-)markoviennes. Cette famille de modèles statistiques permet l'analyse de données structurées en phases successives asynchrones entre individus, influencées par des covariables pouvant varier dans le temps et présentant une hétérogénéité inter-individuelle. L'algorithme d'inférence proposé pour les combinaisons (semi-)markoviennes de modèles linéaires généralisés est un algorithme du gradient EM. Pour les combinaisons (semi-)markoviennes de modèles linéaires mixtes, nous proposons des algorithmes de type MCEM où l'étape E se décompose en deux étapes de restauration conditionnelle: une pour les séquences d'états sachant les effets aléatoires (et les données observées) et une pour les effets aléatoires sachant les séquences d'états (et les données observées). Différentes méthodes de restauration conditionnelle sont présentées. Nous étudions deux types d'effets aléatoires: des effets aléatoires individuels et des effets aléatoires temporels. L'intérêt de cette famille de modèles est illustré par l'analyse de la croissance d'arbres forestiers en fonctions de facteurs climatiques. Ces modèles nous permettent d'identifier et de caractériser les trois principales composantes de la croissance (la composante ontogénique, la composante environnementale et la composante individuelle). Nous montrons que le poids de chaque composante varie en fonction de l'espèce et des interventions sylvicolesThis work focuses on Markov and semi-Markov switching regression models, i. E. Finite mixtures of regression models with (semi-)Markovian dependencies. These statistical models enable to analyse data structured as a succession of stationary phases that are asynchronous between individuals, influenced by time-varying covariates and which present inter-individual heterogeneity. The proposed inference algorithm for (semi-)Markov switching generalized linear models is a gradient EM algorithm. For (semi-)Markov switching linear mixed models, we propose MCEM-like algorithms whose E-step decomposes into two conditional restoration steps: one for the random effects given the state sequences (and the observed data) and one for the state sequences given the random effects (and the observed data). Various conditional restoration steps are presented. We study two types of random effects: individual-wise random effects and environmental random effects. The relevance of these models is illustrated by the analysis of forest tree growth influenced by climatic covariates. These models allow us to identify and characterize the three main growth components (ontogenetic component, environmental component and individual component). We show that the weight of each component varies according to species and silvicultural interventions
Books on the topic "Modèle d'arbre"
1
Richard, Bösel, Zanchettin Vitale, Galleria nazionale d'arte moderna (Italy), Österreichisches Kulturinstitut in Rom, and Graphische Sammlung Albertina, eds. Adolf Loos, 1870-1933: Architettura, utilità e decoro : Roma, Galleria Nazionale d'Arte Moderna, 7 dicembre 2006 - 11 febbraio 2007. Milano: Electa, 2007.
Find full text