Battery electric vehicleA battery electric vehicle (BEV), pure electric vehicle, only-electric vehicle, fully electric vehicle or all-electric vehicle is a type of electric vehicle (EV) that exclusively uses chemical energy stored in rechargeable battery packs, with no secondary source of propulsion (a hydrogen fuel cell, internal combustion engine, etc.). BEVs use electric motors and motor controllers instead of internal combustion engines (ICEs) for propulsion. They derive all power from battery packs and thus have no internal combustion engine, fuel cell, or fuel tank.
InducteurL'inducteur est un organe électrotechnique, généralement un électroaimant (les aimants permanents étant généralement réservés aux dispositifs de faible puissance) ayant comme fonction d'induire un champ électromagnétique dans un induit servant à produire de l'énergie électrique (alternateur) ou une force (moteur) ou à chauffer des conducteurs comme des métaux de toutes sortes. Lorsque le courant circulant dans la bobine change, le champ magnétique variable dans le temps induit une force électromotrice (f.e.
Analyse statique de programmesEn informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débugage ou le profiling) qui s'attachent, elles, au suivi de l’exécution du programme. L’analyse statique est utilisée pour repérer des erreurs formelles de programmation ou de conception et pour déterminer la facilité ou la difficulté à maintenir le code.
Analyse constructiveL'analyse constructive est une branche des mathématiques constructives. Elle critique l'analyse mathématique classique et vise à fonder l'analyse sur des principes constructifs. Elle s'inscrit dans le courant de pensée constructiviste ou intuitionniste, dont les principaux membres ont été Kronecker, Brouwer ou Weyl. La critique porte sur la façon dont est utilisée la notion d'existence, de disjonction et sur l'utilisation du raisonnement par l'absurde.
PrésentismeDans la philosophie du temps, le présentisme est la théorie métaphysique selon laquelle seul le présent existe, contrairement au passé et au futur qui n'existent pas. Cette théorie s'oppose directement à l'éternalisme, théorie selon laquelle le passé, le présent et le futur existent tout autant. Le terme est utilisé pour la première fois dans les années 1920 : tout d'abord en 1921 par l'artiste Raoul Haussmann, du mouvement Dada, dans la revue De Stijl. En 1924, le philosophe français Frédéric Paulhan y recourt lui aussi.
