MagnétohydrodynamiqueLa magnétohydrodynamique (MHD) est une discipline scientifique qui décrit le comportement d'un fluide conducteur du courant électrique en présence de champs électromagnétiques. Elle s'applique notamment aux plasmas, au noyau externe et même à l'eau de mer. C'est une généralisation de l'hydrodynamique (appelée plus communément dynamique des fluides, définie par les équations de Navier-Stokes) couplée à l'électromagnétisme (équations de Maxwell).
Magnetic helicityIn plasma physics, magnetic helicity is a measure of the linkage, twist, and writhe of a magnetic field. In ideal magnetohydrodynamics, magnetic helicity is conserved. When a magnetic field contains magnetic helicity, it tends to form large-scale structures from small-scale ones. This process can be referred to as an inverse transfer in Fourier space. This second property makes magnetic helicity special: three-dimensional turbulent flows tend to "destroy" structure, in the sense that large-scale vortices break up into smaller and smaller ones (a process called "direct energy cascade", described by Lewis Fry Richardson and Andrey Nikolaevich Kolmogorov).
Cycle solairevignette|Courbe de 3 cycles solaires Un cycle solaire est une période pendant laquelle l'activité du Soleil varie en reproduisant les mêmes phénomènes que pendant la période de même durée précédente. Cette activité solaire se caractérise par l'intensité du champ magnétique du Soleil et par le nombre de taches à sa surface. Vue de la Terre, l'influence du Soleil varie principalement selon une période journalière et annuelle. Dans l'absolu, l'activité est réglée par un d'une période moyenne de – d'un maximum au suivant – mais la durée peut varier entre .
Runtime verificationRuntime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties. Some very particular properties, such as datarace and deadlock freedom, are typically desired to be satisfied by all systems and may be best implemented algorithmically. Other properties can be more conveniently captured as formal specifications.
Domain-specific modelingDomain-specific modeling (DSM) is a software engineering methodology for designing and developing systems, such as computer software. It involves systematic use of a domain-specific language to represent the various facets of a system. Domain-specific modeling languages tend to support higher-level abstractions than general-purpose modeling languages, so they require less effort and fewer low-level details to specify a given system.
Langage dédiéUn langage dédié (en anglais, domain-specific language ou DSL) est un langage de programmation dont les spécifications sont conçues pour répondre aux contraintes d’un domaine d'application précis. Il s'oppose conceptuellement aux langages de programmation classiques (ou généralistes) comme Java ou C, qui tendent à traiter un ensemble de domaines. Néanmoins, aucun consensus ne définit précisément ce qu'est un langage dédié. Ce manque de définition précise sur la nature d'un langage dédié rend délicate la tâche d'établir un historique clair sur l'origine du concept.
Automatisation de testL'automatisation de test permet de jouer à volonté des tests de régression à la suite de la livraison d'une nouvelle version d'une application. L'automatisation d'un test n'a de sens que si le test répond à un certain nombre de critères : le test est systématique : il doit être exécuté à chaque nouvelle version de l'application. le test est répétitif : il est présent dans de nombreux scénarios de test. le test est automatisable : il est possible techniquement de faire jouer le test par un robot.
Domaine (biologie)En classifications biologiques, le domaine (néolatinisé en dominium) est le premier niveau de rang, au-dessus des règnes. Le terme domaine a été introduit pour discuter de la classification du monde vivant selon un modèle divisant celui-ci en trois grands groupes supposés monophylétiques. Bien que pratique, le modèle à trois domaines est critiquable puisqu'au moins l'un d'entre eux n'est pas monophylétique. Par ailleurs, certains taxonomistes lui préfèrent, au nom de l'antériorité, le terme vieilli d'empire.
Test unitaireEn programmation informatique, le test unitaire (ou « T.U. », ou « U.T. » en anglais) est une procédure permettant de vérifier le bon fonctionnement d'une partie précise d'un logiciel ou d'une portion d'un programme (appelée « unité » ou « module »). Dans les applications non critiques, l'écriture des tests unitaires a longtemps été considérée comme une tâche secondaire. Cependant, les méthodes Extreme programming (XP) ou Test Driven Development (TDD) ont remis les tests unitaires, appelés « tests du programmeur », au centre de l'activité de programmation.
ÉlastographieL'élastographie, créée par le en 1991, est une technique d’ pour mesurer l'élasticité du tissu biologique dans un organe. Les modalités d’imagerie connues permettant cette technique sont l'échographie, avec son développement en une dimension (1D ou line) par le et collègues sous la direction de Matthias Fink en 2002 et deux dimensions (2D ou image) par le et collègues en 2004 ; l’ (IRM), avec le en 1995 ; et l'imagerie tactile, implémentée par le en 2010. Échographie Imagerie tactile (IRM) Élastométrie imp
