Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Fibre monomode : caractéristiques et applications

Dans cours

MICRO-321: Optical engineering

Ce cours présente différentes facettes de l'optique moderne et met à la fois l'accent sur des bases rigoureuses et des applications pratiques. Le cours inclut une partie théorique avec un cours et des exercices, ainsi qu'une partie expérimentale avec des t ...

Description

Cette séance de cours couvre les caractéristiques et les applications de la fibre monomode, y compris des sujets tels que HEEPE, SCP, PCPE et DRIAL IT. Il traite également des différents types de fibres monomodes et de leurs utilisations dans diverses industries.

Enseignant·e·s (2)

Karim Achouri

Olivier Martin

Olivier J.F. Martin a obtenu le diplôme (M.Sc.) et le doctorat en physique de l'Ecole Polytechnique Fédérale de Lausanne (EPFL) en 1989, respectivement 1994. En 1989 il a rejoint le laboratoire de recherche d'IBM à Rüschlikon près de Zurich, où il a étudié les propriétés optiques et thermiques des lasers semiconducteur. Entre 1994 et 1997 il était collaborateur scientifique de l'Ecole Polytechnique Fédérale de Zurich (ETHZ). En 1997 il a reçu une bourse Profil du Fonds National Suisse de la Recherche Scientifique (FNSRS) lui permettant de mettre sur pied un groupe de recherche indépendant. Entre 1996 et 1999, Olivier Martin a passé plus d'une année et demi aux U.S.A. comme collaborateur invité de l'Université de Californie à San Diego. En 2001 il a reçu une bourse de professeur assistant du FNSRS et devint professeur de Nano-optique à l'ETHZ. En 2003 il a été nommé professeur de nanophotonique et de traitement optique du signal à l'EPFL où il dirige actuellement le laboratoire de Nanophotonique & Métrologie.

Source officielle

Concepts associés (5)

Primitive data type

In computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).

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.

Type algébrique de données

Un type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.

Théorie des types

En mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.

Type dépendant

En 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).

Séances de cours associées (28)

Groupes d'automorphisme : Arbres et graphiques

Explore les groupes d'automorphisme dans les arbres et les graphiques, en se concentrant sur les extrémités et les types d'automorphismes.

Introduction aux variables

Couvre les bases des variables en C++, y compris la déclaration, l'initialisation, les types et les affectations.

Friction négative : Types et conséquences

Explore différents types de friction négative et leurs conséquences sur les objets en contact.

Classification spectrale: Introduction à l'astrophysique MOOC: Introduction à l'Astrophysique

Introduit la classification spectrale des étoiles en fonction de la température et du flux.

Électrolytes à l'état solide

Couvre le sujet des électrolytes solides, en discutant de leurs propriétés, de leurs applications et de leurs défis.