Equatorial bulgeAn equatorial bulge is a difference between the equatorial and polar diameters of a planet, due to the centrifugal force exerted by the rotation about the body's axis. A rotating body tends to form an oblate spheroid rather than a sphere. Earth ellipsoid The planet Earth has a rather slight equatorial bulge; its equatorial diameter is about greater than its polar diameter, with a difference of about of the equatorial diameter. If Earth were scaled down to a globe with an equatorial diameter of , that difference would be only .
Type conversionIn computer science, type conversion, type casting, type coercion, and type juggling are different ways of changing an expression from one data type to another. An example would be the conversion of an integer value into a floating point value or its textual representation as a string, and vice versa. Type conversions can take advantage of certain features of type hierarchies or data representations.
Dependent typeIn computer science and logic, a dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq, F*, Epigram, and Idris, dependent types help reduce bugs by enabling the programmer to assign types that further restrain the set of possible implementations.
Strength of materialsThe field of strength of materials (also called mechanics of materials) typically refers to various methods of calculating the stresses and strains in structural members, such as beams, columns, and shafts. The methods employed to predict the response of a structure under loading and its susceptibility to various failure modes takes into account the properties of the materials such as its yield strength, ultimate strength, Young's modulus, and Poisson's ratio.
Stress (biology)Stress, either physiological, biological or psychological, is an organism's response to a stressor such as an environmental condition. Stress is the body's method of reacting to a condition such as a threat, challenge or physical and psychological barrier. There are two hormones that an individual produces during a stressful situation, well known as adrenaline and cortisol. There are two kinds of stress hormone levels. Resting (basal) cortisol levels are normal everyday quantities that are essential for standard functioning.
Psychological stressIn psychology, stress is a feeling of emotional strain and pressure. Stress is a type of psychological pain. Small amounts of stress may be beneficial, as it can improve athletic performance, motivation and reaction to the environment. Excessive amounts of stress, however, can increase the risk of strokes, heart attacks, ulcers, and mental illnesses such as depression and also aggravation of a pre-existing condition.
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.
DissipationIn thermodynamics, dissipation is the result of an irreversible process that affects a thermodynamic system. In a dissipative process, energy (internal, bulk flow kinetic, or system potential) transforms from an initial form to a final form, where the capacity of the final form to do thermodynamic work is less than that of the initial form. For example, transfer of energy as heat is dissipative because it is a transfer of energy other than by thermodynamic work or by transfer of matter, and spreads previously concentrated energy.
Cauchy stress tensorIn continuum mechanics, the Cauchy stress tensor , true stress tensor, or simply called the stress tensor is a second order tensor named after Augustin-Louis Cauchy. The tensor consists of nine components that completely define the state of stress at a point inside a material in the deformed state, placement, or configuration. The tensor relates a unit-length direction vector e to the traction vector T(e) across an imaginary surface perpendicular to e: or, The SI units of both stress tensor and traction vector are N/m2, corresponding to the stress scalar.
Earth radiusEarth radius (denoted as R🜨 or ) is the distance from the center of Earth to a point on or near its surface. Approximating the figure of Earth by an Earth spheroid, the radius ranges from a maximum of nearly (equatorial radius, denoted a) to a minimum of nearly (polar radius, denoted b). A nominal Earth radius is sometimes used as a unit of measurement in astronomy and geophysics, which is recommended by the International Astronomical Union to be the equatorial value. A globally-average value is usually considered to be with a 0.
Solid mechanicsSolid mechanics (also known as mechanics of solids) is the branch of continuum mechanics that studies the behavior of solid materials, especially their motion and deformation under the action of forces, temperature changes, phase changes, and other external or internal agents. Solid mechanics is fundamental for civil, aerospace, nuclear, biomedical and mechanical engineering, for geology, and for many branches of physics and chemistry such as materials science.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
