موازرة برامج القواعد المنجة باستخدام تحليل التحكم المنطقي

العناوين الأخرى

Parallelizing rule-based programs using logical control analysis

مقدم أطروحة جامعية

السقار، فيصل سليمان صالح

مشرف أطروحة جامعية

عبابنة، إسماعيل محمد
العتوم، جلال يوسف

أعضاء اللجنة

القصاب، موفق محمد توفيق
دبش، محمد
الهندي، خليل

الجامعة

جامعة آل البيت

الكلية

كلية الأمير الحسين بن عبد الله لتكنولوجيا المعلومات

القسم الأكاديمي

قسم علوم الحاسوب

دولة الجامعة

الأردن

الدرجة العلمية

ماجستير

تاريخ الدرجة العلمية

2001

الملخص العربي

تعد برامج القواعد المنتجة من أهم الوسائل المستخدمة لتمثيل المعرفة في الأنظمة الخبيرة.

و تعرف بأنها طريفة لتمثيل المعرفة من خلال برامج تعتمد على قواعد منتجة مكونة من شروط و نتائج، و نظام للتحكم يسمى ماكينة الاستدلال، و قاعدة بيانات تسمى ذاكرة العمل.

و قد ظهرت عدة محاولات لتسريع تنفيذ برامج القواعد المنتجة من خلال بعض أجزاء الآلية المتتابعة لتنفيذ برامج القواعد المنتجة بشكل متواز.

و قد برز نوعان من الخوارزميات المتوازية هما خوارزميات المطابقة المتوازية، و خوارزميات الإطلاق المتعدد للقواعد المنتجة و التي يقع هذا البحث من ضمنها.

بناء على نتائج دراسة سابقة (Atoum, 95) تحلل برامج القواعد المنتجة باستخدام مبدأ الحل و تستخرج هيكل تحكمي يبين تدفق التحكم بين القواعد المنتجة، يتم في هذا البحث اقتراح و دراسة خوارزمية تقوم بكشف جميع الحلقات (المسارات) المغلقة في الهيكل التدفقي أثناء مرحلة الترجمة، حيث يتم إجراء فحص التداخل بين القواعد المنتجة لفرز القواعد المتداخلة عن غيرها و على القواعد نفسها خلال هذه المرحلة.

ثم يقترح هذا البحث آلية للإطلاق المتوازي لبرامج القواعد المنتجة و هي تطوير على آلية التنفيذ المتتالي لبرامج القواعد المنتجة، تستخدم نتائج فحص التداخل الذي تم أثناء مرحلة الترجمة، و تستبدل سياسة حل التعارض في مرحلة الحل بخوارزمية تسمى خوارزمية الاختيار، و التي تقوم–أثناء مرحلة التنفيذ- بمقارنة محتويات مجموعة التعارض مع محتويات قائمة الحلقات المغلقة الناتجة عن خوارزمية كشف الحلقة، و ذلك للكشف عن الحلقات في مجموعة التعارض، فإن احتوت على حلقة يتم كسرها و يمكن تنفيذ بقية القواعد في مجموعة التعارض بشكل متواز، أما إذا لم تحتوي مجموعة التعارض على حلقة فيمكن تنفيذ جميع القواعد في مجموعة التعارض بشكل متواز.

و تتم هذه المقارنة في كل مرحلة من مراحل التنفيذ.

و لقياس مقدار التوازي الناتج عن الآلية المقترحة تمت دراسة مجموعة برامج قواعد منتجة قياسية أظهرت خلالها فاعلية كبيرة عند استخدامها مع برامج القواعد المنتجة القياسي الكبير ويفر Weaver حيث يمكن تنفيذ ما معدله 45 قاعدة بشكل متواز في كل دورة من دورات تنفيذه.

كما أن التوازي الذي يمكن الحصول عليه يزداد بزيادة عدد القواعد المنتجة للبرنامج القياسي.

كما تمت مقارنة الآلية المقترحة مع آلية أشيدا للتنفيذ المتوازي لبرامج القواعد المنتجة من حيث عدد المقارنات اللازمة لإجراء فحص التداخل، حيثث أظهرت الآلية المقترحة توفيرا كبيرا يصل إلى 98 % في عدد المقارنات اللازمة لإجراء فحص التداخل على القواعد المنتجة لبرنامج ويفر.

التخصصات الرئيسية

تكنولوجيا المعلومات وعلم الحاسوب

الموضوعات

• البرمجيات
• الحاسبات الإلكترونية
• البرمجة الخطية
• الفيزياء الرياضية
• البرمجة الآلية

عدد الصفحات

70

قائمة المحتويات

• APA
• MLA
• AMA

لغة النص

العربية

نوع البيانات

رسائل جامعية

رقم السجل

BIM-311429