Compagnie aériennethumb|Boeing 757 de Delta Air Lines, la plus grande compagnie aérienne commerciale au monde en 2009 thumb|MD-11 de FedEx Express, la plus grande compagnie aérienne de fret au monde en 2009 thumb|Boeing 737 de Southwest Airlines, la compagnie aérienne ayant le plus transporté de passagers au monde avec 101,9 millions en 2008 thumb|Boeing 777 d'American Airlines, la compagnie aérienne ayant le plus transporté de passagers sur kilomètres (Passager kilomètre transporté ou PKT) au monde avec 211,9 millions en 200
Package on a packagePackage on a package (PoP) is an integrated circuit packaging method to vertically combine discrete logic and memory ball grid array (BGA) packages. Two or more packages are installed atop each other, i.e. stacked, with a standard interface to route signals between them. This allows higher component density in devices, such as mobile phones, personal digital assistants (PDA), and digital cameras, at the cost of slightly higher height requirements. Stacks with more than 2 packages are uncommon, due to heat dissipation considerations.
Axiome du choix dénombrablevignette|Chaque ensemble dans la suite dénombrable d'ensembles (Si) = S1, S2, S3, ... contient un élément différent de zéro, et éventuellement une infinité (ou même une infinité indénombrable) d'éléments. L'axiome du choix dénombrable nous permet de sélectionner arbitrairement un seul élément de chaque ensemble, formant une suite correspondante d'éléments (xi) = x1, x2, x3, ...
Théorie des ensemblesLa théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.
Axiome du choix globalEn mathématiques, plus précisément dans les théories utilisant des classes, l'axiome du choix global est un renforcement de l'axiome du choix qui s'applique à des classes propres d'ensembles ou d'ensembles d'ensembles. De manière informelle, il affirme que l'on peut choisir simultanément un élément dans tous les ensembles non-vides. L'axiome du choix global affirme qu'il existe une fonction de choix global τ, c'est-à-dire une fonction telle que, pour tout ensemble non-vide z, τ(z) est un élément de z.
Dual Inline PackageEn micro-électronique, un boîtier DIP ou DIL (Dual In-line Package), est une forme particulière de boîtier de circuit intégré qui connecte un circuit intégré au monde extérieur sur deux rangées de pattes, d'où leur nom, "dual". Ce format était le plus courant dans les années 1970-1980, avant d'être détrôné par des formats plus compacts. Les boîtiers DIP peuvent être directement soudés sur le circuit imprimé (PCB), ou insérés mécaniquement dans des supports qui ont eux-mêmes préalablement été soudés (permettant un remplacement facile du composant et une suppression des risques de destruction par la chaleur lors de la soudure).
Package handlePackage handles, or carriers, are used to help people use packaging. They are designed to simplify and to improve the ergonomics of lifting and carrying packages. Handles on consumer packages add convenience and help facilitate use and pouring. The effect of handles on package material costs and the packaging line efficiencies are also critical. A handle can be defined as “an accessory attached to a container or part for the purpose of holding or carrying.” Sometimes a handle can be used to hang a package for dispensing or use.
Principe du tiers excluEn logique formelle, le principe du tiers exclu (ou "principium medii exclusi" [principe du milieu exclu] ou " tertium non datur" [une troisième possibilité n'est pas accordée] , ou simplement le « tiers exclu ») énonce qu'ou bien une proposition est vraie, ou bien sa négation est vraie. Par exemple, Socrate est vivant ou mort, et il n'y a pas de cas intermédiaire entre ces deux états de Socrate, c'est pourquoi on parle de « tiers-exclu » : tous les autres cas de figure sont nécessairement exclus.
Encapsulation (électronique)In electronics manufacturing, integrated circuit packaging is the final stage of semiconductor device fabrication, in which the block of semiconductor material is encapsulated in a supporting case that prevents physical damage and corrosion. The case, known as a "package", supports the electrical contacts which connect the device to a circuit board. In the integrated circuit industry, the process is often referred to as packaging. Other names include semiconductor device assembly, assembly, encapsulation or sealing.
Porte-avionsUn porte-avions ou un porte-aéronefs (aussi écrit au singulier porte-avion ou porte-aéronef depuis 1990) est un navire de guerre permettant le lancement et la réception d'aéronefs (avions de combat, hélicoptères) à partir de son pont. Ces bâtiments sont dotés d’une puissance militaire considérable dont les capacités multiples en font des instruments d’une grande souplesse d’utilisation militaire ou diplomatique.
