conformal hamdis Fr.: conforme Math.: Of, pertaining to, or specifying a mapping of a surface upon another surface so that all angles between intersecting curves remain unchanged. |
conformal compactification hampakâneš-e hamdi Fr.: compactification conforme A mapping of an infinite → space-time onto a finite one that may make the far away parts of the former accessible to study. The technique invented by Penrose defines an equivalence class of → metrics, g_{ab} being equivalent to ĝ_{ab} = Ω^{2}g_{ab}, where Ω is a positive scalar function of the space-time that modifies the distance scale making the asymptotics of the physical metric accessible to study. → conformal; → compactification. |
conformal mapping hamtâyeš-e hamdis Fr.: application conforme A continuous mapping u = f(x) of a domain D in an n-dimensional Euclidean space (n≥ 2) into the n-dimensional Euclidean space is called conformal at a point x_{0}∈ D if it has the properties of constancy of dilation and preservation of angles at this point. |
formal diseyi, disevar Fr.: formel 1) According to, or following established or prescribed forms, conventions, etc. M.E. formal, formel, from L. formalis, from → form + → -al. Diseyi, desevar, from dis, → form, + adj. suffixes -i and -var. |
formal language zabân-e disevar Fr.: langage formel A language designed for use in situations in which natural language is unsuitable, as for example in → mathematics, → logic, or → computer → programming. The symbols and formulas of such languages stand in precisely specified syntactic and semantic relations to one another (Dictionary.com). |
formal logic guyik-e diseyi, ~ disevar Fr.: logique formelle The traditional or → classical logic in which the → validity or → invalidity of a conclusion is deduced from two or more statements (→ premises). Based on Aristotle's (384-322 BC) theory of → syllogism, systematized in his book "Organon," its focus is not on what is stated (the content) but on the structure (form) of the → argument and the validity of the inference drawn from the premises of the argument; if the premises are true then the logical consequence must also be true. Formal logic is → bivalent, that is it recognizes only two → truth values: → true and → false. The basic principles of formal logic are: 1) → principle of identity, 2) → principle of excluded middle, and 3) → principle of non-contradiction. See also → symbolic logic, → fuzzy logic. |
formal system râžmân-e diseyi, ~ disevar Fr.: système formel In logic and mathematics, a system in which statements can be constructed and manipulated with logical rules. |
formaldehyde (H2CO) formâldehid Fr.: formaldehyde A colorless gas with a pungent, suffocating odor used as an adhering component of
glues in many wood products. Formaldehyde (H_{2}CO)
is obtained most commonly by the oxidation of methanol or petroleum gases such as
methane, ethane, etc. From form(ic) acid, from Fr. formique, + → aldehyde. |
formalism disegerâyi Fr.: formalisme 1) Excessive adherence to prescribed forms. |
formality disevari Fr.: formalité 1) Condition or quality of being formal; accordance with required or
traditional rules, procedures, etc. |
formalization disevareš Fr.: formalisation 1) The act of giving something a form or structure by introducing rules
and procedures. |
formalize disevar kardan, disevaridan Fr.: formaliser 1) To state in symbolic form; to give a definite structure to. Compound verb, from disevar, → formal, + kardan "to do, to make;" Mid.Pers. kardan; O.Pers./Av. kar- "to do, make, build;" Av. kərənaoiti "he makes;" cf. Skt. kr- "to do, to make," krnoti "he makes, he does," karoti "he makes, he does," karma "act, deed;" PIE base k^{w}er- "to do, to make." |
Hamiltonian formalism disegerâyi-ye Hamilton Fr.: formalisme de Hamilton A reformulation of classical mechanics that predicts the same outcomes as classical mechanics. → Hamiltonian dynamics. → Hamiltonian; → mechanics. |
Lagrangian formalism disegerâyi-ye Lâgranži Fr.: formalisme lagrangien A reformulation of classical mechanics that describes the evolution of a physical system using → variational principle The formalism does not require the concept of force, which is replaced by the → Lagrangian function. The formalism makes the description of systems more simpler. Moreover, the passage from classical description to quantum description becomes natural. Same as → Lagrangian dynamics. → Lagrangian; → formalism. |
post-Newtonian formalism disegerâyi-ye pasâ-Newtoni Fr.: formalisme post-newtonien An approximate version of → general relativity that applies when the → gravitational field is → weak, and the matter → velocity is → small. Post-Newtonian formalism successfully describes the gravitational field of the solar system. It can also be applied to situations involving compact bodies with strong internal gravity, provided that the mutual gravity between bodies is weak. It also provides a foundation to calculate the → gravitational waves emitted by → compact binary star systems, as well as their orbital evolution under radiative losses. The formalism proceeds from the Newtonian description and then, step by step, adds correction terms that take into account the effects of general relativity. The correction terms are ordered in a systematic way (from the largest effects to the smallest ones), and the progression of ever smaller corrections is called the → post-Newtonian expansion. |
Press-Schechter formalism disegerâyi-ye Press-Schechter Fr.: formalisme de Press-Schechter A mathematical analysis, based on → self-similarity, used to predict the → mass function of spherically collapsing → dark matter halos. The formalism assumes that the fraction of mass in halos more massive than M is related to the fraction of the volume in which the smoothed initial density field is above some threshold δ_{c}ρ, where ρ is the average density of the Universe, with the volume encompassing a mass larger than M. A variety of smoothing → window functions and thresholds have been argued, but the most common is a top-hat window in real space and δ_{c}≅ 1.69. The Press-Schechter formalism provides a relatively good fit to the results of numerical simulations in cold dark matter theories. First described by William H. Press and Paul Schechter's paper (1974, ApJ 187, 425); → formalism. |