Signification de "normalisable" dans le dictionnaire anglais

PRONONCIATION DE NORMALISABLE EN ANGLAIS

normalisable  [ˈnɔːməˌlaɪzəbəl]

CATÉGORIE GRAMMATICALE DE NORMALISABLE

Normalisable est un adjectif.

L'adjectif, c'est le mot adjoint au nom pour le déterminer ou le qualifier.

QUE SIGNIFIE NORMALISABLE EN ANGLAIS

Fonction Wave

Wave function

Une fonction d'onde ou une fonction d'onde dans la mécanique quantique décrit l'état quantique d'un système d'une ou plusieurs particules et contient toutes les informations sur le système. Les quantités associées aux mesures, comme l'élan moyen d'une particule, sont dérivées de la fonction d'onde. C'est donc une quantité centrale dans la mécanique quantique. Les symboles les plus communs pour une fonction d'onde sont les lettres grecques ψ ou Ψ. L'équation de Schrödinger détermine comment la fonction d'onde évolue au fil du temps, c'est-à-dire que la fonction d'onde est la solution de l'équation de Schrödinger. La fonction d'onde se comporte de manière qualitative comme d'autres ondes, comme les ondes d'eau ou les ondes sur une chaîne, car l'équation de Schrödinger est mathématiquement un type d'équation d'onde. Ceci explique le nom de "fonction d'onde", et donne lieu à la dualité onde-particule. La fonction d'onde pour un système donné n'a pas de représentation unique. Le plus souvent, il est considéré comme une fonction de toutes les coordonnées de position des particules et du temps, c'est-à-dire que la fonction d'onde est en "espace de position".

A wave function or wavefunction in quantum mechanics describes the quantum state of a system of one or more particles, and contains all the information about the system. Quantities associated with measurements, like the average momentum of a particle, are derived from the wavefunction. Thus it is a central quantity in quantum mechanics. The most common symbols for a wave function are the Greek letters ψ or Ψ. The Schrödinger equation determines how the wave function evolves over time, that is, the wavefunction is the solution of the Schrödinger equation. The wave function behaves qualitatively like other waves, like water waves or waves on a string, because the Schrödinger equation is mathematically a type of wave equation. This explains the name "wave function", and gives rise to wave–particle duality. The wave function for a given system does not have a unique representation. Most commonly, it is taken to be a function of all the position coordinates of the particles and time, that is, the wavefunction is in "position space".

TRADUCTION DE NORMALISABLE

Découvrez la traduction de normalisable dans 25 langues grâce à notre traducteur anglais multilingue.

Dans cette section, les traductions de normalisable dans d'autres langues ont été obtenues par traduction automatique statistique, où l'unité essentielle de la traduction est le mot «normalisable» en anglais.

• Traducteur Français - chinois: normalisable
• Traducteur Français - espagnol: normalisable
• anglais: normalisable
• Traducteur Français - hindi: normalisable
• Traducteur Français - arabe: normalisable
• Traducteur Français - russe: normalisable
• Traducteur Français - portugais: normalisable
• Traducteur Français - bengali: normalisable
• Traducteur Français - français: normalisable
• Traducteur Français - malaisien: Biasa
• Traducteur Français - allemand: normalisable
• Traducteur Français - japonais: normalisable
• Traducteur Français - coréen: normalisable
• Traducteur Français - javanais: Normalisable
• Traducteur Français - vietnamien: normalisable
• Traducteur Français - tamoul: normalisable
• Traducteur Français - marathi: सामान्य स्थिती
• Traducteur Français - turc: normalisable
• Traducteur Français - italien: normalisable
• Traducteur Français - polonais: normalisable
• Traducteur Français - ukrainien: normalisable
• Traducteur Français - roumain: normalisable
• Traducteur Français - grec: normalisable
• Traducteur Français - afrikaans: normalisable
• Traducteur Français - suédois: normalisable
• Traducteur Français - norvégien: normalisable

10 LIVRES EN ANGLAIS EN RAPPORT AVEC «NORMALISABLE»

Découvrez l'usage de normalisable dans la sélection bibliographique suivante. Des livres en rapport avec normalisable et de courts extraits de ceux-ci pour replacer dans son contexte son utilisation littéraire.

Computational Logic

If M red M' and M' is normal then we call M' a normal form of M. A term M is ( weakly) normalisable if M has a normal form and is strongly normalisable if every contraction path M contr M' contr M" . . . is finite. Some Examples: Trivially all normal ...

Ulrich Berger, Helmut Schwichtenberg, 1999

Logical Frameworks

Let M € A be simple and normalisable. For any a such that <pAa(a), we have that apply ( A/, a) is simple and normalisable, because M is simple and a normalisable, and hence by induction hypothesis, tpAl[a](appiy(M,a)). For any a, 6 such that ...

Gerard Huet, G. Plotkin, 1991

Typed Lambda Calculi and Applications: Third International ...

We first introduce a translation which translates lambda-terms into lambda- I- terms, and show that every lambda-term is strongly beta-normalisable if and only if its translation is weakly beta-normalisable. We then prove that the translation ...

Philippe de Groote, J. Roger Hindley, 1997

An Approach to the Extension of a Theorem Prover by Advanced ...

normalisable. signature. morphisms. By the de nition, the mappings Σclass(T1) φ −→ Σclass(T2), Σtype(T1) φ −→ φ Σtype(T2) and Σlogop(T1) ψ −→ φ,φ Σop(T2) already determine the base signature morphism σ(Σlogop(T1)) : T1 −→ T2.

Maksym Bortin, 2010

Computer Science Logic: 9th International Workshop, CSl '95, ...

This suffices to show that t is strongly normalisable, by lemma 10. — (CR2) if* — >t', we need to show that {t'u) e REDu2 [I?/X*] for all term u C REDVl [lt/T]. Take u C REDVl [Tt/X*]\ we have (tu) C REDu2 [T?/X*\ by definition of reducibility ...

Hans Kleine Buening, 1996

Confinement, Topology, and Other Non-Perturbative Aspects of QCD

Our solution corresponds to z at the boundary of this range, where the zero-mode fails to be normalisable. This boundary value of z is defined by det(O,) = 0, and the abelian field AQ given above corresponds to the isospin component of Oz ...

Jeff Paul Greensite, Stefan Olejna-K, 2002

Bayesian Time Series Models

We say that Step 4 in Algorithm 7.2 is supported, if all the beliefs that change because of the construction of the new messages remain normalisable. On the first forward pass this is automatically satisfied. Since a1 is a proper distribution and B, ...

David Barber, A. Taylan Cemgil, Silvia Chiappa, 2011

Functional Programming and Input/Output

... take advantage of the following theorem. Theorem 2.1 (Mendler) Jf no constant Elim" or lntro" occurs in a term M, then M is strongly normalisable, which is to say that there is no infinite sequence of reductions starting from M. Proof. The proof ...

Andrew D. Gordon, 1994

Rewriting Techniques and Applications: 10th International ...

Therefore, since the simply typed A-calculus is strongly ,3-normalisable, we immediately obtain the following proposition. Proposition 15. AT/W is strongly normalisable with respect to detour-conversions. I] 5 Strong Normalisation In this section ...

Paliath Narendran, Michael Rusinowitch, 1999

Modern Physics

Normalisable. Wave. Functions. For those wave functions which go to zero as r -> oo or x -> ± oo the total probability has to be one i.e. Jo" Jo Jo2?t/> ('. 8.9,0 ^ smQdBity = 1 (see page 119) or j^ \^ ]^P(x,y,z,t)dxdydz = 1 (4-2-15) because the ...

Prof. S.P. Khare