University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'éditeur
Setif:UFA |
Documents disponibles chez cet éditeur
Ajouter le résultat dans votre panier Affiner la recherche
Titre : Assistant de spécification de propriétés a base d’ontologie Type de document : texte imprimé Auteurs : MEGUELATI ,Khadidja ; BOUAMARI,A, Directeur de thèse Editeur : Setif:UFA Année de publication : 2016 Importance : 1 vol (91f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Génie Logiciel
model-cheking
logique temporelle
patterns de spécification
ontologieIndex. décimale : 004 Informatique Résumé : Résumé
La spécification de propriétés à vérifier dans le cadre d’une vérification formelle par
model-checking est souvent difficile et nécessite des compétences spécialisées. Ce mémoire
présente une solution d'assistance basée sur les patterns de spécification et les ontologies et
propose une conception détaillée d’une solution logicielle de spécification assistée de
propriétés CTL. Le mémoire discute également les détails de réalisation de l’outil développé
Property-Specifier et les résultats obtenus.Note de contenu : Table des matières
Introduction générale ............................................................................................... 1
Partie I : Etat de l'art
Chapitre 1 Model-Checking
1.1 Introduction................................................................................................. 3
1.2 Vérification formelle................................................................................... 3
1.3 Model-Checking ........................................................................................... 4
1.3.1 Principes du Model-Checking.............................................................. 4
1.3.2 Outils du Model-Checking ................................................................... 5
1.3.3 Problèmes du Model-Checking............................................................ 5
1.4 Techniques de spécification........................................................................ 5
1.4.1 Logiques propositionnelles.................................................................. 6
1.4.2 Logiques temporelles ........................................................................... 6
1.4.3 Logiques temporelles temporisées...................................................... 6
1.5 Logique temporelle CTL............................................................................ 7
1.5.1 Le choix de CTL................................................................................... 7
1.5.2 Constituants de CTL............................................................................ 7
1.5.3 Classes de propriétés............................................................................ 9
1.5.4 Syntaxe de CTL.................................................................................... 9
1.5.5 Sémantique de CTL ............................................................................. 9
1.6 Conclusion ................................................................................................. 10
Chapitre 2 Spécification Assistée .................................Erreur ! Signet non défini.
2.1 Introduction............................................................................................... 11
2.2 Patterns de spécification........................................................................... 12
2.2.1 Classification des patterns................................................................. 13
2.2.2 Scopes (Portées des patterns)............................................................ 14
2.3 Travaux basés sur les patterns de spécification ..................................... 14
2.3.1 Support du choix des patterns .......................................................... 14
2.3.2 Nouvelles classifications des patterns............................................... 17
2.3.3 Autre assistants................................................................................... 19
2.3.4 Bilan sur l’utilisation des patterns.................................................... 21
2.4 Utilisations des ontologies dans la spécification des exigences ............. 22
2.4.1 Bilan sur l’utilisation des ontologies................................................. 26
2.5 Conclusion ................................................................................................. 27
Chapitre 3 Ontologies............................................................................................. 28
3.1 Introduction............................................................................................... 28
3.2 Apparition des ontologies......................................................................... 29
3.3 Définitions.................................................................................................. 29
3.4 Composants d’une ontologie .................................................................... 30
2.4.1 Concepts.............................................................................................. 30
2.4.2 Relations.............................................................................................. 31
2.4.3 Axiomes et instances .......................................................................... 32
3.5 Dimensions de classification des ontologies............................................ 33
2.5.1 Typologie selon l’objet de conceptualisation ................................... 33
2.5.2 Typologie selon le niveau de détails de l’ontologie.......................... 35
2.5.3 Typologie selon le niveau de complétude ......................................... 36
2.5.4 Typologie selon le niveau du formalisme ......................................... 36
3.6 OWL : le standard du Web sémantique ................................................. 37
3.7 Construction d’une ontologie................................................................... 38
2.7.1 Étapes de construction d’une ontologie ........................................... 38
2.7.2 Principes de construction d’ontologies............................................. 39
2.7.3 Environnements et outils de modélisation ....................................... 40
3.8 Conclusion ................................................................................................. 40
Partie II : Contribution
Chapitre 4 Spécification CTL basée Ontologie ................................................... 41
4.1 Introduction............................................................................................... 41
4.2 Proposition................................................................................................. 41
4.3 Méthode de construction de l’ontologie .................................................. 42
4.4 Etapes de développement ......................................................................... 44
4.4.1 Déterminer le domaine et la portée de l’ontologie .......................... 44
4.4.2 Envisager une éventuelle réutilisation des ontologies existantes... 45
4.4.3 Énumérer les termes importants dans l’ontologie .......................... 45
4.4.4 Définir les classes et la hiérarchie des classes.................................. 48
4.4.5 Définir les propriétés des classes (les attributs)............................... 49
4.4.6 Définir les facettes des attributs........................................................ 51
4.4.7 Réaliser les instances.......................................................................... 52
4.5 Discussion................................................................................................... 52
4.6 Conclusion ................................................................................................. 53
Chapitre 5 Analyse et Conception......................................................................... 54
5.1 Introduction............................................................................................... 54
5.2 Cahier de charges...................................................................................... 54
5.2.1 Introduction ........................................................................................ 54
5.2.2 Description générale........................................................................... 55
5.2.3 Spécification des besoins.................................................................... 55
5.3 Modélisation .............................................................................................. 56
5.3.1 Modélisation des fonctionnalités....................................................... 56
5.3.2 Modélisation de la dynamique .......................................................... 60
5.3.3 Modélisation de la structure.............................................................. 65
5.3.4 Modélisation des interactions............................................................ 66
5.4 Conclusion ................................................................................................. 71
Chapitre 6 Implémentation ................................................................................... 72
6.1 Introduction............................................................................................... 72
6.2 Langages et outils...................................................................................... 72
6.2.1 Java...................................................................................................... 72
6.2.2 SQWRL............................................................................................... 73
6.2.3 Jena...................................................................................................... 73
6.2.4 Eclipse.................................................................................................. 74
6.2.5 Protégé................................................................................................. 74
6.3 Implémentation de l’ontologie ................................................................. 75
6.3.1 Édition de l’ontologie ......................................................................... 75
6.3.2 Création des concepts ........................................................................ 75
6.3.3 Création des relations........................................................................ 76
6.3.4 Création d’attributs........................................................................... 77
6.3.5 Réalisation d’instances....................................................................... 77
6.3.6 Génération du graphe ........................................................................ 78
6.3.7 Génération du code OWL ................................................................. 79
6.4 Description de « Property-Specifier » ...................................................... 79
6.4.1 Vue principale..................................................................................... 80
6.4.2 Créer un nouveau projet ................................................................... 81
6.4.3 Ouvrir un projet existant................................................................... 82
6.4.4 Sauvegarder un projet....................................................................... 82
6.4.5 Gérer une propriété ........................................................................... 83
6.4.6 Ontology Based Assistant .................................................................. 83
6.4.7 Patterns Based Assistant.................................................................... 85
6.4.8 Help...................................................................................................... 88
6.5 Conclusion ................................................................................................. 88
Conclusion générale................................................................................................ 89Côte titre : MAI/0101 En ligne : https://drive.google.com/file/d/1QMDUS_FQ8jRmAjA-EmbQAA_4LzMnraum/view?usp=shari [...] Format de la ressource électronique : Assistant de spécification de propriétés a base d’ontologie [texte imprimé] / MEGUELATI ,Khadidja ; BOUAMARI,A, Directeur de thèse . - [S.l.] : Setif:UFA, 2016 . - 1 vol (91f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Génie Logiciel
model-cheking
logique temporelle
patterns de spécification
ontologieIndex. décimale : 004 Informatique Résumé : Résumé
La spécification de propriétés à vérifier dans le cadre d’une vérification formelle par
model-checking est souvent difficile et nécessite des compétences spécialisées. Ce mémoire
présente une solution d'assistance basée sur les patterns de spécification et les ontologies et
propose une conception détaillée d’une solution logicielle de spécification assistée de
propriétés CTL. Le mémoire discute également les détails de réalisation de l’outil développé
Property-Specifier et les résultats obtenus.Note de contenu : Table des matières
Introduction générale ............................................................................................... 1
Partie I : Etat de l'art
Chapitre 1 Model-Checking
1.1 Introduction................................................................................................. 3
1.2 Vérification formelle................................................................................... 3
1.3 Model-Checking ........................................................................................... 4
1.3.1 Principes du Model-Checking.............................................................. 4
1.3.2 Outils du Model-Checking ................................................................... 5
1.3.3 Problèmes du Model-Checking............................................................ 5
1.4 Techniques de spécification........................................................................ 5
1.4.1 Logiques propositionnelles.................................................................. 6
1.4.2 Logiques temporelles ........................................................................... 6
1.4.3 Logiques temporelles temporisées...................................................... 6
1.5 Logique temporelle CTL............................................................................ 7
1.5.1 Le choix de CTL................................................................................... 7
1.5.2 Constituants de CTL............................................................................ 7
1.5.3 Classes de propriétés............................................................................ 9
1.5.4 Syntaxe de CTL.................................................................................... 9
1.5.5 Sémantique de CTL ............................................................................. 9
1.6 Conclusion ................................................................................................. 10
Chapitre 2 Spécification Assistée .................................Erreur ! Signet non défini.
2.1 Introduction............................................................................................... 11
2.2 Patterns de spécification........................................................................... 12
2.2.1 Classification des patterns................................................................. 13
2.2.2 Scopes (Portées des patterns)............................................................ 14
2.3 Travaux basés sur les patterns de spécification ..................................... 14
2.3.1 Support du choix des patterns .......................................................... 14
2.3.2 Nouvelles classifications des patterns............................................... 17
2.3.3 Autre assistants................................................................................... 19
2.3.4 Bilan sur l’utilisation des patterns.................................................... 21
2.4 Utilisations des ontologies dans la spécification des exigences ............. 22
2.4.1 Bilan sur l’utilisation des ontologies................................................. 26
2.5 Conclusion ................................................................................................. 27
Chapitre 3 Ontologies............................................................................................. 28
3.1 Introduction............................................................................................... 28
3.2 Apparition des ontologies......................................................................... 29
3.3 Définitions.................................................................................................. 29
3.4 Composants d’une ontologie .................................................................... 30
2.4.1 Concepts.............................................................................................. 30
2.4.2 Relations.............................................................................................. 31
2.4.3 Axiomes et instances .......................................................................... 32
3.5 Dimensions de classification des ontologies............................................ 33
2.5.1 Typologie selon l’objet de conceptualisation ................................... 33
2.5.2 Typologie selon le niveau de détails de l’ontologie.......................... 35
2.5.3 Typologie selon le niveau de complétude ......................................... 36
2.5.4 Typologie selon le niveau du formalisme ......................................... 36
3.6 OWL : le standard du Web sémantique ................................................. 37
3.7 Construction d’une ontologie................................................................... 38
2.7.1 Étapes de construction d’une ontologie ........................................... 38
2.7.2 Principes de construction d’ontologies............................................. 39
2.7.3 Environnements et outils de modélisation ....................................... 40
3.8 Conclusion ................................................................................................. 40
Partie II : Contribution
Chapitre 4 Spécification CTL basée Ontologie ................................................... 41
4.1 Introduction............................................................................................... 41
4.2 Proposition................................................................................................. 41
4.3 Méthode de construction de l’ontologie .................................................. 42
4.4 Etapes de développement ......................................................................... 44
4.4.1 Déterminer le domaine et la portée de l’ontologie .......................... 44
4.4.2 Envisager une éventuelle réutilisation des ontologies existantes... 45
4.4.3 Énumérer les termes importants dans l’ontologie .......................... 45
4.4.4 Définir les classes et la hiérarchie des classes.................................. 48
4.4.5 Définir les propriétés des classes (les attributs)............................... 49
4.4.6 Définir les facettes des attributs........................................................ 51
4.4.7 Réaliser les instances.......................................................................... 52
4.5 Discussion................................................................................................... 52
4.6 Conclusion ................................................................................................. 53
Chapitre 5 Analyse et Conception......................................................................... 54
5.1 Introduction............................................................................................... 54
5.2 Cahier de charges...................................................................................... 54
5.2.1 Introduction ........................................................................................ 54
5.2.2 Description générale........................................................................... 55
5.2.3 Spécification des besoins.................................................................... 55
5.3 Modélisation .............................................................................................. 56
5.3.1 Modélisation des fonctionnalités....................................................... 56
5.3.2 Modélisation de la dynamique .......................................................... 60
5.3.3 Modélisation de la structure.............................................................. 65
5.3.4 Modélisation des interactions............................................................ 66
5.4 Conclusion ................................................................................................. 71
Chapitre 6 Implémentation ................................................................................... 72
6.1 Introduction............................................................................................... 72
6.2 Langages et outils...................................................................................... 72
6.2.1 Java...................................................................................................... 72
6.2.2 SQWRL............................................................................................... 73
6.2.3 Jena...................................................................................................... 73
6.2.4 Eclipse.................................................................................................. 74
6.2.5 Protégé................................................................................................. 74
6.3 Implémentation de l’ontologie ................................................................. 75
6.3.1 Édition de l’ontologie ......................................................................... 75
6.3.2 Création des concepts ........................................................................ 75
6.3.3 Création des relations........................................................................ 76
6.3.4 Création d’attributs........................................................................... 77
6.3.5 Réalisation d’instances....................................................................... 77
6.3.6 Génération du graphe ........................................................................ 78
6.3.7 Génération du code OWL ................................................................. 79
6.4 Description de « Property-Specifier » ...................................................... 79
6.4.1 Vue principale..................................................................................... 80
6.4.2 Créer un nouveau projet ................................................................... 81
6.4.3 Ouvrir un projet existant................................................................... 82
6.4.4 Sauvegarder un projet....................................................................... 82
6.4.5 Gérer une propriété ........................................................................... 83
6.4.6 Ontology Based Assistant .................................................................. 83
6.4.7 Patterns Based Assistant.................................................................... 85
6.4.8 Help...................................................................................................... 88
6.5 Conclusion ................................................................................................. 88
Conclusion générale................................................................................................ 89Côte titre : MAI/0101 En ligne : https://drive.google.com/file/d/1QMDUS_FQ8jRmAjA-EmbQAA_4LzMnraum/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0101 MAI/0101 Mémoire Bibliothéque des sciences Français Disponible
DisponibleAssurance Qualité des TPS en mode électrons au sein de centre de Lutte Contre le Cancer de Sétif / Abderaouf Meziane
Titre : Assurance Qualité des TPS en mode électrons au sein de centre de Lutte Contre le Cancer de Sétif Type de document : texte imprimé Auteurs : Abderaouf Meziane, Auteur ; Z Chaoui, Directeur de thèse Editeur : Setif:UFA Année de publication : 2020 Importance : 1 vol (81 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Physique Mots-clés : Physique Index. décimale : 530 - Physique Résumé :
Mon stage s’est déroulé au début de mars jusqu’à la fin d'aout au sein du Centre de
Lutte Contre le Cancer (CLCC) à Sétif et dans le Laboratoire Optoélectronique et Composants
à l’Université de Sétif (LOC). Le but de mon projet est la comparaison entre les doses
calculées (TPS) et les doses mesurées, les tolérances admises, pour s'assurer la qualité des
systèmes de planification des traitements (TPS), et garantir l’efficacité du traitement. On a
réalisé des tests simples et des tests compliquent rencontrés dans des situations cliniques. pour
les contrôles de qualité, consiste à comparer dans les mêmes conditions géométriques
d’irradiation, les distributions de dose calculées par l’algorithme eMC avec celles mesurées
dans des milieux équivalents (fantômes) directement sous accélérateur Linac Varian iX des
sources d’électrons de hautes énergies de 6, 9, 12 et 20 MeV.Côte titre : MAPH/0421 En ligne : https://drive.google.com/file/d/17SS7vYjMOoEAFtr84eFoMFdkHOtt_K1j/view?usp=shari [...] Format de la ressource électronique : Assurance Qualité des TPS en mode électrons au sein de centre de Lutte Contre le Cancer de Sétif [texte imprimé] / Abderaouf Meziane, Auteur ; Z Chaoui, Directeur de thèse . - [S.l.] : Setif:UFA, 2020 . - 1 vol (81 f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Physique Mots-clés : Physique Index. décimale : 530 - Physique Résumé :
Mon stage s’est déroulé au début de mars jusqu’à la fin d'aout au sein du Centre de
Lutte Contre le Cancer (CLCC) à Sétif et dans le Laboratoire Optoélectronique et Composants
à l’Université de Sétif (LOC). Le but de mon projet est la comparaison entre les doses
calculées (TPS) et les doses mesurées, les tolérances admises, pour s'assurer la qualité des
systèmes de planification des traitements (TPS), et garantir l’efficacité du traitement. On a
réalisé des tests simples et des tests compliquent rencontrés dans des situations cliniques. pour
les contrôles de qualité, consiste à comparer dans les mêmes conditions géométriques
d’irradiation, les distributions de dose calculées par l’algorithme eMC avec celles mesurées
dans des milieux équivalents (fantômes) directement sous accélérateur Linac Varian iX des
sources d’électrons de hautes énergies de 6, 9, 12 et 20 MeV.Côte titre : MAPH/0421 En ligne : https://drive.google.com/file/d/17SS7vYjMOoEAFtr84eFoMFdkHOtt_K1j/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAPH/0421 MAPH/0421 Mémoire Bibliothéque des sciences Français Disponible
Disponible
Titre : Asymptotically flat black hole solutions in topologically massive gravity Type de document : texte imprimé Auteurs : Ayoub Tamin, Auteur ; Hakim Guennoune, Directeur de thèse Editeur : Setif:UFA Année de publication : 2020 Importance : 1 vol (43 f.) Format : 29 cm Langues : Anglais (eng) Catégories : Thèses & Mémoires:Physique Mots-clés : Physique Index. décimale : 530 - Physique Résumé :
Dans ce travail, nous construisons deux classes des solutions trous noirs
asymptotiquement plates de la théorie tridimensionnelle d'Einstein avec un
terme gravitationnel de Chern-Simons. La première classe de ces solutions est
asymptotiquement particle-like de la gravitation topologiquement massive avec
une constante cosmologique négative, et la deuxième classe est des solutions de
trous noirs à deux paramètres asymptotiques des trous noirs de Kerr, Ces
solutions sont géodésiquement complètes, et causalement régulières.Côte titre : MAPH/0416 En ligne : https://drive.google.com/file/d/1F4ne7VSSBFYlBtCqvg_CbyMujM8_1PmT/view?usp=shari [...] Format de la ressource électronique : Asymptotically flat black hole solutions in topologically massive gravity [texte imprimé] / Ayoub Tamin, Auteur ; Hakim Guennoune, Directeur de thèse . - [S.l.] : Setif:UFA, 2020 . - 1 vol (43 f.) ; 29 cm.
Langues : Anglais (eng)
Catégories : Thèses & Mémoires:Physique Mots-clés : Physique Index. décimale : 530 - Physique Résumé :
Dans ce travail, nous construisons deux classes des solutions trous noirs
asymptotiquement plates de la théorie tridimensionnelle d'Einstein avec un
terme gravitationnel de Chern-Simons. La première classe de ces solutions est
asymptotiquement particle-like de la gravitation topologiquement massive avec
une constante cosmologique négative, et la deuxième classe est des solutions de
trous noirs à deux paramètres asymptotiques des trous noirs de Kerr, Ces
solutions sont géodésiquement complètes, et causalement régulières.Côte titre : MAPH/0416 En ligne : https://drive.google.com/file/d/1F4ne7VSSBFYlBtCqvg_CbyMujM8_1PmT/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAPH/0416 MAPH/0416 Mémoire Bibliothéque des sciences Anglais Disponible
Disponible
Titre : Authentication in Internet of Things Type de document : texte imprimé Auteurs : Nahnah ,Oussama, Auteur ; Sarra Cherbal, Directeur de thèse Editeur : Setif:UFA Année de publication : 2021 Importance : 1 vol (62 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Authentication
Internet of thingsIndex. décimale : 004 - Informatique Résumé :
Internet of things connect unlimited number of heterogeneous devices in order to
facilitate services and hence touching most of daily life elds. However, security
concerns are a major obstacle to the development and rapid deployment of this high
technology. Thus, securing the authentication process has become very important,
as it is necessary to prove the legitimacy of the communication devices. Recently,
researchers are proposing several mutual authentication and session key agreement
protocols.
In this regard, we propose our own improved protocol, that relies on login, mutual
authentication and the agreement of session key in a safety way to secure commu-
nications. For the security evaluation of the proposal, we use the authentication
BAN logic and the widely used AVISPA tool. The results prove the achievement of
mutual authentication and session key agreement securely. In addition to its safety
against some known attacks as eavesdropping and replay attacks. For a performance
evaluation, we compare the proposal with recent related works in terms of compu-
tational and communication costs. The results show the lightness of our protocol
and thus itsCôte titre : MAI/0465 En ligne : https://drive.google.com/file/d/12DfhgXXa6Fn5BSS_xHbd9O3leT_IVIXY/view?usp=shari [...] Format de la ressource électronique : Authentication in Internet of Things [texte imprimé] / Nahnah ,Oussama, Auteur ; Sarra Cherbal, Directeur de thèse . - [S.l.] : Setif:UFA, 2021 . - 1 vol (62 f .) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Authentication
Internet of thingsIndex. décimale : 004 - Informatique Résumé :
Internet of things connect unlimited number of heterogeneous devices in order to
facilitate services and hence touching most of daily life elds. However, security
concerns are a major obstacle to the development and rapid deployment of this high
technology. Thus, securing the authentication process has become very important,
as it is necessary to prove the legitimacy of the communication devices. Recently,
researchers are proposing several mutual authentication and session key agreement
protocols.
In this regard, we propose our own improved protocol, that relies on login, mutual
authentication and the agreement of session key in a safety way to secure commu-
nications. For the security evaluation of the proposal, we use the authentication
BAN logic and the widely used AVISPA tool. The results prove the achievement of
mutual authentication and session key agreement securely. In addition to its safety
against some known attacks as eavesdropping and replay attacks. For a performance
evaluation, we compare the proposal with recent related works in terms of compu-
tational and communication costs. The results show the lightness of our protocol
and thus itsCôte titre : MAI/0465 En ligne : https://drive.google.com/file/d/12DfhgXXa6Fn5BSS_xHbd9O3leT_IVIXY/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0465 MAI/0465 Mémoire Bibliothéque des sciences Français Disponible
DisponibleAuthor profiling for Algerian social media users in Modern standard Arabic and Algerian dialect / Khenafi, Amani
Titre : Author profiling for Algerian social media users in Modern standard Arabic and Algerian dialect Type de document : texte imprimé Auteurs : Khenafi, Amani, Auteur ; Sadik Bessou, Directeur de thèse Editeur : Setif:UFA Année de publication : 2020 Importance : 1 vol (57 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Le profilage d’auteur
Classification du texte
Traitement du langage naturel
Arabe
IdentificationIndex. décimale : 004 - Informatique Résumé :
Le profilage d’auteur est un type de technique de classification du texte qui est utilisé pour identifier
les attributs d’un auteur en examinant son texte écrit. Récemment, le profilage des auteurs est
devenu un sujet très important en raison de ses applications potentielles dans les domaines de la
criminalistique, sécurité, marketing, etc.
A cet effet, un corpus contenant des données Twitter et Facebook a été construit, il se compose
de 13598 documents couvrant les langues Arabe standard et dialecte Algérien. En outre, nous proposons
un certain nombre de caractéristiques BOW basées sur la fréquence des mots et caractères,
ainsi que certaines techniques de traitement du langage naturel. Les résultats de la combinaison
des caractéristiques uni-grams et bi-grams indiquent des performances globales élevées. Le système
proposé a obtenu des précisions de classification de 74%, 62% et 61% pour le genre, âge et degré
d’influence respectivement, en utilisant les classificateurs Support Vector Machines et Stochastic
Gradient Descent.Côte titre : MAI/0395 En ligne : https://drive.google.com/file/d/1ZP85FHZL0DUV2uVprgK4I7E5aVuq_RYV/view?usp=shari [...] Format de la ressource électronique : Author profiling for Algerian social media users in Modern standard Arabic and Algerian dialect [texte imprimé] / Khenafi, Amani, Auteur ; Sadik Bessou, Directeur de thèse . - [S.l.] : Setif:UFA, 2020 . - 1 vol (57 f .) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Le profilage d’auteur
Classification du texte
Traitement du langage naturel
Arabe
IdentificationIndex. décimale : 004 - Informatique Résumé :
Le profilage d’auteur est un type de technique de classification du texte qui est utilisé pour identifier
les attributs d’un auteur en examinant son texte écrit. Récemment, le profilage des auteurs est
devenu un sujet très important en raison de ses applications potentielles dans les domaines de la
criminalistique, sécurité, marketing, etc.
A cet effet, un corpus contenant des données Twitter et Facebook a été construit, il se compose
de 13598 documents couvrant les langues Arabe standard et dialecte Algérien. En outre, nous proposons
un certain nombre de caractéristiques BOW basées sur la fréquence des mots et caractères,
ainsi que certaines techniques de traitement du langage naturel. Les résultats de la combinaison
des caractéristiques uni-grams et bi-grams indiquent des performances globales élevées. Le système
proposé a obtenu des précisions de classification de 74%, 62% et 61% pour le genre, âge et degré
d’influence respectivement, en utilisant les classificateurs Support Vector Machines et Stochastic
Gradient Descent.Côte titre : MAI/0395 En ligne : https://drive.google.com/file/d/1ZP85FHZL0DUV2uVprgK4I7E5aVuq_RYV/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0395 MAI/0395 Mémoire Bibliothéque des sciences Anglais Disponible
DisponiblePermalinkL'auto-organisation et l’équilibrage de la charge pour la préservation de la couverture dans les WSNs. / Doudou, Roumaissa
PermalinkL'Automatisation des chaines d'approvisionnement en utilisation l'orchestration des services web / BOUZOUIKA, Safia
PermalinkBases de données floues / Drif, nour el-imane
PermalinkPermalinkPermalinkPermalinkBistabilité optique dans un laser à absorbant saturable ""LSA"" dont l'élargissement est inhomogène (résonateur Fabry-pérot) / Abdelkrim Beniaiche
PermalinkPermalinkPermalink