Équilibre généralL'équilibre général est un concept d'économie qui désigne la possibilité pour les marchés d'atteindre l'équilibre simultanément par le libre jeu de l'offre et de la demande. L'équilibre général se distingue de l'équilibre simple (ou partiel) en ce qu'il s'agit d'un équilibre atteint sur l'intégralité des marchés. Issu de la microéconomie, la théorie de l'équilibre général a été développée par Léon Walras dans son ouvrage de , Éléments d'économie politique pure.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Calcul des structures et modélisationLe calcul des structures et la modélisation concernent deux domaines distincts : d'une part les applications spécifiques au patrimoine architectural, mobilier et naturel et d'autre part les applications industrielles. Le calcul des structures et leur modélisation est utilisé dans les domaines : de la conservation et mise en valeur du patrimoine architectural, mobilier et naturel, dans le cadre de missions d’assistance à la maître d’œuvre ou au maître d’ouvrage permettant d’arrêter un programme de travaux, d’applications industrielles.
Resultant forceIn physics and engineering, a resultant force is the single force and associated torque obtained by combining a system of forces and torques acting on a rigid body via vector addition. The defining feature of a resultant force, or resultant force-torque, is that it has the same effect on the rigid body as the original system of forces. Calculating and visualizing the resultant force on a body is done through computational analysis, or (in the case of sufficiently simple systems) a free body diagram.
Mécanique (technique)La mécanique en tant que technique ou activité industrielle, est l'ensemble des activités, méthodes et techniques liées à la conception de structures (charpentes, coques, bâtis), machines ou de mécanismes. Ces activités regroupent l'étude, la conception, la fabrication, la maintenance et la déconstruction de toute structure ou dispositif (moteurs, véhicules) produisant ou transmettant un mouvement, une force, ou une déformation.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Force centripèteLe terme force centripète (« qui tend à rapprocher du centre », en latin) désigne une force permettant de maintenir un objet dans une trajectoire incurvée, généralement une conique (cercle, ellipse, parabole, hyperbole). En effet, tout objet décrivant une trajectoire de ce type possède en coordonnées cylindriques une accélération radiale non nulle, appelée accélération centripète, qui est dirigée vers le centre de courbure. D'un point de vue dynamique, le principe fondamental de la dynamique (PFD) indique alors la présence d'une force radiale dirigée elle aussi vers le centre de courbure.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Force résultantethumb|Le vecteur (en rouge) est la force résultante de l'addition des vecteurs (en vert) et (en bleu). En physique classique, la force résultante est la somme vectorielle de toutes les forces que subit un corps. Mathématiquement, la force résultante d'un système subissant n forces s'écrit : Tout comme les autres forces, la force résultante possède une grandeur et une orientation. Elle peut aussi être définie comme étant la force globale agissant sur un objet, quand toutes les forces agissant sur celui-ci sont ajoutées.
Isolement d'un solidevignette|Schéma isolant un solide afin de percevoir l'ensemble des forces qui s'exercent dessus. En mécanique, l'isolement d'un solide est le fait de représenter un objet seul avec les forces extérieures s'exerçant sur lui. On utilise parfois le terme diagramme du corps libre, dont l'abréviation est DCL, traduction littérale de l'anglais free body diagram (FBD). Son utilisation peut faciliter grandement la résolution de problèmes en mécanique ou en cinématique.
Force d'inertieUne force d'inertie, ou inertielle, ou force fictive, ou pseudo-force est une force apparente qui agit sur les masses lorsqu'elles sont observées à partir d'un référentiel non inertiel, autrement dit depuis un point de vue en mouvement accéléré (en translation ou en rotation). La force d'inertie est donc une résistance opposée au mouvement par un corps, grâce à sa masse. L'équation fondamentale de la dynamique, dans la formulation initiale donnée par Newton, est valable uniquement dans des référentiels inertiels (dits aussi galiléens).
