Palier (mécanique)vignette|210x210px|Représentation 3D d'un palier lisse. Les paliers sont des organes utilisés en construction mécanique pour supporter et guider, en rotation, des arbres de transmission. Suivant l’usage désiré, ces paliers peuvent être : lisses, où les arbres qui reposent sur des coussinets sont soumis au frottement de glissement entre les surfaces en contact ; à roulement, où le contact s’effectue par l’intermédiaire de billes, d'aiguilles ou de rouleaux contenus dans des cages.
FrottementEn physique, le frottement (ou friction) est une interaction qui s'oppose au mouvement relatif entre deux systèmes en contact. Le frottement peut être étudié au même titre que les autres types de force ou de couple. Son action est caractérisée par une norme et une orientation, ce qui en fait un vecteur. L'orientation de la force (ou du couple) de frottement créé sur un corps est opposée au déplacement relatif de ce corps par rapport à son environnement. La science qui étudie le frottement entre solides est la tribologie.
Fondation (construction)Une fondation se définit comme la partie d'un bâtiment ou d'un ouvrage de travaux publics qui assure la transmission dans le sol des charges (poids propre, forces climatiques, sismiques et charges d'exploitation) de celui-ci. Les fondations d’un bâtiment représentent un enjeu essentiel de sa construction, car elles forment la partie structurelle qui assure sa portance et permet de contrôler les tassements dus aux charges qu'il applique au sol et les infiltrations dues à la présence éventuelle d'eau dans le terrain.
Capacité portantevignette|Mesure de portance d'un sol, essai à la dynaplaque Maxidyn. La capacité portante d'un sol se caractérise par sa résistance au tassement en fonction de la cohésion et des frottements internes. La contrainte admissible se mesure en (ou anciennement en kgf/cm ou en bar). C'est une pression et le kN/m est aussi un kilopascal (kPa). La capacité portante d'un sol est une performance technique spécifique qu'il est indispensable de connaître pour établir le système de fondation d'un ouvrage.
Electronic assessmentElectronic assessment, also known as digital assessment, e-assessment, online assessment or computer-based assessment, is the use of information technology in assessment such as educational assessment, health assessment, psychiatric assessment, and psychological assessment. This covers a wide range of activities ranging from the use of a word processor for assignments to on-screen testing. Specific types of e-assessment include multiple choice, online/electronic submission, computerized adaptive testing such as the Frankfurt Adaptive Concentration Test, and computerized classification testing.
Dust solutionIn general relativity, a dust solution is a fluid solution, a type of exact solution of the Einstein field equation, in which the gravitational field is produced entirely by the mass, momentum, and stress density of a perfect fluid that has positive mass density but vanishing pressure. Dust solutions are an important special case of fluid solutions in general relativity. A pressureless perfect fluid can be interpreted as a model of a configuration of dust particles that locally move in concert and interact with each other only gravitationally, from which the name is derived.
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).
Educational assessmentEducational assessment or educational evaluation is the systematic process of documenting and using empirical data on the knowledge, skill, attitudes, aptitude and beliefs to refine programs and improve student learning. Assessment data can be obtained from directly examining student work to assess the achievement of learning outcomes or can be based on data from which one can make inferences about learning. Assessment is often used interchangeably with test, but not limited to tests.
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.
Théorème de convergence monotoneEn mathématiques, le théorème de convergence monotone (ou théorème de Beppo Levi) est un résultat de la théorie de l'intégration de Lebesgue. Il permet de démontrer le lemme de Fatou et le théorème de convergence dominée. Ce théorème indique que pour une suite croissante de fonctions mesurables positives on a toujours la convergence de la suite de leurs intégrales vers l'intégrale de la limite simple. Le théorème autorise donc, pour une telle suite de fonctions, à intervertir les symboles et .
