Relevant bibliographies by topics / Système de vérification de locuteur / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Système de vérification de locuteur.

Dissertations / Theses on the topic 'Système de vérification de locuteur'

Author: Grafiati
Published: 1 June 2024
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Système de vérification de locuteur.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Larcher, Anthony. "Modèles acoustiques à structure temporelle renforcée pour la vérification du locuteur embarquée." Phd thesis, Université d'Avignon, 2009. http://tel.archives-ouvertes.fr/tel-00453645.

Full text
Abstract:
La vérification automatique du locuteur est une tâche de classification qui vise à confirmer ou infirmer l'identité d'un individu d'après une étude des caractéristiques spécifiques de sa voix. L'intégration de systèmes de vérification du locuteur sur des appareils embarqués impose de respecter deux types de contraintes, liées à cet environnement : - les contraintes matérielles, qui limitent fortement les ressources disponibles en termes de mémoire de stockage et de puissance de calcul disponibles ; - les contraintes ergonomiques, qui limitent la durée et le nombre des sessions d'entraînement a
APA, Harvard, Vancouver, ISO, and other styles
2

Ottens, Kévin. "Un système multi-agent adaptatif pour la construction d'ontologies à partir de textes." Phd thesis, Université Paul Sabatier - Toulouse III, 2007. http://tel.archives-ouvertes.fr/tel-00176883.

Full text
Abstract:
Le Web sémantique désigne un ensemble de technologies visant à rendre le contenu des ressources du World Wide Web accessible et utilisable par les programmes et agents logiciels. Ainsi, il doit faciliter l'accès à l'information pour les utilisateurs. Or, un des enjeux du succès du Web sémantique est la disponibilité d'ontologies qui sont des représentations de connaissances formalisées et exploitables par des systèmes informatiques pour leur communication. Malheureusement leur construction est généralement longue et coûteuse, et leur maintenance soulève des problèmes jusqu'ici sous-estimés. S'
APA, Harvard, Vancouver, ISO, and other styles
3

Mariéthoz, Johnny. "Algorithmes d'apprentissage discriminants en vérification du locuteur." Lyon 2, 2006. http://theses.univ-lyon2.fr/documents/lyon2/2006/mariethoz_j.

Full text
Abstract:
This thesis addresses text-independent speaker verification from a machine learning point of view. We use the machine learning framework to better define the problem and to develop new unbiased performance measures and statistical tests to compare objectively new approaches. We propose a new interpretation of the state-of-the-art Gaussian Mixture Model based system and show that they are discriminant and equivalent to a mixture of linear classifiers. A general framework for score normalization is also given for both probability and non-probability based models. With this new framework we bette
APA, Harvard, Vancouver, ISO, and other styles
4

Sanchez-Soto, Eduardo. "Réseaux Bayésiens Dynamiques pour la Vérification du Locuteur." Phd thesis, Télécom ParisTech, 2005. http://tel.archives-ouvertes.fr/tel-00011440.

Full text
Abstract:
Cette thèse est concernée avec la modélisation statistique du signal de parole appliqué à la vérification du locuteur (VL) en utilisant des réseaux bayésiens (RBs). L'idée principale de ce travail est d'employer les RBs comme un outil mathématique afin de combiner plusieurs sources d'information obtenues à partir du signal de parole en gardant ses relations. Elle combine de travail théorique et expérimental. Une différence fondamentale entre les systèmes de VL et les humains est la quantité et la qualité de l'information utilisée ainsi que la relation entre les sources d'information employées
APA, Harvard, Vancouver, ISO, and other styles
5

Pierrot, Jean-Benoît. "Elaboration et validation d'approches en vérification du locuteur." Paris, ENST, 1998. http://www.theses.fr/1998ENST0029.

Full text
Abstract:
Les progrès des outils de traitement du signal conjugues a une meilleure connaissance des propriétés de la parole ont récemment permis de rendre plus fiable la modélisation de ce signal et d'espérer un développement d'applications commerciales dans ce domaine. Préalablement, il s'agit d'adapter les outils communément utilises en traitement de la parole au contexte du produit que l'on souhaite créer. Et finalement évaluer la qualité des résultats obtenus pour cet environnement d'utilisation particulier. On effectue ici une démarche de ce type pour la vérification automatique de l'identité du lo
APA, Harvard, Vancouver, ISO, and other styles
6

Sánchez-Soto, Eduardo. "Réseaux bayésiens dynamiques pour la vérification du locuteur." Paris, ENST, 2005. http://www.theses.fr/2005ENST0032.

Full text
Abstract:
Cette thèse est concernée avec la modélisation statistique du signal de parole appliqué à la vérification du locuteur (VL) en utilisant des réseaux bayésiens (RBs). L'idée principale de ce travail est d'employer les RBs comme un outil mathématique afin de combiner plusieurs sources d'information obtenues à partir du signal de parole en gardant ses relations. Elle combine de travail théorique et expérimental. Une différence fondamentale entre les systèmes de VL et les humains est la quantité et la qualité de l'information utilisée ainsi que la relation entre les sources d'information employées
APA, Harvard, Vancouver, ISO, and other styles
7

Mtibaa, Aymen. "Towards robust and privacy-preserving speaker verification systems." Electronic Thesis or Diss., Institut polytechnique de Paris, 2022. http://www.theses.fr/2022IPPAS002.

Full text
Abstract:
Les systèmes de vérification du locuteur sont une technologie clé dans de nombreux appareils et services tels que les smartphones, les assistants numériques intelligents et les applications bancaires. Pendant la pandémie de COVID-19, les systèmes de contrôle d'accès basés sur des lecteurs d'empreintes digitales ou des claviers augmentent le risque de propagation du virus. Par conséquent, les entreprises repensent maintenant leurs systèmes de contrôle d'accès des employés et envisagent des technologies d'autorisation sans contact, telles que les systèmes de vérification des locuteurs. Cependant
APA, Harvard, Vancouver, ISO, and other styles
8

Dugas, Charles. "Les techniques de normalisation appliquées à la vérification du locuteur." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/tape17/PQDD_0006/MQ38676.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Scheffer, Nicolas. "Structuration de l'espace acoustique par le modèle générique pour la vérification du locuteur." Avignon, 2006. http://www.theses.fr/2006AVIG0146.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Louradour, Jérôme. "Noyaux de séquences pour la vérification du locuteur par machines à vecteurs de support." Toulouse 3, 2007. http://www.theses.fr/2007TOU30004.

Full text
Abstract:
La vérification automatique du locuteur (VAL) est une tâche de classification binaire, qui consiste à déterminer si un énoncé de parole a été prononcé ou non par un locuteur cible. Les Machines à Vecteurs de Support (SVMs) sont devenues un outil classique pour ce type de classification. Cette approche discriminante a suscité l’intérêt de nombreuses recherches en reconnaissance des formes, tant pour ses fondements théoriques solides que pour ses bonnes performances empiriques. Mais la mise en oeuvre des SVMs pour la VAL en situation réelle soulevant plusieurs problèmes relatifs aux caractéristi
APA, Harvard, Vancouver, ISO, and other styles
11

Kharroubi, Jamal. "Etude de techniques de classement "Machines à vecteurs supports" pour la vérification automatique du locuteur." Phd thesis, Télécom ParisTech, 2002. http://pastel.archives-ouvertes.fr/pastel-00001124.

Full text
Abstract:
Les SVM (Support Vector Machines) sont de nouvelles techniques d'apprentissage statistique proposées par V.Vapnik en 1995. Elles permettent d'aborder des problèmes très divers comme le classement, la régression, la fusion, etc... Depuis leur introduction dans le domaine de la Reconnaissance de Formes (RdF), plusieurs travaux ont pu montrer l'efficacité de ces techniques principalement en traitement d'image. L'idée essentielle des SVM consiste à projeter les données de l'espace d'entrée (appartenant à deux classes différentes) non-linéairement séparables dans un espace de plus grande dimension
APA, Harvard, Vancouver, ISO, and other styles
12

Blouet, Raphaël. "Approche probabiliste par arbres de décision pour la vérification automatique du locuteur sur architectures embarquées." Rennes 1, 2002. http://www.theses.fr/2002REN10151.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Seidner, Charlotte. "Vérification des EFFBDs : model checking en ingénierie système." Nantes, 2009. http://www.theses.fr/2009NANT2140.

Full text
Abstract:
L'Ingénierie Système (IS) est une méthodologie pluridisciplinaire de conception et de mise en oeuvre des systèmes complexes. La maîtrise de la Sûreté de Fonctionnement est un processus essentiel de l'IS et, dans sa poursuite, le recours à des méthodes formelles telles que le model checking se heurte généralement à des difficultés d'utilisation. Dans cette thèse Cifre, effectuée en collaboration avec l'IRCCyN et Sodius, nous avons cherché à concevoir un outil de vérifications formelle d'architectures fonctionnelles qui soit immédiatement utilisable dans des démarches de conception d'IS. Dans ce
APA, Harvard, Vancouver, ISO, and other styles
14

Soldi, Giovanni. "Diarisation du locuteur en temps réel pour les objets intelligents." Electronic Thesis or Diss., Paris, ENST, 2016. http://www.theses.fr/2016ENST0061.

Full text
Abstract:
La diarisation du locuteur en temps réel vise à détecter "qui parle maintenant" dans un flux audio donné. La majorité des systèmes de diarisation en ligne proposés a mis l'accent sur des domaines moins difficiles, tels que l’émission des nouvelles et discours en plénière, caractérisé par une faible spontanéité. La première contribution de cette thèse est le développement d'un système de diarisation du locuteur complètement un-supervisé et adaptatif en ligne pour les données de réunions qui sont plus difficiles et spontanées. En raison des hauts taux d’erreur de diarisation, une approche semi-s
APA, Harvard, Vancouver, ISO, and other styles
15

Fux, Thibaut. "Vers un système indiquant la distance d'un locuteur par transformation de sa voix." Thesis, Grenoble, 2012. http://www.theses.fr/2012GRENT120/document.

Full text
Abstract:
Cette thèse porte sur la transformation de la voix d’un locuteur dans l’objectif d’indiquer la distance de celui-ci : une transformation en voix chuchotée pour indiquer une distance proche et une transformation en voix criée pour une distance plutôt éloignée. Nous effectuons dans un premier temps des analyses approfondies pour déterminer les paramètres les plus pertinentes dans une voix chuchotée et surtout dans une voix criée (beaucoup plus difficile). La contribution principale de cette partie est de montrer la pertinence des paramètres prosodiques dans la perception de l’effort vocal dans u
APA, Harvard, Vancouver, ISO, and other styles
16

Vanackère, Vincent. "Trust : un système de vérification automatique de protocoles cryptographiques." Aix-Marseille 1, 2004. http://www.theses.fr/2004AIX11063.

Full text
Abstract:
La vérification automatique des protocoles cryptographiques est un problème difficile et aux répercussions économiques importantes. On sait par ailleurs qu'il n'admet pas de solution générale car il est indécidable pour un nombre non borné de sessions. Nous nous intéressons dans cette thèse à l'étude des protocoles comportant un nombre borné de sessions en parallèle. Nous introduisons un système de réduction symbolique qui permet dans ce cadre d'effectuer une vérification exacte de ces protocoles. Afin de rendre cette méthode utilisable en pratique sur des protocoles comportant plusieurs sessi
APA, Harvard, Vancouver, ISO, and other styles
17

Chane-Yack-Fa, Raphaël. "Vérification formelle de systèmes d'information." Thèse, Université de Sherbrooke, 2018. http://hdl.handle.net/11143/11630.

Full text
Abstract:
Cette thèse s'intéresse à l'étude des méthodes formelles de spécification et de vérification dans le cadre des systèmes d'information. Les systèmes d'informations sont des systèmes dynamiques constitués d'entités et d'associations représentées par la composition en parallèle de processus répliqués issus de différentes classes. De plus, ces systèmes font partie de la classe des systèmes paramétrés. On propose un modèle de spécification de systèmes paramétrés, nommé PASTD, qui est adapté aux systèmes d'information et qui est basé sur la notation des diagrammes états-transitions algébriques (ASTD
APA, Harvard, Vancouver, ISO, and other styles
18

Charbuillet, Christophe. "Algorithmes évolutionnistes appliqués à l'extraction de caractéristiques pour la reconnaissance du locuteur." Paris 6, 2008. http://www.theses.fr/2008PA066564.

Full text
Abstract:
L'étape d'extraction de caractéristiques occupe une place fondamentale dans les systèmes de reconnaissance des formes. Ces travaux de thèse portent sur l’optimisation de ce module de traitement pour la tâche de reconnaissance du locuteur par Algorithmes Evolutionnistes (AEs). Nous avons évalué cette approche pour la tâche de segmentation et le regroupement du locuteur (SRL) ainsi que pour la tâche de vérification automatique du locuteur, dans le cadre des campagnes d'évaluation ESTER 2005 et Nist 2006. Les différentes études réalisées montrent que l'utilisation d'AE pour l'optimisation du modu
APA, Harvard, Vancouver, ISO, and other styles
19

Benlahouar, Azzouz. "Nouvelles techniques de segmentation pour caractériser le timbre vocal d'un locuteur en vue de la vérification automatique de l'identité." Mémoire, École de technologie supérieure, 2003. http://espace.etsmtl.ca/778/1/BENLAHOUAR_Azzouz.pdf.

Full text
Abstract:
Dans ce travail de recherche nous avons développé de nouvelles techniques de segmentation fréquentielle caractérisant l'empreinte vocale en vu de l'authentification de l'identité du locuteur. Nous avons proposé un nouvel algorithme MSAAB (Meilleure Structure d'Arbre ABstrait) impliquant une analyse en ondelettes et une analyse en composante principale. À partir d'un signal vocal d'un locuteur donné, nous pouvons déterminer les paramètres acoustiques appropriés qui lui permettent d'être discriminant. En utilisant l'algorithme MSAAB, nous avons effectué une série d'expériences pour la vérificati
APA, Harvard, Vancouver, ISO, and other styles
20

François, Dominique. "Détection et identification des occlusives et fricatives au sein du système indépendant du locuteur APHODEX." Nancy 1, 1995. http://www.theses.fr/1995NAN10044.

Full text
Abstract:
Les travaux présentés dans cette thèse portent sur le décodage acoustico-phonétique dans un système expert indépendant du locuteur. Ce système, APHODEX, est la réalisation d'une des premières expériences sur la modélisation de la lecture de spectrogramme. Une première évaluation permettait de mettre en évidence les atouts du système ainsi que ses carences. Connaissant les caractéristiques de la parole continue, en particulier la coarticulation, l'architecture et le fonctionnement du moteur d'inférence, de par leur prise en compte dans le raisonnement des contextes gauches et droits du segment
APA, Harvard, Vancouver, ISO, and other styles
21

Fernandez, Jean-Claude. "ALDEBARAN : un système de vérification par réduction de processus communicants." Phd thesis, Grenoble 1, 1988. http://tel.archives-ouvertes.fr/tel-00326157.

Full text
Abstract:
Le système de vérification propose permet de réduire et de comparer des systèmes de transitions étiquetées en tenant compte d'une relation d'équivalence. Les relations d'équivalence considérées sont la congruence forte, l'équivalence et la congruence observationnelles et la congruence par modèle d'acceptation. Les bases théoriques d'Aldebaran sont présentées ainsi que des algorithmes efficaces pour la comparaison et les réductions de systèmes de transition étiquetées et une réalisation en langage C
APA, Harvard, Vancouver, ISO, and other styles
22

Liu, Yinling. "Conception et vérification du système d'Information pour la maintenance aéronautique." Thesis, Lyon, 2019. http://www.theses.fr/2019LYSEI133.

Full text
Abstract:
Le soutien opérationnel est l’un des aspects les plus importants pour la maintenance aéronautique. Il vise essentiellement à fournir un portefeuille de services permettant d’implémenter la maintenance avec un niveau élevé d’efficacité, de fiabilité et d’accessibilité. L’une des principales difficultés du support opérationnel est qu’il n’existe pas de plate-forme intégrant tous les processus de maintenance des avions afin de réduire les coûts et d’améliorer le niveau de service. Il est donc nécessaire de réaliser un système autonome de maintenance des avions dans lequel toutes les informations
APA, Harvard, Vancouver, ISO, and other styles
23

Mpe, A. Guilikeng Albert. "Un système de prédiction/vérification pour la localisation d'objets tridimentionnels." Compiègne, 1990. http://www.theses.fr/1990COMPD286.

Full text
Abstract:
Ce travail présente un système de localisation d'objets solides 3D dans une image optique par prédiction/vérification. Les traitements préalables sont la description des objets, ici représentés par une structure C. S. G. Par listes et la calibration de la caméra. La prédiction utilise ces informations, ainsi que les matrices de position pour construire une image des régions. Ces matrices proviennent soit d'informations issues d'un contrôleur de robot, soit d'une génération d'hypothèses. La prédiction utilise des modules de projection de formes primitives telles que les polyhèdres, les ellipsoï
APA, Harvard, Vancouver, ISO, and other styles
24

Gondelman, Léon. "Un système de types pragmatique pour la vérification déductive des programmes." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLS583/document.

Full text
Abstract:
Cette thèse se place dans le contexte de la vérification déductive des programmes et a pour objectif de formaliser un certain nombre de concepts qui sont mis en œuvre dans l'outil de vérification Why3.L'idée générale est d'explorer des solutions qu'une approche à base de systèmes de types peut apporter à la vérification. Nous commençons par nous intéresser à la notion du code fantôme, une technique implantée dans de nombreux outils de vérification modernes, qui consiste à donner à des éléments de la spécification les apparences d'un code opérationnel. L'utilisation correcte du code fantôme req
APA, Harvard, Vancouver, ISO, and other styles
25

Vergamini, Didier. "Vérification de réseaux d'automates finis par équivalences observationnelles : le système AUTO." Nice, 1987. http://www.theses.fr/1987NICE4142.

Full text
Abstract:
Pour modéliser les systèmes parallèles et communicants, on utilise les algèbres de processus introduites par R. Milner permettant de donner la sémantique de termes représentant de tels systèmes sous forme de systèmes de transitions. Pour vérifier des programmes, on utilise la notion d'équivalence observationnelle associée à un critère d'observation. Le système AUTO issu du système ECRINS qui permet de manipuler des algèbres de processus est utilisé pour la mise en œuvre du principe de vérification. On donne une description complète du système et de son implantation en LE LISP. Son utilisation
APA, Harvard, Vancouver, ISO, and other styles
26

Robbana, Riadh. "Spécification et vérification de systèmes hybrides." Phd thesis, Université Joseph Fourier (Grenoble), 1995. http://tel.archives-ouvertes.fr/tel-00346070.

Full text
Abstract:
Les systèmes hybrides sont des systèmes qui combinent des composantes discrètes et des composantes continues. Les composantes continues peuvent représenter un environnement physique obéissant à des règles de changement continu, par contre les composantes discrètes peuvent représenter des contrôleurs discrets qui sondent et manipulent les composantes continues en temps réel. Deux approches peuvent être adoptées pour spécifier ces systèmes, la première étant basée sur des automates (hybrides) et utilise des méthodes d'analyse algorithmiques. La seconde est basée sur les logiques et utilise des p
APA, Harvard, Vancouver, ISO, and other styles
27

Boucherit, Aziza. "L'implication du locuteur dans le discours et le renouvellement du système aspectif dans le dialecte arabe d'Alger." Paris 3, 1994. http://www.theses.fr/1994PA030140.

Full text
Abstract:
L'étude propose une description synchronique du système verbal de l'arabe dialectal parle à Alger dans laquelle l'accent a été mis sur un des processus par lesquels un système verbal, dont le fonctionnement est fondamentalement aspectif, est susceptible de se renouveler par l'insertion dans le système d'une particule pre-verbale fléchie (ra + pronom suffixe) destinée à exprimer la notion de concomitance. Outre l'introduction (chap. I) définissant les objectifs de la recherche, les différents types de matériaux analyses et les conditions d'enquête sur le terrain, l'étude comprend quatre parties
APA, Harvard, Vancouver, ISO, and other styles
28

Charguéraud, Arthur. "Vérification de programmes à l'aide de formules caractéristiques." Paris 7, 2010. http://www.theses.fr/2010PA077214.

Full text
Abstract:
Cette thèse introduit une nouvelle approche a la vérification de programmes, basée sur des formules caractéristiques. La formule caractéristique d'un programme est une formule de la logique d'ordre supérieur qui décrit le comportement d'un programme d'une manière correcte et complète vis-à-vis de la sémantique. Cette formule peut être exploitée dans un assistant de preuve pour établir de manière interactive qu'un programme satisfait une spécification de correction totale exprimée dans le style de la logique de séparation. La formule caractéristique d'un programme est automatiquement générée à
APA, Harvard, Vancouver, ISO, and other styles
29

Graja, Zaineb. "Vérification formelle des systèmes multi-agents auto-adaptatifs." Thesis, Toulouse 3, 2015. http://www.theses.fr/2015TOU30105/document.

Full text
Abstract:
Un des défis majeurs pour le développement des Systèmes Multi-Agents (SMA) auto-organisateurs est de garantir la convergence du système vers la fonction globale attendue par un observateur externe et de garantir que les agents sont capables de s'adapter face aux perturbations. Dans la littérature, plusieurs travaux se sont basés sur la simulation et le model-checking pour analyser les SMA auto-organisateurs. La simulation permet aux concepteurs d'expérimenter plusieurs paramètres et de créer certaines heuristiques pour faciliter la conception du système. Le model-checking fournit un support po
APA, Harvard, Vancouver, ISO, and other styles
30

Mateescu, Radu. "Vérification des propriétés temporelles des programmes parallèles." Phd thesis, Grenoble INPG, 1998. http://tel.archives-ouvertes.fr/tel-00004896.

Full text
Abstract:
La vérification formelle est indispensable pour assurer la fiabilité des applications critiques comme les protocoles de communication et les systèmes répartis. La technique de vérification basée sur les modèles (model-checking) consiste à traduire l'application vers un système de transitions étiquetées (STE), sur lequel les propriétés attendues, exprimées en logique temporelle, sont vérifiées à l'aide d'outils appelés évaluateurs (model-checkers). Cependant, les logiques temporelles "classiques", définies sur un vocabulaire d'actions atomiques, ne sont pas adaptées aux langages de description
APA, Harvard, Vancouver, ISO, and other styles
31

Methni, Amira. "Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle." Thesis, Paris, CNAM, 2016. http://www.theses.fr/2016CNAM1057/document.

Full text
Abstract:
Avec l'évolution des technologies, la complexité des systèmes informatiques ne cesse de s'accroître. Parmi ces systèmes, on retrouve les logiciels critiques qui doivent offrir une garantie de sûreté de fonctionnement qui s'avère crucial et pour lesquels un dysfonctionnement peut avoir des conséquences graves. Les méthodes formelles fournissent des outils permettant de garantir mathématiquement l'absence de certaines erreurs. Ces méthodes sont indispensables pour assurer les plus hauts niveaux de sûreté. Mais l'application de ces méthodes sur un code système bas niveau se heurte à des difficult
APA, Harvard, Vancouver, ISO, and other styles
32

Methni, Amira. "Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle." Electronic Thesis or Diss., Paris, CNAM, 2016. http://www.theses.fr/2016CNAM1057.

Full text
Abstract:
Avec l'évolution des technologies, la complexité des systèmes informatiques ne cesse de s'accroître. Parmi ces systèmes, on retrouve les logiciels critiques qui doivent offrir une garantie de sûreté de fonctionnement qui s'avère crucial et pour lesquels un dysfonctionnement peut avoir des conséquences graves. Les méthodes formelles fournissent des outils permettant de garantir mathématiquement l'absence de certaines erreurs. Ces méthodes sont indispensables pour assurer les plus hauts niveaux de sûreté. Mais l'application de ces méthodes sur un code système bas niveau se heurte à des difficult
APA, Harvard, Vancouver, ISO, and other styles
33

Cambolive, Guillaume. "Scrables : un système intelligent d'audit." Toulouse 3, 1993. http://www.theses.fr/1993TOU30237.

Full text
Abstract:
Cette these decrit les travaux realises pour repondre aux besoins des auditeurs en matiere de systemes d'informations. Ces travaux se situent a l'intersection de deux domaines: celui des systemes d'informations et celui de l'intelligence artificielle distribuee. Realiser un audit necessite des connaissances multi-domaines et la mise en uvre d'une demarche de resolution de probleme hierarchique et en partie opportuniste. Le systeme d'information a la disposition des auditeurs est constitue principalement de documents a structures complexes. L'auteur definit dans un premier temps un modele de de
APA, Harvard, Vancouver, ISO, and other styles
34

Berkane, Bachir. "Vérification des systèmes matériels numériques séquentiels synchrones : application du langage Lustre et de l'outil de vérification Lesar." Phd thesis, Grenoble INPG, 1992. http://tel.archives-ouvertes.fr/tel-00340909.

Full text
Abstract:
La validation fonctionnelle d'un système matériel consiste a vérifier le système vis-a-vis de son fonctionnement attendu. Il existe deux façons de spécifier ce fonctionnement attendu. D'une part, la spécification peut être donnée sous forme d'une description fonctionnelle complète. D'autre part, l'expression de cette spécification peut être donnée sous forme d'un ensemble de propriétés temporelles critiques. Ces deux façons de spécifier les systèmes matériels ont donne lieu a deux problèmes de vérification. Notre domaine d'étude concerne les systèmes matériels numériques séquentiels synchrones
APA, Harvard, Vancouver, ISO, and other styles
35

Ly, Van Bao. "Réalisation d'un système de vérification de signature manuscrite en-ligne indépendant de la plateforme d'acquisition." Evry, Institut national des télécommunications, 2005. http://www.theses.fr/2005TELE0008.

Full text
Abstract:
La biométrie est depuis très longtemps utilisée comme moyen de vérification de l'identité. Cette thèse contribue à la vérification automatique de l'identité par la signature manuscrite en-ligne. Cette dernière est souvent échantillonnée par une tablette à digitaliser ou un écran tactile. La signature manuscrite est une modalité biométrique particulièrement répandue et acceptée. Nos travaux ont permis de réaliser un algorithme de vérification original, générique, développé indépendamment des bases d'expérience. Il peut être mis en œuvre sur différentes plateformes d'acquisition sans aucune étud
APA, Harvard, Vancouver, ISO, and other styles
36

Mami, Yassine. "Reconnaissance de locuteurs par localisation dans un espace de locuteurs de référence." Phd thesis, Télécom ParisTech, 2003. http://tel.archives-ouvertes.fr/tel-00005757.

Full text
Abstract:
Cette thèse s'inscrit dans le domaine de la reconnaissance automatique du locuteur, domaine riche d'applications potentielles allant de la sécurisation d'accès à l'indexation de documents audio. Afin de laisser le champ à un large éventail d'applications, nous nous intéressons à la reconnaissance de locuteur en mode indépendant du texte et dans le cas où nous disposons de très peu de données d'apprentissage. Nous nous intéressons plus particulièrement à la modélisation et à la représentation des locuteurs. Il s'agit d'estimer avec très peu de données un modèle suffisamment robuste du locuteur
APA, Harvard, Vancouver, ISO, and other styles
37

Arcile, Johan. "Conception, modélisation et vérification formelle d’un système temps-réel d’agents coopératifs : application aux véhicules autonomes communicants." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLE029.

Full text
Abstract:
Cette thèse est motivée par la question de la validation de propriétés dans un système composé de plusieurs agents mobiles prenants individuellement des décisions en temps réel.Chaque agent a une perception de l'environnement qui lui est propre et peut communiquer avec les autres agents à proximité.L'application qui a été choisie comme cas d'étude est celle des véhicules autonomes, qui du fait du large nombre de variables impliquées dans la représentation de tels systèmes, rend impossible des approches naïves.Les problématiques traitées concernent, d'une part, la modélisation d'un tel système,
APA, Harvard, Vancouver, ISO, and other styles
38

Lafon, Philippe. "Méthodes de vérification de bases de connaissances." Phd thesis, Ecole Nationale des Ponts et Chaussées, 1991. http://tel.archives-ouvertes.fr/tel-00520738.

Full text
Abstract:
Nous présentons dans cette thèse les travaux réalisés concernant la vérification automatique de Bases de Connaissances de Systèmes Experts. Cette étude comporte un panorama des systèmes existants, puis deux parties indépendantes. La première traite de la Cohérence de bases de règles d'ordre Zéro Plus. Nous présentons le système MELOMIDIA, qui fournit, quand elles existent, les bases de faits initiales conduisant à des déductions contradictoires. Le système permet aussi d'améliorer l'exploitation de la base de règles analysée (élimination des règles inutiles, filtrage de la base de faits initia
APA, Harvard, Vancouver, ISO, and other styles
39

Azzoune, Hamid. "Les types en Prolog : un système d'inférence de type et ses applications." Phd thesis, Grenoble INPG, 1989. http://tel.archives-ouvertes.fr/tel-00332314.

Full text
Abstract:
Contribution à l'approche inferentielle pour l'introduction de la notion de type en Prolog. Cette approche consiste à déduire automatiquement d'un programme les types des prédicats. Le programmeur peut ainsi s'assurer de la conformité du programme à ses intentions. Une méthode d'inférence de type pour Prolog est présentée. Elle se base sur une simulation de l'unification et une simulation de la résolution, avec un traitement particulier sur les appels récursifs
APA, Harvard, Vancouver, ISO, and other styles
40

Cellier, Peggy. "DeLLIS : débogage de programmes par localisation de fautes avec un système d’information logique." Rennes 1, 2008. ftp://ftp.irisa.fr/techreports/theses/2008/cellier.pdf.

Full text
Abstract:
La localisation de fautes consiste à donner des indices qui vont mener à la correction des fautes liées à des défaillances. La première contribution de cette thèse est une nouvelle structure de données pour la localisation de fautes: un treillis contenant des informations sur les traces d'exécution. Il est obtenu en combinant la recherche de règles d'association et l'analyse formelle de concepts, deux techniques de fouille de données. Le treillis permet d'ordonner partiellement les informations des traces d'exécution en échec. Ainsi les dépendances entre les éléments des traces sont pris en co
APA, Harvard, Vancouver, ISO, and other styles
41

Karfoul, Hazem. "L'efficacité du système de contrôle interne et le seuil optimal du risque opérationnel : un modèle d'équilibre de l'allocation des ressources pour l'organisation bancaire." Bordeaux 4, 2010. http://www.theses.fr/2010BOR40089.

Full text
Abstract:
Les études sur la mesure du risque opérationnel (Rop), et l’estimation du capital économique y alloué (CaRop) ont considérablement proliférés dans les dernières années. Toutefois, la prise en compte de la qualité du système de contrôle interne (SCI) dans le processus du calcul est encore effe- ctuée de manière implicite et restreinte. Cette déficience aboutit en effet à des estimations biaisées et non cohérentes avec le profil réel de Rop des banques. Alors, pour aligner l’estimation du CaRop avec le profil de Rop de la banque, nous proposons, dans ce travail, un cadre d’analyse adapté à la sp
APA, Harvard, Vancouver, ISO, and other styles
42

Bellefeuille, Sylvain. "Proposition d'un modèle de système d'aide à la vérification de la cohérence dans les bases de règles." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ60612.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
43

Khoury, Raphaël. "Détection du code malicieux : système de type à effets et instrumentation du code." Thesis, Université Laval, 2005. http://www.theses.ulaval.ca/2005/23250/23250.pdf.

Full text
Abstract:
Ce mémoire traite en premier lieu des avantages et des désavantages des différentes approches visant à assurer la sûreté et la sécurité des logiciels. En second lieu, il présente une nouvelle approche pour combiner l'analyse statique et l'analyse dynamique afin de produire une architecture de sécurité plus puissante. Les premiers chapitres du mémoire comportent une revue analytique des différentes approches statiques, dynamiques et hybrides qui peuvent être utilisées afin de sécuriser le code potentiellement malicieux. L'exposé identifie alors les avantages et les inconvénients de chaque a
APA, Harvard, Vancouver, ISO, and other styles
44

Dang, Thi Xuan Thao. "Vérification et synthèse des systèmes hybrides." Phd thesis, Grenoble INPG, 2000. https://theses.hal.science/tel-00006738.

Full text
Abstract:
Les systèmes hybrides sont des systèmes qui combinent des dynamiques discrètes et continues. Cette thèse propose des techniques algorithmiques de vérification et de synthèse pour ces systèmes Le manque de méthodes pour calculer les ensembles atteignables des dynamiques continues est l'obstacle principal vers une méthodologie algorithmique de vérification. Nous développons deux techniques d'atteignabilité approximatives pour les systèmes continus basées sur une méthode efficace pour représenter des ensembles et une combinaison des techniques de la simulation, de la géométrie algorithmique, de l
APA, Harvard, Vancouver, ISO, and other styles
45

Johnen, Colette. "Analyse algorithmique des réseaux de Petri : vérification d'espace d'accueil, systèmes de réécriture." Paris 11, 1987. http://www.theses.fr/1987PA112481.

Full text
Abstract:
La motivation essentielle de cette thèse est la conception de techniques d'analyse automatique des réseaux de Petri. Elle est articulée autour de deux thèmes : la vérification de la propriété d'espace d'accueil et l'usage des techniques liées aux systèmes de réécriture. Un espace d'accueil est un ensemble de marquages toujours accessible quelle que soit l'évolution du système. Cette propriété permet, par exemple, de vérifier que l'état d'inactivité des processus est toujours accessible. Elle permet aussi de valider des propriétés comportementales (telle la vivacité). Dans la première partie de
APA, Harvard, Vancouver, ISO, and other styles
46

Geffroy, Thomas. "Vers des outils efficaces pour la vérification de systèmes concurrents." Thesis, Bordeaux, 2017. http://www.theses.fr/2017BORD0848/document.

Full text
Abstract:
Cette thèse cherche à résoudre en pratique le problème de couverture dans les réseaux de Petri et les systèmes de canaux à pertes (LCS). Ces systèmes sont intéressants à étudier car ils permettent de modéliser facilement les systèmes concurrents et les systèmes distribués. Le problème de couverture dans un système de transitions consiste à savoir si on peut, à partir d’un état initial arriver à un état plus grand qu’un état cible. La résolution de ce problème dans les systèmes de transitions bien structurés (WSTS) sera le sujet d’études de la première partie. Les réseaux de Petri et les LCS so
APA, Harvard, Vancouver, ISO, and other styles
47

Djelouah, Redouane. "Vérification et réparation interactive de bases de connaissances : le système ICC de traitement des incohérences et des incomplétudes." Angers, 2004. http://www.theses.fr/2004ANGE0031.

Full text
Abstract:
Pour pouvoir utiliser un système à base de connaissances, nous devons nous assurer de sa qualité en vérifiant s'il ne contient ce qu'on peut appeler une anomalie. Dans cette thèse, nous nous intéressons aux bases de connaissances qui sont des bases de règles. Deux types d'anomalies relevant de graves erreurs dans la base sont étudiés : les incohérences et les incomplétudes. Une incomplétude révèle la nécessité de compléter la connaissance contenue dans la base afin de couvrir tout le domaine étudié. Une incohérence révèle la nécessité de réduire la connaissance contenue dans la base afin d'éli
APA, Harvard, Vancouver, ISO, and other styles
48

Prat, Sophie. "Intégration de techniques de vérification par simulation dans un processus de conception automatisée de contrôle commande." Thesis, Lorient, 2017. http://www.theses.fr/2017LORIS476/document.

Full text
Abstract:
Aujourd’hui, la conception ne porte plus sur de simples objets, mais sur des systèmes complexes, sociotechniques et ouverts. Les systèmes de conduite de procédés font partie de ce type de systèmes, où les performances du système reposent sur l’optimisation conjointe des composantes humaines et techniques. Afin de limiter la détection d’erreur tardive, il devient alors important de pouvoir effectuer des tests tout au long de la conception, sans augmenter les coûts et les délais de conception. L’objectif de nos travaux est de faciliter l’intégration de techniques de vérification par simulation,
APA, Harvard, Vancouver, ISO, and other styles
49

Baro, Sylvain. "Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML." Phd thesis, Université Paris-Diderot - Paris VII, 2003. http://tel.archives-ouvertes.fr/tel-00008416.

Full text
Abstract:
Pouvoir vérifier la conformité d'un programme avec sa spécification représente un enjeu important. On peut utiliser un assistant de preuve : un logiciel permettant la description du problème, la construction des preuves et leur vérification. Nous avons implémenté un système où l'utilisateur décrit la spécification du programme dans un formalisme logique ad hoc, donne le programme dans le sous-ensemble fonctionnel de ML (comprenant filtrage, définitions récursives et fonctions partielles), puis construit interactivement les preuves de correction nécessaires pour prouver la validité du programme
APA, Harvard, Vancouver, ISO, and other styles
50

Khemaja, Maha. "Scrables : un système de conception et d'exploitation de documents structurés." Toulouse 3, 1993. http://www.theses.fr/1993TOU30275.

Full text
Abstract:
Cette these s'inscrit dans le contexte des systemes de conception et d'utilisation assistee de documents. Elle decrit une approche et un outil appeles scrables (systeme de conception de rapports d'audit base sur un langage d'expression de structures). La conception des documents selon scrables est basee sur une description tres detaillee de leurs structures logiques et physiques. Grace a celles-ci, l'exploitation de ces documents selon une approche hypertexte est rendue possible. L'integration dans les documents de nouveaux types de liens, en particulier ceux qui sont specifiques aux documents
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Système de vérification de locuteur' for other source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography