Le travail présenté ici a pour thème le développement et la mise en oeuvre d'une méthode d'implicitisation et d'inversion ainsi que son application à la visualisation de surfaces polynomiales et rationnelles parametrées par la technique du lancer de rayons. l'implicitisation est un problème d'élimination pour lequel les méthodes de résultant s'avèrent mieux adaptées à notre application. la méthode de dixon (1908) pour les surfaces obtenues par produit tensoriel (surfaces de bi-degré) est particulièrement bien adaptée. Nous proposons une extension algorithmique de cette méthode qui conserve ses propriétés de simplicité et de compacité. la programmation en langage REDUCE a permis une expérimentation sur de nombreux exemples: elle montre que l'équation implicite est obtenue, et ceci de façon efficace, bien que la justification théorique de l'algorithme reste incomplète. L'étude de cette dernière nous a amené à considérer les problèmes de paramétrisations non fidèles et de l'apparition de facteurs parasites. Ensuite le problème de l'inversion (identification et détermination des paramètres d'un point de la surface rationnelle) est résolu complètement. Nous proposons enfin une application numérique de ces algorithmes (en langage C) au problème de l'intersection d'une Bezier rationnelle et d'une demi-droite (rayon). les aspects de stabilité numérique et d'optimisation sont mis en avant: à chaque surface est associée une table pre-calculée, permettant d'obtenir simplement l'équation d'intersection dans le paramètre rayon. Les images données attestent des qualités numériques de cette méthode d'implicitisation-inversion<br />~

Dans ce travail de thèse une étude théorique et pratique du résultant résiduel est proposée. Ce résultant résiduel fournit une condition nécessaire et suffisante pour qu'un système algébrique possède des solutions sur une variété résiduelle obtenue par éclatement. Des méthodes effectives pour calculer ce résultant résiduel ainsi que son degré sont proposées, les résultats les plus précis étant obtenus lorsque le lieu que l'on éclate est une intersection complète ou encore une intersection complète locale projective Cohen-Macaulay de codimension deux. Un algorithme pour résoudre le problème d'implicitisation dans le cas ou la paramétrisation possède des points base localement intersection complète est explicité à l'aide du résultant résiduel. On montre également comment ce résultant résiduel permet d'obtenir la forme de Chow des points isolés d'un système algébrique. Enfin le dernier chapitre de cette thèse présente une définition et une première étude du résultant déterminantal qui donne une condition nécessaire et suffisante pour qu'une matrice générique soit de rang inférieur ou égal à un entier positif donné.

Le déboisement et la dégradation des forêts sont majeurs dans les pays en voie de développement et c’est pourquoi on y planifie une stratégie de réduction des émissions dues au déboisement et à la dégradation des forêts (REDD+). Nous nous sommes intéressés à la République Démocratique du Congo, plus particulièrement au projet pilote de la Réserve de biosphère de Luki. Cette recherche visait à comprendre la perception des changements climatiques et le mode d’utilisation des terres des communautés. Ainsi, des groupes de discussion, des ateliers de cartographie participative et une validation terrain ont eu lieu dans quatre communautés, et ce auprès des jeunes, des femmes et des hommes. Les communautés sont conscientes de leur responsabilité face aux changements environnementaux. Actuellement, l’agriculture, la carbonisation et le sciage sont les activités génératrices de revenus des communautés. Pour être durable, la démarche REDD+ doit donc s’attarder aux activités alternatives des communautés locales.

Les systèmes actifs d'aide à la conduite des véhicules automobiles ont besoin d'informations sur l'état du véhicule pour construire des stratégies de contrôle efficaces. L'objectif de cette thèse est de développer des observateurs à entrées inconnues qui permettent d'estimer différentes variables liées à l'état du véhicule et de son environnement. Après avoir présenté différentes modélisations du véhicule, différents observateurs d'état à entrées inconnues de systèmes linéaires et non linéaires sont exposés afin d'estimer des variables explicatives de la dynamique du véhicule.

Dans cette thèse, nous définissons algébriquement le résultant déterminantiel d'un morphisme f de modules libres de type dont la matrice a en entrée des polynômes homogènes f_i,j. A l'aide des complexes d'Eagon-Northcott et de Buchsbaum-Rim associés au morphisme P nous proposons des méthodes effectives pour calculer ce résultant déterminantiel ainsi que son degré. Dans le cas où les polynômes f_i,j sont à deux variables, nous montrons que ce résultant déterminantiel est donné par le déterminant d'une matrice en les coefficients des f_i,j , qui est une généralisation de la matrice de Sylvester de deux polynômes. Dans la deuxième partie de la thèse, nous étudions des problèmes d'intersection de courbes et surfaces de Bézier en évitant la fameuse conversion instable entre la base de Bernstein et la base monomiale. Ces problèmes jouissent d'une structure particulière qui est dégénérée pour le résultant de Macaulay. Nous prouvons l'existence d'un résultant anisotrope adapté à ces systèmes dégénérés et proposons un algorithme pour le calculer.

La lutte contre les changements climatiques est un combat qui doit être un combat mené par tous les pays. Partant de ce constat, cette étude maintient l'idée selon laquelle, en dépit du principe des responsabilités communes mais différenciées qui exige en premier la contribution des États développés générateurs de gaz à effet de serre de sources industrielles, une participation des États en développement dont certains génèrent des gaz à effet de serre de sources forestières est requise afin d'obtenir des résultats durables. Cependant, la contribution de ces derniers suppose des appuis financiers et techniques suffisants pour pallier les surcoûts. En ce sens, un mécanisme financier comme le REDD+ (réduction des émissions dues au déboisement et à la dégradation des forêts dans les pays tropicaux en développement, et le rôle de la conservation, de l'aménagement durable des forêts et du renforcement des stocks forestiers), constitue une innovation. Cela étant, les expériences du REDD+ ont permis à la communauté internationale de noter les faiblesses de son régime. La présente étude de la durabilité dans le mécanisme REDD+ vise à étudier comment le droit peut assurer que le REDD+ soit véritablement un mécanisme de développement durable. Fondée sur une analyse du cadre normatif du REDD+, cette étude se veut réalisable par une comparaison des dispositions relatives au REDD+ et ce, au vu de critères et de principes internationalement admis dont : l'impact, l'efficacité, la pertinence, l'acceptabilité, la viabilité, la participation du public, les responsabilités communes mais différenciées, l'intégration.

Le rôle de la femme dans le procès peut être ramené à trois domaines : le témoignage, la défense judiciaire et la condition de défendeur.Selon l’opinion commune, la femme ne pouvait être témoin. Toutefois, cela ne coïncide pas avec la lettre des Digesta (22.5.18 ; 22.5.3.5). Ils attestent une capacité testimoniale générale de la femme, à moins qu’elle n’ait pas été condamnée en tant qu’adultère.En dépit du fait que la femme était exclue moribus des officia dits virilia (D. 50.17.2 pr.-1), il y a des témoignages de mulieres qui ont discuté des causes pro se aut pro aliis. Celles-ci sont considérées avec dédain par les auteurs anciens car l’in iudicis tacere était le seul comportement approprié à la condicio naturae de la femme.Évidemment, il n’y avait pas de place dans le monde romain pour des femmes juges. Et il est intéressant que Cassius Dion (h. R. 50.5.4) emploie cette exclusion pour démontrer à quel point la reine Cléopâtre était lointaine des mœurs romaines.La casuistique la plus large est celle des femmes défendeurs. Le modèle féminin idéal dans l’imaginaire romain est celui de la bonne épouse et mère, sobre dans les mœurs, modérée dans la parole, affable, pudique, obéissante. Sur un arrière-plan social ainsi esquissé, les crimes féminins les plus courants sont alors l’empoisonnement, l’adultère et les relations sexuelles avant le mariage. Il faut par ailleurs remarquer le crime résultant de la consommation de vin, à savoir une infraction qui est considérée comme telle seulement si son auteur est une femme. Puisque la mulier pouvait être jugée avec le système en vigueur au moment du procès / The woman’s role in the trial can substantially be brought back to three areas: the evidence, the legal aid and the guilt.It is generally accepted that the woman could not be a witness. However this does not what come out from the Digest, where is deduced a general witness ability unless the woman has not been condemned for adultery.Even though the woman was excluded moribus from the officia virilia (D. 50.17.2 pr.-1), in addition to the position of witness, there are testimonies of mulieres that discussed cases pro se aut pro aliis. This women are judged by the ancient authors with indignation (because the in iudicis tacere was the only appropriate behavior for the female condicio naturae). They are extraordinary exempla, that must be handed down as negative examples.Of course, there was no place in the Roman world for women judges. It is interesting how Cassius Dio (h. R. 50.5.4) uses this foreclosure, to demonstrate how much Queen Cleopatra was far from the Roman customs.The largest range of cases is the one of mulieres reae. The Idealtypus of the woman for the Romans is the one of a good wife and a good mother, sober, reliable, silent. In this social background, the female crimes more perpetrated are therefore veneficium, adulterium, stuprum and probum. It is particular also the crime of wine drinking, a hypothesis of crime that is punished only if it is made by a woman. The mulier was – within the limits of her status – cives and she could be tried with every trial system. But, some characteristics have distinguished the trial against men from the trial against women.

Dans ce travail, différentes formulations d'éléments de poutres sont proposées pour l'analyse à rupture de structures de type poutres ou portiques en béton armé soumises à des chargements statiques monotones. La rupture localisée des matériaux est modélisée par la méthode à discontinuité forte, qui consiste à enrichir l'interpolation standard des déplacements (ou rotations) avec des fonctions discontinues associées à un paramètre cinématique supplémentaire interprété comme un saut de déplacement (ou rotation). Ces paramètres additionnels sont locaux et condensés au niveau élémentaire. Un élément fini écrit en efforts résultants et deux éléments finis multi-couches sont développés dans ce travail. L'élément de poutre d'Euler Bernouilli écrit en effort résultant présente une discontinuité en rotation. La réponse en flexion du matériau hors discontinuité est décrite par un modèle élastoplastique en effort résultant et la relation cohésive liant moment et saut de rotation sur la rotule plastique est, quant à elle, décrite par un modèle rigide plastique. La réponse axiale est suppposée élastique. Pour ce qui concerne l'approche multi-couche, chaque couche est considérée comme une barre constituée de béton ou d'acier. La partie régulière de la déformation de chaque couche est calculée en s'appuyant sur la cinématique associée à la théorie d'Euler Bernoulli ou de Timoshenko. Une déformation axiale additionnelle est considérée par l'introduction d'une discontinuité du déplacement axial, introduite indépendamment dans chaque couche. Le comportement du béton est pris en compte par un modèle élasto-endommageable alors que celui de l'acier est décrit par un modèle élastoplastique. La relation cohésive entre la traction sur la discontinuité et le saut de déplacement axial est décrit par un modèle rigide endommageable adoucissant pour les barres (couches) en béton et rigide plastique adoucissant pour les barres en acier. La réponse en cisaillement pour l'élement de Timoshenko est supposée élastique. Enfin, l'élément multi-couche de Timoshenko est enrichi en introduisant une partie visqueuse dans la réponse adoucissante. L'implantation numérique des différents éléments développés dans ce travail est présentée en détail. La résolution par une procédure d'«operator split» est décrite pour chaque type d'élément. Les différentes quantités nécessaires pour le calcul au niveau local des variables internes des modèles non linéaires ainsi que pour la construction du système global fournissant les valeurs des dégrés de liberté sont précisées. Les performances des éléments développés sont illustrées à travers des exemples numériques montrant que la formulation basée sur un élément multicouche d'Euler Bernouilli n'est pas robuste alors les simulations s'appuyant sur des éléments d'Euler Bernouilli en efforts résultants ou sur des éléments multicouche de Timoshenko fournissent des résultats très satisfaisants. / In this work, several beam finite element formulations are proposed for failure analysis of planar reinforced concrete beams and frames under monotonic static loading. The localized failure of material is modeled by the embedded strong discontinuity concept, which enhances standard interpolation of displacement (or rotation) with a discontinuous function, associated with an additional kinematic parameter representing jump in displacement (or rotation). The new parameters are local and are condensed on the element level. One stress resultant and two multi-layer beam finite elements are derived. The stress resultant Euler-Bernoulli beam element has embedded discontinuity in rotation. Bending response of the bulk of the element is described by elasto-plastic stress resultant material model. The cohesive relation between the moment and the rotational jump at the softening hinge is described by rigid-plastic model. Axial response is elastic. In the multi-layer beam finite elements, each layer is treated as a bar, made of either concrete or steel. Regular axial strain in a layer is computed according to Euler-Bernoulli or Timoshenko beam theory. Additional axial strain is produced by embedded discontinuity in axial displacement, introduced individually in each layer. Behavior of concrete bars is described by elastodamage model, while elasto-plasticity model is used for steel bars. The cohesive relation between the stress at the discontinuity and the axial displacement jump is described by rigid-damage softening model in concrete bars and by rigid-plastic softening model in steel bars. Shear response in the Timoshenko element is elastic. Finally, the multi-layer Timoshenko beam finite element is upgraded by including viscosity in the softening model. Computer code implementation is presented in detail for the derived elements. An operator split computational procedure is presented for each formulation. The expressions, required for the local computation of inelastic internal variables and for the global computation of the degrees of freedom, are provided. Performance of the derived elements is illustrated on a set of numerical examples, which show that the multi-layer Euler-Bernoulli beam finite element is not reliable, while the stress-resultant Euler-Bernoulli beam and the multi-layer Timoshenko beam finite elements deliver satisfying results. / V disertaciji predlagamo nekaj formulacij končnih elementov za porušno analizo armiranobetonskih nosilcev in okvirjev pod monotono statično obteˇzbo. Lokalizirano porušitev materiala modeliramo z metodo vgrajene nezveznosti, pri kateri standardno interpolacijo pomikov (ali zasukov) nadgradimo z nezvezno interpolacijsko funkcijo in z dodatnim kinematičnim parametrom, ki predstavlja velikost nezveznosti v pomikih (ali zasukih). Dodatni parametri so lokalnega značaja in jih kondenziramo na nivoju elementa. Izpeljemo en rezultantni in dva večslojna končna elementa za nosilec. Rezultantni element za Euler-Bernoullijev nosilec ima vgrajeno nezveznost v zasukih. Njegov upogibni odziv opišemo z elasto-plastičnim rezultantnim materialnim modelom. Kohezivni zakon, ki povezuje moment v plastičnem členku s skokom v zasuku, opišemo s togo-plastičnim modelom mehčanja. Osni odziv je elastičen. V večslojnih končnih elementih vsak sloj obravnavamo kot betonsko ali jekleno palico. Standardno osno deformacijo v palici izračunamo v skladu z Euler-Bernoullijevo ali s Timošenkovo teorijo nosilcev. Vgrajena nezveznost v osnem pomiku povzroči dodatno osno deformacijo v posamezni palici. Obnašanje betonskega sloja opišemo z modelom elasto-poškodovanosti, za sloj armature pa uporabimo elasto-plastični model. Kohezivni zakon, ki povezuje napetost v nezveznosti s skokom v osnem pomiku, opišemo z modelom mehčanja v poškodovanosti za beton in s plastičnim modelom mehčanja za jeklo.Striˇzni odziv Timošenkovega nosilca je elastičen. Večslojni končni element za Timošenkov nosilec nadgradimo z viskoznim modelom mehčanja. Za vsak končni element predstavimo računski algoritem ter vse potrebne izraze za lokalni izračun neelastičnih notranjih spremenljivk in za globalni izračun prostostnih stopenj. Delovanje končnih elementov preizkusimo na več numeričnih primerih. Ugotovimo, da večslojni končni element za Euler-Bernoullijev nosilec ni zanesljiv, medtem ko rezultantni končni element za Euler-Bernoullijev nosilec in večslojni končni element za Timošenkov nosilec dajeta zadovoljive rezultate.