Contrôle de processusLe contrôle de processus est un terme utilisé pour désigner l'ensemble du matériel et des logiciels servant à piloter et surveiller le processus de fabrication de produits. Il est le plus souvent constitué d'une chaîne de moyens (appelée boucle de régulation) : capteurs de mesures physiques ou physico-chimiques : pression, niveau, débit, température, pH, viscosité, turbidité, conductivité... Ces capteurs fournissent aux régulateurs de manière continue ou discrète l'indication directe ou indirecte de l'état du processus.
Supervision (informatique)La supervision est une technique industrielle de suivi et de pilotage informatique de procédés de fabrication automatisés. La supervision concerne l'acquisition de données (mesures, alarmes, retour d'état de fonctionnement) et des paramètres de commande des processus généralement confiés à des automates programmables. Dans l'informatique, la supervision est la surveillance du bon fonctionnement d’un système ou d’une activité. À ne pas confondre avec l'hypervision, qui elle correspond à la centralisation des outils de supervision, d’infrastructure, d'applications et de référentiels (ex.
Stratégie de régulationUne stratégie (ou topologie) de régulation est, pour un procédé industriel, l'organisation du système de contrôle-commande en vue de maintenir une grandeur physique dans une plage de tolérance donnée. Le choix de stratégie est très important dans les industries de transformation (par exemple les industries chimiques, papetières, agroalimentaires) en raison de la variabilité d'un nombre élevé de grandeurs physiques incidentes (dites « perturbations ») qui y sont présentes.
Système numérique de contrôle-commandevignette|Deux racks de CS3000, un SNCC de Yokogawa. De droite à gauche, dans le rack supérieur : une alimentation, une CPU, une carte bus pour communiquer avec l'autre rack, des cartes d'entrées-sorties ; dans le rack inférieur : idem sauf la CPU. On peut remarquer que la CPU est connectée à deux câbles Ethernet redondants pour communiquer avec d'autres CPU et des PC de supervision. Un système numérique de contrôle-commande (SNCC, ou DCS pour distributed control system en anglais) est un système de contrôle d'un procédé industriel doté d'une interface homme-machine pour la supervision et d'un réseau de communication numérique.
Théorie du contrôleEn mathématiques et en sciences de l'ingénieur, la théorie du contrôle a comme objet l'étude du comportement de systèmes dynamiques paramétrés en fonction des trajectoires de leurs paramètres. On se place dans un ensemble, l'espace d'état sur lequel on définit une dynamique, c'est-à-dire une loi mathématiques caractérisant l'évolution de variables (dites variables d'état) au sein de cet ensemble. Le déroulement du temps est modélisé par un entier .
Maîtrise statistique des procédésLa maîtrise statistique des procédés (MSP) (Statistical Process Control ou SPC en anglais), est le contrôle statistique des processus. Au travers de représentations graphiques montrant les écarts (en + ou en - ou en =) à une valeur donnée de référence, il sert à anticiper sur les mesures à prendre pour améliorer n'importe quel processus de fabrication industrielle (automobile, métallurgie, etc.). C'est surtout au Japon après la Seconde Guerre mondiale que cette discipline s'est implantée grâce à William Edwards Deming, disciple de Walter A.
Char d'assautLe char d'assaut (en anglais : tank, en allemand : Panzer) est un système d'arme mobile constitué d'un canon monté sur un véhicule automobile blindé et le plus souvent chenillé (il existe également des chars légers à roues) permettant à la fois d'évoluer sous protection et de tirer. thumb|redresse=2.5|Schéma légendé d'un char.
Chasseur de charsUn chasseur de chars est un véhicule blindé, type particulier de canon automoteur, destiné principalement à la lutte antichar. À l'origine, le besoin pour ces véhicules est venu d'une supériorité matérielle de l'arme blindée ennemie. Déjà, à la fin de la Première Guerre mondiale, les ingénieurs militaires français réfléchissent à la construction d'un véhicule blindé spécialement destiné à la lutte contre les chars ennemis. Mais ces engins sont apparus sur le champ de bataille pendant la Seconde Guerre mondiale.
Man-portable anti-tank systemsMan-portable anti-tank systems (MANPATS or MPATS) are traditionally portable shoulder-launched projectile systems firing heavy shell-type projectiles (although throwing and lunge weapons have existed), typically designed to combat protected targets, such as armoured vehicles, field fortifications and at times even low-flying aircraft (especially helicopters). MPATS-launchers can be either unguided or guided weapons and generally fall into three distinct categories: Disposable systems, consisting of a small pre-loaded, single-shot launch tube meant to be disposed after firing, operated by one soldier.
Control loopA control loop is the fundamental building block of control systems in general industrial control systems and industrial control systems in particular. It consists of the process sensor, the controller function, and the final control element (FCE) which controls the process necessary to automatically adjust the value of a measured process variable (PV) to equal the value of a desired set-point (SP). There are two common classes of control loop: open loop and closed loop.
Char de combat principalthumb|Un T-90, char de combat principal russe. Le char de combat principal est une catégorie de chars de combat. On le qualifie également de « char de bataille principal ». Le concept de char de combat principal provient de la fusion des concepts antérieurs du char de rupture, du char d'infanterie, du char rapide (ou « char de cavalerie ») et du chasseur de chars.
Lutte anticharvignette|Soldat américain équipé d'un Bazooka M1. Le terme lutte antichar désigne les moyens militaires mis en œuvre pour combattre les véhicules blindés. Elle est née de la nécessité de développer une technologie et des tactiques pour détruire les chars pendant la Première Guerre mondiale. L'apparition des premiers chars lors de la bataille de la Somme, le , marque une avancée significative dans l'évolution des champs de bataille.
Missile anticharUn missile antichar est un missile destiné à détruire un char. Ces missiles peuvent être tirés : depuis un système léger porté par des fantassins depuis un véhicule blindé depuis un hélicoptère de combat ou un avion Il est fréquent que le même missile puisse être au choix mis en œuvre d'une des trois façons indiquées ci-dessus. Les missiles antichar font leur apparition dans les années 1950, avant de se généraliser dans la décennie suivante avec la miniaturisation des systèmes de guidage.
Modèle mathématiquevignette|Un automate fini est un exemple de modèle mathématique. Un modèle mathématique est une traduction d'une observation dans le but de lui appliquer les outils, les techniques et les théories mathématiques, puis généralement, en sens inverse, la traduction des résultats mathématiques obtenus en prédictions ou opérations dans le monde réel. Un modèle se rapporte toujours à ce qu’on espère en déduire.
Closed-loop controllerA closed-loop controller or feedback controller is a control loop which incorporates feedback, in contrast to an open-loop controller or non-feedback controller. A closed-loop controller uses feedback to control states or outputs of a dynamical system. Its name comes from the information path in the system: process inputs (e.g., voltage applied to an electric motor) have an effect on the process outputs (e.g., speed or torque of the motor), which is measured with sensors and processed by the controller; the result (the control signal) is "fed back" as input to the process, closing the loop.
Structure de contrôleEn programmation informatique, une structure de contrôle est une instruction particulière d'un langage de programmation impératif pouvant dévier le flot de contrôle du programme la contenant lorsqu'elle est exécutée. Si, au plus bas niveau, l'éventail se limite généralement aux branchements et aux appels de sous-programme, les langages structurés offrent des constructions plus élaborées comme les alternatives (if, if–else, switch...), les boucles (while, do–while, for...) ou encore les appels de fonction.
Carte de contrôleUn graphique de contrôle ou carte de contrôle, improprement traduit de l'anglais control chart, est un outil utilisé dans le domaine du contrôle de la qualité afin de maîtriser un processus. Il permet de déterminer le moment où apparaît une cause particulière de variation d'une caractéristique, entraînant une altération du processus. Par exemple un processus de fabrication pourra être mis à l'arrêt avant de produire des pièces qui seront non-conformes.
Boucle forEn informatique, la boucle for est une structure de contrôle de programmation qui permet de répéter l'exécution d'une séquence d'instructions. Selon les langages de programmation, différents mots-clés sont utilisés pour signaler cette structure de contrôle : for pour les descendants d'Algol, do pour FORTRAN, PL/I, etc. Une "boucle for" a deux parties : une entête qui spécifie la manière de faire l'itération, et un corps qui est exécuté à chaque itération. Dans cette forme de boucle, une variable prend des valeurs successives sur un intervalle.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Mathematical modelling of infectious diseasesMathematical models can project how infectious diseases progress to show the likely outcome of an epidemic (including in plants) and help inform public health and plant health interventions. Models use basic assumptions or collected statistics along with mathematics to find parameters for various infectious diseases and use those parameters to calculate the effects of different interventions, like mass vaccination programs. The modelling can help decide which intervention(s) to avoid and which to trial, or can predict future growth patterns, etc.
