Particule fluideUne particule fluide, en mécanique des fluides, est un volume élémentaire de fluide d'échelle mésoscopique. L’échelle mésoscopique est typiquement de l'ordre du micromètre. C'est une échelle d'une part suffisamment petite pour que la grandeur étudiée puisse être considérée comme ponctuelle, et d'autre part suffisamment grande pour pouvoir considérer le milieu comme continu, c'est-à-dire ne pas avoir à faire une étude discrète de toutes les molécules.
Système d'alerte de tsunamiUn système d'alerte de tsunami permet de détecter un tsunami quand la vague est encore loin des rivages et d'avertir les populations concernées assez tôt pour sauver des vies (il faut préciser qu'en pleine mer, la vague d'un tsunami ne fait pas de dégâts et se remarque à peine, mais ce n'est qu'à l'approche des côtes, la profondeur diminuant que le tsunami comme toute vague prend de la hauteur).
Onde sismiquethumb|Différentes ondes sismiques.|alt= Les ondes sismiques, ou ondes élastiques, sont des mouvements vibratoires qui se propagent à travers un milieu matériel et peuvent le modifier irréversiblement si leur amplitude est suffisante. Elles sont engendrées par un événement initial, généralement un séisme. L'impulsion de départ déplace les atomes du milieu, qui en poussent d'autres avant de reprendre leur place, ces déplacements oscillatoires se propageant ensuite de proche en proche.
Onde cnoïdalevignette|Bombardiers de la USAAF survolant une houle en eau peu profonde près de la côte du Panama en 1933. Ces crêtes bien définies et ces creux plats sont caractéristiques des ondes cnoïdales. Les ondes cnoïdales sont des ondes de gravité rencontrées sur la surface de la mer, des vagues. Elles sont solutions de l'équation de Korteweg-de Vries où interviennent les fonctions elliptiques de Jacobi notées cn, d'où le nom d'ondes « cn-oïdales ». Ce type d'onde apparaît également dans les problèmes de propagation d'onde acoustique ionique.
SumatraSumatra est une île de l'Ouest indonésien située sur l'équateur. Son nom vient de Samudra, la capitale du sultanat de Pasai dans le nord de l'île (en langue malaise, samudera signifie ). Avec ses , elle est la sixième plus grande île du monde, tout en étant légèrement supérieure à la Papouasie-Nouvelle-Guinée et à la Suède. En 2021, le recensement comptait habitants. Les principales langues parlées sont : aceh, batak, malais, minangkabau. La majorité des habitants sont musulmans, mais Sumatra compte aussi des protestants, catholiques, bouddhistes, hindouistes.
Équation des ondesL' ou est une équation aux dérivées partielles en physique qui régit la propagation d'une onde. C'est une équation vérifiée par de nombreux phénomènes ondulatoires de la vie courante comme le son ou la lumière. avec : l'opérateur laplacien ; l'onde vectorielle; une constante, vitesse de propagation de dans le milieu considéré ; L'utilisation du laplacien permet de s'affranchir du choix d'un système de coordonnées. avec : l'opérateur de dérivée partielle seconde en appliqué sur ; , les trois variables cartésiennes de l'espace, et celle du temps.
PhysiqueLa physique est la science qui essaie de comprendre, de modéliser et d'expliquer les phénomènes naturels de l'Univers. Elle correspond à l'étude du monde qui nous entoure sous toutes ses formes, des lois de ses variations et de leur évolution. La physique développe des représentations du monde expérimentalement vérifiables dans un domaine de définition donné. Elle produit plusieurs lectures du monde, chacune n'étant considérée comme précise que jusqu'à un certain point.
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.
Équation de SchrödingerL'équation de Schrödinger, conçue par le physicien autrichien Erwin Schrödinger en 1925, est une équation fondamentale en mécanique quantique. Elle décrit l'évolution dans le temps d'une particule massive non relativiste, et remplit ainsi le même rôle que la relation fondamentale de la dynamique en mécanique classique. Au début du , il était devenu clair que la lumière présentait une dualité onde-corpuscule, c'est-à-dire qu'elle pouvait se manifester, selon les circonstances, soit comme une particule, le photon, soit comme une onde électromagnétique.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
