قسم الإعلام الالي

Permanent URI for this collection

http://localhost:4000/handle/123456789/121

Browse

Now showing 1 - 20 of 48

Contrôle de la réorganisation dans les SMA
(Université d' Oum El Bouaghi, 2003) Kalache, Ayyoub; Mokhati, Farid
La Réorganisation dans les systèmes multi-agents joue un rôle crucial dans l'adaptation dynamique de la structure et du comportement des organisations. Afin d'assurer la cohérence de l'organisation résultante, le processus de réorganisation doit être contrôlé. Dans ce mémoire, nous proposons une nouvelle approche pour contrôler le processus de réorganisation des SMA, qui sont spécifiés et implémentés à l'aide de Framework OMACS (Organizational Model for Adaptive Computational Systems). Le processus de contrôle proposé est réalisé en utilisant le Framework MOP (Monitoring OrientedProgramming) pour supporter la vérification de certaines propriétés de réorganisation. L'approche proposée, est soutenue par un outil logiciel, que nous avons développé, est illustrée par une étude de cas concrète
Une Méthode de développement d'architecture logicielle basée sur notion d'aspect et orientée utilisateur
(Université d' Oum El Bouaghi, 2003) Elbaz, Khalil; Boufaida, Mahmoud
L'architecture logicielle d'un système permet de prendre en compte en outre les besoins fonctionnels, les objectifs de qualité ou besoins non fonctionnels du système à développer. La prise en compte dès le début, dans le cycle de vie d'un système, de ces aspects est essentielle pour le développement des systèmes de qualité. La décomposition fonctionnelle d'un système en général est réalisée en utilisant des méthodes classiques de développement de logiciel. Cependant il n'y a aucune méthode fiable considérant la décomposition non fonctionnelle. Dans ce travail, notre objectif est de proposer une méthode de développement qui garantit la prise en compte de toutes les propriétés notamment les propriétés non fonctionnelles. L'architecture se définit en considérant d'une part une spécification des besoins non fonctionnels du domaine qui seront considérés comme des aspects et d'autre part les besoins fonctionnels du système définis par des cas d'utilisation (vision orientée utilisateur). La configuration initiale est raffinée en introduisant des nouveaux éléments, répondant aux propriétés non fonctionnelles spécifiques. Notre contribution réside dans le fait de rendre explicites toutes les décisions architecturales, y compris celles concernant la prise en compte des besoins non fonctionnels. Cette méthode est appliquée à l'analyse et la conception d'un système de gestion de compte bancaire
Reconnaissance des formes appliquées aux caractères arabes
(Université d' Oum El Bouaghi, 2008) Chergui, Leila; Benmohammed, Mohammed
La reconnaissance d'écriture arabe est spécialement celle des mots manuscrits n'a pas encore atteint la maturité nécessaire pour permettre d'établir des études comparatives et approfondies des travaux effectués dans le domaine. Ceci est dû au nombre restreint de travaux menés sur les mots arabes manuscrits comparés à ceux portant sur les caractères ou mots imprimés et au fait que la plupart des modèles proposés n'ont pas dépassé le stade de tests préliminaires à cause du manque de bases de validation communes. Il est donc nécessaire d'unifier les bases et les protocoles de validation des résultats entre les différentes équipes de recherche. Dans ce mémoire on a présenté un système de reconnaissance d'écriture arabe manuscrite hors-ligne utilisant un réseau Fuzzy ART comme classifieur. Nous avons commencé par introduire l'écriture arabe elle-même en s'attardant sur ses caractéristiques et difficultés ainsi que les approches de reconnaissance utilisées. Nous avons également présenté un historique des OCRs conçus pour l'écriture arabe. Aussi nous avons expliqué le principe des classifieurs utilisés dans les systèmes de reconnaissance de mots arabes tels que : les réseaux de neurones (PMCs et les réseaux Fuzzy ART), les SVMs, le classifieur bayésien, les HMMs et les k-ppvs. Ensuite nous avons vu en détaille les différentes composantes architecturales possibles d'un OCR, abordant principalement les phases : de prétraitement, de segmentation, d'extraction de primitives, de reconnaissance et de poste-traitement. Finalement nous avons présenté notre propre système de reconnaissance REMA qui est basé sur une approche globale ; où nous avons discuté des différentes phases de son implémentation en expliquant les outils et les algorithmes utilisés, ainsi que les tests et résultats enregistrés. Nous nous sommes principalement intéressés à la reconnaissance de l'écriture arabe manuscrite. La base IFN/ENIT a servi pour le développement et l'évaluation des travaux menés. Les résultats obtenus sont encourageants. Le taux d'erreur noté est principalement dû à la mauvaise écriture et aux problèmes de chevauchement des lettres dans les mots classés. L'étape de post-traitement n'a pas été abordée, et une possible combinaison entre deux ou plusieurs classifieurs est envisageable pour nos améliorations futures du système proposé
Identification d'une partie de la frontière inconnue d'une membrane
(Universsité Oum-El-Bouaghi, 2009) Rezzoug, Imad-Eddine; Ayadi, Abdelhamid
On considère l'équation de la chaleur dans un domaine dont une partie de la frontière est inconnue. Une méthode pour l'identification de cette partie inconnue à partir d.une observation partielle de la solution est présentée. Elle est basée sur la méthode des sentinelles. La méthode montre l'existence de sentinelles approchées sur le système linéarisé et construit une méthode de point fixe. Pour montrer l'existence des sentinelles linéarisée le problème d'identification est reformulé en un problème de contrôlabilité approchée dont la solution est obtenue par une technique d'analyse convexe. La propriété de contraction du point fixe découle directement de la définition des sentinelles.
Problème mixte avec condition non locale pour une équation différenielle aux dérivées partielle d'ordre cinq de type
(Université d' Oum El Bouaghi, 2009) Necib, Abd-El-Halim; Bouzit, Mohamed
Dans ce travail, on étudie un problème mixte avec condition intégrale pour équationaux dérivées partielles du type mixte. On démontre l.existence et l.unicité de la solution dans un espace de Sobolev avec poids. La démonstration est basée sur deux estimationsà priori et sur la densité de l.image de l.opérateur engendré par le problème considéré.
Estimation du terme de pollution d'un système gouverné par des équations aux dérivées partielles
(Université d’Oum-El-Bouaghi, 2009) Merzougui, Mokhtar; Djebrani, Merzouk
Nous avons estimé la pollution dans des systèmes gouvernés par des équations aux dérivées partielles. Cela par la mise en oeuvre d'un sentinelle régionale et ponctuelle, à partir de la théorie de la contrôlabilité, sans se baser sur le terme manquant dont le support existe dans un régional contrôlable sans conditions limitées et initiales.
Problème mixte avec condition non locale pour une équation différetielle aux dérivées partielles d'ordre quatre
(Université d' Oum El Bouaghi, 2009) Boudjedour, Allaoua; Bouzit, Mohamed
Dans ce travail on étudie un problème mixte avec condition intégrale pour une équation aux dérivées partielles. On démontre l'existence et l'unicité de la solution dans un espace de Sobolev avec poids. La démonstration est basée sur deux estimations à priori et sur la densité de l'image de l'opérateur engendré par le problème considéré
Algorithmes de routage pour les réseaux de capteurs
(Université d' Oum El Bouaghi, 2009) Tébessi Kmael; Benmohammed, Mohammed
Beaucoup de résultats passionnants ont été obtenus récemment pour les réseaux de capteurs à grande échelle. Ces réseaux peuvent former la base pour beaucoup de types d'environnements futés (smart) tels que les hôpitaux, les champs de bataille, les systèmes de réponse aux séismes, et les environnements d'apprentissage. Tandis que ces applications potentielles demeurent diverses, elles partagent toutes le besoin d'un protocole de routage efficace et robuste. Puisque les réseaux de capteurs agissent avec le monde réel, il est souvent nécessaire pour une communication de rencontrer des contraintes temps réel. Pour cela, un protocole de routage, appelé SPEED, a été développé pour supporter la communication temps-réel. Cependant, l'utilisation de ce protocole dans les réseaux de capteur dense à grande échelle fait augmenter le nombre total des paquets de contrôle générer ce qui crée : la surcharge du réseau, la diminution de la durée de vie du réseau et des retards dans la livraison des données. Ce memory présente un nouveau protocole de routage basé sur SPEED qui permettra d'éviter les problèmes cités auparavant. Les performances de notre protocole de routage par rapport à SPEED ont été validées par des simulations effectuées en utilisant le simulateur NS2
Vérification comportementale des réseaux de Petri sous une sémantique de maximalité
(Université d' Oum El Bouaghi, 2009) Bouneb, Messaouda; Saidouni, Djamel-Eddine
Ce mémoire se situe dans le cadre de la véri.cation comportementale des réseaux de Petri. L'une des approches de la vérification des réseaux de Petri consiste à générer son graphe de marquage, ce dernier peut être vu comme étant un système de transitions étiquetées. Bien que la sémantique d'entrelacement soit souvent considérée comme étant la plus simple pour exprimer le parallèlisme, elle ne permet pas de représenter correctement le comportement des systèmes concurrents, dès que les actions ne sont plus atomiques. La non atomicité des actions implique l'utilisation des sémantiques, dites de vrai parallèlisme, tel que la sémantique de maximalité. Nous avons proposé une méthode opérationnelle de génération de systèmes de transitions étiquetées maximales pour les réseaux de Petri. Donc la véri.cation des propriétés de bon fonctionnement d.un système revient en la vérification de ces propriétés sur le système de transitions étiquetées maximales généré. Il est à noter que la méthode proposée est valable pour tout réseau de Petri borné. D'autre part, ce mémoire a abordé un problème crucial, à savoir le problème de l'explosion combinatoire du graphe d'état. Pour réduire les effets de ce problème,nous avons proposé une méthode de réduction à la volée des systèmes de transitions étiquetées maximales. Cette méthode consiste en l'agrégation des transitions redondantes modulo la relation de bissimulation de maximalité dénie sur l'ensemble des transitions du réseau de Petri. L'intérêt de l'approche proposée réside dont le fait qu'elle réduit significativement la taille du système de transitions étiquetées maximales tout en préservant les propriétés du système à vérifier. Afin de concrétiser les études théoriques, nous avons développé l'outil MSOS-PN (Maximality-based Structured Operational Sémantics for Petri Net), en utilisant le langage objectif caml. Cet outil permet de générer, selon le choix, soit un système de transitions étiquetées maximales, soit un système de transitions étiquetées maaximales réduit. Par ailleurs nous avons intégré cet outil dans l.environnement de vérification formelle FoCoVE. Conclusion et Perspectives Comme perpectives de notre travail nous proposons le développemnt des points suivants : Proposition d'un algorithme de réduction à la volée des systèmes de transitions étiquetées maximales associés aux réseaux de Petri, modulo l'équivalence. Propotion d.une méthode de génération des systèmes des transitions étiquetées maximales pour les réseaux de Petri non bornés. Extension de l'approche proposée aux réseaux de Petri temporisés par la considération du modèle sémantique des DATAs (Durational Action Timed Auto-mata)
Calcul numérique de quelques modèles pour E.D.P. avec conditions non classiques
(Université d' Oum El Bouaghi, 2010) Brahimi, Saadoune; Bouzit, M.
Dans ce travail, on s’intéresse à la méthode des différences finies compactes d’ordre supérieur, et à la méthode de décomposition d’Adomian en vue d’une utilisation dans le calcul de modèles pour problèmes avec conditions non classiques. Ce travail a nécessité une étude approfondie de quelque algorithmes adaptés aux problèmes obtenus et une mise en oeuvre informatique importante permettant la réalisation de codes de résolution exploitables pour traiter divers problèmes issus de l'industrie.
Agents mobiles adaptables pour se protéger des environnements désavantageux
(Université d' Oum El Bouaghi, 2010) Bouchemal, Nardjes; Maameri, Ramdane
Dans cette thèse, nous avons présenté une étude sur la protection des agents mobiles contre les différentes attaques menées par les sites malicieux. Nous avons commencé par bien souligner le champ de cette étude, à savoir les agents mobiles et leurs architectures, ensuite la sécurité des agents mobiles. Dans ce contexte, nous avons d'abord entamé la sécurité des plates-formes, qui est un axe bien maîtrisé. Puis, nous avons déterminé les différentes attaques possibles sur l'agent mobile ainsi que les approches existantes pour palier à ce problème
Conception d'application hypermédia à base de design patterns
(Université d' Oum El Bouaghi, 2010) Hamza, Lamia; Boufaida, Mahmoud
Aujourd'hui, les systèmes multimédia et hypermédia constituent un support incontournable dans le développement des applications dites avancées telles que le e-commerce, les systèmes d'information basés Web, le e-learning, le e-government et bien d'autres. Ils constituent un moyen efficace pour l'utilisation et la manipulation des données. Par ailleurs, la technologie des patrons de conception a montré son efficacité dans le développement de logiciels dédiés à divers domaines. Cette technique de génie logiciel permettent une définition ou une réutilisation des patrons tout en prenant en considération les principes et les moyens d'une bonne conception liée aux aspects d'ergonomie et de performance. Ces patrons de conception offrent des caractéristiques suivantes : Réutilisabilité, Uniformité, Facilité d'utilisation et Fiabilité. Néanmoins, beaucoup de problèmes restent à résoudre. Parmi ces derniers, se trouvent la gestion de synchronisation des données multimédia, la prise en compte du profil de l'utilisateur ou le suivi de navigation. Cet axe de recherche reste à explorer, et les solutions proposées souffrent d'un manque de maturité. La proposition de nouveaux outils conceptuels ou l'enrichissement des solutions existantes devient plus que nécessaire. L'objectif principal de ce travail est donc de proposer un catalogue de patrons de conception permettant le développement d'applications hypermédia
Une Approche de simulation participative à base d'agents pour la négociation dans le e-commerce
(Université d' Oum El Bouaghi, 2010) Miroud, Redha; Kazar, Okba
Le e-commerce s'impose comme une variante incontournable et une nouvelle forme de transaction commerciale. D'autre part, le paradigme agent est devenu lui aussi un modèle fiable pour la conception de système basé sur l'interaction d'entités autonomes et qui parfois le développent vers une forme plus sophistiquée et compliquée. Le mécanisme de base du e-commerce est le protocole de négociation qui assure en fin un accord entre l'acheteur et le vendeur. Actuellement la simulation participative qui consiste à faire impliquer les utilisateurs dans la simulation, durant l'exécution du modèle est devenue une approche fiable pour l'observation du bon comportement de système complexe. Dans cette approche, un utilisateur aura le contrôle d'un composant du modèle simulé et il peut le manipuler à son gré durant l'exécution, en modifiant certains paramètres du composant. L'objectif du travail consiste à proposer une approche de simulation participative à base d'agents pour le protocole de négociation dans le e-commerce. Pour cela nous avons utilisé dans notre modèle un mécanisme de négociation qui est basé sur un protocole d'enchères anglaises inversées, où on a proposé un nouveau modèle d'agent négociateur basé sur la participation des utilisateurs durant l'exécution de modèle. Des agents négociateurs dotés de capacités d'apprentissage et d'une certaine forme d'autonomie décisionnelle seront utiles pour automatiser ce processus d'extraction de connaissances d'une part, et pour automatiser le processus de négociation d'autre part. L'utilisateur joue, par le biais d'une interface dédiée, le rôle qui lui a été confié au sein de la simulation pour contrôler nos agents et développer leur base comportementale, l'agent observe, puis propose des comportements qui peuvent être améliorés par l'utilisateur. Cela revient à mettre en oeuvre un système d'apprentissage participatif. Grâce à cette technique nous pouvons accroître les champs d'action de nos agents (adaptation des agents à des nouvelles configurations de système) rendant plus réalistes les simulations. Leurs connaissances évolueront dans le temps, les agents devront être capables d'apprendre et de remettre en question leur base de connaissances
Métaheuristiques parallèles à solution unique pour la résolution du problème du Q3AP sur grille de calcul
(Université d' Oum El Bouaghi, 2010) Deffas, Zineb; Kholladi, Mohamed Khireddine
Dans le domaine de l'optimisation combinatoire, la résolution du problème d'affectation quadratique à trois dimensions (Q3AP) fait l'objet de recherche intensive. Ce dernier est une extension à trois dimensions du problème bien connu d'affectation quadratique (QAP). Deux grandes familles de méthodes de résolution ont été proposées. La première englobe les méthodes, dites exactes, qui ont l'avantage de garantir l'optimalité des solutions si elles existent mais souffrent, cependant, de l'explosion combinatoire. La seconde famille de méthodes, dites approchées, permet de réduire cette explosion sans toutefois garantir l'optimalité. C'est dans le cadre de cette famille que se place notre travaille où se trouve les métaheuristiques. Nous proposons deux métaheuristiques recuit simulé et recherche Tabou pour résoudre Q3AP, Les deux méthodes sont relativement faciles à mettre en œuvre, mais elles nécessitent un certain savoir-faire pour régler les différents paramètres. Nous introduirons la notion de parallélisme afin d'ajuster leur convergence et, par là même, accélérer l'obtention d'une bonne solution
Contribution au développement d'un environnement collaboratif basé
(Université d' Oum El Bouaghi, 2010) Seidali, Rehab; Chaoui, Allaoua
ans ce mémoire nous présentons une proposition d’architecture de plateforme collaborative flexible exprimée en termes de couches en s’appuyant sur les concepts clés d’OGSA ainsi que ses processus de partage efficace des ressources. La communication des participants de la communauté virtuelle peut être dans les modes synchrones et asynchrones en utilisant divers outils dont le bureau partagé d’Agora. En effet, cet outil s'adapte bien avec la classe virtuelle et les contextes d'apprentissage à distance en offrant des caractéristiques intégrées telles que la vidéoconférence, le bureau partagé, le tableau blanc et la messagerie instantanée. Pour finaliser notre architecture, nous avons exploité la nouvelle version de Sakai, qui a été choisie pour ses riches fonctionnalités afin de servir de modèle pour l’injonction de services Web/Grid. Le co-déploiement d’un Service Grid partagé a monté la flexibilité et l’efficacité de cette approche en palliant aux problèmes souvent rencontrés pour une telle collaboration: problème de la distance, ressources hétérogènes, nombre important de participants, coût élevé de la collaboration, absence d’historique, collaboration limitée dans le temps, rentabilité et productivité critiquables. Sur un plan opérationnel, cette architecture est expérimentée autour d’un réseau LAN constitué de quatre machines, sous le système Linux Fedora core 4. Les autres outils sont bâtis sur Apache Ant, un exécuteur de taches qui permet le déploiement des programmes (déploiement de services), JDK pour la compilation du code de Globus et PostgresSQL : système de gestion de base de données relationnelle. Une démonstration a illustré la flexibilité et l’efficacité de notre approche
Problèmes inverses de l'équation de transfert de la chaleur
(Universsité Oum-El-Bouaghi, 2011) Derbazi, Amar; Djebrani, Merzouk
Nous présentons dans ce mémoire les problèmes invreses linéaire et non linéaire, de l'un nous introduirons des méthodes de discrétisation, conduisant à des problèmes de moindres carrés. Nous aborderons l'étude des techniques pour les problèmes mal posés, tout particulièrement la méthode de régularisation de Tikhonov. Mais l'autre nous les problèmes non-linaires; essentiellement les problèmes d'estimation de paramètres dans les équations di
Validation de la composition des services web à l'aide du langage Maude
(Université d' Oum El Bouaghi, 2011) Mérouani, Hamza; Seridi Bouchelaghem, Hassina
Ces dernières années ont vu les services Web se proliférer sur le Web et sont déjà présents dans plusieurs secteurs d'activités. Un des concepts intéressants qu'offre cette technologie, et qui suscite un intérêt considérable dans la communauté des chercheurs, est la possibilité de créer un nouveau service à valeur ajoutée par composition de services Web existants. WS-BPEL (Web Services Business Process Execution Language) ou simplement BPEL, s’est imposé comme le langage standard pour la composition des services Web dans un processus métier. Néanmoins, la sémantique de chacune de ses structures n'étant pas formellement décrite. Cela peut entraîner des inconsistances, des ambigüités et des incomplétudes dans le processus métier développé. Dans ce mémoire, nous proposons une nouvelle approche pour accorder une sémantique formelle à BPEL, en utilisant le langage Maude, qui est basé sur une logique saine dite la logique de réécriture. L'approche est organisée en deux étapes : (1) la translation de code BPEL en une description graphique intermédiaire baptisée UML-S «UML for Service», et (2) la génération d'une spécification Maude à partir de la description semi-formelle UML-S. La spécification formelle obtenue peut aider les concepteurs et les développeurs dans les phases restantes de développement, en particulier, pour valider les modèles de composition des services web décrites en BPEL. Nous avons appliqué notre approche à une étude de cas réelle pour valider notre démarche
Etude analytique de quelques problèmes en mécanique des milieux continus
(Université d' Oum El Bouaghi, 2012) Shougui, Rachid; Lebri, N
Ce mémoire porte sur l’étude de quelques problèmes aux limites de contact avec frottement entre un corps déformable et une base. Ici nous considérons des lois de comportement non linéaire des processus quasistatiques, les résultats que nous obtenons concernent l’existence et l’unicité des solutions faibles et la dépendance continue par rapport aux données. Le mémoire est composée de trois chapitres. Dans le premier chapitre on introduit des notations générales de la mécanique ainsi que des notations mathématiques, nous présentons des divers modèles mécaniques de contact étudiés et nous rappelons quelques outils d’analyse fonctionnelle. Le deuxième chapitre est destiné à l’étude d’un problème de contact bilatéral avec frottement de Tresca. Finalement dans le troisième chapitre il s’agit d’avoir une vision plus globale du travail effectué, on présente des résultats abstraits dans le but de formuler le problème mécanique précédent dans un cadre général.
Détectabilité de certains systèmes gouvernés par des équations aux dérivées partielles
(Université d' Oum El Bouaghi, 2012) Achichi, Ahlem; Ayadi, Abdelhamid
Dans ce travail, nous considérons le système ( @z @t = Az + Bu ; 0 < t < T. z(0) = 0, (S) augment´e de l’´equation de sortie (E) : y(t) = Cz(t), 0 _ t _ Tm. (E) On cherche d’un modéle d´etectable dans un domaine bidimensionnelle et trouver les controls qui rendrent le systéme ´etudié d´etectable, par le biais d’analyse r´egionale des systémes distribués et `a travers la théorie de contˆolabilité. On essaie de d´egager une m´ethode de d´etectabilité r´egional.
Stabilisation d'un système parabolique
(Université d' Oum El Bouaghi, 2012) Sekhane, Chafika; Ayadi, Abdelhamid
Dans ce travail on a étudié la stabilisation d’un système parabolique par le biais de la théorie de la contrôlabilité et la théorie des semi-groupes, le résultat obtenu permet de regarder la stabilisation locale à travers la contrôlabilité régionale, ce problème sera la continuitté de ce travail.

Browse

Browsing قسم الإعلام الالي by Issue Date

Results Per Page

Sort Options