University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'éditeur
Setif:UFA |
Documents disponibles chez cet éditeur
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
Titre : Outil cartographique pour aide à la navigation sur le Web Type de document : texte imprimé Auteurs : BENHAROUNE, H. ; KHENTOUT,C, Directeur de thèse Editeur : Setif:UFA Année de publication : 2012 Importance : 1 vol (58f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : génie logiciel
outil cartographique
webIndex. décimale : 004 Informatique Résumé :
Conclusion Générale
Ce projet permet d'intégrer sous forme d’arbre la fonctionnalité d'historique de navigation que l'on trouve sur les navigateurs, et permet une utilisation plus intuitive et moins fastidieuse de ces fonctionnalités.
Ce travail exécute un peu l’approche de l’interaction entre l’utilisateur et l’interface graphique et permet à l’utilisateur d’afficher son historique sous forme arbre au lieu de l’ancienne méthode (afficher l’historique sous forme liste).
Pour réaliser ce travail j’ai utilisé les techniques web comme HTML, JavaScript, et autre techniques.
En fin, j’espère avoir atteint au moins les plus importants objectifs, qui peuvent apporter un minimum d’aider aux l’utilisateur de l’application et qui sera utile pour les futurs étudiants.
Note de contenu :
Sommaire.
CHAPITRE 0 Introduction
1. Introduction 1
2. Spécifications fonctionnelles 1
2.1 Problématique 1
2.2 Contraintes 1
2.3 Objectifs 1
3. Fonction attendu 1
4. Aspect d’interface homme-machine 2
5. Construction graphique 2
CHAPITRE 1 Etat de l’art
1. Introduction 3
2. Hypertexte et Hypermédia 3
2.1 Définition 3
2.2 Historique 4
2.2.1 Vannevar Bush : Memex (1945) 4
2.2.2 Theodor Nelson : Xanadu (1965) 5
2.2.3 Andy Van Dam : Hypertext Editing System (1967) 6
2.2.4 Douglas Engelbart : Augment (1968) 7
2.2.5 Robert Akscyn : ZOG & KMS (1975) 7
2.2.6 Alan Kay : Dynabook (1977) 8
2.2.7 Andrew Lippman : Aspen Movie Map (1978 8
2.2.8 Ben Shneiderman : HyperTies (1983) 9
2.2.9 Janet Walker : Document Examiner (1985 9
2.2.10 Peter Brown : Guid (1986) 10
2.2.11 ill Atkison : hypercard (1987) 10
2.2.12 Tim Berners_Lee : le World Wide Web 10
2.3 Les composantes d’un hypertexte 11
2.3.1 Le nœud 11
2.3.2 Le lien 12
2.4 Avantages des hypermédias 12
3. Navigation 13
3.1 Définition 13
3.2 Rôle 13
3.3 Type de navigation 13
3.3.1 Navigation spatiale 13
3.3.2 Navigation sémantique 14
3.3.3 Navigation sociale 14
4. Difficultés de la navigation sur le Web 14
4.1 La désorientation 15
4.2 La surcharge cognitive 15
5. Assistance à la navigation sur le web 16
5.1 Formes d’assistance à la navigation 16
5.2 Assistance graphique à la navigation 17
6. Présentation des principaux assistants graphiques 17
6.1 Navir 17
6.2 Nestor 18
6.3 PadPrints 19
6.4 MosaicG 20
6.5 WebPath 21
6.6 MAWA 22
6.7 Internet Cartographer 26
6.8 FootPrints 27
6.9 SpiderMem 28
7. Comparaison des assistants graphiques 29
8. Conclusion 31
CHAPITRE 2 Représentation graphique
1. Introduction 32
2. La visualisation graphique des informations 32
2.1 Les concepts 32
2.2 La théorie de la graphique selon Bertin 35
2.3 Classification des représentations graphiques 37
3. Arbre 41
4. Choix de la représentation graphique 41
5. Conclusion 42
CHAPITRE 3 Réalisation
1. Introduction 43
2. Créer une extension Google Chrome 43
2.1 Préparer l’environnement de travail 43
2.2 Créer une extension 44
2.2.1 Partie codage 44
2.2.2 Partie navigateur 45
2.3 Empaqueter l’extension 45
3. Description du langage utilisé pour le développement de l’application 46
3.1 HTML 46
3.1.1 Le principe du Web 46
3.1.2 Le HTML est un standard 47
3.1.3 Versions du langage HTML 47
3.1.4 Le document HTML 48
3.1.5 Exemple de HTML 49
3.2 JavaScript 49
3.2.1 Les navigateurs et le JavaScript 50
3.2.2 A quoi ressemble un script 51
3.2.3 Exemple de JavaScript 51
3.3 CSS 52
3.3.1 Définition d’un style 53
4. Présentation de l’application 54
5. Conclusion 58
Côte titre : MAI/0031 Outil cartographique pour aide à la navigation sur le Web [texte imprimé] / BENHAROUNE, H. ; KHENTOUT,C, Directeur de thèse . - [S.l.] : Setif:UFA, 2012 . - 1 vol (58f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : génie logiciel
outil cartographique
webIndex. décimale : 004 Informatique Résumé :
Conclusion Générale
Ce projet permet d'intégrer sous forme d’arbre la fonctionnalité d'historique de navigation que l'on trouve sur les navigateurs, et permet une utilisation plus intuitive et moins fastidieuse de ces fonctionnalités.
Ce travail exécute un peu l’approche de l’interaction entre l’utilisateur et l’interface graphique et permet à l’utilisateur d’afficher son historique sous forme arbre au lieu de l’ancienne méthode (afficher l’historique sous forme liste).
Pour réaliser ce travail j’ai utilisé les techniques web comme HTML, JavaScript, et autre techniques.
En fin, j’espère avoir atteint au moins les plus importants objectifs, qui peuvent apporter un minimum d’aider aux l’utilisateur de l’application et qui sera utile pour les futurs étudiants.
Note de contenu :
Sommaire.
CHAPITRE 0 Introduction
1. Introduction 1
2. Spécifications fonctionnelles 1
2.1 Problématique 1
2.2 Contraintes 1
2.3 Objectifs 1
3. Fonction attendu 1
4. Aspect d’interface homme-machine 2
5. Construction graphique 2
CHAPITRE 1 Etat de l’art
1. Introduction 3
2. Hypertexte et Hypermédia 3
2.1 Définition 3
2.2 Historique 4
2.2.1 Vannevar Bush : Memex (1945) 4
2.2.2 Theodor Nelson : Xanadu (1965) 5
2.2.3 Andy Van Dam : Hypertext Editing System (1967) 6
2.2.4 Douglas Engelbart : Augment (1968) 7
2.2.5 Robert Akscyn : ZOG & KMS (1975) 7
2.2.6 Alan Kay : Dynabook (1977) 8
2.2.7 Andrew Lippman : Aspen Movie Map (1978 8
2.2.8 Ben Shneiderman : HyperTies (1983) 9
2.2.9 Janet Walker : Document Examiner (1985 9
2.2.10 Peter Brown : Guid (1986) 10
2.2.11 ill Atkison : hypercard (1987) 10
2.2.12 Tim Berners_Lee : le World Wide Web 10
2.3 Les composantes d’un hypertexte 11
2.3.1 Le nœud 11
2.3.2 Le lien 12
2.4 Avantages des hypermédias 12
3. Navigation 13
3.1 Définition 13
3.2 Rôle 13
3.3 Type de navigation 13
3.3.1 Navigation spatiale 13
3.3.2 Navigation sémantique 14
3.3.3 Navigation sociale 14
4. Difficultés de la navigation sur le Web 14
4.1 La désorientation 15
4.2 La surcharge cognitive 15
5. Assistance à la navigation sur le web 16
5.1 Formes d’assistance à la navigation 16
5.2 Assistance graphique à la navigation 17
6. Présentation des principaux assistants graphiques 17
6.1 Navir 17
6.2 Nestor 18
6.3 PadPrints 19
6.4 MosaicG 20
6.5 WebPath 21
6.6 MAWA 22
6.7 Internet Cartographer 26
6.8 FootPrints 27
6.9 SpiderMem 28
7. Comparaison des assistants graphiques 29
8. Conclusion 31
CHAPITRE 2 Représentation graphique
1. Introduction 32
2. La visualisation graphique des informations 32
2.1 Les concepts 32
2.2 La théorie de la graphique selon Bertin 35
2.3 Classification des représentations graphiques 37
3. Arbre 41
4. Choix de la représentation graphique 41
5. Conclusion 42
CHAPITRE 3 Réalisation
1. Introduction 43
2. Créer une extension Google Chrome 43
2.1 Préparer l’environnement de travail 43
2.2 Créer une extension 44
2.2.1 Partie codage 44
2.2.2 Partie navigateur 45
2.3 Empaqueter l’extension 45
3. Description du langage utilisé pour le développement de l’application 46
3.1 HTML 46
3.1.1 Le principe du Web 46
3.1.2 Le HTML est un standard 47
3.1.3 Versions du langage HTML 47
3.1.4 Le document HTML 48
3.1.5 Exemple de HTML 49
3.2 JavaScript 49
3.2.1 Les navigateurs et le JavaScript 50
3.2.2 A quoi ressemble un script 51
3.2.3 Exemple de JavaScript 51
3.3 CSS 52
3.3.1 Définition d’un style 53
4. Présentation de l’application 54
5. Conclusion 58
Côte titre : MAI/0031 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0031 MAI/0031 Mémoire Bibliothéque des sciences Français Disponible
DisponibleUn outil de transformation automatique d’un réseau de Petri vers la logique de réécriture / Messous ,Randa
![]()
Titre : Un outil de transformation automatique d’un réseau de Petri vers la logique de réécriture Type de document : texte imprimé Auteurs : Messous ,Randa, Auteur ; Khabbaba ,Abdellah, Directeur de thèse Editeur : Setif:UFA Année de publication : 2019 Importance : 1 vol (48 f .) Format : 29 cm Catégories : Thèses & Mémoires:Informatique Mots-clés : Réseaux de Pétri
Maude
Logique de réécriture
LTL model-checkerIndex. décimale : 004 - Informatique Résumé :
Les réseaux de Petri représentent un outil extrêmement utile dans le domaine de la modélisation et de vérification des systèmes. En dépit de leur pouvoir d'analyse, il offre une représentation graphique simple qui facilite parfaitement la manipulation et l’analyse des systèmes dynamiques.
Ce mémoire présente une méthodologie de spécification et de vérification des réseaux de Petri en utilisant le système Maude. L’objectif de notre projet est présenter l’apport du formalisme de la logique de réécriture dans la vérification d’un certain nombre de propriétés des modèles basés sur les réseaux de Petri. Ceci a été accompli pratiquement via son outil d’analyse LTL model-checker.Note de contenu :
Sommaire
ntroduction général……………………………………………………………………………1
Chapitre 1
1. Introduction ............................................................................................................ 3
2. Principe du model-checking ................................................................................... 3
2.2. Classification des propriétés à vérifier ............................................................ 5
3. Model-checking LTL .............................................................................................. 6
4. Outils de model-Checking ...................................................................................... 8
4.1. SMV ................................................................................................................ 8
4.2. SPIN ................................................................................................................ 8
4.3. Model-checker LTL de Maude ....................................................................... 9
5. Limitations et solutions ........................................................................................ 10
5.1. Explosion de l’espace d’état .......................................................................... 10
5.2. Solution Symbolique ..................................................................................... 10
6. Conclusion ............................................................................................................ 11
Chapitre 2
1. Introduction .......................................................................................................... 13
2. Logique de réécriture ............................................................................................
2.1. Introduction ................................................................................................... 1
2.2. Théorie de réécriture ..................................................................................... 14
2.3. Règles de déduction ...................................................................................... 15
1. La réflexivité ................................................................................................. 16
3. Le remplacement .............................................................................................. 16
4. La transitivité ............................................................................................... 16
2.4. Réécriture Concurrente ................................................................................. 18
3. Le système Maude ................................................................................................ 19
3.1. Syntaxe de Maude ......................................................................................... 20
3.1.1. La déclaration des sortes et sous-sortes ................................................. 20
3.1.2. Les variables .......................................................................................... 21
3.1.3. Déclaration des opérations ..................................................................... 21
3.1.4. Déclaration des équations ...................................................................... 21
3.1.5. Déclaration des règles de réécriture ....................................................... 22
3.2. Modules Maude ............................................................................................. 22
3.2.1. Module fonctionnel ................................................................................ 22
3.2.2. Module système ..................................................................................... 23
3.2.3. Module orienté-objet .............................................................................. 25
3.2.4. Modules prédéfinis................................................................................. 25
3.3. module model-cheking Maude ...................................................................... 26
4. Conclusion ............................................................................................................ 27
Chapitre 3
1. Introduction .......................................................................................................... 29
2. Réseaux de Petri ...................................................................................................
2.1. Définition ......................................................................................................
2.2. Sémantique .................................................................................................... 30
3. Réseaux de Petri sur Maude ................................................................................. 32
3.1. Réseaux de Petri dans la logique de réécriture .............................................. 32
4. Model-checking et RDPs : état de l’art ................................................................ 33
4.1. Travaux voisins ............................................................................................. 34
4.2. Propriétés à vérifier ....................................................................................... 35
5. Conclusion ............................................................................................................ 36
Chapitre 4
1. Introduction .......................................................................................................... 38
2. Système de contrôle d’accès ................................................................................. 38
2.1 Contrôle d’accès ............................................................................................ 38
2.2 Architecture du système ................................................................................ 39
2.3 Principe..........................................................................................................
2.4 Propriétés du système .................................................................................... 41
3. ÉTUDE DE CAS .................................................................................................. 41
3.1 Description générale du système ................................................................... 41
3.2. Spécifications Maude .................................................................................... 42
3.2.1. Spécification du système........................................................................ 42
3.2.2. Spécification des propriétés ................................................................... 43
3.2.3. Verification ............................................................................................ 44
3.3. Conclusion ..................................................................................................... 4
Conclusion général…………………………………………………………………...47
Bibliographie…………………………………………………………………………48Côte titre : MAI/0339 En ligne : https://drive.google.com/file/d/1KW6KzGhb2AgfScujU51y39KOlcha7zL6/view?usp=shari [...] Format de la ressource électronique : Un outil de transformation automatique d’un réseau de Petri vers la logique de réécriture [texte imprimé] / Messous ,Randa, Auteur ; Khabbaba ,Abdellah, Directeur de thèse . - [S.l.] : Setif:UFA, 2019 . - 1 vol (48 f .) ; 29 cm.
Catégories : Thèses & Mémoires:Informatique Mots-clés : Réseaux de Pétri
Maude
Logique de réécriture
LTL model-checkerIndex. décimale : 004 - Informatique Résumé :
Les réseaux de Petri représentent un outil extrêmement utile dans le domaine de la modélisation et de vérification des systèmes. En dépit de leur pouvoir d'analyse, il offre une représentation graphique simple qui facilite parfaitement la manipulation et l’analyse des systèmes dynamiques.
Ce mémoire présente une méthodologie de spécification et de vérification des réseaux de Petri en utilisant le système Maude. L’objectif de notre projet est présenter l’apport du formalisme de la logique de réécriture dans la vérification d’un certain nombre de propriétés des modèles basés sur les réseaux de Petri. Ceci a été accompli pratiquement via son outil d’analyse LTL model-checker.Note de contenu :
Sommaire
ntroduction général……………………………………………………………………………1
Chapitre 1
1. Introduction ............................................................................................................ 3
2. Principe du model-checking ................................................................................... 3
2.2. Classification des propriétés à vérifier ............................................................ 5
3. Model-checking LTL .............................................................................................. 6
4. Outils de model-Checking ...................................................................................... 8
4.1. SMV ................................................................................................................ 8
4.2. SPIN ................................................................................................................ 8
4.3. Model-checker LTL de Maude ....................................................................... 9
5. Limitations et solutions ........................................................................................ 10
5.1. Explosion de l’espace d’état .......................................................................... 10
5.2. Solution Symbolique ..................................................................................... 10
6. Conclusion ............................................................................................................ 11
Chapitre 2
1. Introduction .......................................................................................................... 13
2. Logique de réécriture ............................................................................................
2.1. Introduction ................................................................................................... 1
2.2. Théorie de réécriture ..................................................................................... 14
2.3. Règles de déduction ...................................................................................... 15
1. La réflexivité ................................................................................................. 16
3. Le remplacement .............................................................................................. 16
4. La transitivité ............................................................................................... 16
2.4. Réécriture Concurrente ................................................................................. 18
3. Le système Maude ................................................................................................ 19
3.1. Syntaxe de Maude ......................................................................................... 20
3.1.1. La déclaration des sortes et sous-sortes ................................................. 20
3.1.2. Les variables .......................................................................................... 21
3.1.3. Déclaration des opérations ..................................................................... 21
3.1.4. Déclaration des équations ...................................................................... 21
3.1.5. Déclaration des règles de réécriture ....................................................... 22
3.2. Modules Maude ............................................................................................. 22
3.2.1. Module fonctionnel ................................................................................ 22
3.2.2. Module système ..................................................................................... 23
3.2.3. Module orienté-objet .............................................................................. 25
3.2.4. Modules prédéfinis................................................................................. 25
3.3. module model-cheking Maude ...................................................................... 26
4. Conclusion ............................................................................................................ 27
Chapitre 3
1. Introduction .......................................................................................................... 29
2. Réseaux de Petri ...................................................................................................
2.1. Définition ......................................................................................................
2.2. Sémantique .................................................................................................... 30
3. Réseaux de Petri sur Maude ................................................................................. 32
3.1. Réseaux de Petri dans la logique de réécriture .............................................. 32
4. Model-checking et RDPs : état de l’art ................................................................ 33
4.1. Travaux voisins ............................................................................................. 34
4.2. Propriétés à vérifier ....................................................................................... 35
5. Conclusion ............................................................................................................ 36
Chapitre 4
1. Introduction .......................................................................................................... 38
2. Système de contrôle d’accès ................................................................................. 38
2.1 Contrôle d’accès ............................................................................................ 38
2.2 Architecture du système ................................................................................ 39
2.3 Principe..........................................................................................................
2.4 Propriétés du système .................................................................................... 41
3. ÉTUDE DE CAS .................................................................................................. 41
3.1 Description générale du système ................................................................... 41
3.2. Spécifications Maude .................................................................................... 42
3.2.1. Spécification du système........................................................................ 42
3.2.2. Spécification des propriétés ................................................................... 43
3.2.3. Verification ............................................................................................ 44
3.3. Conclusion ..................................................................................................... 4
Conclusion général…………………………………………………………………...47
Bibliographie…………………………………………………………………………48Côte titre : MAI/0339 En ligne : https://drive.google.com/file/d/1KW6KzGhb2AgfScujU51y39KOlcha7zL6/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0339 MAI/0339 Mémoire Bibliothéque des sciences Français Disponible
DisponibleOutils de mesure de pression et d’échantillonnage: Cas des réservoirs du Triasique (Bassin d’Oued Mya) / Siouani .Ali abdo Elmounaime
![]()
Titre : Outils de mesure de pression et d’échantillonnage: Cas des réservoirs du Triasique (Bassin d’Oued Mya) Type de document : texte imprimé Auteurs : Siouani .Ali abdo Elmounaime ; Imene Regaigui, Directeur de thèse ; M.T Rouchiche, Directeur de thèse Editeur : Setif:UFA Année de publication : 2021 Importance : 1 vol. (57 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Physique Mots-clés : Réservoirs
Intégrés
Imagerie
Pression
Instruments de mesure
Echantillonnage
Oued MyaIndex. décimale : 530 Physique Résumé :
L'importance du pétrole dans le bassin de l'Oued Mya (Trias (T1B et T2A)) est étroitement
liée à sa situation dans l'environnement pétrolier très favorable du Cambro-Ordovicien, avec
le réservoir cible principal à proximité de l'Oued Mya.
Dans le cas des réservoirs non conventionnels, nous recherchons la production
d'hydrocarbures difficiles à extraire en raison de
leur nature qui les rend immobiles ou parce qu'ils sont dans des couches à très faible
perméabilité, dans ce cas nous parlons
Pour armoires encastrées.
Notre étude porte sur l'évaluation des réservoirs intégrés au niveau du réservoir Cambro-
Ordovicien, qui est un
Pour les grès combinés, sur la base des résultats des tests précédents et des tests de résistance.
Au sein de ces couches peu poreuses et perméables, les hydrocarbures se trouvent de manière
très diffuse, ce qui
Nous devons utiliser l'imagerie pour localiser la fracturation hydrauliqueCôte titre : MAPH/0516 En ligne : https://drive.google.com/file/d/1QKcOPRouPCMs9YYsdL0-Q6DuWi6beyKy/view?usp=shari [...] Format de la ressource électronique : Outils de mesure de pression et d’échantillonnage: Cas des réservoirs du Triasique (Bassin d’Oued Mya) [texte imprimé] / Siouani .Ali abdo Elmounaime ; Imene Regaigui, Directeur de thèse ; M.T Rouchiche, Directeur de thèse . - [S.l.] : Setif:UFA, 2021 . - 1 vol. (57 f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Physique Mots-clés : Réservoirs
Intégrés
Imagerie
Pression
Instruments de mesure
Echantillonnage
Oued MyaIndex. décimale : 530 Physique Résumé :
L'importance du pétrole dans le bassin de l'Oued Mya (Trias (T1B et T2A)) est étroitement
liée à sa situation dans l'environnement pétrolier très favorable du Cambro-Ordovicien, avec
le réservoir cible principal à proximité de l'Oued Mya.
Dans le cas des réservoirs non conventionnels, nous recherchons la production
d'hydrocarbures difficiles à extraire en raison de
leur nature qui les rend immobiles ou parce qu'ils sont dans des couches à très faible
perméabilité, dans ce cas nous parlons
Pour armoires encastrées.
Notre étude porte sur l'évaluation des réservoirs intégrés au niveau du réservoir Cambro-
Ordovicien, qui est un
Pour les grès combinés, sur la base des résultats des tests précédents et des tests de résistance.
Au sein de ces couches peu poreuses et perméables, les hydrocarbures se trouvent de manière
très diffuse, ce qui
Nous devons utiliser l'imagerie pour localiser la fracturation hydrauliqueCôte titre : MAPH/0516 En ligne : https://drive.google.com/file/d/1QKcOPRouPCMs9YYsdL0-Q6DuWi6beyKy/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAPH/0516 MAPH/0516 Mémoire Bibliothéque des sciences Français Disponible
DisponibleUn package de méthodes numériques pour résoudre des équations aux dérivées partielles / Amina Atoui
![]()
Titre : Un package de méthodes numériques pour résoudre des équations aux dérivées partielles Type de document : texte imprimé Auteurs : Amina Atoui, Auteur ; Abdellatif Boureghda, Directeur de thèse Editeur : Setif:UFA Année de publication : 2021 Importance : 1 vol (29 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Mathématique Mots-clés : Différence finies
Dérivée temporelle et spatialeIndex. décimale : 510 - Mathématique Résumé : Dans ce mémoire on a effectué un travail pour programmer un ensemble de méthodes numériques
conviviales et éducatives pour la résolution d'équations aux dérivées partielles (EDP) de types
elliptiques, paraboliques et hyperboliques dans scilab.
On a utilisé les méthodes numériques de nature itérative pour prendre d’avantage des matrices
creuses et diagonales dominantes qui résultent de la résolution des EDPs par différence finie.
Les méthodes numériques utilisées et les différents cas d'EDP rencontrés sont répertoriés dans le
chapitre 1, la théorie de la base des travaux réalisés est présentée dans les chapitres 2,3 et 4 et le
travail a été réalisé dans Scilab.Côte titre : MAM/0492 En ligne : https://drive.google.com/file/d/1yYhwDlGEGX_RTps6dcq1NRJXZ3ZZGvSu/view?usp=shari [...] Format de la ressource électronique : Un package de méthodes numériques pour résoudre des équations aux dérivées partielles [texte imprimé] / Amina Atoui, Auteur ; Abdellatif Boureghda, Directeur de thèse . - [S.l.] : Setif:UFA, 2021 . - 1 vol (29 f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : Différence finies
Dérivée temporelle et spatialeIndex. décimale : 510 - Mathématique Résumé : Dans ce mémoire on a effectué un travail pour programmer un ensemble de méthodes numériques
conviviales et éducatives pour la résolution d'équations aux dérivées partielles (EDP) de types
elliptiques, paraboliques et hyperboliques dans scilab.
On a utilisé les méthodes numériques de nature itérative pour prendre d’avantage des matrices
creuses et diagonales dominantes qui résultent de la résolution des EDPs par différence finie.
Les méthodes numériques utilisées et les différents cas d'EDP rencontrés sont répertoriés dans le
chapitre 1, la théorie de la base des travaux réalisés est présentée dans les chapitres 2,3 et 4 et le
travail a été réalisé dans Scilab.Côte titre : MAM/0492 En ligne : https://drive.google.com/file/d/1yYhwDlGEGX_RTps6dcq1NRJXZ3ZZGvSu/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAM/0492 MAM/0492 Mémoire Bibliothéque des sciences Français Disponible
DisponiblePaquet d'ondes gaussiennes accompagnant les états cohérents pour l'oscillateur harmonique inversé / Ishak Bouguerche
![]()
Titre : Paquet d'ondes gaussiennes accompagnant les états cohérents pour l'oscillateur harmonique inversé Type de document : texte imprimé Auteurs : Ishak Bouguerche ; Mustapha Maamache, Directeur de thèse Editeur : Setif:UFA Année de publication : 2021 Importance : 1 vol. (28 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Physique Mots-clés : oscillateur harmonique
Etats cohérentsIndex. décimale : 530 Physique Résumé :
Contents
Introduction 1
1 Coherent states 6
1.1 Harmonic oscillator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2 Coherent states for the harmonic oscillator . . . . . . . . . . . . . . . . . . . . . 8
1.2.1 First Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.2 Second Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.3 Third Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3 Properties and time evolution of coherent states . . . . . . . . . . . . . . . . . . 11
2 The inverted harmonic oscillator 13
2.1 Coherent states for the inverted harmonic oscillator . . . . . . . . . . . . . . . . 16
Conclusion 21
Refrences 22Côte titre : MAPH/0491 En ligne : https://drive.google.com/file/d/1JCLXEhsy0XgJR_1W9iPhA9lcsuhUT0Ci/view?usp=shari [...] Format de la ressource électronique : Paquet d'ondes gaussiennes accompagnant les états cohérents pour l'oscillateur harmonique inversé [texte imprimé] / Ishak Bouguerche ; Mustapha Maamache, Directeur de thèse . - [S.l.] : Setif:UFA, 2021 . - 1 vol. (28 f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Physique Mots-clés : oscillateur harmonique
Etats cohérentsIndex. décimale : 530 Physique Résumé :
Contents
Introduction 1
1 Coherent states 6
1.1 Harmonic oscillator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2 Coherent states for the harmonic oscillator . . . . . . . . . . . . . . . . . . . . . 8
1.2.1 First Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.2 Second Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.3 Third Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3 Properties and time evolution of coherent states . . . . . . . . . . . . . . . . . . 11
2 The inverted harmonic oscillator 13
2.1 Coherent states for the inverted harmonic oscillator . . . . . . . . . . . . . . . . 16
Conclusion 21
Refrences 22Côte titre : MAPH/0491 En ligne : https://drive.google.com/file/d/1JCLXEhsy0XgJR_1W9iPhA9lcsuhUT0Ci/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAPH/0491 MAPH/0491 Mémoire Bibliothéque des sciences Anglais Disponible
DisponiblePermalinkParadigmes bio-inspirés pour la modélisation de la mobilité de sink dans les réseaux de capteurs sans fil / Benzine,Ahmed Redha.
![]()
PermalinkPermalinkPermalinkParticule relativiste avec Spin dans un champ externe et Èquation classique dÃÈvolution de Spin. / Oussama Bouchelaghem
![]()
PermalinkPartitionnement de données quantitatives par les techniques de la fouille de données / Khaireddine Latreche
![]()
PermalinkPermalinkPermalinkLes Phénomènes de conduction dans une structure semi-conductrice à hétérojonction / Abdelkrim Benabbas
PermalinkPiegeage d'especes polluantes inorganiques dans la porosite des sba-15 et la matrice des hdLs / Kharmouche Hanadi
Permalink