Abstraction fonctionnelle des circuits par Isomorphisme de graphes
Abstraction fonctionnelle des circuits par Isomorphisme de graphes
| dc.contributor.author | BOUCHAOUR Hamza Chérif | |
| dc.date.accessioned | 2022-11-30T10:56:41Z | |
| dc.date.available | 2022-11-30T10:56:41Z | |
| dc.date.issued | 2011-02-02 | |
| dc.description.abstract | Ce travail contribue au développement de méthodes de reconnaissance et de compréhension de circuits, en s'appuyant sur des informations de bas niveau. Les graphes sont utilisés pour représenter mathématiquement la connaissance structurelle.L'intérêt de ce type de représentation est d'autant plus accru quand la taille des données ainsi que la complexité de leur organisation sont élevées.L'isomorphisme de graphes est un problème crucial en théorie et dans beaucoup d'applications.L'isomorphisme exact de graphes est un problème de décision de complexité d'au moins de classe P qui ne s'applique qu'à des graphes exactement identiques.Dans ce travail, nous introduisons une solution d'isomorphisme exact de graphes basée sur la programmation par contrainte. Pour cela, nous proposons un modèle de résolution basé sur le voisinage de premier degré. Nous proposons deux implémentations de ce modèle.Ces implémentations utilisent des opérateurs spéciques à la programmation par contrainte qui exploitent la structure de donnée représentant les graphes.Nous illustrons la validité de nos implémentations par une application concrète issue du domaine de la microélectronique, qui cherche à trouver un sous-circuit décrit par une Netlist de transistors à l'intérieur d'un ensemble de circuits plus général. Nous comparons ces implémentations en soulignant leurs avantages et inconvénients respectifs. | |
| dc.format | ||
| dc.identifier.uri | https://dspace.univ-oran1.dz/handle/123456789/2055 | |
| dc.language.iso | fr | |
| dc.publisher | Université oran1 Ahmed Ben Bella | |
| dc.subject | Circuits numériques | |
| dc.subject | Isomorphisme exact de graphes | |
| dc.subject | Sous-graphes | |
| dc.subject | Programmation par contrainte | |
| dc.title | Abstraction fonctionnelle des circuits par Isomorphisme de graphes | |
| grade.Co-rapporteur | Y.LEBBAH, Professeur, Université d’Oran | |
| grade.Examinateur | H.HAFFAF, Professeur, Université d’Oran | |
| grade.Examinateur | G.BELALEM, Maitre de conférences A,Université d’Oran | |
| grade.Option | Ingénierie des données et des connaissances | |
| grade.Président | B.BELDJILALI, Professeur, Université d’Oran | |
| grade.Rapporteur | M.OUALI, Maitre de conférences A,Université d’Oran | |
| la.Spécialité | Informatique | |
| la.cote | TH3315 |
Fichiers
Bundle original
1 - 1 sur 1