Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Manufacturing engineeringManufacturing engineering or production engineering is a branch of professional engineering that shares many common concepts and ideas with other fields of engineering such as mechanical, chemical, electrical, and industrial engineering. Manufacturing engineering requires the ability to plan the practices of manufacturing; to research and to develop tools, processes, machines and equipment; and to integrate the facilities and systems for producing quality products with the optimum expenditure of capital.
Industrie charbonnière en ChineLa république populaire de Chine est le plus grand consommateur de charbon au monde, en 2016, avec milliards de tonnes de charbon contre, en 2008, milliard de tonnes de charbon. Le pays produit, en 2006, 68,7 % de son électricité à partir du charbon. Il possèderait également 13 % des réserves prouvées de charbon. Avec près de gigawatts (GW), elle détient près de la moitié des capacités mondiales des centrales à charbon, suivie par les États-Unis (259 GW) et l'Inde (221 GW).
Coal in AustraliaCoal is mined in every state of Australia. The largest black coal resources occur in Queensland and New South Wales. About 70% of coal mined in Australia is exported, mostly to eastern Asia, and of the balance most is used in electricity generation. In 2019-20 Australia exported 390 Mt of coal (177 Mt metallurgical coal and 213 Mt thermal coal) and was the world's largest exporter of metallurgical coal and second largest exporter of thermal coal. Coal mining in Australia has been criticized, due to carbon dioxide emissions during combustion.
Extrapolation de RichardsonEn analyse numérique, le procédé d'extrapolation de Richardson est une technique d'accélération de la convergence. Il est ainsi dénommé en l'honneur de Lewis Fry Richardson, qui l'a popularisé au début du . Les premières utilisations remontent à Huygens en 1654 et Takebe Kenkō en 1723, pour l'évaluation numérique de π. Ce procédé est notamment utilisé pour définir une méthode numérique d'intégration : la méthode de Romberg, accélération de la méthode des trapèzes.
Diviseur de zéroEn mathématiques, dans un anneau, un diviseur de zéro est un élément non nul dont le produit par un certain élément non nul est égal à zéro. Soient un anneau et tel que , où est l'élément neutre pour la loi . On dit que est un diviseur de zéro à gauche dans si On dit que est un diviseur de zéro à droite dans si On dit que est un diviseur de zéro dans si est un diviseur de zéro à gauche dans ou un diviseur de zéro à droite dans . Un élément de est dit régulier s'il n'est ni nul, ni diviseur de zéro.
Coal analysisCoal analysis techniques are specific analytical methods designed to measure the particular physical and chemical properties of coals. These methods are used primarily to determine the suitability of coal for coking, power generation or for iron ore smelting in the manufacture of steel. Coal comes in four main types or ranks: lignite or brown coal, bituminous coal or black coal, anthracite and graphite. Each type of coal has a certain set of physical parameters which are mostly controlled by moisture, volatile content (in terms of aliphatic or aromatic hydrocarbons) and carbon content.
GéotextileLes géotextiles sont des tissus en polymères (naturels ou synthétiques), plans, perméables, utilisés en contact avec un sol et/ou d'autres matériaux pour des applications géotechniques (prévention des risques naturels, résilience des écosystèmes, agrotextiles de couverture en agriculture) et de génie civil (géotextiles de renforcement dans les bâtiments, de séparation dans la construction de routes et de voies ferrée...). Ils sont souvent et improprement appelés Bidim, du nom du leader historique des fabricants de ce produit.
Statistical conclusion validityStatistical conclusion validity is the degree to which conclusions about the relationship among variables based on the data are correct or "reasonable". This began as being solely about whether the statistical conclusion about the relationship of the variables was correct, but now there is a movement towards moving to "reasonable" conclusions that use: quantitative, statistical, and qualitative data. Fundamentally, two types of errors can occur: type I (finding a difference or correlation when none exists) and type II (finding no difference or correlation when one exists).
