Literatura académica sobre el tema "Contraintes de saturation"

Au Maghreb, les femmes entrepreneures font face à de nombreuses contraintes économiques, sociales et culturelles. Ces contraintes, identifiées dans de nombreuses études, limitent souvent fortement la capacité des femmes à initier leur projet d’entrepreneuriat et à le développer. L’étude analyse les stratégies menées par des femmes entrepreneures pour surmonter les différentes contraintes à leur activité économique. L’étude a été menée auprès de 40 femmes entrepreneures à Ghardaïa (sud de l’Algérie). Dans cette région oasienne, les normes sociales et culturelles sont marquées par le patriarcat et contraignent fortement l’accès des femmes à l’espace public. Les femmes entrepreneures interrogées ont développé des stratégies pour faire face aux contraintes économiques (comme la saturation du marché local en produits traditionnels) en valorisant mieux leurs produits et en créant des produits et services pour répondre aux nouvelles demandes de consommation. Elles ont aussi mobilisé des stratégies pour surmonter les contraintes socioculturelles, notamment en utilisant les outils numériques, en impliquant les hommes de leurs foyers familiaux dans leur projet d’entrepreneuriat, et en s’investissant dans de nouveaux espaces publics où la présence des femmes est acceptée. Ces différentes stratégies ont permis aux femmes de développer leurs activités économiques en s’adaptant aux normes locales plutôt qu’en entrant en conflit avec elles. Cependant, les activités développées restent en général dans le secteur informel. L’essor de cet entrepreneuriat se produit ainsi loin des dispositifs publics d’appui, qui bénéficient avant tout aux entreprises formellement établies.

This paper proposes a semantic analysis of the "epistemic" interpretations of the Italian modal verb dovere with the conditional tense, taking as a starting point the underspecified modal semantics of both the modal verb and the conditional form. The analysis focuses in particular on the difference between epistemic readings of dovere in the indicative and conditional moods. We observe a number of constraints imposed by the "epistemic" reading of the conditional form of dovere over argumentative sequences in discourse, which are not imposed by the indicative form. On this basis, we suggest that the "epistemic" reading with the conditional emerges as a pragmatic free enrichment after alethic or deontic saturation of the modal basis of dovere in a hypothetical frame, whereas with the indicative, the modal saturation is truly doxastic, implying a metarepresentation of speaker’s beliefs, and thus transforming dovere into an evidential for the concerned inference.

Résumé Les fiches de famille du fichier-réseau de la population du Saguenay sont ici utilisées pour faire ressortir les paramètres sociaux de la reproduction familiale dans cette région entre 1842 et 1911, soit à l'époque du peuplement. Une attention particulière est accordée a) au rapport de la parenté comme support de la société rurale, étudié à travers certaines formes de corésidence, b) aux inégalités qui accompagnent la transmission des avoirs fonciers et l'établissement des enfants, c) à l'alphabétisation, comme indicateur de différenciation sociale. On observe que, malgré les écarts créés entre aînés et cadets, entre garçons et filles, la reproduction familiale poursuit une orientation égalitaire. Cette orientation sera toutefois compromise par les tensions et contraintes accompagnant la saturation des terres arables, vers 1920-1930.

Description du sujet. La diminution drastique de terres arables à Libreville pousse de plus en plus les agriculteurs à s’installer dans les localités proches de la capitale gabonaise pour y pratiquer l’agriculture et ravitailler Libreville en produits agricoles.Objectif. La présente étude qui se déroule à quatre-vingt kilomètres de Libreville, a pour objectifs de : (1) déterminer certaines propriétés physico-chimiques et biologiques des sols de Kango, et de comparer les valeurs trouvées avec les valeurs seuil agronomiques, (2) relever les contraintes liées à la production agricole sur ces sols, et (3) proposer des solutions adéquates pour une exploitation agricole respectueuse de l’environnement.Méthodes. Des échantillons de sols ont été prélevés, et les analyses physico-chimiques et biologiques y ont été réalisées : le pH eau, le pH KCl, le carbone organique total, l’azote total, l’azote assimilable, le phosphore total, le phosphore assimilable, l’aluminium, les cations basiques, la capacité d’échange cationique, le taux de saturation en bases échangeables, la biomasse microbienne, le quotient microbien, les rapports azote microbien/azote total et carbone microbien/azote microbien.Résultats. Les sols prélevés sont argileux, ils ont des teneurs en carbone organique total, en azote total et en phosphore total agronomiquement convenables. Mais la très forte acidité, les teneurs en phosphore et azote assimilables, en cations basiques, le taux de saturation très bas et l’activité biologique constituent les principales contraintes à la production agricole.Conclusion. Le chaulage, l’apport de biochar et des amendements organiques sont des solutions à appliquer pour obtenir de bons rendements dans ces rendements dans ces sols dans le respect de l’environnement. Description of the subject. Faced with the drastic reduction of arable land in Libreville following the development of the city, more and more farmers and agro-industries are settling in localities close to the Gabonese capital where they can find land to exploit in to supply Libreville with agricultural products, such as the locality of Kango, located 82 kilometers from Libreville.Goals. The objectives of this study are (1) to determine certain physico-chemical and biological properties of the soils of Kango and to compare the values found with the agronomic threshold values, (2) to identify the constraints likely to limit agricultural production on these soils, and (3) to propose adequate solutions for an efficient and environmentally friendly agricultural exploitation.Methods. Soil samples were taken, and physico-chemical and biological analyzes were carried out: water pH, KCl pH, total organic carbon, total nitrogen, assimilable nitrogen, total phosphorus, phosphorus assimilable, aluminum, basic cations, cation exchange capacity, exchangeable base saturation rate, microbial biomass, microbial quotient, microbial nitrogen/total nitrogen and microbial carbon/microbial nitrogen ratios.Results. The soils sampled are clayey, they have agronomically suitable total organic carbon, total nitrogen and total phosphorus contents. But the very high acidity, the assimilable phosphorus and nitrogen, basic cations, the very low saturation rate and the biological activity constitute the main constraints to agricultural production.Conclusion. Liming, the addition of biochar and organic amendments are solutions to be applied to obtain good yields in these soils while respecting the environment.ls dans le respect de l’environnement.

Despite the ratification of international laws on the rights of peoples as well as those that regulate the functioning of civil status in Côte d'Ivoire, the issue of birth registration is an acute one in certain communities, particularly among the Peulhs living in the Department of Korhogo. The aim of this purely qualitative study is to understand the social logic behind the non-declaration of births among the Peulh. Based on interviews with 44 respondents obtained on the basis of saturation, the study notes that this phenomenon can be explained by the perceptions of the Fulani of civil status and the emergence of the Koranic school, which creates an environment hostile to modernism. Moreover, the lifestyle characterised by transhumance constitutes another explanatory logic, especially since the Fulani believe that the transhumant does not need administrative documents because nature does not belong to anyone.

Balanites aegyptiaca est une espèce caractéristique et emblématique des zones sèches d’Afrique et d’Asie. Elle revêt une grande importance socio-économique dans toute sa zone naturelle de répartition du fait de ses multiples usages. Toutefois, les propriétés technologiques de son bois sont mal connues, d’où des utilisations parfois inappropriées mais qui pourraient être élargies. Afin de mieux adapter ses applications à ses caractéristiques, nous avons déterminé les indicateurs de stabilité physique (masse volumique, infradensité, retrait radial total, retrait tangentiel total, retrait volumique total et point de saturation des fibres) et les indicateurs de comportement mécanique (module d’élasticité longitudinal, contrainte de rupture en flexion et compression) de ce bois. Quatre-vingt-treize éprouvettes prélevées dans 13 arbres provenant des zones sahélienne et soudanienne tchadiennes, et de la zone sahélienne sénégalaise ont été testées. Les résultats obtenus montrent que, pour les trois provenances, le bois de B. aegyptiaca est mi-lourd (797 kg/m3) avec une stabilité dimensionnelle moyenne : l’anisotropie de retrait est supérieure à 2 (2,2), le retrait radial total et le retrait tangentiel total sont moyens, respectivement égaux à 4 % et 8,5 %. Ses caractéristiques mécaniques sont moyennes (contraintes de rupture en compression et flexion statique respectivement égales à 49,4 MPa et 104,5 MPa) à faible (module d’élasticité longitudinal de 10 473 MPa). Une comparaison des résultats obtenus en fonction des zones de prélèvement a mis en évidence des tendances variables selon les caractéristiques étudiées. Ces variations entre les trois provenances restent cependant limitées. Les résultats de l’étude montrent que le bois de B. aegyptiaca pourrait être utilisé de façon appropriée sous forme de matériau pour une plus large gamme d’emplois, sous réserve de la mise en place d’une gestion adaptée permettant sa restauration par plantation.

Cet article présente une partie des résultats d'une recherche sur les représentations de professeures d'université quant à leur expérience en tant que femmes qui travaillent dans une organisation et occupent des postes traditionnellement masculins. Le cadre d'analyse retenu est l'approche critique féministe de la culture organisationnelle. En s'inspirant de la méthode ethnographique et de la technique des niveaux de saturation des données, l'auteure a mené 34 entretiens semi-dirigés auprès de professeures d'une université québécoise. Les données recueillies permettent de préciser le caractère plus ou moins rigide de la culture de cette organisation en ce qui a trait à la liberté que les professeures possèdent dans la définition de leur rôle et l'accomplissement de leurs tâches. Bien que, de prime abord, les professeures se disent satisfaites de leur marge de manoeuvre, des limites apparaissent rapidement. Les principales sont le sentiment d'invisibilité, la perception de sexisme et de discrimination systémique, l'insécurité physique et le conflit vécu entre les valeurs et les intérêts personnels et ceux de l'organisation. Les professeures élaborent toutefois des stratégies qui leur permettent de faire et de prendre leur place à l'université.

Quatre ans après la parenthèse Covid qui avait vu la consommation s’effondrer dans de nombreux secteurs économiques dans la plupart des pays développés, puis rebondir par effet de rattrapage, une tendance nouvelle semble se dessiner, au moins en France, en matière de consommation matérielle. Et cette tendance est clairement orientée à la baisse puisque la consommation des ménages français mi-2024 était redescendue à son niveau de 2015. Ce ralentissement est-il durable ? Annonce-t-il l’entrée dans une société de déconsommation ? Les facteurs qui en sont à l’origine sont-ils économiques, écologiques, sociaux… ? Quelles pourraient en être les conséquences en termes de modèle économique, de politiques publiques, de pratiques et comportements des ménages ? Cécile Désaunay, qui suit ces questions pour Futuribles, analyse ici les tendances d’évolution de la consommation en France. Elle décrypte les principaux moteurs du ralentissement observé (démographie, saturation des besoins matériels, contraintes économiques, sobriété volontaire), pointe les divergences entre des discours en apparence de plus en plus favorables à une consommation responsable, voire une déconsommation, et des pratiques pas toujours en accord avec ces positions, et esquisse les perspectives qui pourraient en découler à moyen-long terme. S.D.

Abstract The paleomagnetic investigations carried out in the 70's on Oligo-Miocene volcanics of Sardinia have demonstrated that the island was turned by 35-30 degrees clockwise from 33 Ma up to 21-20.5 Ma and rotated counterclockwise in a few million years [De Jong et al., 1969, 1973; Bobier et Coulon, 1970; Coulon et al., 1974; Manzoni, 1974, 1975; Bellon et al., 1977; Edel et Lortscher, 1977; Edel, 1979, 1980]. Since then, the end of the rotation fixed at 19 Ma by Montigny et al. [1981] was the subject of discussions and several studies associating paleomagnetism and radiometric dating were undertaken [Assorgia et al., 1994; Vigliotti et Langenheim, 1995; Deino et al., 1997; Gattacceca et Deino, 1999]. This is a contribution to this debate that is hampered by the important secular variation recorded in the volcanics. The only way to get out of this problem is to sample series of successive flows as completely as possible, and to reduce the effect of secular variation by the calculation of means. Sampling was performed north of Bonorva in 5 pyroclastic flows that belong to the upper ignimbritic series S12 according to Coulon et al. [1974] or LBLS according to Assorgia et al. [1997] (fig. 1). 40 Ar/ 39 Ar dating of biotites from the debris flow (MDF) has yielded an age of 18.35+ or -0.03 Ma [Dubois, 2000]. Five of the investigated sites are located beneath the debris flow (TV, TVB, TVD, SPM85, SPM86), one site was cored in the matrix of the debris flow (MDF) and one in 4 metric blocks included in the flow (DFC). Another site was sampled in the upper ash flow (PDM) that marks the end of the pyroclastic activity, just before the marine transgression. According to micropaleontological and radiometric dating this transgression has occurred between 18.35 and 17.6 Ma [Dubois, 2000]. After removal of a soft viscous component, the thermal demagnetization generally shows a univectorial behaviour of the remanent magnetization (fig. 2a). The maximum unblocking temperatures of 580-620 degrees (tab. I) and a rapid saturation below 100 mT (fig. 3) indicate that the carrier of the characteristic magnetization is magnetite. The exception comes from the upper site PDM in which were found two characteristic components, one with a normal polarity and low unblocking temperatures up to 350 degrees C and one with a reversed polarity and maximum unblocking temperatures at 580-600 degrees C of magnetite. After calculation of a mean direction for each flow, the mean "A1" direction 4 degrees /57 degrees (alpha 95 = 13 degrees ) computed with the mean directions for the 5 flows may be considered as weakly affected by secular variation. But the results require a more careful examination. The declinations are N to NNW beneath the debris flow, NNW in the debris flow, and NNE (or SSW) above the debris flow. The elongated distribution of the directions obtained at sites TVB and TVD, scattered from the mean direction of TV to the mean direction of MDF is interpreted as due to partial overprinting during the debris flow volcanic episode. The low temperature component PDMa is likely related to the alteration seen on thin sections and is also viewed as an overprint. As NNE/SSW directions occur as well below (mean direction "B": 5 degrees /58 degrees ) as above the debris flow (PDMb: 200 degrees /-58 degrees ), the NNW directions ("C": 337 degrees /64 degrees ) associated with the debris flow volcanism may be interpreted as resulting from a magnetic field excursion. According to the polarity scale of Cande and Kent [1992, 1995] and the radiometric age of MDF, the directions with normal polarity (TV, TVB, TVD, SPM85, SPM86a, MDF, DFC) may represent the period 5En, while the directions with reversed polarity PDMb and SPM86b were likely acquired during the period 5Dr. Using the mean "A1" direction, the mean "B" or the PDM direction (tab. I), the deviation in declination with the direction of stable Europe 6.4 degrees /58.7 degrees (alpha 95 = 8 degrees ) for a selection of 4 middle Tertiary poles by Besse et Courtillot [1991] or 7 degrees /56 degrees (alpha 95 = 3 degrees ) for 19 poles listed by Edel [1980] can be considered as negligible. Using the results from the upper-most ignimbritic layer of Anglona also emplaced around 18.3 Ma [Odin et al., 1994], the mean direction "E" (3 degrees /51.5 degrees ) leads to the same conclusion. On the contrary, when taking into account all dated results available for the period 5En (mean direction "D" 353 degrees /56 degrees for 45 sites) (tab. II), the deviation 13 degrees is much more significant. As the rotation of Sardinia started around 21-20.5 Ma, the assumption of a constant velocity of rotation and the deviations of the Sardinia directions with respect to the stable Europe direction locate the end of the motion between 18.3 and 17.2 or 16.7 Ma (fig. 4). During the interval 18.35-17.5 Ma, the marine transgression took place. At the same period a NE-SW shortening interpreted as resulting from the collision of Sardinia with Apulia affected different parts of the island [Letouzey et al., 1982]. Consequently, the new paleomagnetic results and the tectono-sedimentary evolution are in favour of an end of the rotation at 17.5-18 Ma.

Introduction. L’insomnie chronique affecte 15,8 % des 15-85 ans. Les soins actuellement recommandés comprennent la prescription d’hypnotiques pour une durée courte. Les thérapies cognitivo- comportementales sont le traitement non médicamenteux de première intention dans l’insomnie chronique. L’hypnothérapie peut être une alternative. Objectif. Explorer l’intérêt et l’usage de l’hypnose pour traiter les troubles du sommeil chroniques du point de vue de médecins généralistes hypnothérapeutes. Méthodes. Étude qualitative phénoménologique auprès de médecins généralistes libéraux d’Île-de-France formés à l’hypnose. Des entretiens semi-directifs enregistrés ont été réalisés jusqu’à obtention de la saturation des données. Une analyse thématique du verbatim a été effectuée jusqu’à l’émergence d’un arbre de thèmes et de sous-thèmes. Résultats. Quatorze médecins (deux femmes et douze hommes) ont été interrogés. Les troubles du sommeil étaient rarement le motif premier de venue des patients en hypnothérapie. Il n’y avait pas de techniques spécifiques pour le soin des insomnies. Néanmoins, les patients déclaraient régulièrement avoir observé une amélioration de leur sommeil, que la prise en charge soit spécifique ou non. Le marqueur d’efficacité recherché par les médecins était principalement la diminution ou l’arrêt des médicaments hypnotiques. Ils se disaient satisfaits des résultats, mais remarquaient des difficultés d’évaluation. L’hypnose avait une place importante dans leur pratique et leur donnait l’impression d’entraîner des changements positifs dans leur vie professionnelle et dans leur vie personnelle. Les contraintes de temps et financières induites par le manque de reconnaissance de la pratique étaient les principaux freins exprimés. Conclusion. L’hypnose permettrait une approche globale dont les bénéfices dépassent la simple question de l’efficacité vis-à-vis de la plainte du patient. Des études quantitatives pourraient être menées pour objectiver ces constats.

Cette thèse porte sur l'analyse statique de code par typage dans le but de détecter les erreurs dans les programmes avant leur exécution. Plus précisément, nous nous intéressons ici au domaine du sous-typage, dans lequel les propriétés du code sont représentées par des ensemble de contraintes de la forme (t1 <= t2). Nos mécanismes de vérification sont alors basés sur l'agrégation de contraintes de sous-typage et la vérification de leur compatibilité par saturation. Le langage de base sur lequel nous travaillons est un ML étendu, muni de variants et d'un mécanisme de filtrage de motifs. Nous commençons par définir un formalisme nous permettant d'exprimer nos systèmes de types sous forme de règles d'inférences. Ce formalisme présente l'avantage d'être suffisamment souple pour nous permettre de prouver les propriétés de validité et de terminaison de nos systèmes, et suffisamment précis pour nous permettre d'en dériver une implémentation de manière systématique. Après avoir défini un système de types de base pour notre langage, nous en présentons trois extensions originales : * Une amélioration du typage du filtrage de motifs basée en particulier sur l'ajout d'un opérateur de disjonction entre les contraintes de sous-typage. Cet opérateur permet alors d'exprimer, pour chaque cas de filtrage, le lien entre le filtre et les contraintes extraites du typage de l'expression correspondante. Ceci nous permet en particulier de représenter beaucoup plus finement le type de certaines fonctions et ainsi d'accepter plus de programmes valides. * Une alternative au mécanisme classique de généralisation permettant de distinguer les contraintes associées aux différents usages des paramètres des fonctions. Un tel mécanisme rend en particulier la construction de langage "let" de ML obsolète. Mixé avec la première extension, nous obtenons un système permettant d'encoder dans le langage lui même (c'est à dire sans ajouter de construction supplémentaire), un modèle objet intéressant. * Une formalisation des GADT basée sur une implantation originale des variables de type existentielles. En plus d'être compatible avec le sous-typage, cette variante des GADT présente une amélioration notable par rapport aux GADT standards par le fait qu'elle étend les possibilités d'inférence. Les annotations de type, habituellement obligatoires en présence de GADT, deviennent ici presque toutes facultatives. Bien qu'il soit possible de dériver directement une implémentation de ces systèmes, ce qui est principalement utile pour leur compréhension et leur prototypage, les performances des typeurs obtenus de la sorte ne sont pas suffisantes pour analyser des programmes de taille réelle. Ceci est principalement dû aux différentes extensions que nous apportons au langage des contraintes, en particulier les opérateurs de disjonction et de négation. Nous présentons alors les différentes techniques que nous avons mises en place pour l'implémentation de nos systèmes permettant à nos analyses de passer à l'échelle en pratique
This PHD thesis focuses on static analysis of programs by type inference in order to detect program errors before their execution. More precisely, we focus hear in the field of sub-typing, where program properties are described by sets of constraints of the form (t1 <= t2). Our verification mechanisms are based on the aggregation of sub-typing constraints and checking of their compatibility by saturation. The base language on which we define our type systems is an ML-like language provided with variants and pattern matching. We starts by defining a formalism to express our type systems thanks to inference rules. This formalism has the advantage to be sufficiently flexible to allow proving validity and termination properties of our systems, and sufficiently precise to allow a systematic derivation of our inference rules into a runnable typer. After the definition of a base type system for our language, we present three novel extensions: * An improvement of type inference for the pattern matching based on the addition of the "or" operator between sub-typing constraints. This operator allow to express a link, in each cases of a match, between the pattern and the constraints generated at typing time of the case expression. This allows us to refine the type of some functions, and then to accept more valid programs. * A new implementation of the generalization mechanism. This allows to distinguish constraints associated to the different occurrences of a function parameter in its body. Thanks to this mechanism, the "let" construction from ML is in particular obsolete. By mixing this extension with the first one, we obtain a type system able to encode "objects" without any additional language construction. * A formalization of GADT based on an novel implementation of existential type variables. In addition to be compatible with the sub-typing context of this thesis, this alternative to GADT has the advantage to improve type inference. As a consequence, most of type annotations, usually required in the presence of GADT, are now optional. Despite the fact that it is possible to directly derive an implementation of our type systems from their rules, that is principally interesting for their comprehension and prototyping, the effectiveness of such typer is insufficient to analyze real world programs. This is principally due to the extensions we provide to the language of constraints, and in particular to the "or" and "not" operators. At then end, we present multiple techniques we used in our implementation to extend the scalability of our analysis

Cette thèse porte sur l'analyse statique de code par typage dans le but de détecter les erreurs dans les programmes avant leur exécution. Plus précisément, nous nous intéressons ici au domaine du sous-typage, dans lequel les propriétés du code sont représentées par des ensemble de contraintes de la forme (t1 <= t2). Nos mécanismes de vérification sont alors basés sur l'agrégation de contraintes de sous-typage et la vérification de leur compatibilité par saturation. Le langage de base sur lequel nous travaillons est un ML étendu, muni de variants et d'un mécanisme de filtrage de motifs. Nous commençons par définir un formalisme nous permettant d'exprimer nos systèmes de types sous forme de règles d'inférences. Ce formalisme présente l'avantage d'être suffisamment souple pour nous permettre de prouver les propriétés de validité et de terminaison de nos systèmes, et suffisamment précis pour nous permettre d'en dériver une implémentation de manière systématique. Après avoir défini un système de types de base pour notre langage, nous en présentons trois extensions originales : * Une amélioration du typage du filtrage de motifs basée en particulier sur l'ajout d'un opérateur de disjonction entre les contraintes de sous-typage. Cet opérateur permet alors d'exprimer, pour chaque cas de filtrage, le lien entre le filtre et les contraintes extraites du typage de l'expression correspondante. Ceci nous permet en particulier de représenter beaucoup plus finement le type de certaines fonctions et ainsi d'accepter plus de programmes valides. * Une alternative au mécanisme classique de généralisation permettant de distinguer les contraintes associées aux différents usages des paramètres des fonctions. Un tel mécanisme rend en particulier la construction de langage "let" de ML obsolète. Mixé avec la première extension, nous obtenons un système permettant d'encoder dans le langage lui même (c'est à dire sans ajouter de construction supplémentaire), un modèle objet intéressant. * Une formalisation des GADT basée sur une implantation originale des variables de type existentielles. En plus d'être compatible avec le sous-typage, cette variante des GADT présente une amélioration notable par rapport aux GADT standards par le fait qu'elle étend les possibilités d'inférence. Les annotations de type, habituellement obligatoires en présence de GADT, deviennent ici presque toutes facultatives. Bien qu'il soit possible de dériver directement une implémentation de ces systèmes, ce qui est principalement utile pour leur compréhension et leur prototypage, les performances des typeurs obtenus de la sorte ne sont pas suffisantes pour analyser des programmes de taille réelle. Ceci est principalement dû aux différentes extensions que nous apportons au langage des contraintes, en particulier les opérateurs de disjonction et de négation. Nous présentons alors les différentes techniques que nous avons mises en place pour l'implémentation de nos systèmes permettant à nos analyses de passer à l'échelle en pratique
This PHD thesis focuses on static analysis of programs by type inference in order to detect program errors before their execution. More precisely, we focus hear in the field of sub-typing, where program properties are described by sets of constraints of the form (t1 <= t2). Our verification mechanisms are based on the aggregation of sub-typing constraints and checking of their compatibility by saturation. The base language on which we define our type systems is an ML-like language provided with variants and pattern matching. We starts by defining a formalism to express our type systems thanks to inference rules. This formalism has the advantage to be sufficiently flexible to allow proving validity and termination properties of our systems, and sufficiently precise to allow a systematic derivation of our inference rules into a runnable typer. After the definition of a base type system for our language, we present three novel extensions: * An improvement of type inference for the pattern matching based on the addition of the "or" operator between sub-typing constraints. This operator allow to express a link, in each cases of a match, between the pattern and the constraints generated at typing time of the case expression. This allows us to refine the type of some functions, and then to accept more valid programs. * A new implementation of the generalization mechanism. This allows to distinguish constraints associated to the different occurrences of a function parameter in its body. Thanks to this mechanism, the "let" construction from ML is in particular obsolete. By mixing this extension with the first one, we obtain a type system able to encode "objects" without any additional language construction. * A formalization of GADT based on an novel implementation of existential type variables. In addition to be compatible with the sub-typing context of this thesis, this alternative to GADT has the advantage to improve type inference. As a consequence, most of type annotations, usually required in the presence of GADT, are now optional. Despite the fact that it is possible to directly derive an implementation of our type systems from their rules, that is principally interesting for their comprehension and prototyping, the effectiveness of such typer is insufficient to analyze real world programs. This is principally due to the extensions we provide to the language of constraints, and in particular to the "or" and "not" operators. At then end, we present multiple techniques we used in our implementation to extend the scalability of our analysis

Cette thèse a pour sujet la stabilisation de systèmes non-linéaires avec des mesures partielles et des entrées contraintes. Les deux premiers chapitres traitent du problème des entrées saturées dans le contexte des systèmes de dimension infinie pour des équations nonlinéaires abstraites et une équation aux dérivées partielles nonlinéaire particulière, l'équation de Korteweg-de Vries. Les outils mathématiques utilisés pour obtenir des résultats Le troisième chapitre propose une méthode de synthèse de retour de sortie pour deux équations de Korteweg-de Vries. Le quatrième chapitre concerne la synthèse d'un retour de sortie pour des systèmes non-linéaires de dimension finie pour lequel il existe un contrôle hybride. Une stratégie basée sur des observateurs grand gain est utilisée
This thesis is about the stabilization of nonlinear systems with partial measurements and constrained input. The two first chapters deals with saturated inputs in the contex of infinite-dimensional systems for nonlinear abstract equations and for a particular partial differential equation, the Korteweg-de Vries equation. The third chapter provides an output feedback design for two Korteweg-de Vries equations using the backstepping method. The fourth chapter is about the output feedback design of nonlinear finite-dimensional systems for which there exists a hybrid controller. A high-gain observer strategy is used

Concurrence est concernée par les systèmes informatiques des agents multiples qui interagissent les uns avec les autres. Bisimilarité est l'un des principales représentantes de ces derniers. Programmation concurrente par contraintes (ccp) est un formalisme qui combine le point de vue traditionnel des formules algébriques et opérationnelles des calculs de processus avec une notion déclarative basée sur logique. La définition standard de bisimilarité n'est pas complètement satisfaisante pour ccp car il donne une équivalence qui est trop à grain fin. Nous introduisons une sémantique de transitions étiquetées et une notion de bisimilarité totalement abstraite à l'équivalence observationnelle en ccp. Lorsque l'espace d'état d'un système est fini, la notion ordinaire de bisimilarité peut être calculé par l'algorithme de partition de raffinement, mais, cet algorithme ne fonctionne pas pour la bisimilarité de ccp. Par conséquent, nous fournissons un algorithme que nous permet de vérifier bisimilarité forte pour ccp, en utilisant un pré-raffinement et une fonction de partition basée sur la bisimilarité irredondante. Bisimilarité faible est une équivalence comportementale obtenue en prenant en compte uniquement les actions qui sont observables dans le système. Typiquement, le raffinement de partition standard peut être utilisé pour décider bisimilarité faible simplement en utilisant la réduction de Milner allant de faible à forte. Nous démontrons que, en raison de ses impliquées transitions étiquetées, la technique mentionnée ci-dessus ne fonctionne pas pour ccp. Nous donnons une réduction qui nous permet d'utiliser cet algorithme pour ccp pour décider cette équivalence.

La majorité des systèmes physiques sont soumis à des limitations de fonctionnement. En effet, ces contraintes peuvent entraîner une dégradation des performances et même une instabilité des systèmes en boucle fermée. Dans ce contexte se situent les travaux de cette thèse qui ont pour objectif de développer des lois de commande adaptative floue à mode glissant pour les systèmes non linéaires avec contraintes de saturation et les appliquer sur le système moteur Diesel. Il s'agit de contrôler les trois actionneurs de la boucle d'air, à savoir: la vanne EGR (Exhaust Gas Recirculation), la vanne VGT (Variable Geometry Turbine) et la vanne papillon pour une poursuite de trajectoires de référence qui sont choisies afin d'optimiser les émissions des polluants et la consommation du carburant. Dans ce mémoire, deux modèles ont été adoptés, à savoir un modèle à deux entrées deux sorties pour lequel la vanne papillon est supposée totalement ouverte et un modèle trois entrées trois sorties. Ces modèles permettent de décrire l'évolution des paramètres les plus significatifs du système : la pression dans le collecteur d'admission, la pression dans le collecteur d'échappement et la puissance du compresseur. Les algorithmes proposés sont validés par simulation et à l'aide du simulateur AMESim
Most physical systems are subject to control constraints. Indeed, these constraints can lead to the degradation of performances and even instability of closed-loop systems. In this context, the main objective of this thesis is to develop adaptive fuzzy control laws for nonlinear systems in the presence of saturation constraints and applying them to the diesel engine system. The objective is to control the three actuators of the air loop of the diesel engine, namely: the Exhaust Gas Recirculation (EGR), the Variable Geometry Turbine (VGT) and the Throttle. The idea is to track a given reference signals which are chosen in order to optimize the pollutant emissions and the fuel consumption. In this thesis, two models have been adopted, a model with two inputs and two outputs in which the Throttle is assumed to be totally opened and a three input three output model. These models describe the significant parameters of the system, such that: the pressure of the intake manifold, the pressure of the exhaust manifold and the compressor power. The proposed algorithms are validated by simulation and using the AMESim simulator

La majorité des systèmes physiques sont soumis à des limitations de fonctionnement. En effet, ces contraintes peuvent entraîner une dégradation des performances et même une instabilité des systèmes en boucle fermée. Dans ce contexte se situent les travaux de cette thèse qui ont pour objectif de développer des lois de commande adaptative floue à mode glissant pour les systèmes non linéaires avec contraintes de saturation et les appliquer sur le système moteur Diesel. Il s'agit de contrôler les trois actionneurs de la boucle d'air, à savoir: la vanne EGR (Exhaust Gas Recirculation), la vanne VGT (Variable Geometry Turbine) et la vanne papillon pour une poursuite de trajectoires de référence qui sont choisies afin d'optimiser les émissions des polluants et la consommation du carburant. Dans ce mémoire, deux modèles ont été adoptés, à savoir un modèle à deux entrées deux sorties pour lequel la vanne papillon est supposée totalement ouverte et un modèle trois entrées trois sorties. Ces modèles permettent de décrire l'évolution des paramètres les plus significatifs du système : la pression dans le collecteur d'admission, la pression dans le collecteur d'échappement et la puissance du compresseur. Les algorithmes proposés sont validés par simulation et à l'aide du simulateur AMESim
Most physical systems are subject to control constraints. Indeed, these constraints can lead to the degradation of performances and even instability of closed-loop systems. In this context, the main objective of this thesis is to develop adaptive fuzzy control laws for nonlinear systems in the presence of saturation constraints and applying them to the diesel engine system. The objective is to control the three actuators of the air loop of the diesel engine, namely: the Exhaust Gas Recirculation (EGR), the Variable Geometry Turbine (VGT) and the Throttle. The idea is to track a given reference signals which are chosen in order to optimize the pollutant emissions and the fuel consumption. In this thesis, two models have been adopted, a model with two inputs and two outputs in which the Throttle is assumed to be totally opened and a three input three output model. These models describe the significant parameters of the system, such that: the pressure of the intake manifold, the pressure of the exhaust manifold and the compressor power. The proposed algorithms are validated by simulation and using the AMESim simulator

L'objectif consistait à décrire de manière précise les comportements mécaniques et poromécaniques des grès des Vosges secs et saturés. En ce qui concerne la modélisation du comportement mécanique du grès des Vosges secs, on propose un modèle d'endommagement anisotrope induit par des microfissures. Ce modèle, basé sur les travaux précédents, décrit un comportement mécanique endommagé, en tenant compte du mécanisme du glissement et de l'ouverture des microfissures. Le potentiel complémentaire thermodynamique est caractérisé par sa dépendance linéaire par rapport à variable endommagé et par la présence d'un terme linéaire par rapport au tenseur de contrainte. L'évolution d'endommagement est liée directement à la propagation des microfissures. En particulier, un moyen pour déterminer tous les paramètres a été proposé. La vérification du modèle proposé sur divers chemins de sollicitations a montré une bonne performance. En ce qui concerne la modélisation du comportement poromécanique du grès des Vosges saturé, on développe le modèle d'endommagement anisotrope induit par des microfissures, afin de décrire les comportements poromécaniques. On adopte les paramètres d'essai de compression triaxial drainé, pour simuler les comportements d'endommagements anisotrope des roches drainées et non drainée saturée. En se basant des observations expérimentales, les contraintes effectives de Terzaghi sont utilisées avec le critère de la propagation des microfissures, afin de décrire la caractéristique de la rupture des microfissures. La formulation du potentiel thermodynamique est aussi développée, l'équation d'état peut être obtenue, en utilisant le potentiel dual. La simulation numérique montre que le modèle développé est capable de décrire les principales caractéristiques liées à l'endommagement induit par les microfissurations.

Ce travail de thèse concerne la modélisation du béton et des ouvrages en béton soumis à des sollicitations allant du quasi statique à la dynamique rapide, tout en prenant en compte de la présence d'eau libre dans les pores du béton. L'objectif est la mise au point d'un outil prévisionnel de simulation capable de décrire le comportement du béton et des structures en béton, en tenant compte des effets du taux de saturation. Le choix des Éléments Discrets pour cette modélisation est justifié par les phénomènes discontinus qui apparaissent dans le béton, tel que la fissuration, la fragmentation ou l'écaillage. Les Éléments Discrets permettent de reproduire de manière fiable et efficace le comportement discontinu local ainsi que la réponse globale de la structure.La première partie de ce travail concerne la simulation d'essais quasi-statiques sous sollicitations uniaxiales et triaxiales fortement confinées, avec la prise en compte du phénomène de compaction. Les effets de l'eau libre contenue dans les porosités sont pris en compte par l'introduction d'une dépendance entre le taux de saturation en eau et la déformation inélastique. La procédure d’identification des paramètres du modèle est présentée. Enfin, le modèle est validé en reproduisant le comportement quasi-statique du béton par différents essais. La deuxième partie de ce travail est consacrée au comportement dynamique du béton. L'objectif est d'étendre la validation du modèle en simulant des essais d'impacts. Les effets de vitesse sont pris en comptes et des simulations d'impact sur des dalles en béton de différentes épaisseurs sont effectuées. Les résultats obtenus sont en bonne concordance avec les résultats expérimentaux
This thesis concerns the modeling of concrete and concrete structures subjected to stresses ranging from quasi-static to dynamic loading, taking into account the presence of free water in pores. The objective is the development of a predictive simulation tool capable of describing the behavior of concrete and concrete structures, taking into account the effects of saturation ratio. The choice of discrete elements for modeling is justified by the discontinuous phenomena that appear in the concrete, such as cracking, fragmentation, spalling and scabbing. Discrete Elements can reproduce reliably and efficiently the local discontinuous behavior and the overall response of the structure.The first part of this work concerns the simulation of quasi-static tests under uniaxial and highly confined triaxial loadings, taking into account the compaction phenomenon. The effects of the free water contained in the pores are taken into account by introducing a dependency between the water saturation level and the inelastic deformation. The identification process of the model parameters is presented. Finally, the model is validated by reproducing the quasi-static behavior of concrete in different tests.The second part of this work concerns the dynamic behavior of concrete. The aim is to extend the validation of the model by simulating impact tests on concrete slabs of different thickness. The dynamic effects are taken into account and impact simulations on concrete slabs of different thickness are made. The results are in good agreement with experimental results

Cette thèse a permis d'étudier la perméabilité du béton sous conditions thermiques et hydriques variables, ainsi que l'effet de fissuration. Nombreux essais (mesures de saturation et perméabilité, essai de compressions uniaxiales et triaxiales et hydrostatiques) ont été menés afin d'évaluer l'influence de la température et de la saturation sur le comportement hydraulique du béton sain et microfissuré. En parallèle, un dispositif de mesure de la perméabilité sur béton macro fissuré permet d'étudier le comportement d'une macro-fissure de béton confinée et soumise à écoulement de gaz sec ou l'air très humide à différentes températures. Les essais mécaniques multiaxiaux sont couplés aux mesures de perméabilité sur béton sain et micro-fissuré par gel-dégel, qui permet d'évaluer la perméabilité sous charge déviatorique et l'effet de préfissuration sous contrainte. Nous avons également effectué un essai de perméabilité relative du béton en fonction de la saturation en eau, soumis à la dessiccation ou à la resaturation, en conditionnant par les différentes humidités relatives imposées