Mesure sigma-finieSoit (X, Σ, μ) un espace mesuré. On dit que la mesure μ est σ-finie lorsqu'il existe un recouvrement dénombrable de X par des sous-ensembles de mesure finie, c'est-à-dire lorsqu'il existe une suite (E) d'éléments de la tribu Σ, tous de mesure finie, avec Mesure finie Mesure de comptage sur un ensemble dénombrable Mesure de Lebesgue. En effet, l'ensemble des intervalles pour tous les nombres entiers est un recouvrement dénombrable de , et chacun des intervalles est de mesure 1.
Loi log-normaleEn théorie des probabilités et statistique, une variable aléatoire X est dite suivre une loi log-normale de paramètres et si la variable suit une loi normale d'espérance et de variance . Cette loi est parfois appelée loi de Galton. Elle est habituellement notée dans le cas d'une seule variable ou dans un contexte multidimensionnel. Une variable peut être modélisée par une loi log-normale si elle est le résultat de la multiplication d'un grand nombre de petits facteurs indépendants.
T-55Le T-55 est un char moyen soviétique, entré en production en 1958. Il est considéré comme une amélioration subséquente du T-54. Il s'agit du premier char au monde à être équipé d'un système de protection NBC, assurant sa survie en zone contaminée. Au milieu des années 1950, l'Union Soviétique a commencé des expériences pour examiner la capacité de survie des véhicules blindés après la détonation d'une arme nucléaire tactique. Ces tests ont révélé que l'équipage serait tué, même à l'intérieur du char par le souffle de l'explosion et la surpression.
T-72Le T-72 est un char de combat conçu à l'origine comme une version simplifiée du T-64, moins chère tout en étant plus fiable et destinée à équiper massivement les armées du pacte de Varsovie. Plus de vingt cinq mille T-72 sont sortis des diverses chaînes de fabrication de la Communauté des États indépendants, d'Europe centrale, du Moyen-Orient et de l'Inde. Le T-72 a pour origine une compétition lancée entre deux usines et deux équipes d'ingénieurs en vue de remplacer le T-62, d'un côté l'usine Morozov KB de Kharkiv en Ukraine avec, à sa tête Alexandre Morozov et UralvagonZavod KB de Nijni Taguil dans l'Oblast de Sverdlovsk avec à sa tête Léonid Kartsev.
AT&T MobilityAT&T Mobility LLC, anciennement Cingular Wireless LLC,est un opérateur nord-américain spécialisé dans les réseaux de téléphonie mobile ; c'est une filiale du groupe de télécommunications américain AT&T, considéré comme l'opérateur historique du pays. Ce fut au départ une coentreprise créée en 2001 entre SBC Communications (qui s'est renommé entre-temps AT&T, à la suite du rachat de l'ancien opérateur historique : AT&T Corporation) et de BellSouth, détenue à 60 % par le premier et à 40 % par le second.
RT-RKRT-RK (РТ-РК) is a Serbian R&D company and national research institute that delivers development services and own products in the arena of real time embedded systems, with focus on consumer electronics and automotive industry. Headquartered in Novi Sad, with offices in Belgrade, Banja Luka (Bosnia and Herzegovina) and Osijek (Croatia) with over 550 engineers, RT-RK is one of the biggest development houses in Southeast Europe.
IBM RT PCThe IBM RT PC (RISC Technology Personal Computer) is a family of workstation computers from IBM introduced in 1986. These were the first commercial computers from IBM that were based on a reduced instruction set computer (RISC) architecture. The RT PC uses IBM's proprietary ROMP microprocessor, which commercialized technologies pioneered by IBM Research's 801 experimental minicomputer (the 801 was the first RISC). The RT PC runs three operating systems: AIX, the Academic Operating System (AOS), and Pick.
Windows RTWindows RT est un système d'exploitation dérivé de Windows 8 et commercialisé par Microsoft à partir d' pour les appareils ARM, comme certaines tablettes tactiles. Le sigle RT n'a pas de signification officielle mais fait généralement référence à Runtime. Contrairement à d'autres systèmes d'exploitation Windows, il ne peut qu'exécuter les applications ayant été certifiées par Microsoft et placées dans le magasin de Windows Store mais ne permet pas de télécharger des applications tierces.
RT-11RT-11 (Real-time 11) is a discontinued small, low-end, single-user real-time operating system for the full line of Digital Equipment Corporation PDP-11 16-bit computers. RT-11 was first implemented in 1970. It was widely used for real-time computing systems, process control, and data acquisition across all PDP-11s. It was also used for low-cost general-use computing. RT-11 was written in assembly language.
42 (nombre)Le nombre 42 (quarante-deux) est l’entier naturel qui suit 41 et qui précède 43.
