التجريد (البرمجة الكائنية التوجه)

خوارزمية متروبوليس-هاستينغز هي إحدى خوارزميات MCMC الرائدة، وتُستخدم للحصول على سلسلة من العينات العشوائية من توزيع احتمالي يصعب فيه أخذ العينات المباشرة. في كل تكرار، تُولّد الخوارزمية عينة مرشحة للعينة التالية بناءً على العينة الحالية. ثم يُقبل هذا العين المرشح أو يُرفض باحتمالية معينة، مما يضمن تقارب السلسلة الناتجة مع التوزيع المطلوب.

الأدوات الأساسية السبع للجودة هي مجموعة من التقنيات الرسومية التي حددها كاورو إيشيكاوا لاستكشاف الأخطاء وإصلاحها في مجال الجودة. هذه الأدوات هي: مخطط السبب والنتيجة (هيكل السمكة)، وجدول المراجعة، ومخطط التحكم، والمدرج التكراري، ومخطط باريتو، ومخطط التشتت، والتقسيم الطبقي (الذي يُعرض غالبًا على شكل مخطط انسيابي). تُعتبر هذه الأدوات "أساسية" لسهولة استخدامها وقلة تدريبها الإحصائي الرسمي.

نموذج الشلال هو عملية تطوير برمجيات متسلسلة وغير متكررة، حيث يتدفق التقدم تدريجيًا (مثل الشلال) عبر مراحل مميزة: التصور، والبدء، والتحليل، والتصميم، والبناء، والاختبار، والنشر، والصيانة. يجب إكمال كل مرحلة بالكامل قبل الانتقال إلى المرحلة التالية. وغالبًا ما يُقارن بالنماذج التكرارية لإبراز مرونته.

The recovery block scheme is a software fault-tolerance technique based on design diversity and backward error recovery. It structures a program as a series of blocks, each with a primary module, an acceptance test, and one or more alternate modules. If the primary module's output fails the acceptance test, the system state is restored, and an alternate module is executed.

إثبات النظريات آليًا (ATP) هو مجال فرعي من علوم الحاسوب والمنطق الرياضي، يُعنى بإثبات النظريات الرياضية باستخدام برامج الحاسوب. تستخدم أنظمة ATP، أو المُثبتات، التفكير المنطقي لاستنتاج نظريات جديدة من مجموعة من البديهيات والفرضيات. وهي تختلف عن أدوات الإثبات المساعدة، التي تتطلب توجيهًا بشريًا أكثر، على الرغم من تداخل المجالين بشكل كبير.

تصنف تقنيات التحقق بشكل عام على أنها ثابتة أو ديناميكية. يفحص التحقق الثابت (أو التحليل الثابت) كود النظام أو تصميمه دون تنفيذه. وتشمل الأمثلة على ذلك مراجعات التعليمات البرمجية وعمليات الفحص وأدوات التحليل الثابت الآلي. أما التحقق الديناميكي (أو الاختبار) فيتضمن تنفيذ النظام بمجموعة من المدخلات ومراقبة سلوكه للعثور على العيوب. وكلاهما مكملان لضمان الجودة الشاملة.

رقم أولوية المخاطر (RPN) هو مقياس كمي يُستخدم في FMEA لتحديد أولويات المخاطر. ويتم حسابه كحاصل ضرب ثلاثة عوامل مرتبة: الخطورة (S)، والحدوث (O)، والاكتشاف (D). المعادلة هي [latex]RPN = S في O في D[/latex]. عادةً ما يتم تصنيف كل عامل على مقياس من 1 إلى 10، مما يسمح للفرق بالتركيز على المخاطر الأعلى درجة أولاً.

Real-time systems are classified as "hard" or "soft" based on the consequence of missing a deadline. In a hard real-time system, missing a deadline is a total system failure, such as in an anti-lock braking system. In a soft real-time system, missing a deadline leads to degraded performance but not catastrophic failure, such as in live audio-video streaming.

Rate-Monotonic Scheduling (RMS) is a static-priority scheduling algorithm for periodic tasks in a real-time system. It assigns priorities based on task frequency: the shorter a task's period (the higher its rate), the higher its priority. RMS is an optimal static-priority algorithm, meaning if any static-priority algorithm can schedule a task set, RMS can too. Schedulability can be checked using a utilization-based test.

طريقة الحجم المحدود (FVM) هي تقنية عددية سائدة في ديناميكيات الموائع الحسابية لحل المعادلات التفاضلية الجزئية. تُقسّم هذه الطريقة المجال إلى شبكة من أحجام التحكم، وتُطبّق المعادلات الحاكمة بصيغتها التكاملية على كل حجم. بتحويل تكاملات الحجم إلى تكاملات السطح باستخدام نظرية التباعد، تُركّز هذه الطريقة على حساب تدفق الخصائص المحفوظة عبر أسطح الخلايا.