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.
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).
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Ligne de transmissionUne ligne de transmission est un ensemble de deux conducteurs acheminant de concert un signal électrique, d'une source (ou émetteur) vers une charge (ou récepteur). On doit considérer une paire de conducteurs comme une ligne de transmission chaque fois que sa longueur est du même ordre de grandeur, ou plus, que la longueur d'onde de la fréquence la plus élevée du signal à transmettre. La charge étant connectée à l'extrémité de la ligne, la ligne permet de retrouver, sur son entrée, à son autre extrémité, la même résistance que la charge, cela quelle que soit la longueur de la ligne.
Transmission control unitA transmission control unit (TCU), also known as a transmission control module (TCM), or a gearbox control unit (GCU), is a type of automotive ECU that is used to control electronic automatic transmissions. Similar systems are used in conjunction with various semi-automatic transmissions, purely for clutch automation and actuation. A TCU in a modern automatic transmission generally uses sensors from the vehicle, as well as data provided by the engine control unit (ECU), to calculate how and when to change gears in the vehicle for optimum performance, fuel economy and shift quality.
Satellite de télécommunicationsUn satellite de télécommunications est un satellite artificiel placé dans l'espace pour des besoins de télécommunications. Selon le besoin, il circule sur une orbite géostationnaire, une orbite terrestre basse ou une orbite de Molnia d’où il relaie le signal émis par des stations émettrices vers des stations réceptrices. Les télécommunications par satellite constituent la première application commerciale de l'ère spatiale avec le lancement d'un premier satellite opérationnel (Intelsat I) en 1965.
Dentthumb|upright=1.2|Dents de Piranha. thumb|Dents humaines. La dent est un organe dur et fortement minéralisé implanté dans le palais des raies, la gencive des requins ou les os des mâchoires supérieure et inférieure des autres vertébrés, et dont les fonctions principales sont de saisir, retenir, déchirer et broyer les aliments, mais aussi la défense contre les prédateurs ou les rivaux. Les dents sont souvent caractérisées par le régime alimentaire de l'espèce qui conditionne leur forme, leur nombre, leur implantation ou leur pérennité.
Dent temporaireLes dents temporaires sont la première des deux séries de dents qu'ont consécutivement les animaux diphyodontes, comprenant la plupart des mammifères. Chez certaines espèces, toutes ou une partie des dents temporaires sont perdues durant la vie intra-utérine, c'est notamment le cas du phoque, de l'otarie ou de la plupart des rongeurs pour lesquels la perte a lieu peu avant ou après la naissance, chez les cétacés odontocètes, la seconde série est atrophiée et ne pousse jamais.
Architecturevignette|upright=1.2|La cathédrale Saint-Pierre de Beauvais, , toute en pierre de taille, est l’exemple le plus aérien et dématérialisé de l'architecture gothique qui atteint là ses limites techniques. vignette|upright=1.2|La coupole du Panthéon, construit dans l'Antiquité romaine au début du , est restée de loin la plus large coupole du monde durant de nombreux siècles. Elle ne sera égalée qu'au par le dôme de la cathédrale de Florence qui marque de ce fait le début de la Renaissance, pour n'être dépassée qu'à partir du par les dômes contemporains.
Architecture logicielleL’architecture logicielle décrit d’une manière symbolique et schématique les différents éléments d’un ou de plusieurs systèmes informatiques, leurs interrelations et leurs interactions. Contrairement aux spécifications produites par l’analyse fonctionnelle, le modèle d'architecture, produit lors de la phase de conception, ne décrit pas ce que doit réaliser un système informatique mais plutôt comment il doit être conçu de manière à répondre aux spécifications. L’analyse décrit le « quoi faire » alors que l’architecture décrit le « comment le faire ».
