كيف تحدد المركبات الفضائية والسيارات ذاتية القيادة موقعها الحقيقي من مستشعرات مشوشة وتوقعات غير يقينية: الهندسة الرياضية لمرشح كالمان
Tags
30 صفحات
Computer Science
كيف نُثبت رياضياً خلوّ برنامج من الأخطاء بنسبة 100% دون تشغيله ولا مرة واحدة؟ علم التحقق الصوري وفحص النماذج
كيف يتعرف تطبيق Shazam على أي أغنية في 3 ثوانٍ وسط مقهى صاخب؟ البصمة الصوتية، خريطة الكوكبات، وفصل الإشارات الأعمى (ICA)
كيف يمكن لعدة أطراف حساب المجموع والترتيب دون كشف بت واحد: الحوسبة الآمنة متعددة الأطراف (MPC)ومسألة المليونيرات لياو
كيف يمكن لعدة خيوط تعديل نفس البيانات دون استخدام أي أقفال؟ علم البرمجة الخالية من الأقفال (Lock-Free) ومشكلة ABA
لماذا تحل الحواسيب الحديثة في ثوانٍ مسائل NP-Complete التي يفترض أن تنفجر أسياً: خوارزميات SAT وCDCL والتحولات الطورية
لماذا تستعيد المسابير الفضائية ورموز QR البيانات بالكامل حتى عند تلف أجزاء منها: علم رموز تصحيح الأخطاء وحد شانون
لماذا تظل النصوص الصغيرة حادة ومقروءة: رياضيات تصيير الخطوط، منحنيات بيزييه، الآلة الافتراضية للتلميح، ومضاد التعرج للبكسل الفرعي
تحديد الصلاحية بما تملكه لا بهويتك: هندسة الأمان القائم على القدرات (Capability-Based Security)
دون فقدان حرف واحد، لماذا يمكن تصغير حجم الملفات؟: مبادئ وحدود الضغط غير الفاقد للبيانات
لماذا «السرعة» وحدها لا تكفي: أنظمة التشغيل في الوقت الفعلي (RTOS)، زمن التنفيذ الأسوأ (WCET)، جدولة RMS مقابل EDF، وانعكاس الأولوية في مسبار المريخ
لماذا يتوقف كل شيء عندما ينتظر الجميع بعضهم: نظرية الاستعصاء (Deadlock)، مبيانات تخصيص الموارد، خوارزمية المصرفي، والانغلاق الحي (Livelock)
لماذا يمكن إعادة إحياء منصات الألعاب القديمة برمجياً: معمارية المحاكيات — المفسرات، الترجمة الديناميكية JIT، تقنية Fastmem، والدقة على مستوى النبضة
هل يمكن إخفاء وجود السر ذاته؟: إخفاء المعلومات (Steganography) ورياضيات التمويه الرقمي
«التعقيد» لا يُقاس بعدد الحروف: تعقيد كولموغوروف وحقيقة العشوائية
كيف نصنع «العشوائية» من خطوات محددة مسبقاً؟: علم وتعمية عدم القابلية للتنبؤ
لماذا تنجو بياناتك عند انقطاع الكهرباء أثناء الحفظ؟ : هندسة الاتساق عند الانهيار (Crash Consistency)
لماذا لا يعمل الكود بالترتيب الذي كتبته به؟: مدخل إلى نماذج الذاكرة في المعالجات والمترجمات
هل يمكن استعادة الكود المصدري من ملف تنفيذي؟ : علم وخوارزميات وحدود فك الترجمة (Decompilation)
تقنية تحسين المترجم: ما هو SSA (التعيين الفردي الثابت)
