Domaine
Mathématiques, information scientifique, logiciel
Intitulé de l'offre
Stage - Formalisation Automatique du Langage Naturel pour le Monitoring Temps Réel H / F
Sujet de stage
Cf Description de l'offre
Durée du contrat (en mois)
3 mois minimum
Description de l'offre
La conduite d'un système complexe, que ce soit d'un véhicule, d'un processus de fabrication de produits, ou d'énergie, nécessite une vigilance continue d'un grand nombre d'observables sur des échelles de temps variables.
Une telle surveillance peut échapper aux capacités humaines. Des avaries risquent alors de passer inaperçues et, étant non contrôlées, d'avoir des conséquences désastreuses.
Une solution pour prévenir de tels risques consiste à mettre en place des observateurs automatiques capables de traiter en temps réel des flots d'évènements complexes et de remonter des alarmes synthétiques en cas de déviation par rapport aux comportements de référence.
Les méthodes formelles proposent des langages de haut niveau pour spécifier et synthétiser rapidement de tels observateurs.
Le laboratoire LIDEO développe notamment la technologie ARTiMon qui répond à cette problématique en permettant de produire automatiquement des observateurs à partir de spécifications écrites dans un langage formel dérivé des logiques temporelles linéaires métriques.
Il reste que les langages formels demandent une certaine expertise qui n'est pas toujours du ressort des concepteurs des systèmes, ni des opérateurs de conduite.
Ceux-ci privilégient le langage naturel pour exprimer les évènements ou les enchainements d'évènements à surveiller.
Le stage consistera à étudier la possibilité, en utilisant des techniques de traitement du langage naturel, d'extraire automatiquement des règles formelles de surveillance à partir de documents d'exploitation écrits en langage naturel.
Cela afin de réaliser, in fine, une synthèse automatique de moniteurs à partir de documents écrits en langage naturel.
Moyens / Méthodes / Logiciels
Profil du candidat
Compétences : Etudiant(e) master 2 ou école d'ingénieurs.
Domaine de spécialité requis : TALN (Traitement Automatisé du Langage Naturel), Méthodes Formelles, Programmation.
Autres domaines de spécialités, mots clés : intelligence artificielle, méthodes formelles, modélisation
Formalisation Automatique du Langage Naturel pour le Monitoring Temps Réel H FSujet de stageCf Description de l'offreDurée du contrat (en mois)3 mois minimumDescription de l'offreLa conduite...
Formalisation Automatique du Langage Naturel pour le Monitoring Temps Réel H F Sujet de stage Cf Description de l'offre Durée du contrat (en mois)3 mois minimum Description de l'offre La...
Développement de logiciels,. Comprendre les implémentations réelles des modèles de recherche... STAGE. Traitement Automatique du Langage Naturel (NLP). F H. Unité de temps. Mois. Branche. Holding...
Pouvant éventuellement être mis à jour en temps réel,Vous rendrez compte périodiquement de... ...
Enfin, une démonstration des résultats clôturera le stage. Profil. Etudiant en fin de cursus Bac 5 école d'Ingénieur ou Master universitaire.Bonne maîtrise du langage C. et de la...
Sujet de stage. Développeur Logiciel Java. Service d'allocation automatique d'actif dans le cadre d'une... Missions. Dans ce contexte, l'objectif du stage est de travailler sur un outil d'automatisation du choix...
Entité de rattachement Le Commissariat à l'énergie atomique et aux énergies alternatives (CEA) est un organisme public de recherche. Acteur majeur de la recherche, du développement...
Votre initiative et votre autonomie seront des aptitudes appréciées pour ce stage. Entreprise... ..et offrent de nouvelles possibilités d'améliorer le monde réel grâce aux univers virtuels...
Vous développerez une Interface Homme Machine (IHM) de restitution des résultats, pouvant éventuellement être mis à jour en temps réel,. Vous rendrez compte périodiquement de l'avancement...
Poste. Votre stage consistera à renforcer l'indice de confiance dans les données présentées, en... ..et offrent de nouvelles possibilités d'améliorer le monde réel grâce aux univers virtuels...
Nous offrons la possibilité de travailler à temps partiel et le week end. C'est aussi simple que ça !Nous vous faciliterons la vie en. Vous fournissant les équipements nécessairesVous...
L'objectif de ce stage est de développer et de mettre en valeur des méthodes de simulation qui vont au... ..et offrent de nouvelles possibilités d'améliorer le monde réel grâce aux univers virtuels...
Vous suivrez de près les anomalies provenant de son utilisation.Ce stage, basé à Chatillon (92... vous maîtrisez le langage Java.Vous êtes curieux, autonome, adaptable et reconnu pour votre aisance...
Objectifs du stage. Développer et compléter le SharePoint de la Business Unit Ingénierie de Masteris... Au travers nos contrats de maintenance, il est nécessaire de connaitre en temps réel le suivi de la...
Développement, administration réseaux, pilotage de projets, support, helpdesk et infrastructures.Nous recherchons un Coordinateur IT AS400 sur la base d'un temps partiel de 3 jours sur 5, par...
Environnement technique. Langages C C. embarqué sur cible temps réel (type FreeRTOS ou linux Real Time). Liaisons de communication de type Ethernet, USB et séries (RS232, RS422). Connaissance...
Analyse et l'interprétation des données acquises in situ et en temps réel,Contribution aux projets... Maîtrise des outils bureautiques (Office) et en particulier d'Excel.La maîtrise d'un langage de...
Ce stage vise à détecter et suivre automatiquement des sous éléments critiques de véhicules... Keras Tensorflow Pytorch et vous connaissez les langages C et C. Une expérience sur une carte NVIDIA...
... Compétences techniques souhaitées. Langage C embarqué et C. OS INTEGRITY (similaire à linux. POSIX...
Objectif du stage. La suite du logiciel est développée au sein de MBDA et utilisée comme plateforme... Vous possédez des premières connaissances en programmation (C) et en environnement temps réels...