Intérêt dans le domaine de la défense et de la sécurité : manipulation

Télécharger le fichier original (Mémoire de fin d'études) Détection de robots De larges pans de l’activité légitime sur Twitter est constitué de robots, souvent mus par des entreprises ou institutions, répliquant de manière automatisée sur plusieurs réseaux sociaux un même...

SPECTROSCOPIE ET CARACTERISATION DE MATERIAUX

Télécharger le fichier original (Mémoire de fin d'études) Banque d’images Dans le domaine ferroviaire et en particulier à la SNCF, il n’existait pas de données pour l’analyse d’images dans le but d’en déduire un coefficient d’adhérence. Le cas d’emploi n’ayant...

Complexe cubique associé au groupe de Cremona

Télécharger le fichier original (Mémoire de fin d'études) Introduction Une bonne façon d’étudier un espace est de s’intéresser à son groupe de trans-formations. Dans le cas de l’espace projectif de dimension n, noté Pn, son groupe d’automorphisme est isomorphe à...

Mémoire associative bidirectionnelle à base de clique

Télécharger le fichier original (Mémoire de fin d'études) Variantes du modèle BCAM Les deux modèles principaux sont le BCAM-BAM et le BCAM-CS. Le premier modèle repose sur l’utilisation d’une matrice d’association bidirectionnel (BAM), et le second sur l’acquisition comprimée (CS)....

Résolution numérique du problème mécanique

Télécharger le fichier original (Mémoire de fin d'études) Solveur Multigrille Pour terminer ce chapitre, nous étudions l’utilisation de la méthode multigrille en tant que solveur. Les motivations derrière ce développement étaient pour partie de se libérer de la "boite noire"...

PRODUCTION DE PUISSANCE ACTIVE DANS UN RESEAU D’ENERGIE ELECTRIQUE

PRODUCTION DE PUISSANCE ACTIVE DANS UN RESEAU D’ENERGIE ELECTRIQUE FORMALISATION D’UN PROGRAMME LINEAIRE Principe La formalisation d’un programme linéaire est une tâche délicate mais essentielle car elle conditionne la découverte ultérieure de la bonne solution. Il faut d’abord bien comprendre...

Analyse et Conception d’une plate-forme de validation de diplômes basée sur la blockchain

Analyse et Conception d'une plate-forme de validation de diplômes basée sur la blockchain Rappel cryptographique Nous allons dans ce chapitre faire un rappel sur les outils cryptographiques indispensables à la réalisation de notre projet et à la compréhension de la...

Cadre générique d’approximation par décomposition en train de tenseurs

Décompositions tensorielles et factorisations de calculs intensifs appliquées à l’identification de modèles de  comportement non linéaire Expérimentation Définition des essais Une fois qu’un modèle matériau a été théoriquement formulé, le travail de l’expert consiste à choisir les essais expérimentaux à...

Applications et principales méthodes de la recherche de similitudes

Applications et principales méthodes de la recherche de similitudes Nous présentons ici les problématiques et applications majeures de la recherche statique de similitudes sur du code source. La recherche de correspondances ainsi que la mise au point de métriques de...

Automates et expressions rationnelles 

Télécharger le fichier original (Mémoire de fin d'études) Automates et expressions rationnelles La théorie des automates commen¸ca en 1956 lorsque Kleene établit l’équiva-lence entre expressions rationnelles et automates pour les ensembles de mots finis [21]. Depuis lors, ce célèbre théorème...