Silicon dioxideSilicon dioxide, also known as silica, is an oxide of silicon with the chemical formula , most commonly found in nature as quartz. In many parts of the world, silica is the major constituent of sand. Silica is one of the most complex and most abundant families of materials, existing as a compound of several minerals and as a synthetic product. Notable examples include fused quartz, fumed silica, silica gel, opal and aerogels. It is used in structural materials, microelectronics (as an electrical insulator), and as components in the food and pharmaceutical industries.
Types of concreteConcrete is produced in a variety of compositions, finishes and performance characteristics to meet a wide range of needs. Modern concrete mix designs can be complex. The choice of a concrete mix depends on the need of the project both in terms of strength and appearance and in relation to local legislation and building codes. The design begins by determining the requirements of the concrete. These requirements take into consideration the weather conditions that the concrete will be exposed to in service, and the required design strength.
Stress–strain analysisStress–strain analysis (or stress analysis) is an engineering discipline that uses many methods to determine the stresses and strains in materials and structures subjected to forces. In continuum mechanics, stress is a physical quantity that expresses the internal forces that neighboring particles of a continuous material exert on each other, while strain is the measure of the deformation of the material. In simple terms we can define stress as the force of resistance per unit area, offered by a body against deformation.
Building materialBuilding material is material used for construction. Many naturally occurring substances, such as clay, rocks, sand, wood, and even twigs and leaves, have been used to construct buildings. Apart from naturally occurring materials, many man-made products are in use, some more and some less synthetic. The manufacturing of building materials is an established industry in many countries and the use of these materials is typically segmented into specific specialty trades, such as carpentry, insulation, plumbing, and roofing work.
ConcreteConcrete is a composite material composed of aggregate bonded together with a fluid cement that cures over time. Concrete is the second-most-used substance in the world after water, and is the most widely used building material. Its usage worldwide, ton for ton, is twice that of steel, wood, plastics, and aluminium combined. When aggregate is mixed with dry Portland cement and water, the mixture forms a fluid slurry that is easily poured and molded into shape.
Pure type systemNOTOC In the branches of mathematical logic known as proof theory and type theory, a pure type system (PTS), previously known as a generalized type system (GTS), is a form of typed lambda calculus that allows an arbitrary number of sorts and dependencies between any of these. The framework can be seen as a generalisation of Barendregt's lambda cube, in the sense that all corners of the cube can be represented as instances of a PTS with just two sorts. In fact, Barendregt (1991) framed his cube in this setting.
Dolomite (rock)Dolomite (also known as dolomite rock, dolostone or dolomitic rock) is a sedimentary carbonate rock that contains a high percentage of the mineral dolomite, CaMg(CO3)2. It occurs widely, often in association with limestone and evaporites, though it is less abundant than limestone and rare in Cenozoic rock beds (beds less than about 66 million years in age). The first geologist to distinguish dolomite rock from limestone was Belsazar Hacquet in 1778. Most dolomite was formed as a magnesium replacement of limestone or of lime mud before lithification.
Mortar (masonry)Mortar is a workable paste which hardens to bind building blocks such as stones, bricks, and concrete masonry units, to fill and seal the irregular gaps between them, spread the weight of them evenly, and sometimes to add decorative colors or patterns to masonry walls. In its broadest sense, mortar includes pitch, asphalt, and soft mud or clay, as those used between mud bricks, as well as cement mortar. The word "mortar" comes from Old French mortier, "builder's mortar, plaster; bowl for mixing." (13c.).
Calcium carbonateCalcium carbonate is a chemical compound with the chemical formula . It is a common substance found in rocks as the minerals calcite and aragonite, most notably in chalk and limestone, eggshells, gastropod shells, shellfish skeletons and pearls. Materials containing much calcium carbonate or resembling it are described as calcareous. Calcium carbonate is the active ingredient in agricultural lime and is created when calcium ions in hard water react with carbonate ions to create limescale.
Cement clinkerCement clinker is a solid material produced in the manufacture of Portland cement as an intermediary product. Clinker occurs as lumps or nodules, usually to in diameter. It is produced by sintering (fusing together without melting to the point of liquefaction) limestone and aluminosilicate materials such as clay during the cement kiln stage. The Portland clinker essentially consists of four minerals: two calcium silicates, alite (Ca3SiO5) and belite (Ca2SiO4), along with tricalcium aluminate (Ca3Al2O6) and calcium aluminoferrite (Ca2(Al,Fe)2O5).
