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.
Conception de turbine éolienneLa conception de turbines éoliennes est le processus de définition de la forme et des spécifications d'une éolienne afin d'extraire efficacement l'énergie du vent. Une installation d'éolienne intègre les équipements nécessaires pour capturer l'énergie du vent, orienter la turbine dans le vent, transformer la rotation mécanique en énergie électrique et d'autres systèmes pour démarrer, arrêter et contrôler la turbine. Cet article couvre la conception des turbines éoliennes à axe horizontal (HAWT) puisque la majorité des turbines commerciales utilisent cette conception.
Vérification de modèlesthumb|308x308px|Principe du model checking. En informatique, la vérification de modèles, ou model checking en anglais, est le problème suivant : vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique.
HD DVDLe HD DVD est un support de vidéo numérique créé par Toshiba en 2003 et abandonné en , acronyme anglais de High Density Digital Versatile Disc, traduisible en français par « disque numérique polyvalent de haute densité ». Dans ce support, tout comme pour le CD et le DVD, les données sont enregistrées sous forme numérique, sur un disque de de diamètre. Le terme « HD » renvoie à la haute définition car les vidéogrammes sauvegardés sur ces disques peuvent être conformes à la résolution d'image améliorée.
Offshore wind powerOffshore wind power or offshore wind energy is the generation of electricity through wind farms in bodies of water, usually at sea. There are higher wind speeds offshore than on land, so offshore farms generate more electricity per amount of capacity installed. Offshore wind farms are also less controversial than those on land, as they have less impact on people and the landscape. Unlike the typical use of the term "offshore" in the marine industry, offshore wind power includes inshore water areas such as lakes, fjords and sheltered coastal areas as well as deeper-water areas.
Moulin à ventvignette|Moulin tour de Montfuron, Alpes-de-Haute-Provence. vignette|Moulin de la Roome à Terdeghem (France). vignette|Moulin cavier des Aigremonts aux ailes Berton, Bléré (Indre-et-Loire). vignette|Moulin chandelier sur une tour maçonnée, La Lande, La Pouëze. vignette|Moulin chandelier assis par terre, Moulbaix, Belgique. vignette|Moulin à galerie, ou moulin-blouse, île de Fanoe, Danemark, équipé d’un fantail. vignette|Moulin néerlandais.
Liste des outils de jardinagevignette|Représentation de plusieurs outils La pratique du jardinage repose sur des savoir-faire et des outils. Utiliser le bon outil pour la bonne tâche. On peut différencier les outils selon leur utilisation : préparation des sols avant plantation ou semis : par exemple motoculteur, fourche, bêche. préparation et entretien des sols déjà plantés ou semés, par exemple : tondeuse à gazon, arrosoir. outils d'élagage, coupe ou suppression : par exemple : tronçonneuse, scie, sécateur, taille-haie.
Outil à mainUn outil à main est un outil qui est actionné à la main plutôt qu' à l'aide d'un moteur. Catégories d'outils à main comprennent des clés, pinces, cutter, outils de frappe, ciseaux, tournevis, étaux, serre-joint, cisailles, scies, perceuses et couteaux. Les outils d'extérieur tels que les fourches, les sécateurs et les râteaux sont aussi des outils à main. Les outils électroportatifs ne sont pas considérés comme des outils à main. Les outils à main sont utilisés par les humains depuis l'âge de pierre, où les pierres étaient utilisées pour couper et frapper.
Power toolA power tool is a tool that is actuated by an additional power source and mechanism other than the solely manual labor used with hand tools. The most common types of power tools use electric motors. Internal combustion engines and compressed air are also commonly used. Tools directly driven by animal power are not generally considered power tools. Power tools are used in industry, in construction, in the garden, for housework tasks such as cooking, cleaning, and around the house for purposes of driving (fasteners), drilling, cutting, shaping, sanding, grinding, routing, polishing, painting, heating and more.
Théorie de l'attachementvignette|droite|250px|alt=Une famille Inuit est assise sur un tronc devant une tente. Les parents, portant de chauds vêtements fait de peaux animales, s'occupent de tâches ménagères. Entre eux est assis un jeune enfant, habillé de la même façon, qui regarde l'appareil photo. Un bébé est suspendu au dos de la mère.|Pour les nourrissons et les jeunes enfants, le comportement d'attachement permet de maintenir la proximité avec les figures d'attachement, habituellement les parents. Photo d'une famille inuit prise en 1917.
