Théorie des ensemblesLa théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.
ActionneurDans une machine, un actionneur est un objet qui transforme l’énergie qui lui est fournie en un phénomène physique qui fournit un travail, modifie le comportement ou l’état d'un système. Dans les définitions de l’automatisme, l’actionneur appartient à la partie opérative d'un système automatisé. On peut classer les actionneurs suivant différents critères : énergie utilisée ; phénomène physique utilisable ; principe mis en œuvre. vignette|Deux actionneurs pneumatiques à crémaillère (Automax, à gauche et en haut), contrôlant chacun une vanne.
Ensemblevignette|Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles. Dans une approche axiomatique, la théorie des ensembles est une théorie de l'appartenance (un élément d'un ensemble est dit « appartenir » à cet ensemble).
Ensemble videvignette|Notation de l'ensemble vide. En mathématiques, l'ensemble vide est l'ensemble ne contenant aucun élément. L'ensemble vide peut être noté d'un O barré, à savoir ∅ ou simplement { }, qui est une paire d'accolades ne contenant qu'une espace, pour représenter un ensemble qui ne contient rien. La notation ∅ a été introduite par André Weil, dans le cadre de l'institution de notations par le groupe Bourbaki. Von Neumann dans son article de 1923, qui est l'une des premières références qui l'aborde, le note O.
Théorie des ensembles approximatifsThéorie des ensembles approximatifs – est un formalisme mathématique proposé en 1982 par le professeur Zdzisław Pawlak. Elle généralise la théorie des ensembles classique. Un ensemble approximatif (anglais : rough set) est un objet mathématique basé sur la logique 3 états. Dans sa première définition, un ensemble approximatif est une paire de deux ensembles : une approximation inférieure et une approximation supérieure. Il existe également un type d'ensembles approximatifs défini par une paire d'ensembles flous (anglais : fuzzy set).
Universal setIn set theory, a universal set is a set which contains all objects, including itself. In set theory as usually formulated, it can be proven in multiple ways that a universal set does not exist. However, some non-standard variants of set theory include a universal set. Many set theories do not allow for the existence of a universal set. There are several different arguments for its non-existence, based on different choices of axioms for set theory. In Zermelo–Fraenkel set theory, the axiom of regularity and axiom of pairing prevent any set from containing itself.
Ensemble flouLa théorie des sous-ensembles flous est une théorie mathématique du domaine de l’algèbre abstraite. Elle a été développée par Lotfi Zadeh en 1965 afin de représenter mathématiquement l'imprécision relative à certaines classes d'objets et sert de fondement à la logique floue. Les sous-ensembles flous (ou parties floues) ont été introduits afin de modéliser la représentation humaine des connaissances, et ainsi améliorer les performances des systèmes de décision qui utilisent cette modélisation.
Ensemble finiEn mathématiques, un ensemble fini est un ensemble qui possède un nombre fini d'éléments, c'est-à-dire qu'il est possible de compter ses éléments, le résultat étant un nombre entier. Un ensemble infini est un ensemble qui n'est pas fini. Ainsi l'ensemble des chiffres usuels (en base dix) {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} qui possède 10 éléments, est fini. De même l'ensemble des lettres de l'alphabet qui possède 26 éléments. L'ensemble de tous les nombres entiers naturels {0, 1, 2, 3,..., 10,..., 100,...
Set-builder notationIn set theory and its applications to logic, mathematics, and computer science, set-builder notation is a mathematical notation for describing a set by enumerating its elements, or stating the properties that its members must satisfy. Defining sets by properties is also known as set comprehension, set abstraction or as defining a set's intension. Set (mathematics)#Roster notation A set can be described directly by enumerating all of its elements between curly brackets, as in the following two examples: is the set containing the four numbers 3, 7, 15, and 31, and nothing else.
Tuyauthumb|Les tuyauteries d'une chaudière. Un tuyau est un élément de section circulaire destiné à l'écoulement d'un fluide, liquide, ou gaz ou d'un solide pulvérulent, au transport de l'énergie de pression (air comprimé, vapeur, huile hydromécanique), à l'échange de l'énergie au travers de la paroi (échangeur thermique, radiateur). Il peut être rigide ou souple (flexible). La paroi du tuyau sépare l'intérieur de l'extérieur et permet ces fonctions. L'extrémité femelle d'un tuyau, qui reçoit l'embout mâle est appelé aussi « tulipe ».
Vannevignette|Vannes dans le parc paysager de Duisbourg Nord. Une vanne est un dispositif destiné à contrôler (stopper ou modifier) le débit d'un fluide liquide, gazeux, pulvérulent ou multiphasique, en milieu libre (canal) ou en milieu fermé (canalisation) L'équivalent anglo-saxon de vanne est le mot valve, dont le sens est plus général puisqu'il recouvre les traductions de valve, vanne et de soupape en français. Le terme synonyme de vanne est robinet. Il est parfois utilisé pour des modèles de petites dimensions, couramment montés sur des canalisations domestiques.
Linear actuatorA linear actuator is an actuator that creates motion in a straight line, in contrast to the circular motion of a conventional electric motor. Linear actuators are used in machine tools and industrial machinery, in computer peripherals such as disk drives and printers, in valves and dampers, and in many other places where linear motion is required. Hydraulic or pneumatic cylinders inherently produce linear motion. Many other mechanisms are used to generate linear motion from a rotating motor.
Énergie pneumatiqueL'énergie pneumatique est l'énergie emmagasinée dans un gaz sous forme mécanique du fait qu'il est comprimé. Elle est exploitée dans un système pneumatique. Dans un système pneumatique, le gaz comprimé est utilisé comme moyen de transport et de stockage d’énergie. De production facile, le système pneumatique présente un certain nombre d’avantages. Comme un système hydraulique, un système pneumatique est fondé sur une différence de pressions entre deux zones, qui crée une force, puis un mouvement.
Complémentaire (théorie des ensembles)En mathématiques, et plus particulièrement en théorie des ensembles, le complémentaire d'une partie d'un ensemble est constitué de tous les éléments de n'appartenant pas à . Le complémentaire de est . En cas de risque de confusion, si l'on veut préciser que l'on parle du complémentaire de dans , on note . Si est différent de l'ensemble vide et de , alors et forment une partition de l'ensemble . Lorsque est un ensemble fini, la somme des cardinaux de et est égale au cardinal de : D'où on déduit : Exemple Pour dénombrer les absents dans une assemblée prévue de cinquante personnes, il suffit de compter les présents.
Théorie des modèlesLa théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).
Soupape de sécuritéUne soupape de sûreté (terme officiel) ou soupape de sécurité (terme officieux) est un dispositif de protection contre les surpressions, dans des installations devant supporter de fortes pressions mais qui pourraient être endommagées, voire détruites, si la pression devenait trop élevée. Son fonctionnement est proche, même si son rôle est très différent, de celui du clapet anti-retour utilisé dans tout système où la circulation du fluide ne devrait s'effectuer que dans un seul sens, comme dans un chauffe-eau solaire.
Performances (informatique)En informatique, les performances énoncent les indications chiffrées mesurant les possibilités maximales ou optimales d'un matériel, d'un logiciel, d'un système ou d'un procédé technique pour exécuter une tâche donnée. Selon le contexte, les performances incluent les mesures suivantes : Un faible temps de réponse pour effectuer une tâche donnée Un débit élevé (vitesse d'exécution d'une tâche) L'efficience : faible utilisation des ressources informatiques : processeur, mémoire, stockage, réseau, consommation électrique, etc.
Pressure measurementPressure measurement is the measurement of an applied force by a fluid (liquid or gas) on a surface. Pressure is typically measured in units of force per unit of surface area. Many techniques have been developed for the measurement of pressure and vacuum. Instruments used to measure and display pressure mechanically are called pressure gauges, vacuum gauges or compound gauges (vacuum & pressure). The widely used Bourdon gauge is a mechanical device, which both measures and indicates and is probably the best known type of gauge.
