Érosion des solsvignette|redresse=1.7|Cartographie mondiale de la vulnérabilité des sols à l'érosion hydrique. Des taux d'érosion deux fois plus élevé que le taux de formation des sols (voire quarante fois dans les pays développés actuels dont l'agriculture productiviste se traduit par un labour ou un travail du sol intensif) explique l'espérance de vie des grandes civilisations antiques rythmés par la loi des cycles millénaires avec une phase d'expansion suivie d'une phase de déclin (en moyenne de 800 à , donnée compatible avec l'érosion complète des couches arables et fertiles par leur culture intensive reposant sur environ un mètre de terre végétale).
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Test unitaireEn programmation informatique, le test unitaire (ou « T.U. », ou « U.T. » en anglais) est une procédure permettant de vérifier le bon fonctionnement d'une partie précise d'un logiciel ou d'une portion d'un programme (appelée « unité » ou « module »). Dans les applications non critiques, l'écriture des tests unitaires a longtemps été considérée comme une tâche secondaire. Cependant, les méthodes Extreme programming (XP) ou Test Driven Development (TDD) ont remis les tests unitaires, appelés « tests du programmeur », au centre de l'activité de programmation.
Test caseIn software engineering, a test case is a specification of the inputs, execution conditions, testing procedure, and expected results that define a single test to be executed to achieve a particular software testing objective, such as to exercise a particular program path or to verify compliance with a specific requirement. Test cases underlie testing that is methodical rather than haphazard. A battery of test cases can be built to produce the desired coverage of the software being tested.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Automatisation de testL'automatisation de test permet de jouer à volonté des tests de régression à la suite de la livraison d'une nouvelle version d'une application. L'automatisation d'un test n'a de sens que si le test répond à un certain nombre de critères : le test est systématique : il doit être exécuté à chaque nouvelle version de l'application. le test est répétitif : il est présent dans de nombreux scénarios de test. le test est automatisable : il est possible techniquement de faire jouer le test par un robot.
Érosionthumb|Effet de la combinaison de l'érosion éolienne et hydrique (Coyote Buttes, Vermilion Cliffs National Monument, États-Unis). thumb|Risque d'érosion des sols (Europe méditerranéenne). En géomorphologie, l’érosion est le processus de dégradation et de transformation du relief, et donc des sols, roches, berges et littoraux qui est causé par tout agent externe (donc autre que la tectonique). Un relief dont le modelé s'explique principalement par l'érosion est dit « relief d'érosion ».
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Sol (pédologie)vignette|Le sol recèle un trésor vivant insoupçonné qui représente 50 % de la biodiversité spécifique sur la terre. En région tempérée, chaque mètre carré (sur de profondeur) abrite en moyenne animales (dont un millier d'espèces d'invertébrés constitués de près de 50 % d'acariens) comprenant, en les distinguant par leur taille, la microfaune, la mésofaune et la macrofaune. Une cuillère à café de sol, soit environ un gramme, héberge en moyenne 100 arthropodes, à , des millions de protozoaires et près d'un milliard de cellules bactériennes, issues de plus de 1 million d'espèces.
Test de régressionUn test de régression, ou test de non-régression, est un test ayant pour but de détecter les régressions introduites dans un logiciel après un changement effectué dans celui-ci. Une régression est un défaut qui se produit après une modification d'un logiciel lorsque des fonctionnalités existantes ne sont plus réalisées aussi bien qu'avant.
Test d'intégrationDans le monde du développement informatique, L'objectif de chaque phase de test est de détecter les erreurs qui n'ont pas pu être détectées lors de la précédente phase. Pour cela, le test d’intégration a pour cible de détecter les erreurs non détectables par le test unitaire. Le test d’intégration permet également de vérifier l'aspect fonctionnel, les performances et la fiabilité du logiciel. L'intégration fait appel en général à un système de gestion de versions, et éventuellement à des programmes d'installation.
Dépollutionvignette|Des bénévoles nettoient les côtes après la catastrophe du Prestige. La dépollution désigne l'élimination des pollutions et des contaminations des milieux ambiants tels les sols, les nappes phréatiques, les sédiments ou les eaux de surface. Les enjeux de la dépollution sont souvent financiers mais aussi d'intérêt général : protection de la santé publique et de l'environnement, ou par exemple dans le cas d'un site industriel ou commercial désaffecté, la réutilisation.
Écologie du solL'écologie du sol est la science des interactions entre les êtres vivants du sol avec celui-ci, et l'étude des natures (biotique et abiotique) des sols eux-mêmes . Il existe un lien important entre la richesse des communautés végétales, fongiques, bactériennes, de la microfaune du sol (biodiversité) et les propriétés et les fonctions écologiques du sol Le sol est à la fois un habitat d'espèces, un produit du vivant et un facteur de sélection des espèces, via des mécanismes complexes encore incomplètement compris.
Soil moistureSoil moisture is the water content of the soil. It can be expressed in terms of volume or weight. Soil moisture measurement can be based on in situ probes (e.g., capacitance probes, neutron probes) or remote sensing methods. Water that enters a field is removed from a field by runoff, drainage, evaporation or transpiration.
Carbone du solLe carbone du sol est la matière terrestre solide stockée dans les sols au niveau mondial. Cette appellation comprend à la fois la matière organique du sol et l'ensemble du carbone inorganique constituant les minéraux carbonatés. Le carbone du sol est un puits de carbone par rapport au cycle mondial du carbone, jouant un rôle dans la biogéochimie, l'atténuation du changement climatique et dans la construction de modèles climatiques mondiaux. Le carbone du sol est présent sous deux formes : inorganique et organique.
Groundwater remediationGroundwater remediation is the process that is used to treat polluted groundwater by removing the pollutants or converting them into harmless products. Groundwater is water present below the ground surface that saturates the pore space in the subsurface. Globally, between 25 per cent and 40 per cent of the world's drinking water is drawn from boreholes and dug wells. Groundwater is also used by farmers to irrigate crops and by industries to produce everyday goods.
