Thèse de Magister
Permanent URI for this collectionhttp://dspace.univ-batna2.dz/handle/123456789/83
Browse
60 results
Search Results
Item Définition d’un style architectural pour la description de systèmes logiciels à base de composants de type COTS, selon une approche « services WEB ». Magister thesis, (2005) Université de Batna 2.(University of Batna 2, 5/31/2016) MANSOURI, KamelThe development of big software applications is oriented toward the integration or interoperation of existing software components (like COTS and legacy systems) . This tendency is accompanied by a certain number of drawbacks for which classical approaches in software composition cannot be applied and fail. COTS-based systems are built in ad-hoc manner and it is not possible to reason on them no more it is possible to demonstrate if such systems satisfy important properties like Quality Of Service and Quality Attributes. The recent works issued in web field allow the definition and the use of a complex web service architecture. Languages such as WSFL, XLANG and BPEL4WS support these architectures called Services Oriented Architectures. The definition of software systems using these languages benefits some existing technical solutions such as SOAP, UDDI, etc., that permit the distribution, the discovery and the interoperability of web services. However, these languages do not have any formal foundation. One cannot reason on such architectures expressed using such languages: properties cannot be expressed and the system dynamic evolution is not supported. On the other hand, software architecture domain aims at providing formal languages for the description of software systems allowing to check properties (formal analyses) and to reason about software architecture models. In this work, we proposes a formalisation of COTS-based system (their structure, their behaviours) using architectural styles. The ADL used is π- ADL (based on the π-calculus, supporting style description). The memory will also present our approach consisting in refining an abstract architecture to an executable and services-oriented one.Item Synthèse de Nouvelles Vues Pour Les Applications en Réalité Augmentée. Magister thesis,(2006) Université de Batna 2.(University of Batna 2, 1/12/2017) DIB, AbderrahimLa synthèse d'images a pour but de calculer des vues aussi réalistes que possible d'une scène tridimensionnelle définie par un modèle géométrique 3D, augmentée de certaines informations photométriques : couleurs, textures, matériaux, et nature de leurs interactions avec la lumière. Classiquement, pour ces applications, il est nécessaire d'effectuer une première étape de modélisation manuelle de chaque élément de la scène à synthétiser, puis une étape de rendu pour générer les images finales de cette scène. Ce type de synthèse présente des limitations en terme de temps de modélisation et de qualité des résultats. Pour remédier à ces problèmes, ce qui est proposé est de définir la scène non pas par un modèle géométrique tridimensionnel, mais par des vues (bidimensionnelles) réelles de cette scène dans le but de synthétiser de nouvelles vues uniquement à partir des vues de départ en simulant le déplacement de la caméra qui a pris les vues réelles. Les techniques permettant de synthétiser de nouvelles vues à partir des vues réelles d’une scène sont appelés communément les méthodes de modélisation et rendu basés image (Image Based Modeling and Rendering : IBMR). Les techniques d’IBMR ont trouvé des applications passionnantes dans plusieurs domaines, dont la réalité augmentée, qui consiste à augmenter la perception visuelle du monde réel par l'insertion réaliste d'objets visuels dans un environnement réel. Le but d’utiliser les techniques d’IBMR dans les applications de la réalité augmentée est d’améliorer la modélisation d’environnements augmentés, tant au niveau de la précision et de la rapidité de conception, qu’au niveau du réalisme. Dans ce contexte de travail nous avons proposé une approche qui combine deux méthodes d’IBMR pour la reconstruction d’objets 3D réalistes. La première est la reconstruction à partir d’images stéréo et la deuxième est une technique appelée ‘enveloppe visuelle’. Ces deux méthodes sont complémentaires en nature. la technique de l’enveloppe visuelle est une première forme de l'objet qui limite au minimum l’espace englobant cet objet, ce qui aide les algorithmes stéréo à éviter des calculs inutiles pour des endroits en dehors du volume de l'objet. Les méthodes de la stéréovision raffinent le modèle reconstruit de l’objet par la détection des points et des régions concaves sur la surface de l’objet.Item Suivi de modèle et Incrustation d’Objets Virtuels pour la Réalité Augmentée. Magister thesis,(2006) Université de Batna 2.(University of Batna 2, 1/12/2017) BADECHE, MohamedLa réalité augmentée est une technologie qui permet l’insertion d’objets virtuels 2D ou 3D dans des scènes du monde réel en temps réel. La majorité des avancées dans la réalité augmentée ont eu lieu ces Dix dernières années. Les systèmes de composition d’images sont aujourd’hui utilisés aussi bien pour la production d’effets spéciaux (cinéma ou publicité), que pour la reconstruction visuelle de faits ou de structures historiques. Par contre, les applications à base de HMD (Head Mounted Display) sont plus expérimentales que réellement utilitaires. Nous trouvons en particulier des applications dans les domaines de la médecine, militaire, l’assistance en milieu industriel et le design intérieur ou du jeu. Les techniques de suivi (Tracking) basées modèles sont très prometteuses pour les applications de réalité augmentée. Dans ce mémoire nous décrivons une méthode basée sur le suivi d’un modèle 2D le long d’une séquence vidéo tout en respectant la contrainte temps sur de simples ordinateurs de bureau. D’abord, une recherche d’un pattern bien défini dans la première prise de vue de la séquence vidéo est effectuée moyennant une mise en correspondance entre cette dernière et le pattern en question. Ensuite, un suivi des primitives coins du pattern est appliqué en exploitant les capacités de prédiction du filtrage de Kalman discret. Enfin, l’augmentation proprement dite de la scène par l’objet choisi est effectuée. Une estimation robuste de l’homographie planaire nécessaire pour l’incrustation de l’objet 2D dans la scène est assurée par l’utilisation d’une variante de l’algorithme RANSAC. Les résultats obtenus par application de la méthode sur plusieurs séquences d’images sont très prometteurs et démontrent son efficacité et son respect à la contrainte temps réel sur de simples ordinateurs de bureauItem Algorithme Génétique pour le Problème d’Ordonnancement dans la Synthèse de Haut Niveau pour Contrôleurs Dédiés. Magister thesis,(2006) Université de Batna 2.(University of Batna 2, 1/12/2017) AMOKRANE SamahLe progrès offert par la technologie de fabrication des circuits micro-électroniques a ouvert la voie à la conception de systèmes digitaux d’une grande complexité. D’où la nécessité progressive de concevoir des circuits à de plus haut niveaux d’abstraction comme le niveau algorithmique. La synthèse de haut niveau consiste en la traduction d’une description comportementale (algorithmique) en une description équivalente au niveau transfert de registres. Le processus de synthèse de haut niveau est composé de plusieurs phases entre autres la phase d’ordonnancement. Cette phase, qui a une grande influence sur la qualité du circuit final, définit une date d’exécution pour chaque opération de la description algorithmique tout en respectant certaines contraintes. Une grande variété d’algorithmes existe dans la littérature pour résoudre efficacement le problème d’ordonnancement, reconnu comme étant un problème NP-Complet. Cette thèse présente un aperçu sur les différentes techniques d’ordonnancement connues actuellement. Ces algorithmes ont été classifiés, selon leur domaine d’application, en deux catégories : des algorithmes orientés flot de données et ceux orientés flot de contrôle. Pour chaque catégorie un ensemble d’algorithmes sont décrits brièvement. Finalement, on propose une technique d’ordonnancement GPBS, pour les circuits de contrôle, basée sur la combinaison de l’algorithme d’ordonnancement à base de chemins et d’un algorithme génétique.Item Systèmes bio-inspirés pour le traitement de l'information:Application du DNA computing à la réslution de problèmes NP-complets.(2006) Magister thesis, Université de Batna 2.(University of Batna 2, 1/12/2017) AKSA, KarimaLa solution d'un problème combinatoire, quand elle existe, peut être déterminée par l'énumération d'un ensemble fini E de possibilités. S'il y a un algorithme simple pour tester si un élément de cet ensemble est une solution, on dispose d'un algorithme pour trouver une solution au problème en testant toutes les possibilités. Mais le cardinal de E est souvent exponentiel par rapport à la taille des données, ce qui rend l'énumération impossible dans un temps raisonnable. Il existe de très nombreux problèmes d'un grand intérêt pratique pour lesquels on ne connaît pas d'algorithme plus efficace qu'un test portant sur tous les sous ensembles d'un ensemble, ce qui implique un temps de calcul exponentiel par rapport à la taille de l'ensemble. De nos jours, certains problèmes nécessitent, pour être résolue une capacité de calcul phénoménale. L'ordinateur actuel étant limité dans sa puissance de calcul constitue une barrière dans la résolution de tels problèmes. C'est dans cette optique que de nouveaux concepts d'ordinateurs sont développés. Ainsi on tente de mettre sur pied des ordinateurs quantiques et des ordinateurs moléculaires. Ces derniers représentent certainement l'alternative de demain aux ordinateurs actuels. En utilisant l'ADN, contrairement aux ordinateurs actuels, cela permet de réaliser des opérations en parallèles (multitask) avec des vitesses de calculs phénoménales. De plus, l'ADN constitue un excellent moyen de stockage de données et ne demande qu'un apport infime en énergie. L'expérience qui a éveillé le monde des ordinateurs à ADN est celle d'Adleman. En 1994, Adleman, qui est un mathématicien de l’université de Californie du sud et qui possède également des connaissances en biologie, à résolut grâce à un ordinateur moléculaire le problème de chemin haméltonien (HPP : Hamiltonian Path Problem). Depuis l’expérience originale d’Adleman, des inondations d’idées ont été proposées pour la résolution des différents problèmes NP-complets. Dans ce mémoire, deux nouveaux algorithmes ont été proposés pour résoudre deux problèmes NP-complets : le Problème de Voyageur de Commerce (TSP : Traveling Salsmen Problem), et celui de la Satisfaisabilité (SAT : Satisfiability problem). Théoriquement, ces deux algorithmes proposés et d’autres types d’algorithmes peuvent être exécutés également avec succès. Mais pratiquement ils seront très difficiles pour l’application, car ici on travaille avec la biologie qui nécessite la prudence pour appliquer des opérations biologiques, tel que la dénaturation, sur des molécules vivantes. Malgré le fait que les ordinateurs moléculaires (ordinateurs d’ADN) semblent être très performants, ils possèdent de nombreux aspects négatifs. Ils ne peuvent résoudre que des problèmes combinatoires (pas de possibilité de traitement de texte ou de jeu sur de tels ordinateurs), ils peuvent être très lents dans la résolution de problèmes simples pour des ordinateurs classiques. Les réponses qu'ils fournissent peuvent être extrêmement compliquées. D'autre part la fiabilité de ces ordinateurs peut être remise en cause du fait de la capacité de la mutation de l'ADNItem Etude et Réalisation d’une Plate Forme Multi-Agents. Magister thesis, (2007) Université de Batna 2.(University of Batna 2, 4/4/2017) TLILI Ahmedl’évolution des domaines d’application de l’Intelligence Artificielle Classique dans la modélisation des domaines complexes et hétérogènes tels que l’aide à la décision, la reconnaissance des formes …etc, a montré les limites de l’IA classique qui s’attache à la centralisation et à la concentration de l’expertise au sein d’un seul et même système. Les travaux réalisés aux débuts des années 1970 sur la concurrence et la distribution, ont contribués à la naissance d’une nouvelle bronche, à savoir l’Intelligence Artificielle Distribuée (IAD). L’objectif initiale de l’IAD était de remédier aux défaillances de l’approche IA classique, en offrant la distribution de l’expertise sur un groupe d’agents, suffisamment autonome,s pour pouvoirs êtres capables de travailler et d’agir dans un environnement commun et résoudre les conflits éventuels. Par la suite on baptiser ces systèmes par Systèmes Multi-Agents.Item Optimisation MultiObjectifs par Programmation Génétique. Magister thesis, (2007) Université de Batna 2.(University of Batna 2, 8/3/2016) SAADI LeilaLes problèmes d’optimisation combinatoire (COP : Combinatorial Optimisation Problems) apparaissent naturellement quand il s’agit de modéliser mathématiquement un problème scientifique ou d’ingénierie. A cause de l’aspect NP-Complet de ces problèmes, des heuristiques sont utilisées pour atteindre rapidement des solutions sous-optimales. Ces problèmes sont intrinsèquement parallèles avec beaucoup d’aptitudes pour une implémentation hardware. Cependant, les techniques heuristiques existantes sont largement considérées comme inadaptées pour résoudre des problèmes d’optimisation. En outre, les problèmes du monde réel nécessitent souvent l’optimisation simultanée d’un nombre important d’objectifs concurrents. En général, il n y a pas de solution unique mais plutôt un ensemble de solutions. Ces dernières sont appelées les solutions optimales de Pareto. Considérons, par exemple, la conception d’un système complexe Hardware/Software. Une conception optimale est une architecture minimisant les coûts et la consommation tout en maximisant les performances du système. Ces différents objectifs sont bien naturellement conflictuels. Un outil permettant d’explorer l’espace de solutions optimales de Pareto serait donc d’une grande utilité pour aboutir à la conception optimale d’un système complexe. Les algorithmes évolutionnaires semblent être une voie très prometteuse. L’objectif de ce magister est d’appliquer l’un des algorithmes évolutionnaires qui est la programmation génétique aux problèmes d’optimisation multiobjectifs.Item Une Approche Co-évolutionnnaire Pour Le Réhaussment D'images. Magister thesis, (2007) Université de Batna 2.(University of Batna 2, 8/3/2016) MOUNIB NouraDans le domaine de traitement d’images, une nouvelle approche d’optimisation (appelée PPO : Predator Prey Optimization) est appliquée, dans ce travail, au réhaussement de contraste des images en niveaux de gris. Cette approche est une nouvelle extension de l’algorithme évolutionnaire PSO (Particle Swarm Optimization). PPO est une méthode basée sur la notion de population (appelée essaim, comme dans le cas de PSO), et elle est inspirée de la relation de co-évolution concurrentielle entre deux populations différentes dans un écosystème, qui sont : la population des prédateurs et celle des proies. Dans le modèle PPO, une nouvelle particule est insérée dans la population (appelée prédateur), dont le but est de maintenir la diversité dans la population et d’éviter la convergence aux optimums locaux de la fonction objective à optimiser. Les résultats de notre application au réhaussement de contraste sont comparés avec ceux obtenus en appliquant l’approche PSO et la méthode classique de réhaussement d'images qui est la technique d'égalisation d'histogramme.Item SEGMENTATION DE TEXTES EN CARACTERES POUR LA RECONNAISSANCE OPTIQUE DE L’ECRITURE ARABE. Magister thesis, (2007) Université de Batna 2.(University of Batna 2, 8/3/2016) HAITAAMAR SchahrazedLe présent travail porte sur une étude concernant le domaine de reconnaissance optique de caractères arabes imprimés. Une étude générale sur les systèmes de reconnaissance de l'écriture a été développée, puis elle a été affinée par un intérêt particulier à une phase considérée comme cruciale dans le procédé de reconnaissance: la phase de segmentation. Nous avons présenté un état de l'art des méthodes de segmentation des caractères, ensuite nous avons présenté la langue arabe et le domaine de l'OCR, nous avons soulevé certains problèmes de normalisation dans l'écriture arabe qui peuvent poser des problèmes dans la réalisation de bon systèmes de reconnaissance. Nous avons aussi étudié les méthodes actuellement utilisées dans la segmentation des caractères arabes, puis donné liste détaillée des travaux de plusieurs auteurs. Après une comparaison de méthodes de segmentation de caractères arabes imprimés, nous avons terminé ce travail par la contribution par un algorithme simple de segmentation. La méthode adoptée dans cet algorithme est basée sur un principe déjà utilisé qui est le principe de projections verticales, ce qui a été proposé est une étape de post traitement corrigeant les erreurs, durant la phase de segmentation. Des scores proches du 100% ont été obtenusItem Intégration des moyens de modification dynamique des contenus sur le WEB. Magister thesis, (2007) Université de Batna 2.(University of Batna 2, 8/3/2016) ADOUANE SamirLe monde de conception des applications est enrichi chaque jour par de nouveaux designs architecturaux, répondant à des problèmes d’implémentation récurrents, la majorité de ces solutions tournent autours de la programmation orientée objet qui facilite leur intégration et mise en oeuvre. Dans ce mémoire nous proposons une approche basée sur le modèle MVC que nous appellerons « les délégués des packages », cette approche vise à faciliter et à accélérer le processus de développement web. Elle tente d’apporter des éléments pratiques, facilitant le déploiement du modèle MVC dans un contexte de la programmation orientée objet.