Circuit RLUn circuit RL est un circuit électrique contenant une résistance et une bobine ; il est utilisé dans diverses applications, comme filtre passe-bas ou passe-haut, ou dans les convertisseurs de courant continu. Contenant deux composants, il se décline en deux versions différant dans la disposition des composantes (série ou parallèle).
Circuit RCUn circuit RC est un circuit électrique, composé d'une résistance et d'un condensateur montés en série ou en parallèle. Dans leur configuration série, les circuits RC permettent de réaliser des filtres électroniques passe-bas ou passe-haut. La constante de temps d'un circuit RC est donnée par le produit de la valeur de ces deux éléments.
Lois de Kirchhoffthumb|upright=.5|Portrait de Gustav Kirchhoff, qui a établi les lois portant son nom en 1845. Les lois de Kirchhoff expriment la conservation de l'énergie et de la charge dans un circuit électrique. Elles portent le nom du physicien allemand qui les a établies en 1845 : Gustav Kirchhoff. Dans un circuit complexe, il est possible de calculer les différences de potentiel aux bornes de chaque résistance et l'intensité du courant continu dans chaque branche de circuit en appliquant les deux lois de Kirchhoff : la loi des nœuds et la loi des mailles.
Circuit LCUn circuit LC est un circuit électrique contenant une bobine (L) et un condensateur (Capacité). C'est ainsi qu'on obtient le phénomène de résonance électrique. Ce type de circuit est utilisé dans les filtres, les tuners et les mélangeurs de fréquences. Par conséquent, son utilisation est répandue dans les transmissions sans fil en radiodiffusion, autant pour l'émission que la réception. thumb|200px|Circuit LC série et parallèle thumb|upright=1.
Tension de circuit ouvertvignette|Définition de la tension de circuit ouvert. La boîte représente un appareil quelconque à deux bornes. Celles-ci ne sont connectées à rien, de sorte qu'aucun courant ne circule entre elles. La tension v de ce schéma indique la tension de circuit ouvert . La tension de circuit ouvert, également dite potentiel à l'abandon ou encore OCV (de l'anglais "Open Circuit Voltage"), est la tension électrique entre les bornes d'un appareil déconnecté de tout circuit. Elle est habituellement notée ou .
Court-circuitUn court-circuit est la mise en connexion volontaire ou accidentelle de deux points (ou plus) d’un circuit électrique entre lesquels il y a une différence de potentiel, par un conducteur de faible résistance. Il donne naissance à un courant de court-circuit et, généralement, à une élévation de la température des conducteurs.
AnalysisAnalysis (: analyses) is the process of breaking a complex topic or substance into smaller parts in order to gain a better understanding of it. The technique has been applied in the study of mathematics and logic since before Aristotle (384–322 B.C.), though analysis as a formal concept is a relatively recent development. The word comes from the Ancient Greek ἀνάλυσις (analysis, "a breaking-up" or "an untying;" from ana- "up, throughout" and lysis "a loosening"). From it also comes the word's plural, analyses.
Philosophie moderneOn appelle philosophie moderne la pensée qui, en Occident, s'étend sur ce que les historiens appellent l'époque moderne (1492-1789), incluant une partie de la Renaissance, le , et le siècle des Lumières. Elle ne doit pas être confondue avec la philosophie contemporaine. La philosophie moderne est, d'une part, l'héritière de la pensée antique en bien des points. . et leur ont notamment emprunté une partie de leur vocabulaire.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Program analysisIn computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do.
