Thèses doctorat
Permanent URI for this collectionhdl:123456789/43
Browse
11 results
Search Results
Item Modèles de contrôle d’accès dynamiques(University of sciences and technology in Oran, 2015-11-26) ZERKOUK, MeriemL’émergence de l’intelligence ambiante et de la sensibilité au contexte ont favorisé le déploiement des services dans les environnements dédiés aux personnes dépendantes (âgées ou déficientes). Les applications sensibles au contexte contribuent significativement à l’amélioration de la qualité de vie de ces personnes en termes d’autonomie et de sécurité. Néanmoins, l’accessibilité à ces services reste assez limitée et ne peut se concevoir sans la prise en considération des capacités de ces personnes. Par conséquent, la modélisation des politiques de sécurité constitue un défi majeur dans la conception de modèles de contrôle d’accès pour une gestion dynamique et personnalisable des services selon le profil utilisateur. La mise en place d’une politique de sécurité au niveau des systèmes intelligents a eu toujours recours aux modèles de contrôle d’accès dynamiques où l’assignation des droits d’accès est liée à la validité du rôle et du contexte. Cependant, les données contextuelles utilisées ne permettent pas de résoudre tous les verrous liés aux exigences de la sécurité. Les modèles existants sont inadaptés en raison du manque de flexibilité, de personnalisation et d’adaptabilité à la capacité et au comportement de l'utilisateur. Pour remédier à ces insuffisances, l'incorporation de données contextuelles riches et complexes est nécessaire. D'où, le besoin d'exploiter une architecture sensible au contexte munie des modules d'acquisition, de modélisation, de raisonnement et d'adaptation. Le travail effectué dans cette thèse porte sur la conception d'une politique de sécurité mise en place par un modèle de contrôle d’accès basé sur le comportement et les capacités des utilisateurs dans les environnements intelligents UBC-ACM (User Behavior Capability based Access Control Model) et développée au moyen de l'architecture UBC-ACA (User Behavior Capability based Access Control Architecture). L'assignation des droits d’accès est basée sur l’analyse et le suivi du comportement ainsi que l’extraction des profils et les situations critiques vécues par l'’utilisateur. Le processus de contrôle d'accès est composé de les phases suivantes: - L’extraction des comportements selon le degré de la sensibilité des situations au moyen d'un processus d'apprentissage. - La génération d' un modèle de contrôle d’accès dynamique basé sur les comportements, les profils et les capacités. - Le raisonnement intelligent basé sur l'intégration des résultats d'apprentissage afin d'extraire les droits d’accès les plus appropriés vis à vis des besoins des personnes agées dépendantes. - La prise de décision effectuée par l'exploitation des résultats inférés. Finalement, notre politique de sécurité a été validée avec des données acquises d'une plate forme de télé-vigilance munie de capteurs ubiquitaires et portables.Item Tolérance aux fautes dans les grilles de calcul(University of sciences and technology in Oran, 2015-10-21) Mohammed REBBAHL'objectif de cette thèse est de proposer des techniques de tolérance aux fautes pour les grilles de calcul. Elles généralisent la problématique soulevée par le développement de trois techniques de tolérance aux fautes, et leurs implémentations et leurs évaluations sous une Desktop Grid ou par des simulations. Comme première contribution, nous proposons une amélioration modèle G/S/M par un modèle hiérarchique dynamique et son implémentation, sous forme d'un service de grille, sous le middleware Globus. Puis, la proposition d'un modèle hiérarchique tolérant aux fautes pour une grille mobile. La deuxième contribution, qui est à la fois majeure et originale, concerne la proposition de deux modèles décentralisés de tolérance aux fautes pour les grilles. Ces modèles se basent sur un nouveau type de graphe que nous avons défini, à savoir les graphes colorés dynamiques. Grâce à ces graphes, nous arrivons à définir, de manière abstraite et formelle, les caractéristiques fondamentales des grilles de calcul, comme la dynamicité, l'hétérogénéité et le passage à l'échelle. Nous utilisons un jeu de couleurs, pour colorier les sommets de ces graphes, en tenant compte des caractéristiques physiques et logiques des nœuds d'une grille. Ces couleurs (qui sont susceptibles de changer au cours du temps), nous ont permis d'une part, de représenter la dynamicité des grilles et de mettre en place des techniques de tolérance aux fautes, d'autre part. Dans la troisième contribution, nous proposons un modèle fiable de tolérance aux fautes basé sur une migration périodique des tâches vers le substitut le plus fiable.Item Towards a software component assembly evaluation(University of sciences and technology in Oran, 2015-06-02) Yahlali, Mebarka; Chouarfia, AbdellahThe paradigm of Component-Based Software Engineering aims to develop software by assembling and deploying reusable units, called software components. This approach tries to improve the flexibility, re-usability and maintainability of applications, and helps develop complex and distributed applications deployed on a wide range of platforms, by plugging commercial off-the-shelf components, rather than building them from scratch. In this context, the selection step is very important. It consists of searching and selecting appropriate software components from a set of candidate components in order to satisfy the developer-specific requirements. In the selection process, both functional and non-functional requirements are generally considered. In this study, the authors propose a method enabling quality evaluation of software component assembly. This method allows us to choose the best composition in term of quality.Item Use partly hidden Markov model to evaluate a future failure(University of sciences and technology in Oran, 2015-03-19) Asmaa, Boughrara; Belhadri, MessabihThe diagnosis of failures, if done properly and enabling early degradation detection, represents a means to optimise the production unit and to reduce the costs by avoiding failures. This challenge can be addressed through hidden Markov models (HMMs) that can estimate the probability of a future failure based on observation system. However, sudden changes in system behaviour due to either system malfunction or one of its components will affect the operation process. Thus, previous errors have an impact on the current system state and a regular HMM does not meet this requirement unlike partly hidden Markov models (PHMMs), which combines the power of conditioning the state transition probability to the previous observation. In this paper and for the first time, we propose to use PHMM as a mechanism to identify a future failure of industrial furnace. The obtained results prove that using PHMM seems to be particularly effective, efficient and outperforms the HMM.Item A Two-Stage Multi-Agent Based Assessment Approach to Enhance Students’ Learning Motivation Through Negotiated Skills Assessment(University of sciences and technology in Oran, 2015-03-19) Chadli, Abdelhafid; Bendella, Fatima; ranvouez, ErwanIn this paper we present an Agent-based evaluation approach in a context of Multi-agent simulation learning systems. Our evaluation model is based on a two stage assessment approach: (1) a Distributed skill evaluation combining agents and fuzzy sets theory; and (2) a Negotiation based evaluation of students’ performance during a training simulation or a Problem-solving process in a Computer-assisted learning system. This paper highlights how this approach deals with the problem of subjective evaluation of students, and shows the impact of Negotiated skills evaluation on reducing the students’ rate of dropout. This approach can also compensate the absence of human expert for assessing training results. Applied to training in plant protection, experiments' results showed first the fuzzy sets based assessment to be similar to the domain expert’s assessment and second the negotiated skills assessment to be effective in assessing students’ abilities and sustaining students’ motivation to continue learning. This evaluation approach allows us to address the problem of subjective assessment and overcome some difficulties encountered in traditional measurement models.Item Probabilistic Models for Local Patterns Analysis(University of sciences and technology in Oran, 2015-03-15) Khiat, Salim; Belbachir, Hafida; Rahal, Sid AhmedRecently, many large organizations have multiple data sources (MDS’) distributed over different branches of an interstate company. Local patterns analysis has become an effective strategy for MDS mining in national and international organizations. It consists of mining different datasets in order to obtain frequent patterns, which are forwarded to a centralized place for global pattern analysis. Various synthesizing models [2,3,4,5,6,7,8,26] have been proposed to build global patterns from the forwarded patterns. It is desired that the synthesized rules from such forwarded patterns must closely match with the mono-mining results (i.e., the results that would be obtained if all of the databases are put together and mining has been done). When the pattern is present in the site, but fails to satisfy the minimum support threshold value, it is not allowed to take part in the pattern synthesizing process. Therefore, this process can lose some interesting patterns, which can help the decider to make the right decision. In such situations we propose the application of a probabilistic model in the synthesizing process. An adequate choice for a probabilistic model can improve the quality of patterns that have been discovered. In this paper, we perform a comprehensive study on various probabilistic models that can be applied in the synthesizing process and we choose and improve one of them that works to ameliorate the synthesizing results. Finally, some experiments are presented in public database in order to improve the efficiency of our proposed synthesizing method.Item ROUTAGE MULTIPATH DANS LES RESEAUX AD HOC(Université des Sciences et de la Technologie D’Oran Mohamed Boudiaf, 2015) Omar, SmailLes réseaux ad hoc sont des réseaux sans fil fonctionnant sans infrastructure et sans gestion centralisée du réseau; ils sont constitués de nœuds mobiles avec des batteries à énergie limitée; en conséquent, la conservation de l'énergie est une condition essentielle dans la conception de protocoles de routage pour ce type de réseaux. Afin de palier le problème d’énergie, de nouvelles formes de routage sont utilisées comme le routage multichemin. Le routage multichemin permet d'envoyer les paquets de données sur des chemins multiples et semble être une solution efficace pour ces réseaux. Dans cette thèse, nous avons étudié les techniques de routage multichemin existant dans la littérature. Ensuite, nous avons proposé une extension du protocole de routage AODVM appelé AODVME+ (Ad hoc On-demand Distance Vector Multipath Energy+). Le but est d’améliorer la stratégie de routage par un routage multichemin avec une classification de chemins. Les chemins ayant un niveau d’énergie consistant sont sélectionnés pour la transmission des données. Notre deuxième solution est un protocole de routage multichemin efficace en énergie, appelé AOMR-LM (Ad hoc On-demand Multipath Routing with Lifetime Maximization), qui conserve l'énergie résiduelle des noeuds et équilibre l'énergie consommée pour prolonger la durée de vie du réseau. Pour atteindre ce but, nous avons utilisé l'énergie résiduelle des noeuds pour calculer leurs niveaux d'énergie. Le mécanisme de sélection des chemins utilise ce niveau d'énergie pour classer les chemins dans le processus de découverte inverse. Nos deux solutions proposées améliorent la performance des réseaux mobiles ad hoc en prolongeant leurs durées de vie. Ces nouveaux protocoles sont comparés avec d'autres protocoles: AOMDV (Ad hoc On-demand Multipath Distance Vector), MMRE-AOMDV (Maximal Minimal Residual Energy-AOMDV) et ZD-AOMDV (Zone Disjoint- AOMDV). La performance des protocoles a été évaluée en termes de durée de vie du réseau, la consommation d'énergie, et le délai de bout en bout.Item The Mobility Issue in Admission Controls and Available Bandwidth Measures in MANets(University of sciences and technology on Oran, 2015-02-15) Belbachir, Redouane; Mekkakia Maaza, Zoulikha; Kies, AliItem Contribution à la Recherche Intelligente sur le Web : Indexation S émantique des T ext es Non - S tructurés(usto, 2013-04-17) Abderrezak, BRAHMIDepuis sa promotion au grand public au début des années 1990, le Web a connu une croissance extraordinaire aussi bien dans son contenu que dans son utilisation. Malheureusement, l a nature non - structurée, des larges volumes d’information disponibles sur la toile mondiale, a rendu de plus en plus difficile de cibler et retrouver l’information pertinente. Dans les systèmes classiques de recherche d’information, basés sur les mots - clés , les utilisateurs trouvent souvent des difficultés à exprimer leur besoin d’information. Parmi les nouvelles approches, qui ont été proposés pour promouvoir la recherche intelligente d’information, celle introduisant la dimension sémantique dans la modéli sation des documents. La recherche sémantique sur le Web peut être réalisée selon trois approches principales : (i) Organiser la recherche (indexation de documents et/ou analyse de requêtes) autour de connaissances conceptuelles (thésaurus ou ontologie), (ii) Ut iliser un système d’annotation documenté par des expe rts ou une masse d’utilisateurs pour promouvoir la recherche collaborative, (iii) Développer des méthodes d’indexation sémantique des textes non - structurés. C’est dans cette dernière approche que la présente étude s’inscrit en essayant d’analyser les modèles de thèmes suivant trois axes d’investigation : 1 . Quelle est la faisabilité d’utiliser un modèle de thème comme approche d’indexation sémantique des textes pour les tâches de recherche d’informati on ? 2 . Comment évaluer et interpréter le modèle de thème pour l’analyse sémantique du contenu d’une collection ? 3 . Dans quelle mesure peut - on appliquer les modèles de thème dans le texte non - structuré non - anglais (l’arabe comme exemple d’étude) ? Comme contri bution majeure dans cette étude, il intéressant de citer : 1 . L’analyse et l’évaluation du modèle d’allocation latente de Dirichlet dans les tâches de recherche et de catégorisation des textes sur des corpus réels. 2 . La proposition d’une nouvelle mesure, à base de la divergence de Kullback - Leibler, pour le paramétrage de l’apprentissage des thèmes dans une collection donnée. 3 . Le développement d’un nouvel algorithme de stemming à base de lemme pour l’analyse et l’indexation du texte arabe. 4 . L’élaboration de trois collections arabes, à base d’articles de presse relatifs à la période 2007 - 2010, pour les expérimentations de tâches de la recherche d’information. Par aill eurs, les modèles de documents générés, par l’allocation latente de Dirichlet dans des espace s rédu it s de thèmes, ont été utilisés efficacement dans la catégorisation des textes et la recherche ad - hoc. En plus, nos travaux ont montré l’efficacité de considérer les aspects morphologiques et les variations typographiques dans l’indexation sémantique des l ang ue s hautement flexionnelles tel le s que l’arabeItem Reconnaissance d es Formes - Intelligence Artificielle (RF - IA(usto, 2012-02-23) Redouane, TLE MSANILe travail se situe dans le domaine de la reconnaissance de caractères arabe sisolés en ligne,et l amotivation principale dans ce domaine est d‟étudier le manuscrit arabe via à vis la technologie en ligne. Notre système est un système Markovien que l‟on peut voir comme un Rése au Bayésien Dynamique (Dynamic Bayesian Network DBN). Un des intérêts majeurs de ces systèmes réside dans l‟apprentissage complet des modèles (topologie et par amètres) à partir de données d‟apprentissage. L‟approche est basée sur le formalisme des réseaux bayésiens dynamiques. La théorie des DBNs est une généralisation des réseaux Bayésiens aux processus dynamiques. Parmi nos objectifs revient à trouver les me illeures paramètres qui représente nt les liens (dépendances) entres les variables d‟un réseau bayésien dynamique. Dans des applications en reconnaissance des formes, on procède généralement à la fixation de la structure qui oblige d‟admettre quelques hypot hèses fortes (par exemple l‟indépendance entre certaines variables). L‟application a porté sur la reconnaissance en ligne de caractères arabes isolés en utilisant notre base de données de laboratoire NOUN . Un testeur neuro - génétique a été proposé comme am élioration externe du DBN. Les scor es pour DBN et DBN hybridé sont respectivement 66.78% et 73,47% ce qui laisse présager leur exploitation ultérieure ; d‟autres approches d‟amélioration tenant compte du temps ont été considérées et implémenté e s jusqu‟à ob te ntion d‟un taux important 94,79% à base de reconnaissance