Fault tree analysisFault tree analysis (FTA) is a type of failure analysis in which an undesired state of a system is examined. This analysis method is mainly used in safety engineering and reliability engineering to understand how systems can fail, to identify the best ways to reduce risk and to determine (or get a feeling for) event rates of a safety accident or a particular system level (functional) failure.
Failure rateFailure rate is the frequency with which an engineered system or component fails, expressed in failures per unit of time. It is usually denoted by the Greek letter λ (lambda) and is often used in reliability engineering. The failure rate of a system usually depends on time, with the rate varying over the life cycle of the system. For example, an automobile's failure rate in its fifth year of service may be many times greater than its failure rate during its first year of service.
Applied mechanicsApplied mechanics is the branch of science concerned with the motion of any substance that can be experienced or perceived by humans without the help of instruments. In short, when mechanics concepts surpass being theoretical and are applied and executed, general mechanics becomes applied mechanics. It is this stark difference that makes applied mechanics an essential understanding for practical everyday life.
Retaining wallRetaining walls are relatively rigid walls used for supporting soil laterally so that it can be retained at different levels on the two sides. Retaining walls are structures designed to restrain soil to a slope that it would not naturally keep to (typically a steep, near-vertical or vertical slope). They are used to bound soils between two different elevations often in areas of terrain possessing undesirable slopes or in areas where the landscape needs to be shaped severely and engineered for more specific purposes like hillside farming or roadway overpasses.
MechanicsMechanics (from Ancient Greek: μηχανική, mēkhanikḗ, "of machines") is the area of mathematics and physics concerned with the relationships between force, matter, and motion among physical objects. Forces applied to objects result in displacements or changes of an object's position relative to its environment. Theoretical expositions of this branch of physics has its origins in Ancient Greece, for instance, in the writings of Aristotle and Archimedes (see History of classical mechanics and Timeline of classical mechanics).
WallA wall is a structure and a surface that defines an area; carries a load; provides security, shelter, or soundproofing; or, is decorative. There are many kinds of walls, including: Walls in buildings that form a fundamental part of the superstructure or separate interior rooms, sometimes for fire safety Glass walls (a wall in which the primary structure is made of glass; does not include openings within walls that have glass coverings: these are windows) Border barriers between countries Brick walls Defensive walls in fortifications Permanent, solid fences Retaining walls, which hold back dirt, stone, water, or noise sound Stone walls Walls that protect from oceans (seawalls) or rivers (levees) The term wall comes from Latin vallum meaning ".
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.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
Geothermal powerGeothermal power is electrical power generated from geothermal energy. Technologies in use include dry steam power stations, flash steam power stations and binary cycle power stations. Geothermal electricity generation is currently used in 26 countries, while geothermal heating is in use in 70 countries. As of 2019, worldwide geothermal power capacity amounts to 15.4 gigawatts (GW), of which 23.9 percent or 3.68 GW are installed in the United States.
Rapid transitRapid transit or mass rapid transit (MRT), also known as heavy rail or metro, is a type of high-capacity public transport that is generally built in urban areas. A rapid transit system that primarily or traditionally runs below the surface may be called a subway, tube, or underground. Unlike buses or trams, rapid transit systems are railways, usually electric, that operate on an exclusive right-of-way, which cannot be accessed by pedestrians or other vehicles. They are often grade-separated in tunnels or on elevated railways.
Data typeIn computer science and computer programming, a data type (or simply type) is a collection or grouping of data values, usually specified by a set of possible values, a set of allowed operations on these values, and/or a representation of these values as machine types. A data type specification in a program constrains the possible values that an expression, such as a variable or a function call, might take. On literal data, it tells the compiler or interpreter how the programmer intends to use the data.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
