قواعد شركة ويسترن إلكتريك (الاختبارات الإحصائية في مخططات التحكم)

تحدّد دالة الموثوقية، R(t)، احتمال أن يؤدي النظام أو المكوّن وظيفته المطلوبة دون فشل لفترة زمنية محددة "t". بالنسبة للأنظمة ذات معدل الفشل الثابت (λ)، يتم وصفها بالتوزيع الأسي: [latex]R(t) = e^^{- \\lambda t}[/latex]. هذه الدالة أساسية للتنبؤ بطول عمر المنتج وأدائه.

من الأمثلة التوضيحية الكلاسيكية لطريقة مونت كارلو تقدير قيمة [latex] \pi[/latex]. من خلال إدراج دائرة نصف قطرها [latex]P5Tr[/latex] داخل مربع طول ضلعه [latex]2r[/latex]، فإن نسبة مساحتهما هي [latex] \frac{\pi r^2}{(2r)^2} = \frac{\pi}{4}[/latex]. بتفريق النقاط عشوائيًا داخل المربع وحساب الكسر [latex]p[/latex] الذي يقع داخل الدائرة يوفر تقديرًا: [latex]\pi \approx 4p[/latex].

نموذج انحدار لمتغير تابع فئوي، ثنائي عادةً. فبدلاً من نمذجة النتيجة مباشرةً، فإنه يقوم بنمذجة احتمال النتيجة باستخدام الدالة اللوجستية (الدالة السهمية). يتنبأ النموذج بلوغاريتم احتمالات الحدث كمجموعة خطية من المتغيرات المستقلة: [latex]\ln(\frac{p}{1-p}) = \beta_0 + \beta_1 x_1 + \dots + \beta_p x_p_p[/latex]، حيث p هي احتمالية الحدث.

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

الاستيفاء هو عملية حسابية داخل وحدة تحكم CNC، تُولّد سلسلة من نقاط الإحداثيات الوسيطة لإنشاء مسار سلس بين نقاط النهاية المبرمجة. وأهم أنواعها هي الاستيفاء الخطي (G01) للخطوط المستقيمة، والاستيفاء الدائري (G02/G03) للأقواس. يتيح هذا تشكيل مقاطع معقدة من أوامر هندسية بسيطة في برنامج G-code.

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

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

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

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

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