الأبحاث المرتبطة بالكلمة المفتاحية: تعقيد حسابي
-
التكافؤ القوي في برمجة مجموعة الإجابات مع القيود Strong Equivalence in Answer Set Programming with Constraints
2026 | المؤلف: Pedro Cabalar وآخرون | المجلة: Theory and Practice of Logic Programming | المجال: الذكاء الاصطناعي (Artificial Intelligence)تبحث هذه الدراسة في المعادلة القوية ضمن إطار برمجة مجموعة الإجابات (ASP) مع القيود، مع التركيز على الشروط التي يمكن اعتبار مجموعتين من القواعد متساويتين بقوة. يثبت المؤلفون أن المعادلة القوية يمكن تمييزها من خلال معادلة ترجماتها في منطق هنا وهناك مع القيود (HT_c). يقدمون ترجمة منهجية من لغة محللات مجموعة الإجابات المعتمدة على clingo…
-
نهج جديد لتطوير أنظمة كشف التسلل في الشبكات الاجتماعية المحمولة A Novel Approach for Developing Intrusion Detection Systems in Mobile Social Networks
2026 | المؤلف: Elaheh Rivandi وآخرون | المجلة: Journal of Soft Computing and Decision Analytics | المجال: شبكات واتصالات الحاسوب (Computer Networks and Communications)تقدم البحث نظام كشف التسلل (IDS) مبتكر مصمم للشبكات المؤقتة، مستفيدًا من تحليل الاتصالات داخل الشبكات الاجتماعية. يراقب هذا النظام التفاعلات بين العقد المؤقتة ويولد تنبيهات عند انتهاك المعايير المعمول بها في الاتصالات، مما يعزز أمان الشبكة. تم تقييم IDS المقترح ضد الهجمات الشائعة، بما في ذلك إسقاط الحزم، والثقب الأسود، وحرمان النوم، وهجمات TCP…