Géocodage et correction géométrique des images radar SAR SLC

الموضوعات

علوم تطبيقية وتكنولوجية

الملخص

La logique possibiliste offre un outil satisfaisant en vue de représenter des connaissances incertaines, des buts avec priorité, de gérer des conflits et des exceptions. Cette logique n'est pas dénuée d'intérêt pratique. En effet, elle retrouve des applications des domaines divers tels que la sécurité et les systèmes multi-agents. la contribution de cette étude s'inscrit dans le cadre de pallier la limitation du compilateur possibiliste DNF et de proposer d'autres compilateurs possibilistes plus efficaces en exploitant les autres langages cibles de compilation. Le langage DNNF suscite un intérêt particulier étant donné qu'il s'agit du langage le plus concis de tous les autres langages cibles de compilation (à part PI). Nous avons introduit dans un premier temps un compilateur possibiliste DNNF. Nous nous sommes par la suite intéressés à un langage qui a été amplement étudié en Intelligence Artificiel à savoir le langage PI (le rival de DNNF en terme de concision). En fait, on sait que PI n'est pas plus concis que DNNF mais on ignore jusqu'à présent si DNNF est plus concis que PI ou non. Nous avons également défini un compilateur possibiliste plus général qui est paramétré par un langage cible de compilation C. Outre que l'élégance offerte par ce compilateur au niveau implémentation et au niveau exploitation, ce dernier nous permet d'analyser d'une manière unifiée et précise les autres langages cibles de compilation afin de proposer d'autres compilateurs possibilistes

روابط وملفات

التعريف والنوع

رقم الوثيقة

045d50fc-7d26-4eb1-b9ea-fd261ba79c94

رقم العقد

0

نوع الوسائط

Crawler

نوع المحتوى

الرسائل العلمية

صيغة المصدر

رسائل ماجيستير

نوع الملف

word

أسماء الملفات

1378455_1.docx, 1378455_2.pdf

بيانات النشر

ألقاب المؤلفين

[{"name_ar":"Karim Benaouicha","title_ar":"اعداد","title_en":"Preparation"},{"name_ar":"M Belhadj Aissa","title_ar":"اشراف","title_en":"Supervision"}]

اللغة

French

المصدر والدورية

اسم المصدر

Géocodage et correction géométrique des images radar SAR SLC

المحتوى والصفحات

عدد الصفحات

0

كلمات الباحثين

Radar à antenne synthétique , Traitement du signal

إشراف وإعداد

الإشراف

M Belhadj Aissa

الإعداد

Karim Benaouicha

الاقتباسات الببليوغرافية