موازرة برامج القواعد المنجة باستخدام تحليل التحكم المنطقي
Other Title(s)
Parallelizing rule-based programs using logical control analysis
Dissertant
Thesis advisor
عبابنة، إسماعيل محمد
العتوم، جلال يوسف
Comitee Members
القصاب، موفق محمد توفيق
دبش، محمد
الهندي، خليل
University
Al albayt University
Faculty
Prince Hussein Bin Abdullah Faculty for Information Technology
Department
Department of Computer Science
University Country
Jordan
Degree
Master
Degree Date
2001
Arabic Abstract
تعد برامج القواعد المنتجة من أهم الوسائل المستخدمة لتمثيل المعرفة في الأنظمة الخبيرة.
و تعرف بأنها طريفة لتمثيل المعرفة من خلال برامج تعتمد على قواعد منتجة مكونة من شروط و نتائج، و نظام للتحكم يسمى ماكينة الاستدلال، و قاعدة بيانات تسمى ذاكرة العمل.
و قد ظهرت عدة محاولات لتسريع تنفيذ برامج القواعد المنتجة من خلال بعض أجزاء الآلية المتتابعة لتنفيذ برامج القواعد المنتجة بشكل متواز.
و قد برز نوعان من الخوارزميات المتوازية هما خوارزميات المطابقة المتوازية، و خوارزميات الإطلاق المتعدد للقواعد المنتجة و التي يقع هذا البحث من ضمنها.
بناء على نتائج دراسة سابقة (Atoum, 95) تحلل برامج القواعد المنتجة باستخدام مبدأ الحل و تستخرج هيكل تحكمي يبين تدفق التحكم بين القواعد المنتجة، يتم في هذا البحث اقتراح و دراسة خوارزمية تقوم بكشف جميع الحلقات (المسارات) المغلقة في الهيكل التدفقي أثناء مرحلة الترجمة، حيث يتم إجراء فحص التداخل بين القواعد المنتجة لفرز القواعد المتداخلة عن غيرها و على القواعد نفسها خلال هذه المرحلة.
ثم يقترح هذا البحث آلية للإطلاق المتوازي لبرامج القواعد المنتجة و هي تطوير على آلية التنفيذ المتتالي لبرامج القواعد المنتجة، تستخدم نتائج فحص التداخل الذي تم أثناء مرحلة الترجمة، و تستبدل سياسة حل التعارض في مرحلة الحل بخوارزمية تسمى خوارزمية الاختيار، و التي تقوم–أثناء مرحلة التنفيذ- بمقارنة محتويات مجموعة التعارض مع محتويات قائمة الحلقات المغلقة الناتجة عن خوارزمية كشف الحلقة، و ذلك للكشف عن الحلقات في مجموعة التعارض، فإن احتوت على حلقة يتم كسرها و يمكن تنفيذ بقية القواعد في مجموعة التعارض بشكل متواز، أما إذا لم تحتوي مجموعة التعارض على حلقة فيمكن تنفيذ جميع القواعد في مجموعة التعارض بشكل متواز.
و تتم هذه المقارنة في كل مرحلة من مراحل التنفيذ.
و لقياس مقدار التوازي الناتج عن الآلية المقترحة تمت دراسة مجموعة برامج قواعد منتجة قياسية أظهرت خلالها فاعلية كبيرة عند استخدامها مع برامج القواعد المنتجة القياسي الكبير ويفر Weaver حيث يمكن تنفيذ ما معدله 45 قاعدة بشكل متواز في كل دورة من دورات تنفيذه.
كما أن التوازي الذي يمكن الحصول عليه يزداد بزيادة عدد القواعد المنتجة للبرنامج القياسي.
كما تمت مقارنة الآلية المقترحة مع آلية أشيدا للتنفيذ المتوازي لبرامج القواعد المنتجة من حيث عدد المقارنات اللازمة لإجراء فحص التداخل، حيثث أظهرت الآلية المقترحة توفيرا كبيرا يصل إلى 98 % في عدد المقارنات اللازمة لإجراء فحص التداخل على القواعد المنتجة لبرنامج ويفر.
Main Subjects
Information Technology and Computer Science
Topics
No. of Pages
70
Table of Contents
فهرس المحتويات / الموضوعات.
الملخص / المستخلص.
الفصل الأول : مقدمة الرسالة.
الفصل الثاني : برامج القواعد المنتجة المتوازية.
الفصل الثالث : الدراسات و الخوارزميات السابقة.
الفصل الرابع : التحليل التحكمي لبرامج القواعد المنتجة.
الفصل الخامس : كشف الحلقات المغلقة لبرامج القواعد المنتجة.
الفصل السادس : الآلية المقترحة لإطلاق المتوازي لبرامج القواعد المنتجة.
الفصل السابع : النتائج و المقارنة.
قائمة المراجع.
American Psychological Association (APA)
السقار، فيصل سليمان صالح. (2001). موازرة برامج القواعد المنجة باستخدام تحليل التحكم المنطقي. (أطروحة ماجستير). جامعة آل البيت, الأردن
https://search.emarefa.net/detail/BIM-311429
Modern Language Association (MLA)
السقار، فيصل سليمان صالح. موازرة برامج القواعد المنجة باستخدام تحليل التحكم المنطقي. (أطروحة ماجستير). جامعة آل البيت. (2001).
https://search.emarefa.net/detail/BIM-311429
American Medical Association (AMA)
السقار، فيصل سليمان صالح. (2001). موازرة برامج القواعد المنجة باستخدام تحليل التحكم المنطقي. (أطروحة ماجستير). جامعة آل البيت, الأردن
https://search.emarefa.net/detail/BIM-311429
Language
Arabic
Data Type
Arab Theses
Record ID
BIM-311429
