Informatique
Permanent URI for this communityhttps://dspace.univ-boumerdes.dz/handle/123456789/43
Browse
4 results
Search Results
Item Segmentation et détection du réseau vasculaire de la rétine dans les images de fond d’oeil(Université M'Hamed Bougara Boumerdès : Faculté des Sciences, 2023) Rahmoune, Nabila; Rahmoune, Adel(Directeur de thèse)Les changements dans les vaisseaux sanguins rétiniens sont un signe caractérisant de nombreuses maladies oculaires particulièrement la rétinopathie diabétique. Cette maladie se caractérise par les lésions causées par le diabète. L?excès de sucre dans le sang finit par altérer les capillaires rétiniens (petits vaisseaux de la rétine). Cette pathologie est la seconde cause de cécité. Par conséquent, la segmentation de l?arbre vasculaire rétinien est une étape primordiale pour le processus du dépistage et de la détection précoce de cette pathologie afin de mener la prise en charge à temps. Ce travail de recherche traite le problème de la segmentation du réseau vasculaire de l?image rétinienne. Notre travail consiste à développer une nouvelle approche permettant la détection et l?extraction du réseau vasculaire rétinien à partir des images de fond d?œil afin de localiser les anomalies apparaissant sur le réseau vasculaire des rétines telles que les hémorragies et les neovasculaires. La nouvelle méthode, non-supervisée, proposée exploite les caractéristiques des vaisseaux sanguins en échelle de gris. Elle est basée sur le filtrage, en l?occurrence deux types de filtrage, un directionnel et l?autre de moyenneur carrés, combinés au seuillage sur les valeurs des pixels afin d?en segmenter et détecter les vaisseaux sanguins de la rétine. Afin de mesurer la performance de l?algorithme développé et le valider, nous l?avons testé et évalué sur toutes les images rétiniennes de référence des deux bases de données à accès publique DRIVE et STARE. Ces bases d?images ont été utilisées très souvent dans la recherche. Nous avons comparé les résultats obtenus avec d?autres méthodes présentées dans la littérature. Les résultats expérimentaux démontrent l?efficacité et la rapidité de l?approche proposée par rapport à plusieurs d?autres approches de la littérature. L'algorithme développé se distingue par sa simplicité qui facilite sa mise en oeuvre et sa rapidité en ayant une complexité temporelle linéaire avec une précision satisfaisanteItem Recherche d'information guidée par l'image sur des grands corpus de documents scannés(Université M'hamad Bougara : Faculté des Sciences, 2021) Benabdelaziz, Ryma; Gaceb, Djamel(Directeur de thèse)La numérisation des documents est une tâche essentielle, car elle permet de passer de la version papier traditionnelle à la version numérique moderne. Les images de documents numérisés contiennent des informations sensibles et jouent un rôle important dans la préservation numérique du patrimoine culturel mondial et dans l'archivage des livres et des documents administratifs. La numérisation de documents implique le développement de techniques pour pouvoir exploiter leur contenu visuel à des fins de recherche de documents. Trouver un document nécessite d'abord de trouver ses entités (mots, logos, signatures, etc.), ce qui nécessite une analyse de l'image et de sa représentation dans un espace de caractéristiques visuelles, qui permet de réduire la quantité importante d'informations contenue dans l’image. En général, lorsque le document est de bonne qualité, l'étape de segmentation devient possible et ainsi on peut aisément rechercher et récupérer ses composantes. La plupart du temps, cette tâche est facile et réalisable lorsque le document contient du texte imprimé ; beaucoup de techniques ont été proposées dans ce contexte et qui ont produit des résultats intéressants. Cependant, si l'on veut traiter des documents complexes et de mauvaise qualité tels que les documents manuscrits anciens, il est nécessaire de faire appel à des techniques de représentation robustes et plus fines, car ni la taille, ni le style d'écriture, ni l'espace entre les lettres et les mots ne sont réguliers ou connus par rapport aux images du texte imprimé. Cela nécessite le développement de techniques conventionnelles basées sur les points d'intérêts qui permettent de représenter l’image à travers un ensemble de points pertinents. Cette stratégie de représentation est intéressante lorsque la possibilité de segmentation des documents est impossible. Il y a beaucoup de travaux basés sur ce type de représentation d'images, mais avec des précisions moyennes, et cela est dû aux nombreux paramètres qui doivent être pris en compte lors de la mise en œuvre de ces systèmes de recherche (prétraitement, relations spatiales entre les points, description, etc.). Ce projet de thèse investit dans le développement d'une technique complète de recherche de documents depuis l'extraction des points d'intérêts jusqu'à la mise en correspondance d'images. Notre nouvelle technique a produit des résultats intéressants et se classe parmi les premières en termes de précision par rapport à d'autres travaux dans le même domaine, mais elle reste encore limitée. Afin d'améliorer notre approche, nous avons évolué vers de nouvelles directions dans la représentation d'images en utilisant des techniques d'intelligence artificielle, basées sur le transfert de l'apprentissage profond, qui permettent l'extraction automatique des caractéristiques visuelles. Cette stratégie a donné d'excellents résultats par rapport à de nombreux travaux. Tous nos tests expérimentaux ont été initialement menés sur la base d'un ensemble d'images anciennes de mots manuscrits, et la complexité de cet ensemble nous a permis de développer des techniques puissantes qui peuvent être appliquées à d'autres entités de documents (logos, cachets, signatures, etc.).Item Composants virtuels : abstraction, vérification et réutilisation(Université M'hamad Bougara : Faculté des Sciences, 2021) Chabane Eps Mechiouri, Sarah; Mezghiche, Mohamed(Directeur de thèse)L'int egration des syst emes embarqu es dans notre paysage technologique quotidien est de plus en plus importante, essentiellement gr^ace a l'av enement des syst emes cyberphysiques et Internet des objets. A n d'^etre comp etitifs, les industriels doivent d evelopper les syst emes dans des d elais de plus en plus courts, ces syst emes doivent ^etre de plus en plus performants et int egrer de plus en plus de fonctionnalit es, et ce au prix d'une complexit e croissante. A cette complexit e s'ajoute les exigences de abilit e, li ees a la nature souvent critique des syst emes embarqu es. La r eutilisabilit e de composants existants s'av ere une approche e cace et largement utilis ee dans divers projets pour contrer la complexit e des syst emes. La d emarche de conception a base de composants est corrobor ee dans le d eveloppement logiciel depuis quelques d ecennies, elle se focalise sur la r eutilisation du code en adoptant une forte standardisation des composants constituant le syst eme. L'utilisation des m ethodes formelles dans le cadre du d eveloppement de syst emes apporte un gain enorme en productivit e d'une part par la r eduction des co^uts et des d elais de validation, d'autre part, par l'e cacit e de ces m ethodes, qui apporte une abilit e plus elev ee. En e et, l'approche formelle s'appuie sur des formalismes et des techniques permettant de raisonner rigoureusement sur des syst emes. Cette th ese s'inscrit dans le contexte du d eveloppement de syst emes ables par construction ce qui permet de r eduire consid erablement le temps de leur conception. Nous proposons un cadre th eorique pour le d eveloppement de composants r eactifs synchrones s^urs de mani ere compositionnelle. Pour ce faire, nous o rons d'une part un cadre de description de composants r eactifs el ementaires dans un formalisme adapt e pour la v eri cation formelle de propri et es de s^uret e. D'autre part, nous etendons la th eorie des I/O-automata, qui est largement utilis ee pour la mod elisation des syst emes r eactifs avec un op erateur de composition pour la construction des syst emes globaux a partir de composants el ementaires. L'approche propos ee garantit la production de composants corrects par construction. Pour valider notre approche, nous avons montr e que l'op erateur de composition propos e assure la pr eservation de la s emantique comportementale des mod eles des composants r eactifs.