Informatique théoriquevignette|Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique.
Modèle statistiqueUn modèle statistique est une description mathématique approximative du mécanisme qui a généré les observations, que l'on suppose être un processus stochastique et non un processus déterministe. Il s’exprime généralement à l’aide d’une famille de distributions (ensemble de distributions) et d’hypothèses sur les variables aléatoires X1, . . ., Xn. Chaque membre de la famille est une approximation possible de F : l’inférence consiste donc à déterminer le membre qui s’accorde le mieux avec les données.
Hacheur (électronique)Le hacheur, ou convertisseur continu - continu, est un dispositif d'électronique de puissance qui met en œuvre un ou plusieurs interrupteurs électroniques commandés, pour permettre de modifier la valeur de la tension (moyenne) d'une source de tension continue avec un rendement élevé. Il existe différents types de hacheurs : si la tension délivrée en sortie est inférieure à la tension appliquée en entrée, le hacheur est dit dévolteur, abaisseur ou Buck ; dans le cas contraire, il est dit survolteur (ou élévateur ou Boost).
Nonlinear controlNonlinear control theory is the area of control theory which deals with systems that are nonlinear, time-variant, or both. Control theory is an interdisciplinary branch of engineering and mathematics that is concerned with the behavior of dynamical systems with inputs, and how to modify the output by changes in the input using feedback, feedforward, or signal filtering. The system to be controlled is called the "plant".
Electric power conversionIn all fields of electrical engineering, power conversion is the process of converting electric energy from one form to another. A power converter is an electrical or electro-mechanical device for converting electrical energy. A power converter can convert alternating current (AC) into direct current (DC) and vice versa; change the voltage or frequency of the current or do some combination of these. The power converter can be as simple as a transformer or it can be a far more complex system, such as a resonant converter.
Simulation informatiquevignette|upright=1|Une simulation informatique, sur une étendue de , de l'évolution du typhon Mawar produite par le Modèle météorologique Weather Research and Forecasting La simulation informatique ou numérique est l'exécution d'un programme informatique sur un ordinateur ou réseau en vue de simuler un phénomène physique réel et complexe (par exemple : chute d’un corps sur un support mou, résistance d’une plateforme pétrolière à la houle, fatigue d’un matériau sous sollicitation vibratoire, usure d’un roulem
Conductivité thermiqueLa conductivité thermique (ou conductibilité thermique) d'un matériau est une grandeur physique qui caractérise sa capacité à diffuser la chaleur dans les milieux sans déplacement macroscopique de matière. C'est le rapport de l'énergie thermique (quantité de chaleur) transférée par unité de temps (donc homogène à une puissance, en watts) et de surface au gradient de température. Notée λ (anciennement K voire k), la conductivité thermique intervient notamment dans la loi de Fourier.
Bloc fonctionnelvignette|Schéma fonctionnel comportant un générateur de tension idéal et une résistance. La modélisation par blocs fonctionnels simplifie la description du comportement d'un système physique distribué en le réduisant à un graphe (ou « topologie ») constitué d’éléments séparés, les blocs fonctionnels. Elle intervient dans les domaines les plus variés, depuis le réseau de distribution à la linguistique en passant par les circuits (thermiques, électriques ou électroniques, pneumatiques, hydrauliques), les robots, l'acoustique, etc.
Optimisation convexevignette|320x320px|Optimisation convexe dans un espace en deux dimensions dans un espace contraint L'optimisation convexe est une sous-discipline de l'optimisation mathématique, dans laquelle le critère à minimiser est convexe et l'ensemble admissible est convexe. Ces problèmes sont plus simples à analyser et à résoudre que les problèmes d'optimisation non convexes, bien qu'ils puissent être NP-difficile (c'est le cas de l'optimisation copositive). La théorie permettant d'analyser ces problèmes ne requiert pas la différentiabilité des fonctions.
Robustesse (ingénierie)En ingénierie, la robustesse d'un système se définit comme la « stabilité de sa performance ». On distingue trois types de systèmes : les systèmes non-performants, qui ne remplissent pas les fonctionnalités attendues par l'utilisateur ; les systèmes performants fragiles, qui sont performants mais uniquement pour une plage réduite des paramètres internes ou externes ; les systèmes performants robustes, qui restent performants malgré des conditions externes présentant de larges variations d'amplitude (exemple : variation de température, d'adhérence au sol, de dispersion d'usinage.
