Search results for:

Réalisation d’un modèle expérimental de subduction dans une boîte de plexiglas de 1 m par 1 m par 10 cm remplie de sirop de glucose. Ce matériau visqueux est analogue au manteau convectif terrestre, sur lequel reposent les plaques tectoniques. Le boîte représente l’équivalent dans la nature de 6600 km par 6600 km par 660 km. Sur le sirop est déposée une plaque de silicone noire, un matériau visqueux analogue d’une plaque océanique. Cette expérience permettra de reproduire la dynamique des zones…

Réalisation d’un modèle expérimental de subduction dans une boîte de plexiglas de 1 m par 1 m par 10 cm remplie de sirop de glucose. Ce matériau visqueux est un analogue du manteau convectif terrestre, sur lequel reposent les plaques tectoniques. Le cube représente l’équivalent de 6600 km par 6600 km par 660 km dans la nature. Sur le sirop sont déposées deux plaques de silicone, un matériau visqueux analogue des plaques (lithosphères) terrestres. La noire représente la plaque plongeante dont la…

Numérisation en 3D, grâce à un laser de laboratoire, de la topographie d'un modèle de subduction dans une boîte de plexiglas de 1 m par 1 m par 10 cm remplie de sirop de glucose. Ce matériau visqueux est analogue au manteau convectif terrestre, sur lequel reposent les plaques tectoniques. La boîte représente l’équivalent de 6600 km par 6600 km par 660 km dans la nature et permet de reproduire la dynamique des zones de subduction sur Terre, lorsque les plaques tectoniques convergent et qu'une…

Numérisation en 3D, grâce à un laser de laboratoire, de la topographie d'un modèle de subduction dans une boîte de plexiglas de 1 m par 1 m par 10 cm remplie de sirop de glucose. Ce matériau visqueux est analogue au manteau convectif terrestre, sur lequel reposent les plaques tectoniques. La boîte représente l’équivalent de 6600 km par 6600 km par 660 km dans la nature et permet de reproduire la dynamique des zones de subduction sur Terre, lorsque les plaques tectoniques convergent et qu'une…

Numérisation en 3D, grâce à un laser de laboratoire, de la topographie d'un modèle de subduction dans une boîte de plexiglas de 1 m par 1 m par 10 cm remplie de sirop de glucose. Ce matériau visqueux est analogue au manteau convectif terrestre, sur lequel reposent les plaques tectoniques. La boîte représente l’équivalent de 6600 km par 6600 km par 660 km dans la nature et permet de reproduire la dynamique des zones de subduction sur Terre, lorsque les plaques tectoniques convergent et qu'une…

Détail d'une zone de subduction dans un modèle expérimental après plusieurs minutes d’expérience. La plaque de silicone noire, un matériau visqueux analogue d’une plaque océanique, s’est enfoncée sous l’effet de son propre poids entraînant le déplacement de la fosse de subduction, à l’interface entre les deux plaques. Les carrés noirs, dessinés initialement à la surface de la plaque chevauchante rose, permettent de visualiser et de quantifier à posteriori la déformation subie par cette dernière…

Séparation des plaques de silicone d'un modèle expérimental de subduction. A la fin de l'expérience, les plaques sont extraites de la boîte et nettoyées pour les débarrasser des résidus de sirop restants. Une fois propres, les silicones pourront être réutilisées lors d’une prochaine expérience. La boîte de plexiglas de 1 m par 1 m par 10 cm est remplie de sirop de glucose, un matériau visqueux analogue du manteau convectif terrestre, sur lequel reposent les plaques tectoniques. Elle représente…

Mousse solide de polymère dont les pores de 3 mm sont fermés par de fines membranes. Les mousses solides membranaires sont des mousses de polymère obtenues après solidification d’une mousse liquide. Les pores de ces matériaux sont délimités par des membranes de quelques micromètres qui ont perdu leur élasticité après le processus de solidification. Les pores fermés modifient drastiquement la propagation des ondes : les membranes n’étant pas élastiques, aucune résonnance n’est observée mais leur…

Test d’une membrane Papersorb dans une boîte de films cinématographiques. Ces films sont constitués d'acétate de cellulose, un polymère synthétique à l'origine d'émissions d'acide acétique. La membrane Papersorb est un papier adsorbant avec une teneur en "metal-organic framework" (MOF) de 75 % m/m (pourcentage massique) capable de capter sélectivement l'acide acétique. Elle peut être déposée aux côtés des objets dans les espaces clos (vitrine, boîte d’archives, etc.) ou intégrée au système de…

Test d’une membrane Papersorb dans une boîte d’archives conservant des films photographiques sur support en acétate de cellulose. Ce polymère synthétique est à l'origine d'émissions d'acide acétique. La membrane Papersorb est un papier adsorbant avec une teneur en "metal-organic framework" (MOF) de 75 % m/m (pourcentage massique) capable de capter sélectivement l'acide acétique. Elle peut être déposée aux côtés des objets dans les espaces clos (vitrine, boîte d’archives, etc.) ou intégrée au…

Intervention sur l’électronique permettant de contrôler les mouvements du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse-Californie, Mexique. COLIBRI est un télescope robotique possédant un…

Manipulation, grâce à une raquette de commande, du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Le télescope offre la particularité d'être extrêmement rapide (il peut accéder n'importe quelle zone du ciel en moins de 20 secondes), tout en pouvant observer automatiquement tout une nuit. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont…

Mise en place d’une caméra sur le télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse-Californie, Mexique. COLIBRI est un télescope robotique possédant un miroir primaire de 1,30 m, capable de…

Changement d'une caméra sur le télescope IRIS (Initiation à la recherche en astronomie pour les scolaires) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). IRIS est un télescope pilotable à distance de type professionnel mis à disposition des écoles (du primaire au secondaire) et des établissements universitaires. Il est doté d’un miroir primaire de 50 cm, d’une caméra CCD et de 10 filtres spectraux. Ce projet a pour ambition…

Manipulation, à l'aide de la raquette de commande, du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) de nuit à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Le télescope est préparé pour subir une série de tests lors de la nuit. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse…

Manipulation, à l'aide de la raquette de commande, du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) de nuit à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Le télescope est préparé pour subir une série de tests lors de la nuit. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse…

Mise en place d’un oculaire sur le télescope COLIBRI (Catching Optical Light and Infrared Bright transients) de nuit à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Cet oculaire permet de vérifier visuellement la qualité optique du télescope. Il est ensuite remplacé par une caméra afin d'avoir une mesure quantitative. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour…

Mise en place d’un oculaire sur le télescope COLIBRI (Catching Optical Light and Infrared Bright transients) de nuit à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Cet oculaire permet de vérifier visuellement la qualité optique du télescope. Il est ensuite remplacé par une caméra afin d'avoir une mesure quantitative. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour…

Télescope COLIBRI (Catching Optical Light and Infrared Bright transients) de nuit à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Le télescope se prépare à subir une série de tests lors de la nuit. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse-Californie, Mexique. COLIBRI est un télescope robotique possédant…

Inspection d'un filtre utilisé par la caméra de test du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Ce filtre permet de choisir un domaine spectral précis, ce qui permet de caractériser le télescope à une certaine longueur d'onde. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé…

Changement d'une caméra sur le télescope IRIS (Initiation à la Recherche en astronomie pour les Scolaires) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). IRIS est un télescope pilotable à distance de type professionnel mis à disposition des écoles (du primaire au secondaire) et des établissements universitaires. Il est doté d’un miroir primaire de 50 cm, d’une caméra CCD et de 10 filtres spectraux. Ce projet a pour ambition…

Tunnel de service entre le bâtiment Général Ferrié et le bâtiment Jacques Cavalier à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur).

Télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse-Californie, Mexique. COLIBRI est un télescope robotique possédant un miroir primaire de 1,30 m, capable de pointer n’importe quelle région du…

Coupole du télescope de 193 cm à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Autour la forêt de chênes pubescent.

Télescope IRIS (Initiation à la Recherche en astronomie pour les Scolaires) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). IRIS est un télescope pilotable à distance de type professionnel mis à disposition des écoles (du primaire au secondaire) et des établissements universitaires. Il est doté d’un miroir primaire de 50 cm, d’une caméra CCD et de 10 filtres spectraux. Ce projet a pour ambition de permettre aux enseignants d…

Télescope de 120 cm à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Bien que ce télescope ait débuté ses observations en 1875, il demeure très utilisé pour la recherche scientifique et l'enseignement.

Télescope de 120 cm à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Bien que ce télescope ait débuté ses observations en 1875, il demeure très utilisé pour la recherche scientifique et l'enseignement.

Télescope COLIBRI (Catching Optical Light and Infrared Bright transients) de nuit à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Le télescope est préparé pour subir une série de tests lors de la nuit. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse-Californie, Mexique. COLIBRI est un télescope robotique…

Télescope COLIBRI (Catching Optical Light and Infrared Bright transients) de nuit à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Le télescope est préparé pour subir une série de tests lors de la nuit. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse-Californie, Mexique. COLIBRI est un télescope robotique…

Coupole du télescope IRIS de 50 cm de diamètre à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Autour la forêt de chênes pubescent. IRIS est un télescope pilotable à distance de type professionnel mis à disposition des écoles (du primaire au secondaire) et des établissements universitaires.

Coupole du télescope de 152 cm et la tour Icos, à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Autour la forêt de chênes pubescent.

Télescope de 193cm de l'Observatoire de Haute Provence (OHP) à Saint Michel-L'observaoire (Alpes de Haute-Provence). Le spectrographe à échelle SOPHIE est montée au foyer Cassegrain depuis août 2006 (cables à l'arrière du télescope) et est utilisé quotidiennement pour étudier les exoplanètes.

Passerelle permettant d'accéder au foyer Newton du télescope de 193 cm à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Elle est utilisée pour la maintenance du télescope et de la coupole.

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023. Les recherches de cette spécialiste de sciences du logiciel visent au développement de logiciels sûrs. Sa contribution se concentre sur les compilateurs, des outils informatiques qui permettent à un programme écrit de devenir exécutable. Traditionnellement, ils ne sont pas vérifiés avec des garanties mathématiques, et peuvent donc compiler un programme sûr en un programme exécutable contenant des bugs. Sandrine Blazy s’appuie sur la…

Miroir primaire et miroir tertiaire, avec son baffle de protection, du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé à l'Observatorio Astronómico Nacional, Basse-Californie, Mexique. COLIBRI est un télescope robotique possédant un…

Vue à travers le tunnel du foyer Nasmyth des trois miroirs principaux du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). La croix correspond à la structure mécanique (l'araignée) qui maintient le miroir secondaire en haut du télescope. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être installé…

Miroir tertiaire du télescope COLIBRI (Catching Optical Light and Infrared Bright transients) à l’Observatoire de Haute-Provence (OHP) sur la commune de Saint-Michel l’Observatoire (Provence-Alpes-Côte d'Azur). Ce miroir permet de renvoyer la lumière des étoiles sur le côté du télescope, là où est installé une caméra hypersensible permettant d'observer dans le visible et l'infrarouge. Tous les tests préparatoires au bon fonctionnement de COLIBRI sont faits à l’OHP avant d’être démonté pour être…

Preuve mathématique vérifiée par ordinateur. La démonstration est menée au moyen de commandes écrites par l’utilisateur indiquant comment progresser, en interaction avec un assistant de preuve (à l'écran). Ce logiciel automatise une partie du raisonnement, s’assurant de la validité de la démonstration. Les recherches de Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui…

Preuve mathématique vérifiée par ordinateur. La démonstration est menée au moyen de commandes écrites par l’utilisateur indiquant comment progresser, en interaction avec un assistant de preuve (à l'écran). Ce logiciel automatise une partie du raisonnement, s’assurant de la validité de la démonstration. Les recherches de Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui…

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, explique le domaine de la vérification déductive de logiciels, qui permet d'avoir des garanties très fortes sur l’absence d'erreur dans un logiciel. Plusieurs techniques de preuve, plus ou moins automatisées par des logiciels d’aide à la preuve, sont disponibles. Les recherches de Sandrine Blazy visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui permettent à un programme…

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, explique le domaine de la vérification déductive de logiciels, qui permet d'avoir des garanties très fortes sur l’absence d'erreur dans un logiciel. Plusieurs techniques de preuve, plus ou moins automatisées par des logiciels d’aide à la preuve, sont disponibles. Les recherches de Sandrine Blazy visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui permettent à un programme…

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, discute des modèles et abstractions à concevoir afin de raisonner sur les logiciels étudiés. Les recherches de cette spécialiste de sciences du logiciel visent au développement de logiciels sûrs. Sa contribution se concentre sur les compilateurs, des outils informatiques qui permettent à un programme écrit de devenir exécutable. Traditionnellement, ils ne sont pas vérifiés avec des garanties mathématiques, et peuvent donc compiler…

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, discute des modèles et abstractions à concevoir afin de raisonner sur les logiciels étudiés. Les recherches de cette spécialiste de sciences du logiciel visent au développement de logiciels sûrs. Sa contribution se concentre sur les compilateurs, des outils informatiques qui permettent à un programme écrit de devenir exécutable. Traditionnellement, ils ne sont pas vérifiés avec des garanties mathématiques, et peuvent donc compiler…

Avant d'entamer une preuve mathématique (une démonstration) vérifiée par ordinateur, Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, réfléchit aux grandes lignes de la démonstration et aux principes de raisonnement à appliquer. Les recherches de cette spécialiste de sciences du logiciel visent au développement de logiciels sûrs. Sa contribution se concentre sur les compilateurs, des outils informatiques qui permettent à un programme écrit de devenir exécutable. Traditionnellement…

Modèle en plastique imprimé en 3D, utilisé pour modéliser le transport des sédiments par une rivière dans un bassin versant, avec une zone d'accumulation à la sortie. Un bassin versant est l'ensemble du paysage recevant les eaux qui circulent naturellement vers une rivière. L'utilité de ce modèle est double, il permet d'abord d'observer l'évolution des rivières lors d'une perturbation climatique ou tectonique ; ensuite il permet de regarder comment ces évènements vont être enregistrés dans le…

Modèle en plastique imprimé en 3D utilisé pour modéliser le transport des sédiments par une rivière dans un bassin versant. Ici, c'est un cône alluvial, une zone d'accumulation à la sortie du bassin versant, des sédiments transportés dans le chenal. Un bassin versant est l'ensemble du paysage recevant les eaux qui circulent naturellement vers une rivière. L'utilité de ce modèle est double, il permet d'abord d'observer l'évolution des rivières lors d'une perturbation climatique ou tectonique ;…

Observation d'un modèle en plastique imprimé en 3D, utilisé pour modéliser le transport des sédiments par une rivière dans un bassin versant, avec une zone d'accumulation à la sortie. Un bassin versant est l'ensemble du paysage recevant les eaux qui circulent naturellement vers une rivière. Au fond à gauche, une machine alimente le modèle en sédiments et un tuyau amène de l'eau. L'utilité de ce modèle est double, il permet d'abord d'observer l'évolution des rivières lors d'une perturbation…

Observation d'un modèle en plastique imprimé en 3D, utilisé pour modéliser le transport des sédiments par une rivière dans un bassin versant, avec une zone d'accumulation à la sortie. Un bassin versant est l'ensemble du paysage recevant les eaux qui circulent naturellement vers une rivière. L'utilité de ce modèle est double, il permet d'abord d'observer l'évolution des rivières lors d'une perturbation climatique ou tectonique ; ensuite il permet de regarder comment ces évènements vont être…

Numérisation en 3D, grâce à un laser de laboratoire, de la topographie d'un modèle en plastique imprimé en 3D. Ce modèle imprimé en 3D est utilisé pour modéliser le transport des sédiments par une rivière dans un bassin versant, avec une zone d'accumulation à la sortie. Un bassin versant est l'ensemble du paysage recevant les eaux qui circulent naturellement vers une rivière. Les pastilles grises cerclées de noir présentes sur tout le modèle sont des marqueurs nécessaires au scanner pour…

Détail d'un modèle en plastique imprimé en 3D, utilisé pour modéliser le transport des sédiments par une rivière dans un bassin versant, avec une zone d'accumulation à la sortie. Un bassin versant est l'ensemble du paysage recevant les eaux qui circulent naturellement vers une rivière. Le cône gris alimente le modèle en sédiments et un tuyau amène de l'eau. Les pastilles grises cerclées de noir sont des marqueurs nécessaires au scanner pour obtenir un calage absolu dans l'espace. L'utilité de…