الأبحاث ضمن الموضوع : طرق رسمية في التحقق
-
استقلالية التوازنات المغلقة واستقرارها عن اختيار وظيفة حاجز التحكم لمجموعة آمنة معينة Independence of closed-loop equilibria and stability from the choice of control barrier function for a given safe set
2026 | المؤلف: Yi‐Ting Chen وآخرون | المجلة: Automatica | المجال: النظرية الحسابية والرياضيات (Computational Theory and Mathematics)تتناول هذه القسم أهمية وظائف حواجز التحكم (CBFs) في تطوير وحدات تحكم قائمة على التحسين الآمن للأنظمة القابلة للتحكم. يبرز المؤلفون أنه بينما تعتبر CBFs ضرورية لضمان الثبات الأمامي لمجموعات “آمنة” محددة مسبقًا، يمكن أن تقدم بشكل غير مقصود نقاط توازن غير مرغوب فيها لا تتوافق مع توازنات النظام الأصلي. يتناول البحث تأثير اختيار CBF…
-
الأنطولوجيا السلوكية الجزء 3: القوة الحاسوبية ضمن إطار تصريحي Behavioral Ontology Part 3: Computational Power Within a Declarative Framework
2026 | المؤلف: Jorge L. Argibay | المجلة: The Scientific Review | المجال: النظرية الحسابية والرياضيات (Computational Theory and Mathematics)تناقش هذه القسم مفهوم الأنطولوجيا السلوكية كما هو موضح في ورقة مرافقة، والتي تقدم نظامًا رسميًا لتحديد سلوك الأنظمة الآلية. يتكون هذا النظام من خمسة مكونات متعامدة ومصمم ليتم تفسيره مباشرة بواسطة بيئة التشغيل. يتم تأسيس طبيعته التصريحية من خلال التصريحات الهيكلية، بما في ذلك الفئات، الخصائص، الطرق، الأحداث، الإجراءات، وروابطها. يتم احتواء الجوانب الحسابية…
-
منطق لعدم الدقة في التفسيرات المجردة
2026 | المؤلف: Marco Campion وآخرون | المجلة: Proceedings of the ACM on Programming Languages | المجال: النظرية الحسابية والرياضيات (Computational Theory and Mathematics)في هذا القسم، يناقش المؤلفون مفهوم انتشار الخطأ في التحليل العددي وتوازياته في التفسير المجرد، حيث تنشأ الأخطاء من عملية التجريد نفسها. يقدمون منطقًا جديدًا، وهو منطق انتشار الخطأ (EPL)، الذي يوفر إطارًا لاشتقاق الحدود العليا على عدم الدقة في التفسيرات المجردة بناءً على عدم دقة بيانات الإدخال. يؤسس هذا الإطار لما يسميه المؤلفون “الكمال…
-
بروتوكولات ZKP الفيزيائية الفعالة لمشكلة دورة هاملتونية ومشكلة البائع المتجول
2026 | المؤلف: Ren IGARI وآخرون | المجلة: IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences | المجال: النظرية الحسابية والرياضيات (Computational Theory and Mathematics)تتناول الورقة مشكلة دورة هاملتونية، وهي تحدٍ NP-complete في نظرية الرسوم البيانية لها آثار كبيرة على التطبيقات العملية مثل تصميم VLSI ومشكلة البائع المتجول (TSP). يقدم المؤلفون بروتوكولات جديدة لإثبات المعرفة الصفرية الفيزيائية التي تسمح لطرف واحد بإثبات معرفة بحل ما لطرف آخر دون الكشف عن أي تفاصيل حول الحل نفسه. تظهر هذه البروتوكولات كفاءة…