مجلة علوم الحاسب والمعلومات
استعراض
2 النتائج
نتائج البحث
مقالة وصول حر استخدام أنماط الأحداث مؤشر مهم لحل مشاكل المستخدم(دار جامعة الملك سعود للنشر, 01/01/2008) عناية الله شاهملخص البحث.إن جميع الأحداث تُسجل بشكل أوتوماتيكي داخل سجل المستخدم يدعى لوغ. هذه الأحداث هي عبارة عن غزارة من المعلومات تُرصد عند استخدام أي برنامج على الكومبيوتر. إن تحليل هذه الكمية الضخمة من الأحداث داخل سجل المستخدم يدويًّا لحل مشكلة ما يتطلب كمية كبيرة من الوقت. توجد بعض طرق أنماط الأحداث التي تُستخدم من أجل تحديد الحدث المسبب للمشكلة بشكل أوتوماتيكي. يحتوي هذا البحث على طريقة جديدة من أنماط الأحداث التي تتطلب وقتًا أقل للبحث داخل السجل وتحديد المشكلة من الطرق المتبعة مسبقًا.مقالة وصول حر المعالجة السابقة لإرضاء قيود مشكلة ذات قيود مشدّدة بغية تعيين وحل الصراعات(دار جامعة الملك سعود للنشر, 01/01/2004) عناية الله شاهينظر إلى مشكلة إرضاء القيود (CSP) على أنها ذات قيود مشددة، إذا لم يكن لها حل، وكانت قيودها متصارعة. وسنقوم هنا بتسمية المجموعات الفرعية من القيود المتصارعة بعضها مع بعض، بالمجموعات المتصارعة.
إن عملية تعيين أو تحديد هذه المجموعات المتصارعة تسمى تعيين الصراع. وفي هذا البحث، نقترح خوارزميات لتعيين المجموعات المتصارعة لأرضاء قيود مشكلة ذات قيود مشددة بغية حل هذه الصراعات. وسنري هنا كيف أن هذه المجموعات المتصارعة تظهر كل الطرق المختلفة لحل هذه الصراعات وبالتالي تحدد فراغ التراخي (الذي يكمن فيه الحل مع مراعاة حدود القيود).
ونقترح في هذا البحث أيضا خوارزمية لإيجاد فراغ التراخي الأمثل، الذي ييسر تعيين أقل عدد ممكن من القيود لحل الصراع. وفي هذه الخوارزمية، نقترح طريقة معالجة سابقة (ابتدائية) لمشكلة إرضاء القيود المشددة (CSP) بحيث تستخدم معلومات التراخي التي نحصل عليها من المجموعات المتصارعة في الحل الأمثل لهذه المشكلة. وأثبت البحث أن هذه الطريقة تحسّن أداء خوارزميات التفرع والتقييد المستخدمة في الوصول إلى الحل المطلوب.