Thèses de Doctorat "Informatique"

URI permanent de cette collection

https://dspace.univ-oran1.dz/handle/123456789/71

Parcourir par

Voici les éléments 1 - 20 sur 215

Nouvelle approche pour l’étude de terminaison de règle active basée sur les réseaux de Pétri
(06-2007) BABA-HAMED Latifa
Un système de gestion de bases de données (SGBD) actif est un système qui fournit les mêmes fonctionnalités qu’un SGBD classique et est, également, en mesure de réagir automatiquement aux changements des états de la base grâce à des règles appelées règles actives. Le déclenchement de ces règles peut produire un cycle infini et entraîner ainsi un problème de non terminaison. Dans cette thèse, nous proposons une approche d’analyse de terminaison de règles actives basée sur les réseaux de Petri (RdPs) et présentons, également la structure du modèle, son exécution ainsi que son implémentation. Cette approche est meilleure que ses précédentes du fait qu’elle tienne compte des événements composés (pour représenter des situations complexes) et de la priorité des règles d’une part, et qu’un même RdP permet la représentation de la règle et son analyse d’une autre part. Cette méthode permet de détecter des cas de terminaison non détectables par les autres approches.
Un Modèle pour la prise de décision en aménagement du territoire : Une Approche multicritère et une approche de négociation
(06-2008) HAMDADOU Djamila
Plusieurs auteurs ont déjà démontré des SIG aux méthodes d'analyse multicritère au service de l'aide à la décision en Aménagement du Territoire. Nous nous appliquons. à travers ce travail de recherche, à démontrer l'intérêt d'une telle association pour l'étude et la conduit des processus spatio-temporels. Notre contribution porte sur la proposition de solutions conceptuelles et méthodologiques afin d'élaborer une démarche d'aide à la décision conçue par assemblage de deux modèles indépendants autorisant, en effet, la construction d'outils de prise de décision adaptés aux besoins des utilisateurs professionnels. L'objectif du premier composant est de développer une approche constructive basée sur un modèle déterministe capable de représenter les stratégies de décision prenant en compte les interactions entre les critères et reposant sur une démarche interactive en aide multicritère à la décision. Les modèles telles que ''les mesures floues'', capables de prendre compte les interactions entre les critères, satisfont pleinement à cette exigence. Le second composant assure la négociation et la participation d'une grande diversité d'acteurs (individus ou organisation). En effet, chaque individu doit avoir dûment accès aux informations relatives à l'environnement, y compris aux informations relatives à leurs collectivités et avoir la possibilité ainsi de participer aux processus de prise de décision.
Contribution à la gestion de la cohérence de répliques de fichiers dans les systèmes à large échelle
(11-2007) BELALEM Ghalem
Les Grilles de calcul et de données constituent à l’heure actuelle des plates-formes pour répondre aux besoins des applications à grande échelle. Elles fournissent un ensemble de ressources variées, géographiquement distribuées dont le but est de réduire les coûts d’exécution des applications, d’assurer un accès rapide et efficace aux données, d’améliorer la disponibilité des ressources et de tolérer, à une large échelle, les pannes. Dans de tels systèmes, ces objectifs ne peuvent être atteints que par l’utilisation de mécanismes de réplication. La mise en oeuvre de tels mécanismes pose plusieurs problèmes, parmi lesquels celui du maintien de la cohérence des répliques d’un même ensemble de données, problème qui fait l’objet de notre thèse. Dans le cadre de cette problématique, notre contribution s’articule autour de la proposition d’une approche pour la gestion de la cohérence de répliques dans les grilles de données. Cette approche se caractérise par le fait qu’elle combine les approches pessimiste et optimiste, dans le but de bénéficier de leurs avantages, à savoir un meilleur compromis entre performance et qualité. Cette approche a été ensuite étendue par la définition d’une algorithmique pour la gestion de la cohérence de répliques, que nous avons, par la suite, évalué et validé par une série d’expérimentations.
Equilibrage de charge dans les grilles de calcul
(11-2007) YAGOUBI Belabbas
Les applications distribuées sont, de nos jours, de plus en plus exigeantes en ressources de calcul et en capacités de stockage et requièrent un très haut degré d'ecacité. Ces applications sont généralement déployées en utilisant comme infrastructure réseau, le réseau Internet. Comme exemples de ces applications, nous pouvons citer les applications de météorologie, de calcul scientique intensif, de datamining, de bioinformatique, de cryptage, etc.
Un Système multi-agents pour l'aide à la désicion en temps réel appliqué à yne gestion de production dynamique
(11-2008) TAGHEZOUT Noria
Récemment, la technologie d'agent est considérée comme une approche importante pour développer des systèmes distribués industriels, elle a été particulièrement reconnue comme un paradigme très prometteur pour la futur génération de systèmes industriels. Les agents sont conçus pour être des solveurs autonomes de problèmes (problèmes résolveurs), et de ce fait ils peuvent communiquer entre eux et avec les utilisateurs. Tout en étant suffisamment dotés de capacités cognitives pour effectuer un raisonnement sur un problème précis, ils sont capables de prendre certains types de décision et exécuter les actions associées. Les agents sont beaucoup plus efficaces pour automatiser une tache de résolution d'un problème qu'un système d'aide à la décision ou bien un système tout court. Dans cette thèse, nous examinons l'intégration potentielle de la technologie d'agent dans un cadre de système interactif d'aide à la décision. Et, nous proposons alors un système interactif d'aide à la décision à base d'un modèle multi-agents pour l'ordonnancement d'atelier en temps réel. En gestion de production temps réel, le système d'aide à la décision mémorise l'état courant de l'atelier. Il connait à tout moment l'ensemble des décisions et des événements possibles. Nous distinguons trois contextes d'aide à la décision : (i) aide à la décision dans le contexte d'une séquence admissible ; (ii) aide à la décision pour le recouvrement de l'admissibilité et (iii) aide la décision et la négociation entre centres de décisions hors du contexte planifié. L'approche décrite dans cette thèse couvre les situations présentées aux niveaux 1 et 3. L'architecture du système interactif d'aide à la décision repose sur un ensemble de modules. La modélisation et l'implantation du système décisionnel est à base d'agents. Les actions des agents d'un même niveau hiérarchique se concrétisent à travers les procédures d'analyse et de réaction. Et déclenchent les comportements spécifiques pour compenser une perturbation. Les centres de décision (agents) négocient des compromis pour résoudre des conflits, sous le contrôle de l'entité superviseur la deuxième contribution que nous avons apportée dans cette thèse est la proposition d'un modèle de négociation qui s'appui sur l'utilisation de la méthode d'aide multicritère ELECTRE III pour modéliser les préférences des agents impliqués dans le processus de négociation. La négociation est ainsi basée sur le Contract Net Protocol. Nous avons mis en place un mécanisme de gestion de contrats. Les modes de gestion des négociations sont de deux types : le cas des ressources différents et celui des ressources communes. Le premier cas de figure ne pose aucun problème, les contrats utilisant des ressources différentes sont gérés d'une manière simple et simultanée. Par contre le cas qui pose problème est celui des ressources communes, en mode de gestion parallèle les ressources sont considérées quelque soit leur disponibilité durant le cours de la négociation, mais en mode de gestion séquentielle, certaines priorités doivent être établies pour une gestion efficace traitant les conflis.
Un Système interactif d'aide à la décision pour la régulation d'un réseau de transport urbain bimodal : Approche multi-agent et raisonnement à base de cas
(2006-04-26) BOUAMRANE Karim
Offrir une qualité de service ( confort, régularité, ponctualité ) élevée aux usagers du usagers du transport urbain, de plus en plus exgeants, est dans un contexte concurrentiel un problème majeur pour les d’identifier les dysfonctionnements du réseau urbain. Le travail présenté dans cette thèse s’inscrit dans l’optique qui vise à supprimer ou à atténuer les impact négatifs sur le fonctionnement d’un réseau de transport urban. L’élaboration du système d’Aide à la régulation d’un réseau « SARRT » est une réponse au probléme. Il s’agit d’un environnement de supervision pour l’aide à la régulation d’un réseau de transport urbain bimodal ( tramway-bus).
Synchronisation temporelle dans un document multimédia : Approche Basée sur les Réseaux de Petri Temporels
(2007) GHOMARI Abdelghani
L’Avancée technologique au niveau de la puissance des ordinateurs, des périphériques et des réseaux a abouti à la création d’un grand nombre d’applications multimédia, comme par exemple : le téléenseignement, la visioconférence, la vidéo à la demande, etc. Leur fonction principale, appelée présentation multimédia, consiste à présenter les objets média de façon synchronisée selon un scénario spécifié. Garantir cette synchronisation est un problème qui est coeur de nombreux travaux de recherche récents. Ainsi, des études sont effectuées sur les modes de synchronisation entre les objets média dans les documents multimédia, notamment au niveau de la spécification et au niveau de la présentation. L’apparition du facteur temporel avec les données multimédia a imposé de nouvelles contraintes et de nouvelles approches dans la réalisation des applications multimédia. Celles-ci vont donc naturellement se répercuter à un niveau d’abstraction plus élevé avec la définition des présentations multimédia. La spécification de scénarios temporels de présentation multimédia nécessite de nouveaux supports formels. Le travail présenté dans cette thèse a pour objectif de contribuer dans le domaine de création, d’analyse et de gestion des scénarios multimédia dans une base de données à objets, et tout particulièrement dans leur dimension temporelle, en considérant un modèle à base d’intervalles d’Allen étendu utilisant des réseaux de Petri temporels pour la spécification des scénarios multimédia interactifs. Le modèle ainsi proposé est basé sur les concepts suivants: les relations temporelles et causales entre les données multimédia, les interactions de l’utilisateur, et l’indéterminisme temporel des scénarios multimédia, et permet également de vérifier lespropriétés de bon déroulement des scénarios multimédia.
Analyse et prédiction de l'impact de changement dans un système à objets
(2007) ABDI Mustapha Kamel
Le développement des logiciels industriels consomme beaucoup de temps et de ressources. Malgré cela, les coûts de développement sont inférieurs aux coûts de maintenance. Ces derniers représentent un souci majeur, même pour des systèmes conçus avec des technologies récentes telle que l’orienté objet. En effet, dans les systèmes industriels, un flot continu de changements doit être pris en compte pour permettre la survie de ces systèmes. Le besoin de mettre à la disposition des responsables de la maintenance des outils permettant d’expliquer les mécanismes de propagation de changements au niveau du code source s’affirme de plus en plus. Nous proposons dans cette thèse une approche pour analyser et prédire les impacts des changements dans les systèmes à objets. Cette approche est à la fois analytique et expérimentale. La démarche que nous suivons consiste dans un premier temps, à choisir un modèle d’impact existant, pour ensuite l’adapter à notre contexte de travail. Une technique de calcul d’impact basée sur un méta-modèle (PTIDEJ) est développée. Des données récoltées sur des systèmes réels sont envisagées pour étudier empiriquement des hypothèses de causalité entre d’une part, des attributs internes de logiciels, et d’autre part, l’impact du changement. Afin d’évaluer notre approche, une étude empirique a été menée sur un système réel (BOAP) dans laquelle une hypothèse de corrélation entre le couplage et l’impact du changement a été avancée. Un changement a été porté sur le système et des métriques de couplage ont été extraites de ce système. L’hypothèse a été étudiée par le biais de techniques d’apprentissage automatique. Les résultats ont montré que le couplage d’importation, plus que d’autres types de couplage, influence l’impact du changement. Enfin, nous envisageons d’autres expérimentations sur d’autres systèmes afin de confirmer plus ces résultats.
Guidage de véhicule par vision : Application à la détection des bords de routes
(2007-02-13) NOURINE Rachid
Le développement des "véhicules intelligents" est actuellement le centre de nombreuses recherches sur les systèmes de transport. Cet intérêt est justifié entre autres par le souci de mieux contrôler le véhicule et le comportement du conducteur considéré comme la cause de nombreux accidents. Pour cela, des systèmes d’aide à la conduite sont proposés, ayant pour objectif l’automatisation totale ou partielle de certaines tâches de la conduite. Parmi ces tâches, il y a le contrôle des déviations latérales du véhicule par rapport à l’axe de la route. Ce contrôle passe nécessairement par la détection des bords de route. Dans le cadre de cette thèse, deux approches de détection des bords de routes sont proposées, l’une destinée aux routes non marquées, l’autre traitant les routes où les voies sont délimitées par des marquages sur la chaussée. Pour le premier type, nous considérons les bords d’une route comme une frontière entre la surface de la route et les zones hors route. Ainsi, plutôt que de classifier les pixels de l’image suivant les différentes régions, on propose de discriminer les pixels suivant leur appartenance, soit aux régions, soit aux frontières de ces régions. Pour cela nous utilisons la théorie des sous-ensembles en proposant une fonction d’appartenance établie sur l’histogramme des niveaux de gris de l’image. La méthode est performante lorsque, la surface de la route et les zones hors routes, sont homogènes. Par contre, elle pose des problèmes pour les routes à très faible contraste au niveau des bords. Pour le deuxième type de route, la stratégie proposée consiste à exploiter la différence de contraste entre les marquages de la route et la surface goudronnée de celle-ci. De là est venue l’idée d’exploiter la puissance de la transformée de Radon à extraire les éléments linéaires même en présence de bruit. Dans notre cas cette transformée est utilisée pour extraire des segments de droites, tangents aux marquages, délimitant les bords des voies. Nous supposons que la route est de faible courbure et que ses bords sont localement parallèles. Les résultats obtenus avec cette méthode sont très performants même en présence d’ombre ou par mauvais temps. Néanmoins, elle échoue s’il y a occlusion ou effacement de ces marquages de la chaussée. En terme de temps calcul, nous estimons que l’utilisation d’une machine parallèle permettra d’assurer un traitement temps réel.
CNSS : UN Système neuro-symbolique cellulaire pour l'apprentissage automatique à partir de connaissance empiriques
(2007-06-27) ATMANI Baghdad
Dans cette thèse, nous avons développé des recherches sur les systèmes d'apprentissage automatique symbolique et adaptatif, et en particulier sur les méthodes d'affectation: acquisition automatique incrémentale de connaissances à partir de connaissances empiriques (exemples). De même, nous avons réalisé différentes expérimentations qui ont servies à la mise en oeuvre d'un nouveau système hybride, nommé système CNSS - Cellular NeuroSymbolic System. Ce système permet, à partir d'une base de cas pratique, de faire coopérer un réseau de neurones, un graphe d'induction et un automate cellulaire pour la construction d'un modèle de prédiction. En détectant et en éliminant les individus non applicables et les variables non pertinentes, le réseau de neurones optimise l'échantillon d'apprentissage. Le résultat du réseau de neurones ainsi obtenu, est affiné par un processus d'apprentissage automatique symbolique à base de graphe d'induction (méthode SIPINA). Ce raffinement se fait par l'automate cellulaire qui va assister SIPINA à l'optimisation du graphe d'induction et assurer, par la suite, la représentation et la génération des règles de production sous formes conjonctives avant d'entamer la phase de validation par un Système Expert Cellulaire. Le système d'apprentissage automatique CNSS a été conçu pour l'acquisition automatique incrémentale de connaissances par induction et la prédiction par déduction. Le système a été testé sur plusieurs applications, en utilisant des problèmes réels comme le diagnostic médical et la prédiction bancaire. Les résultats montrent que le système CNSS a des performances supérieures et de nombreux avantages par rapport aux trois techniques qui le compose, testées séparément et, d’autre part par rapport à d’autre systèmes d'apprentissage symbolique qui existent.
Architecture Coopérative pour L’Aide à la Décision de Groupe Distribuée
(2007-12-15) ADLA Abdelkader
Tout au long de notre présentation, nous avons souligné plusieurs points qui font émerger des perspectives d’approfondissement et d’extension pour le conception d’un système d’aide à la décision coopérative et distribué. Il nous paraît essentiel alors de pouvoir proposer aux facilitateurs différentes sortes d’outils selon l’étape courante du processus de décision : pré-décision, post-décision etc... Nous dégageons là une perspective de travail technologique. Il faut développer le bon outil pour la bonne étape. Pour cela des outils plus complexes que ceux proposés dans ce mémoire sont nécessaires. On peut même envisager, à terme, une gestion automatique des outils de travail nécessaires selon l’étape en cours. Cette dernière perspective passera par une modélisation du raisonnement de gestion d’un processus de décision pour être utilisée dans un système à base de connaissance. Au niveau architectural, un autre développement de ce travail est l’amélioration de la reconnaissance de l’intention de l’utilisateur et la mise à jour du modèle conceptuel utilisateur. Le MCU, utilisé à son origine en tant qu’une représentation des enchaînements des actions (ou encore des buts ou des tâches) que l’utilisateur met en général en œuvre pour mener une résolution, est un point de départ pour cette étude. L’association des actes de communications, extension de la notion d’actes de langage, aux tâches de l’utilisateur facilitera le mécanisme de reconnaissance des intentions.
Ordonnancement hierarchique multi-objectifs d'applications embarquées intensives
(2008) BENYAMINA Abou El Hassan
Le rythme d'évolution effréné provient des avances technologiques des circuits intégrés et de leurs architectures qui ont permis de développer des systèmes informatiques plus petits, plus compacts et plus rapides, grâce en grande partie à la capacité d'intégration de plus en plus élevée. Un type de ces systèmes qui a profité largement de cette évolution est le système embarqué. Les techniques de conception de ces systèmes permettent maintenant de regrouper des systèmes hétérogènes sur la même puce électronique, donnant ainsi naissance à un nouveau paradigme dans les systèmes embarqués : les systèmes sur puce (SoC : System on Chip). Notre travail s'inscrit, alors, dans le cadre d'un projet global supporté par toute l'équipe DaRT de l'INRIA. Ce projet consiste à réaliser flot de conception et de développement de SoC. Ce flot de conception est connu sous le nom GASPARD2 et qui fit partie des méthodes classiques en << Y >> pour les SoC. Dans ce flot de conception la phase de placement (mapping) ou association application/matérielle constitue une étape très important, car elle participe d'une façon critique dans l'atteinte des objectifs arrêtés lors de la spécification du SoC. Ce mapping a une particularité, dans ce contextes, car il ne s'agit pas uniquement d'un placement classique qu'on a l'habitude de rencontre dans les systèmes parallèles mais il englobe trois phases : assignation, affectation et scheduling (AAS). De plus, du fait que Gaspard2 vise à traiter aussi des application de traitement intensif, on est amené à prendre en considérations dans le mapping la nature répétitive de certaines tâches qui traitent des données multidimensionnelles. Le dernier volet de notre travail et qui constitue une contribution très important par son originalité, car il n'a jamais été traité par les chercheurs travaillant dans ce domaine, consiste à faire le mapping des applications hiérarchiques. Ce problème consiste à placer une application hiérarchisée sur une architecture ayant la même structuration. C'est ce qu'on appelle le GILR (Globalement Irrégulier Localement Régulier). La démarche proposée, et après expérimentation, nous a permis de constater que la hiérarchisation des application et des architectures permet de réduire considérablement la complexité. les résultats obtenus sont aussi encourageant et vont dans le sens de notre réflexion.
Systèmes dynamiques non linéaires à retard : Application à la commande des robots manipulateurs rigides
(2008) BOUDJENAH Lotfi
Dans cette thése on s'intéresse au problème de l'existance de la commande pour les systèmes de commande à retard en utilisant les inclusions différentielles a argument retardé pour modéliser les systémes dynamiques non linéaires avec application aux robots manipulateurs rigides. Nous montrons l'existance des solutions des équations au paratingent à argument retardé sous des hypothèses assez faibles de bornitudes et nous donnons une estimation de la solution. Nous étudions les propriétes fondamentales de l'ensemble des solutions de l'équation au paratingent à argument retardé ensuite nous étudions le problème du contôle optimal pour les systèmes de contrôle à retard. Nous présentons quelques notions de base du robot manipulateur, ensuite nous utilisons le formalisme de langage pour déterminer le modèle dynamique qui seront utilisées dans les différents propriétés structurelles du modèle dynamique qui seront utilisées dans les calculs des bornes. Nous donnons une application au robot manipulateur PUMA 560 en utilisant la commande de Paden et Panja qui est une commande dynamique de poursuite de trajectoire. Finalement nous présentons les résultats de la simulation de la loi de commande en l'appliquant au modèle dynamique du robot PUMA 560, avec différentes valeurs du retard constant r
Requête naturelles appliquées à la stratégie manageriale en productique(Maintenance Industrielle) : Les Agents autonomes de Conrad
(2008-07-03) BENLAZAAR Sid Ahmed Nadjib
La recherche appliquée en Intelligence Artificielle ne cesse de prendre de l'ampleur et de créer de nouvelles débouchées, tant dans le domaine militaire que socio-économique. L'entreprise, dont nous avons fait notre champs de recherche est d'autant plus bouleversée dans son organisation interne que l'informatique prend de l'ampleur, tant dans le champs d'exercice technicien, à travers les systèmes d'information traditionnels, que dans le domaine de l'aide à la prise de décision, et notamment au niveau du management. La difficulté fondamentale pour la machine est justement de percevoir la volonté et l'approche réflexionnelle du manager. Un manager est astreint à des objectifs de performance vis-à-vis de son entreprise. Or ces objectifs sont souvent un sujet de prise de décision justement managérial, et donc unilatéral, par rapport à un ensemble de visions, de données et desquelles émane une option jugée la meilleure. l'environnement est fait de règles et de connaissances. Si les règles changent, les connaisssances, elles, sont statiques; seule la vision que nous avons de ces dernières cgange. Il est important donc de considérer le mouvement spatio-temporel des connaissances comme étant l'une des données les plus sûres de nos prises de jugement, allant jusqu'à remettre en cause nos régles comportementales. La thèse que nous proposons a trait à la recherche d'une identification des règles managériales à choisir en fonction de ce mouvement spatio-temporel des données. Pour cela, nous nous basons sur la mise en place déespaces cybernétiques d'agent autonomes dont le rôle stratégique est le transfert de l'intelligence de choix du manager au niveau même des connaissances, et à tavers ce processus, l'émergence des règles adéquates mises en confrontation avec son propre modèle de choix.
Problématique de la consommation d’énergie dans les réseaux de capteurs sans fil
(Université oran1 Ahmed Ben Bella, 2010-07-13) Kechar Bouabdellah
La Problématique de la consommation d'énergie dans les réseaux de capteurs sans fil (RCSF) est devenue un axe de recherche très important et d'actualité ces dernières années. Ceci a poussé un grand nombre de chercheurs à proposer des solutions à économie d'énergie au niveau de la pile protocolaire dans la perspective de minimiser la dépense énergétique nodale et de maximiser la durée de vie du réseau global. Dans cette thèse, nous nous intéressons à ces problèmes d'économie d'énergie pour une classe de RCSF dédiés aux tâches de monitoring environmental de grandeurs physiques scalaires en essayant à la fois d'étudier les causes principales de gaspillage d'énergie à tous les niveaux de la pile des protocoles et de proposer quelques solutions adéquates. Afin de soutenir un gain énergétique considérable (au niveau d'un nœud et au niveau du réseau), nous exploitons la notion de redondance sous ces différentes formes naturelles qu'on peut trouver dans un RCSF pour bâtir des algorithmes, protocoles et techniques à économie d'énergie en utilisant soit une approche couche par couche ou une approche inter-couches. Une redondance spatiale (plusieurs nœuds capteurs collectent une même grandeur physique ou plusieurs nœuds capteurs candidats à intégrer un chemin dans un schéma de routage multi-sauts) nous a permis de concevoir d'une part un algorithme de routage adaptatif et un protocole MAC inter-couches pour étendre la durée de vie du réseau en se basant sur la propriété d'autoorganisation. D'autre part, elle nous a facilité l'élaboration d'une démarche d'optimisation énergétique du routage géographique en post-déploiement par le moyen d'une opération de reconfiguration centralisée. Les redondances temporelle (une même grandeur collectée à des instants différents) et spacio-temporelle permettent de favoriser la conception d'algorithmes robustes de compression et d'agrégation à économie d'énergie. La forme de redondance de chemins (plusieurs chemins à exploiter simultanément ou par alternance pour la délivrance des données) est proposée en perspective.
Privacy Agreement : une approche pour la représentation et le raisonnement sur la dynamicité de la privacité dans les services Web
(Université Oran1 Ahmed Ben Bella, 2010-07-14) Meziane Hassina
Les services Web sont des applications parmi celles qui utilisent fortement les informations privées des clients. Afin, de prendre en considération les problèmes de la privacité (privacy) des individus, les organismes (les services Web) fournissent des politiques privées. Elles sont proposées en tant que promesse, décrivant la manière dont les données personnelles de l'individu seront manipulées par l'organisme. Cependant, ces politiques semblent insuffisantes pour convaincre les clients de divulguer leurs informations personnelles, elles ne fournissent aucune garantie pour la protection des données privées, et ne décrivent pas la prise en compte de leur évolution dans un environnement dynamique. Dans cette thèse, nous introduisons un cadre de travail basé sur la notion de contrat comme solution à ces problèmes. Nous proposons un modèle pour la privacité, appelé privacy agreement qui décrit un ensemble d'exigences relatives aux droits du clients, en précisant la manière dont le fournisseur doit manipuler les informations privées. Nous définissons deux niveaux dans le contrat, (1) le niveau politique, (2), le niveau négociation. Le modèle formel de privacité est décrit dans le niveau politique, nous fournissons aussi un mécanisme de raisonnement pour la gestion de l'évolution. Celui ci est considéré comme un aspect important de l'environnement dynamique dont est caractérisé le service Web. Un protocole de négociation est proposé permettent d'avoir grâce à la négociation courante sur la privacité un niveau privacy agreement.
Pilotage réactif et adaptatif pour les systèmes de production à flux: application à l industrie pétrochimique.
(Université Oran1 Ahmed Ben Bella, 2010-09-29) Aissani Nassima
Le Contexte industriel actuel est caractérisé par une grande dynamique dû à la concurrence qui règne dans les marchés internationaux et la complexité des procédés de fabrication. Ces contraintes poussent les chercheurs du domaine de la production vers la conception et la modélisation des systèmes de pilotage de production de plus en plus adaptatifs et réactifs aux fluctuations de leur environnement. L'approche par pilotage distribué ou décentralisé offre un potentiel important en termes de capacité d'adaptation et d'auto-organisation. Et les résultats les plus aboutis sont en fait issus de la communauté multi-agents et de celle de l'intelligence artificielle, avec plus ou moins des avantages et des inconvénients. Le système de pilotage que nous présentons dans ce mémoire est basé sur une modélisation multi-agent afin de bénéficier du caractère décentralisé des agents et de leur autonomie comportementale et décisionnelle. Ces facultés offrent au système de pilotage des potentialités d'auto-organisation et de réactivité. Et pour améliorer le caractère décisionnel des agents et l'adaptabilité du système, nous dotons les agents d'une capacité d'apprentissage par renforcement mufti-objectifs. Cette technique permet aux agents d'acquérir une politique comportementale qui satisfait plusieurs objectifs (produire le plus et maintenir le plus) en améliorant la qualité des solutions qui émergent de l'interaction des agents. Nous avons testé l'applicabilité de notre approche sur un système de production à flux continu représenté par l'unité 3100 de l'entreprise Noftec/ Arzew, dédiée à la fabrication des lubrifiants. Les résultats de simulation ont montré que le système de pilotage développé peut être réactif et adaptatif à son environnement de production.
Vérification Formelle des Machines à Etats Abstraits par la Logique Temporelle des Actions.
(Université Oran1 Ahmed Ben Bella, 2010-10-28) Elhabib Daho Hocine
Le Travail présenté dans cette thèse porte sur la formalisation et la vérification formelle des modèles ASM en utilisant la logique temporelle des actions(TLA). L'approche de formalisation proposée avec la logique TLA, s'appuit sur la définition d'un ensemble de règles de traduction permettant de formaliser les aspects structurels et comportementales d'un modèle (ou une spécification) ASM, en des expressions logiques de leur sémantique dans le langage de spécification formelle TLA+. Ces règles de traduction sont proposées comme des directives permettant de guider l'interprétation formelle des concepts d'un modèle ASM, en termes des concepts logique du langage de spécification TLA+.En ce sens, l'objectif principal de cette approche de formalisation est de pouvoir traduire des spécifications ASM en des spécifications temporelles TLA+ supportant des techniques de preuves axiomatiques associées à la logique TLA, permettant d'établir la preuve de correction qu'une spécification ASM donnée satisfait les propriétés temporelles initialement exigées par le système modélisé en terme du formalisme ASM.
Métaheuristiques Hybrides Parallèles pour le Q3AP sur Environnements à Grande Echelle
(Université Oran1 Ahmed Ben Bella, 2010-12-14) LOUKIL Lakhdar
Les Métaheuristiques sont des méthodes génériques utilisées pour la résolution approchée de problèmes d'optimisation combinatoire (POC) NP-difficiles. De nombreuses métaheuristiques existent et peuvent être scindées en deux classes principales : les métaheuristique à solution unique et les métaheuristiques à population de solutions. Les métaheuristiques de la première classe les plus connues sont le recuit simulé, la recherche tabu, la méthode ILS (Iterated Local Search), VNS (Variable Neighborhood Search), etc. Les métaheuristiques les plus connues de la seconde classe sont les algorithmes évolutionnaires, la méthode GRASP (Greedy Randomized Adaptive Search Procedure), les colonies de fourmis, etc.Pour une résolution efficace, une métaheuristique doit avoir la capacité de diversifier la recherche dans les espaces de recherche et la capacité d'intensifier la recherche dans le voisinage des solutions prometteuses. Malheureusement, même si les méthodes ont été conçues pour atteindre ces deux objectifs, il n'en demeure pas moins qu'elles montrent une tendance vers l'un ou vers l'autre des deux objectifs. L'hybridation de métaheuristique à comportements complémentaires d'intensification et de diversification est une approche généralement adoptée pour construire des méthodes de résolution efficaces et robustes. Les méthodes résultant de l'hybridation de plusieurs métaheuristiques sont, cependant, gourmandes en temps de calcul et nécessitent d'importantes ressources de calcul en particulier lorsque les instances visées sont de grande taille. L'implémentation de ces méthodes nécessite le recours au parallélisme et à la distribution du calcul sur des environnements à grande échelle.Le problème considéré dans cette thèse est le problème d'affectation quadratique à 3 dimensions (Q3AP). Il est d'optimisation combinatoire NP-difficile. Pour résoudre des instances de Q3AP de grande taille, des méthodes hybrides parallèles sont proposées. Ces méthodes sont implémentées sous la plate-forme logicielle ParadisEO et déployées sur GRID5000.Les expérimentations sur des benchmarks de la littérature et sur de nouveaux benchmarks de plus grande taille ont montrés que nos méthodes sont très compétitives.
Contribution de la Programmation Par Contraintes à L’Ingénierie Ontologique
(Université Oran1 Ahmed Ben Bella, 2010-12-31) Benaissa Moussa
L'Emergence du web sémantique comme vision futuriste du web actuel et l'adoption des ontologies comme pierre angulaire pour sa construction ont soulève des questions de recherche importantes. En effet les caractères distribué et complexe des ontologies conjuguées avec leur prolifération sur le net dans divers domaines posent plusieurs types de problèmes. Parmi ces problématiques, nous pouvons citer le développement des ontologies, leur évaluation, leur alignement, leur évolution, leur integration, etc. Justement, l'objectif de cette thèse est d'aborder les aspects de l'alignement et de l'évolution des ontologies. Plus précisément, il s'agit de résoudre des problèmes combinatoires lies à ces aspects. Le cadre global de la thèse consiste à proposer une approche basée sur la programmation par contraintes (PPC) pour solutionner ces problèmes. Sur le volet évolution, il s'agit de préserver la consistance de l'ontologie lorsqu'elle subit des changements. Plusieurs types de consistance (consistance logique, consistance structurelle,...) existent. Celle qui est considérée dans cette thèse est la consistance définie par l'utilisateur. Un système hybride (automatique et interactif) y a été proposé. Sur le volet alignement, c'est le problème d'extraction qui a fait l'objet d'une contribution. En effet, si beaucoup de recherche a été dédiée aux calculs des similarités et à leur affinement, peu d'attention a été accordée au problème d'extraction. Un modèle PPC a été proposé pour optimiser l'extraction d'un alignement entre ontologies possédant certaines propriétés formelles.

Parcourir par

Parcourir la collection Thèses de Doctorat "Informatique" par Date de publication

Résultats par page

Options de tri