Coal in ChinaChina is the largest producer and consumer of coal and the largest user of coal-generated electricity in the world. The share of coal in the Chinese energy mix declined to 55% in 2021 according to the US Energy Information Agency. The Chinese central government has clamped down on the pace of new construction of coal plants and shifted to renewable, nuclear and natural gas sources. At the same time, coal consumption reached new heights in China with carbon dioxide emissions from coal-fired electricity production estimated to top 4.
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.
Diamond simulantA diamond simulant, diamond imitation or imitation diamond is an object or material with gemological characteristics similar to those of a diamond. Simulants are distinct from synthetic diamonds, which are actual diamonds exhibiting the same material properties as natural diamonds. Enhanced diamonds are also excluded from this definition. A diamond simulant may be artificial, natural, or in some cases a combination thereof.
Blood diamondBlood diamonds (also called conflict diamonds, brown diamonds, hot diamonds, or red diamonds) are diamonds mined in a war zone and sold to finance an insurgency, an invading army's war efforts, terrorism, or a warlord's activity. The term is used to highlight the negative consequences of the diamond trade in certain areas, or to label an individual diamond as having come from such an area. Diamonds mined during the 20th–21st century civil wars in Angola, Ivory Coast, Sierra Leone, Liberia, Guinea, and Guinea-Bissau have been given the label.
Synthetic diamondLab-grown diamond (LGD; also called laboratory-grown, laboratory-created, man-made, artisan-created, artificial, synthetic, or cultured diamond) is diamond that is produced in a controlled technological process (in contrast to naturally formed diamond, which is created through geological processes and obtained by mining). Unlike diamond simulants (imitations of diamond made of superficially similar non-diamond materials), synthetic diamonds are composed of the same material as naturally formed diamonds – pure carbon crystallized in an isotropic 3D form – and share identical chemical and physical properties.
Cycle (graph theory)In graph theory, a cycle in a graph is a non-empty trail in which only the first and last vertices are equal. A directed cycle in a directed graph is a non-empty directed trail in which only the first and last vertices are equal. A graph without cycles is called an acyclic graph. A directed graph without directed cycles is called a directed acyclic graph. A connected graph without cycles is called a tree. A circuit is a non-empty trail in which the first and last vertices are equal (closed trail).
Diamond (gemstone)Diamond is one of the best-known and most sought-after gemstones. They have been used as decorative items since ancient times. The hardness of diamond and its high dispersion of light — giving the diamond its characteristic "fire" — make it useful for industrial applications and desirable as jewelry. Diamonds are such a highly traded commodity that multiple organizations have been created for grading and certifying them based on the "four Cs", which are color, cut, clarity, and carat.
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.
Girth (graph theory)In graph theory, the girth of an undirected graph is the length of a shortest cycle contained in the graph. If the graph does not contain any cycles (that is, it is a forest), its girth is defined to be infinity. For example, a 4-cycle (square) has girth 4. A grid has girth 4 as well, and a triangular mesh has girth 3. A graph with girth four or more is triangle-free. Cage (graph theory) A cubic graph (all vertices have degree three) of girth g that is as small as possible is known as a g-cage (or as a (3,g)-cage).
Basis (universal algebra)In universal algebra, a basis is a structure inside of some (universal) algebras, which are called free algebras. It generates all algebra elements from its own elements by the algebra operations in an independent manner. It also represents the endomorphisms of an algebra by certain indexings of algebra elements, which can correspond to the usual matrices when the free algebra is a vector space. A basis (or reference frame) of a (universal) algebra is a function that takes some algebra elements as values and satisfies either one of the following two equivalent conditions.
Basis (linear algebra)In mathematics, a set B of vectors in a vector space V is called a basis (: bases) if every element of V may be written in a unique way as a finite linear combination of elements of B. The coefficients of this linear combination are referred to as components or coordinates of the vector with respect to B. The elements of a basis are called . Equivalently, a set B is a basis if its elements are linearly independent and every element of V is a linear combination of elements of B.
Constraint logic programmingConstraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses. An example of a clause including a constraint is . In this clause, is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming. This clause states one condition under which the statement A(X,Y) holds: X+Y is greater than zero and both B(X) and C(Y) are true.
