Behavior recognition on noisy data-streams constrained by complex prior knowledge

Le traitement d événements complexes (Complex Event Processing CEP) consiste en l analyse de flux de données afin den extraire des motifs et comportements particuliers décrits, en général, dans un formalisme logique. Dans l approche classique, les données d un flux ou événements sont supposées être...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Rincé Romain (Auteur)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), École doctorale Mathématiques et sciences et technologies de l'information et de la communication Rennes (Ecole doctorale associée à la thèse), Université Bretagne Loire 2016-2019 (Autre partenaire associé à la thèse), Laboratoire des Sciences du Numérique de Nantes (Laboratoire associé à la thèse)
Autres auteurs : Leray Philippe (Directeur de thèse), Kervarc Romain (Directeur de thèse)
Format : Thèse ou mémoire
Langue : anglais
Titre complet : Behavior recognition on noisy data-streams constrained by complex prior knowledge / Romain Rincé; sous la direction de Philippe Leray et de Romain Kervarc
Publié : 2018
Accès en ligne : Accès Nantes Université
Note sur l'URL : Accès au texte intégral
Note de thèse : Thèse de doctorat : Informatique : Nantes : 2018
Sujets :
LEADER 06714nlm a2200625 4500
001 PPN238428451
003 http://www.sudoc.fr/238428451
005 20240531154600.0
029 |a FR  |b 2018NANT4085 
033 |a http://www.theses.fr/2018NANT4085 
035 |a STAR114909 
100 |a 20191003d2018 k y0frey0103 ba 
101 0 |a eng  |d fre  |d eng 
102 |a FR 
105 |a y ma 00|yy 
135 |a dr||||||||||| 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c c  |2 rdamedia 
182 1 |6 z01  |a b 
183 1 |6 z01  |a ceb  |2 rdacarrier 
200 1 |a Behavior recognition on noisy data-streams constrained by complex prior knowledge  |f Romain Rincé  |g sous la direction de Philippe Leray et de Romain Kervarc 
210 1 |d 2018 
230 |a Données textuelles 
304 |a Titre provenant de l'écran-titre 
314 |a Ecole(s) Doctorale(s) : École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) 
314 |a Partenaire(s) de recherche : Université Bretagne Loire (COMUE), Laboratoire des sciences du numérique de Nantes (Laboratoire) 
314 |a Autre(s) contribution(s) : Céline Rouveirol (Président du jury) ; Benoît Delahaye (Membre(s) du jury) ; Thomas Schiex, Audine Subias (Rapporteur(s)) 
328 0 |b Thèse de doctorat  |c Informatique  |e Nantes  |d 2018 
330 |a Le traitement d événements complexes (Complex Event Processing CEP) consiste en l analyse de flux de données afin den extraire des motifs et comportements particuliers décrits, en général, dans un formalisme logique. Dans l approche classique, les données d un flux ou événements sont supposées être l observation complète et parfaite du système produisant ces événements. Cependant, dans de nombreux cas, les moyens permettant la collecte de ces données, tels que des capteurs, ne sont pas pour autant infaillibles et peuvent manquer la détection d un événement particulier ou au contraire en produire. Dans cette thèse, nous nous sommes employé à étudier les modèles possibles de représentation de l incertain et, ainsi, offrir au CEP une robustesse vis-à-vis de cette incertitude ainsi que les outils nécessaires pour permettre la reconnaissance de comportement complexe de façon pertinente les flux d événements en se basant sur le formalisme des chroniques. Dans cette optique, trois approches ont été considérées. La première se base sur les réseaux logiques de Markov pour représenter la structure des chroniques sous un ensemble de formules logiques adjointe dune valeur de confiance. Nous montrons que ce modèle, bien que largement appliqué dans la littérature, est inapplicable pour une application concrète au regard des dimensions d un tel problème. La seconde approche se basent sur des techniques issues de la communauté SAT pour énumérer l ensemble des solutions possibles d un problème donné et ainsi produire une valeur de confiance pour la reconnaissance dune chronique exprimée, encore une fois, sous une requête logique. Finalement, nous proposons une dernière approche basée sur les chaînes de Markov pour produire un ensemble d échantillons expliquant l évolution du modèle en accord avec les données observées. Ces échantillons sont ensuite analysés par en système de reconnaissance pour compter les occurrences dune chronique particulière. 
330 |a Complex Event Processing (CEP) consists of the analysis of data-streams in order to extract particular patterns and behaviours described, in general, in a logical formalism. In the classical approach, data of a stream or events are supposed to be the complete and perfect observation of the system producing these events. However, in many cases, the means for collecting such data, such as sensors, are not infallible and may miss the detection of a particular event or on the contrary produce. In this thesis, we have studied the possible models of representation of uncertainty and, thus, to offer the CEP a robustness to this uncertainty as well as the necessary tools to allow the recognition of complex behaviours based on the chronicle formalism. In this perspective, three approaches have been considered. The first one is based on Markov logical networks to represent the structure of the chronicles under a set of logical formulas of a confidence value. We show that this model, although widely applied in the literature, is inapplicable for a realistic application with regard to the dimensions of such a problem. The second approach is based on techniques from the SAT community to enumerate all possible solutions of a given problem and thus to produce a confidence value for the recognition of a chronicle expressed, again, under a logical structure. Finally, we propose a last approach based on the Markov chains to produce a set of samples explaining the evolution of the model in agreement with the observed data. These samples are then analysed by a recognition system to count the occurrences of a particular chronicle. 
337 |a Configuration requise : un logiciel capable de lire un fichier au format : PDF 
606 |3 PPN167934880  |a Traitement d'événements (informatique)  |3 PPN027253139  |x Thèses et écrits académiques  |2 rameau 
606 |3 PPN027238660  |a Markov, Processus de  |3 PPN027253139  |x Thèses et écrits académiques  |2 rameau 
606 |3 PPN031520936  |a Incertitude (théorie de l'information)  |3 PPN027253139  |x Thèses et écrits académiques  |2 rameau 
610 0 |a ProbLog 
610 0 |a WalkSAT 
686 |a 004  |2 TEF 
700 1 |3 PPN238427889  |a Rincé  |b Romain  |f 1989-....  |4 070 
702 1 |3 PPN116302011  |a Leray  |b Philippe  |c informaticien  |4 727 
702 1 |3 PPN117282812  |a Kervarc  |b Romain  |4 727 
702 1 |3 PPN069034273  |a Rouveirol  |b Céline  |4 956 
702 1 |3 PPN057033935  |a Schiex  |b Thomas  |f 1965-....  |4 958 
702 1 |3 PPN080646956  |a Subias  |b Audine  |f 19..-....  |4 958 
702 1 |3 PPN148063128  |a Delahaye  |b Benoît  |f 1982-....  |4 555 
712 0 2 |3 PPN026403447  |a Université de Nantes  |c 1962-2021  |4 295 
712 0 2 |3 PPN204770424  |a École doctorale Mathématiques et sciences et technologies de l'information et de la communication  |c Rennes  |4 996 
712 0 2 |3 PPN191639044  |a Université Bretagne Loire  |c 2016-2019  |4 985 
712 0 2 |3 PPN203637585  |a Laboratoire des Sciences du Numérique de Nantes  |4 981 
801 3 |a FR  |b Abes  |c 20191003  |g AFNOR 
856 4 |q PDF  |s 7875640  |u http://www.theses.fr/2018NANT4085/document  |z Accès au texte intégral 
856 4 |u http://www.theses.fr/2018NANT4085/abes 
930 |5 441099901:645280054  |b 441099901  |j g 
991 |5 441099901:645280054  |a exemplaire créé automatiquement par STAR 
998 |a 856303