MagnetohydrodynamicsMagnetohydrodynamics (MHD; also called magneto-fluid dynamics or hydromagnetics) is a model of electrically conducting fluids that treats all interpenetrating particle species together as a single continuous medium. It is primarily concerned with the low-frequency, large-scale, magnetic behavior in plasmas and liquid metals and has applications in numerous fields including geophysics, astrophysics, and engineering. The word magnetohydrodynamics is derived from magneto- meaning magnetic field, hydro- meaning water, and dynamics meaning movement.
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).
Solar cycleThe solar cycle, also known as the solar magnetic activity cycle, sunspot cycle, or Schwabe cycle, is a nearly periodic 11-year change in the Sun's activity measured in terms of variations in the number of observed sunspots on the Sun's surface. Over the period of a solar cycle, levels of solar radiation and ejection of solar material, the number and size of sunspots, solar flares, and coronal loops all exhibit a synchronized fluctuation from a period of minimum activity to a period of a maximum activity back to a period of minimum activity.
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.
Domain-specific languageA domain-specific language (DSL) is a computer language specialized to a particular application domain. This is in contrast to a general-purpose language (GPL), which is broadly applicable across domains. There are a wide variety of DSLs, ranging from widely used languages for common domains, such as HTML for web pages, down to languages used by only one or a few pieces of software, such as MUSH soft code.
Test automationIn software testing, test automation is the use of software separate from the software being tested to control the execution of tests and the comparison of actual outcomes with predicted outcomes. Test automation can automate some repetitive but necessary tasks in a formalized testing process already in place, or perform additional testing that would be difficult to do manually. Test automation is critical for continuous delivery and continuous testing.
Three-domain systemThe three-domain system is a biological classification introduced by Carl Woese, Otto Kandler, and Mark Wheelis in 1990 that divides cellular life forms into three domains, namely Archaea, Bacteria, and Eukaryota. The key difference from earlier classifications such as the two-empire system and the five-kingdom classification is the splitting of Archaea from bacteria as completely different organisms. It has been challenged by the two-domain system that divides organisms into Bacteria and Archaea only, as Eukaryotes are considered as one group of Archaea.
Unit testingIn computer programming, unit testing is a software testing method by which individual units of source code—sets of one or more computer program modules together with associated control data, usage procedures, and operating procedures—are tested to determine whether they are fit for use. It is a standard step in development and implementation approaches such as Agile. Before unit testing, capture and replay testing tools were the norm. In 1997, Kent Beck and Erich Gamma developed and released JUnit, a unit test framework that became popular with Java developers.
ElastographyElastography is any of a class of medical imaging modalities that map the elastic properties and stiffness of soft tissue. The main idea is that whether the tissue is hard or soft will give diagnostic information about the presence or status of disease. For example, cancerous tumours will often be harder than the surrounding tissue, and diseased livers are stiffer than healthy ones. The most prominent techniques use ultrasound or magnetic resonance imaging (MRI) to make both the stiffness map and an anatomical image for comparison.
