![](/images/graphics-bg.png)
Adaptation de la dynamique des systemes auto-organises a la resolution du probleme de satisfaisabilite maximale de formules propositionnelles
المؤلفون المشاركون
Batouche, M.
Minai, M. al-Bashir
المصدر
Sciences et Technologie : Sciences Appliquées
العدد
المجلد 2004، العدد 22 (31 ديسمبر/كانون الأول 2004)، ص ص. 47-53، 7ص.
الناشر
تاريخ النشر
2004-12-31
دولة النشر
الجزائر
عدد الصفحات
7
التخصصات الرئيسية
الملخص FRE
Le problème de satisfaisabilité maximale de formules propositionnelles (Max-SAT) est un problème central en intelligence artificielle, logique mathématique et optimisation combinatoire.
Les algorithmes de résolution utilisent différentes heuristiques pour parcourir l’espace de recherche dont les performances sont liées à leur complexité et au réglage de leurs paramètres.
L’Optimisation Extrémale (EO) est une des méthodes les plus simples à mettre en oeuvre et n’utilise qu’un seul paramètre de contrôle.
Elle est inspirée de la dynamique des systèmes physiques de complexité émergente et de leur capacité à s’auto-organiser pour atteindre un état d’adaptation optimal.
Ce travail est motivé par les progrès récemment réalisés par l’application de cette méthode à des problèmes classiques d’optimisation tels que le partitionnement de graphe.
Dans cet article, nous décrivons un nouvel algorithme de recherche locale stochastique pour la résolution du problème Max-SAT s’articulant autour de la méthode EO et présentons une analyse empirique de ses performances.
Les résultats numériques obtenus améliorent de façon significative ceux produits par les algorithmes de recuit simulé et de recherche taboue.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Minai, M. al-Bashir& Batouche, M.. 2004. Adaptation de la dynamique des systemes auto-organises a la resolution du probleme de satisfaisabilite maximale de formules propositionnelles. Sciences et Technologie : Sciences Appliquées،Vol. 2004, no. 22, pp.47-53.
https://search.emarefa.net/detail/BIM-442926
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Minai, M. al-Bashir& Batouche, M.. Adaptation de la dynamique des systemes auto-organises a la resolution du probleme de satisfaisabilite maximale de formules propositionnelles. Sciences et Technologie : Sciences Appliquées No. 22 (2004), pp.47-53.
https://search.emarefa.net/detail/BIM-442926
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Minai, M. al-Bashir& Batouche, M.. Adaptation de la dynamique des systemes auto-organises a la resolution du probleme de satisfaisabilite maximale de formules propositionnelles. Sciences et Technologie : Sciences Appliquées. 2004. Vol. 2004, no. 22, pp.47-53.
https://search.emarefa.net/detail/BIM-442926
نوع البيانات
مقالات
لغة النص
الفرنسية
الملاحظات
Includes bibliographical references : p. 52-53
رقم السجل
BIM-442926
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)