![](/images/graphics-bg.png)
موازرة برامج القواعد المنجة باستخدام تحليل التحكم المنطقي
العناوين الأخرى
Parallelizing rule-based programs using logical control analysis
مقدم أطروحة جامعية
مشرف أطروحة جامعية
عبابنة، إسماعيل محمد
العتوم، جلال يوسف
أعضاء اللجنة
القصاب، موفق محمد توفيق
دبش، محمد
الهندي، خليل
الجامعة
جامعة آل البيت
الكلية
كلية الأمير الحسين بن عبد الله لتكنولوجيا المعلومات
القسم الأكاديمي
قسم علوم الحاسوب
دولة الجامعة
الأردن
الدرجة العلمية
ماجستير
تاريخ الدرجة العلمية
2001
الملخص العربي
تعد برامج القواعد المنتجة من أهم الوسائل المستخدمة لتمثيل المعرفة في الأنظمة الخبيرة.
و تعرف بأنها طريفة لتمثيل المعرفة من خلال برامج تعتمد على قواعد منتجة مكونة من شروط و نتائج، و نظام للتحكم يسمى ماكينة الاستدلال، و قاعدة بيانات تسمى ذاكرة العمل.
و قد ظهرت عدة محاولات لتسريع تنفيذ برامج القواعد المنتجة من خلال بعض أجزاء الآلية المتتابعة لتنفيذ برامج القواعد المنتجة بشكل متواز.
و قد برز نوعان من الخوارزميات المتوازية هما خوارزميات المطابقة المتوازية، و خوارزميات الإطلاق المتعدد للقواعد المنتجة و التي يقع هذا البحث من ضمنها.
بناء على نتائج دراسة سابقة (Atoum, 95) تحلل برامج القواعد المنتجة باستخدام مبدأ الحل و تستخرج هيكل تحكمي يبين تدفق التحكم بين القواعد المنتجة، يتم في هذا البحث اقتراح و دراسة خوارزمية تقوم بكشف جميع الحلقات (المسارات) المغلقة في الهيكل التدفقي أثناء مرحلة الترجمة، حيث يتم إجراء فحص التداخل بين القواعد المنتجة لفرز القواعد المتداخلة عن غيرها و على القواعد نفسها خلال هذه المرحلة.
ثم يقترح هذا البحث آلية للإطلاق المتوازي لبرامج القواعد المنتجة و هي تطوير على آلية التنفيذ المتتالي لبرامج القواعد المنتجة، تستخدم نتائج فحص التداخل الذي تم أثناء مرحلة الترجمة، و تستبدل سياسة حل التعارض في مرحلة الحل بخوارزمية تسمى خوارزمية الاختيار، و التي تقوم–أثناء مرحلة التنفيذ- بمقارنة محتويات مجموعة التعارض مع محتويات قائمة الحلقات المغلقة الناتجة عن خوارزمية كشف الحلقة، و ذلك للكشف عن الحلقات في مجموعة التعارض، فإن احتوت على حلقة يتم كسرها و يمكن تنفيذ بقية القواعد في مجموعة التعارض بشكل متواز، أما إذا لم تحتوي مجموعة التعارض على حلقة فيمكن تنفيذ جميع القواعد في مجموعة التعارض بشكل متواز.
و تتم هذه المقارنة في كل مرحلة من مراحل التنفيذ.
و لقياس مقدار التوازي الناتج عن الآلية المقترحة تمت دراسة مجموعة برامج قواعد منتجة قياسية أظهرت خلالها فاعلية كبيرة عند استخدامها مع برامج القواعد المنتجة القياسي الكبير ويفر Weaver حيث يمكن تنفيذ ما معدله 45 قاعدة بشكل متواز في كل دورة من دورات تنفيذه.
كما أن التوازي الذي يمكن الحصول عليه يزداد بزيادة عدد القواعد المنتجة للبرنامج القياسي.
كما تمت مقارنة الآلية المقترحة مع آلية أشيدا للتنفيذ المتوازي لبرامج القواعد المنتجة من حيث عدد المقارنات اللازمة لإجراء فحص التداخل، حيثث أظهرت الآلية المقترحة توفيرا كبيرا يصل إلى 98 % في عدد المقارنات اللازمة لإجراء فحص التداخل على القواعد المنتجة لبرنامج ويفر.
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الموضوعات
عدد الصفحات
70
قائمة المحتويات
فهرس المحتويات / الموضوعات.
الملخص / المستخلص.
الفصل الأول : مقدمة الرسالة.
الفصل الثاني : برامج القواعد المنتجة المتوازية.
الفصل الثالث : الدراسات و الخوارزميات السابقة.
الفصل الرابع : التحليل التحكمي لبرامج القواعد المنتجة.
الفصل الخامس : كشف الحلقات المغلقة لبرامج القواعد المنتجة.
الفصل السادس : الآلية المقترحة لإطلاق المتوازي لبرامج القواعد المنتجة.
الفصل السابع : النتائج و المقارنة.
قائمة المراجع.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
السقار، فيصل سليمان صالح. (2001). موازرة برامج القواعد المنجة باستخدام تحليل التحكم المنطقي. (أطروحة ماجستير). جامعة آل البيت, الأردن
https://search.emarefa.net/detail/BIM-311429
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
السقار، فيصل سليمان صالح. موازرة برامج القواعد المنجة باستخدام تحليل التحكم المنطقي. (أطروحة ماجستير). جامعة آل البيت. (2001).
https://search.emarefa.net/detail/BIM-311429
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
السقار، فيصل سليمان صالح. (2001). موازرة برامج القواعد المنجة باستخدام تحليل التحكم المنطقي. (أطروحة ماجستير). جامعة آل البيت, الأردن
https://search.emarefa.net/detail/BIM-311429
لغة النص
العربية
نوع البيانات
رسائل جامعية
رقم السجل
BIM-311429
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)