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

طرائق سلسلة ماركوف مونت كارلو (MCMC) هي فئة من الخوارزميات لأخذ العينات من توزيع احتمالي. تُبنى سلسلة ماركوف بحيث يكون التوزيع المطلوب هو توزيعها المتوازن أو الثابت. ثم تُستخدم حالة السلسلة بعد عدد كبير من الخطوات كعينة من التوزيع المطلوب، مما يُمكّن من حساب التكاملات والتوقعات.

G-code، المعروف رسميًا باسم RS-274، هو لغة البرمجة الأكثر شيوعًا للتحكم في ماكينات CNC. يتكون من أوامر متسلسلة تُوجّه الآلة نحو تحديد المواقع والسرعة وإجراءات محددة. تبدأ الأوامر بحرف؛ حيث يُشير الحرف "G" إلى الأوامر التحضيرية للحركة (مثل G01 للتغذية الخطية)، بينما يُشير الحرف "M" إلى وظائف متنوعة (مثل M03 لبدء المغزل).

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

Verification techniques are broadly classified as static or dynamic. Static verification (or static analysis) examines the system's code or design without executing it. Examples include code reviews, inspections, and automated static analysis tools. Dynamic verification (or testing) involves executing the system with a set of inputs and observing its behavior to find defects. Both are complementary for comprehensive quality assurance.

The Risk Priority Number (RPN) is a quantitative measure used in FMEA to prioritize risks. It is calculated as the product of three ranked factors: Severity (S), Occurrence (O), and Detection (D). The formula is [latex]RPN = S times O times D[/latex]. Each factor is typically rated on a scale from 1 to 10, allowing teams to focus on the highest-scoring risks first.

يُعتبر نظام A-0، الذي ابتكرته غريس هوبر عام ١٩٥٢، على نطاق واسع أول مُجمِّع برمجي. وقد ترجم هذا النظام سلسلة من البرامج الفرعية والمعاملات، المحددة بترميز رياضي، إلى شيفرة آلية. كانت هذه خطوةً أساسيةً في الانتقال من برمجة التجميع منخفضة المستوى إلى لغات برمجة أعلى مستوى وأكثر تجريدًا، مما أدى إلى أتمتة عملية ترجمة الشيفرة اليدوية المُرهقة.

A set of four decision rules for detecting non-random patterns on Shewhart control charts, indicating an out-of-control process even if no points are outside the 3-sigma limits. These rules identify unnatural runs, trends, or clustering of data points that signal the presence of a special cause of variation. They increase the sensitivity of control charts.

A regression model for a categorical, typically binary, dependent variable. Instead of modeling the outcome directly, it models the probability of the outcome using the logistic (sigmoid) function. The model predicts the log-odds of the event as a linear combination of the independent variables: [latex]\ln(\frac{p}{1-p}) = \beta_0 + \beta_1 x_1 + \dots + \beta_p x_p[/latex], where p is the probability of the event.

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

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

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