Software verificationSoftware verification is a discipline of software engineering, programming languages, and theory of computation whose goal is to assure that software satisfies the expected requirements. A broad definition of verification makes it related to software testing. In that case, there are two fundamental approaches to verification: Dynamic verification, also known as experimentation, dynamic testing or, simply testing. - This is good for finding faults (software bugs).
NivomètreUn nivomètre est un appareil de mesure utilisé dans le domaine de la météorologie pour mesurer l'équivalent en eau d'une quantité de neige tombée en la pesant ou en la faisant fondre. Il peut être muni d'une simple (graduation verticale métrique), en relevé manuel ou être électronique (ultrasons, infrarouge, laser), en relevé automatique. Cet appareil est employé en nivologie et sert à mesurer la hauteur de neige ponctuelle (entre deux relevés) ou accumulée sur un site étudié et représentatif.
Wind gradientIn common usage, wind gradient, more specifically wind speed gradient or wind velocity gradient, or alternatively shear wind, is the vertical component of the gradient of the mean horizontal wind speed in the lower atmosphere. It is the rate of increase of wind strength with unit increase in height above ground level. In metric units, it is often measured in units of meters per second of speed, per kilometer of height (m/s/km), which reduces to the standard unit of shear rate, inverse seconds (s−1).
Pluviomètrethumb|Deux parties d'un pluviomètre à lecture directe. À la gauche se trouve une éprouvette graduée surmontée d'un entonnoir, lesquels sont introduits dans le cylindre à la droite. À la droite du cylindre se trouve un tuyau métallique qui sert à évacuer le surplus de précipitations accumulées (ce tuyau est souvent raccordé à une conduite qui plonge dans la terre). Le pluviomètre est un instrument météorologique destiné à mesurer la quantité de précipitations (surtout la pluie) tombée pendant un intervalle de temps donné en un endroit.
Software verification and validationIn software project management, software testing, and software engineering, verification and validation (V&V) is the process of checking that a software system meets specifications and requirements so that it fulfills its intended purpose. It may also be referred to as software quality control. It is normally the responsibility of software testers as part of the software development lifecycle.
Rafale descendantethumb|400px|right|Étalement de la goutte froide donnant les rafales descendantes Une rafale descendante est un courant aérien descendant intense sous un orage, dont l'écrasement en surface produit des vents violents, divergents et turbulents. Il est formé par la descente des précipitations et d'air plus froid et sec qui s'infiltre dans le cumulonimbus ce qui donne une goutte froide s'étendant en éventail sous le nuage en arrivant au sol. Les rafales descendantes peuvent se produire sous des orages individuels ou avec des cellules particulières dans une ligne orageuse.
ÉolienneUne éolienne est un dispositif qui transforme l'énergie cinétique du vent en énergie mécanique, dite énergie éolienne, laquelle est ensuite le plus souvent transformée en énergie électrique. Les éoliennes produisant de l'électricité sont appelées « aérogénérateurs », tandis que les éoliennes qui pompent directement de l'eau sont parfois dénommées « éoliennes de pompage » ou « pompes à vent ». Une forme ancienne d'éolienne est le moulin à vent.
Filtre particulaireLes filtres particulaires, aussi connus sous le nom de méthodes de Monte-Carlo séquentielles, sont des techniques sophistiquées d'estimation de modèles fondées sur la simulation. Les filtres particulaires sont généralement utilisés pour estimer des réseaux bayésiens et constituent des méthodes 'en-ligne' analogues aux méthodes de Monte-Carlo par chaînes de Markov qui elles sont des méthodes 'hors-ligne' (donc a posteriori) et souvent similaires aux méthodes d'échantillonnage préférentiel.
Particules indiscernablesLes particules indiscernables ou particules identiques sont des particules qui ne peuvent être différenciées l'une de l'autre, même en principe. Ce concept prend tout son sens en mécanique quantique, où les particules n'ont pas de trajectoire bien définie qui permettrait de les distinguer l'une de l'autre. Les particules indiscernables peuvent être soit des particules élémentaires telles que l'électron ou le photon, ou des particules composites - neutron, proton - ayant le même état interne.
Tempête hivernaleUne tempête hivernale est un événement dans lequel le vent coïncide avec une variété de précipitations qui ne se produisent qu'à des températures près ou sous le point de congélation : neige, neige mouillée, pluie et neige mêlées, grésil ou pluie verglaçante. Dans les climats continentaux tempérés, ces tempêtes ne se limitent pas nécessairement à la saison hivernale, mais peuvent également survenir de la fin de l'automne jusqu'au début du printemps.
