دالة الموثوقية (دالة البقاء)

ترقيم غودل هو تقنية أساسية تُخصِّص عددًا طبيعيًا فريدًا (رقم غودل) لكل رمز وصيغة وبرهان في لغة رسمية. يسمح هذا التحويل الحسابي للقواعد النحوية بترميز العبارات الرياضية الميتا حول نظام رسمي (مثل: "هذه الصيغة قابلة للإثبات") كعبارات حسابية حول الأعداد، والتي يمكن بعد ذلك استدلالها داخل النظام نفسه.

عامل بايز هو نسبة الاحتمالات الهامشية لفرضيتين متنافستين، غالبًا ما تكون فرضية صفرية ([latex]M_1[/latex]) وفرضية بديلة ([latex]M_2[/latex]). وهو يقيس الدعم لفرضية على أخرى، بالنظر إلى البيانات الملاحظة [latex]D[/latex]. الصيغة هي [latex]K = \frac{P(D|M_1)}{P(D|M_2)}[/latex]. تشير قيمة K > 1 إلى أن البيانات تفضل [latex]M_1[/latex] على [latex]M_2[/latex].

الفاصل الموثوق هو المكافئ البايزي لفاصل الثقة التكراري. وهو نطاق من القيم يحتوي على معلمة ذات احتمال معين، استنادًا إلى توزيع الاحتمالات اللاحق. على سبيل المثال، الفاصل الموثوق به 95% لمعلمة [latex]\theta[/latex] يعني أن هناك احتمال 95% أن القيمة الحقيقية لـ [latex]\theta[/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].

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.

لكي تُعتبر نتائج تحليل التباين صحيحة، يجب استيفاء عدة افتراضات رئيسية حول البيانات. وهي: (1) استقلالية الملاحظات، أي عدم ارتباط الأخطاء. (2) التوزيع الطبيعي، أي توزيع البقايا لكل مجموعة توزيعًا طبيعيًا تقريبًا. (3) تجانس التباين، أي تساوي تباين البقايا في جميع المجموعات.

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

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

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

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

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

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