三重模块冗余（TMR）

蒙特卡罗方法是一类广泛的计算算法，它依赖于重复的随机抽样来获得数值结果。其基本思想是利用随机性来解决原则上可能是确定性的问题。当其他方法难以或无法使用时，蒙特卡罗方法通常被采用，尤其是在模拟复杂系统或积分高维函数时。

有限元法 (FEM) 是一种强大的数值方法，用于求解由偏微分方程描述的复杂工程和物理问题。它的工作原理是将连续域离散化为一组更小、更简单的子域，这些子域被称为“有限元”。这可以用于结构分析、传热、流体流动和电磁学等问题的近似数值解。

插补是 CNC 控制器内的计算过程，它生成一系列中间坐标点，以在编程的端点之间创建平滑路径。最基本的插补类型是用于直线的线性插补 (G01) 和用于圆弧的圆弧插补 (G02/G03)。这使得可以通过 G 代码程序中的简单几何命令来加工复杂的轮廓。

马尔可夫链蒙特卡罗（MCMC）方法是一类用于从概率分布中采样的算法。它构建一个马尔可夫链，使其平衡分布或平稳分布为目标分布。经过大量步骤后，链的状态被用作目标分布的样本，从而可以计算积分和期望值。

G 代码（正式名称为 RS-274）是用于控制 CNC 机床的最常用编程语言。它由一系列顺序命令组成，用于指示机床的定位、速度和特定操作。命令以字母地址开头；“G”表示运动准备命令（例如，G01 表示线性进给），而“M”表示辅助功能（例如，M03 表示主轴启动）。

自动定理证明（ATP）是计算机科学和数理逻辑的一个子领域，致力于使用计算机程序证明数学定理。ATP系统（或称证明器）运用逻辑推理，从一组公理和假设中推导出新的定理。它们与需要更多人工指导的证明辅助工具不同，尽管这两个领域存在显著的重叠。

The Bayes factor is a ratio of the marginal likelihoods of two competing hypotheses, often a null hypothesis ([latex]M_1[/latex]) and an alternative hypothesis ([latex]M_2[/latex]). It quantifies the support for one hypothesis over the other, given the observed data [latex]D[/latex]. The formula is [latex]K = \frac{P(D|M_1)}{P(D|M_2)}[/latex]. A value of K > 1 indicates that the data favors [latex]M_1[/latex] over [latex]M_2[/latex].

A credible interval is the Bayesian equivalent of a frequentist confidence interval. It is a range of values that contains a parameter with a particular probability, based on the posterior probability distribution. For example, a 95% credible interval for a parameter [latex]\theta[/latex] means there is a 95% probability that the true value of [latex]\theta[/latex] lies within that interval, given the data and the model.

The reliability function, R(t), defines the probability that a system or component will perform its required function without failure for a specified time 't'. For systems with a constant failure rate (λ), it is described by the exponential distribution: [latex]R(t) = e^{-\lambda t}[/latex]. This function is fundamental to predicting the longevity and performance of a product.

A classic illustration of the Monte Carlo method is estimating the value of [latex]\pi[/latex]. By inscribing a circle of radius [latex]r[/latex] within a square of side length [latex]2r[/latex], the ratio of their areas is [latex]\frac{\pi r^2}{(2r)^2} = \frac{\pi}{4}[/latex]. Randomly scattering points within the square and counting the fraction [latex]p[/latex] that fall inside the circle provides an estimate: [latex]\pi \approx 4p[/latex].

A-0 系统由 Grace Hopper 于 1952 年创建，被广泛认为是第一个编译器。它将一系列由数学符号指定的子程序和参数翻译成机器码。这是从低级汇编编程向更高级、更抽象的编程语言转变的奠基性一步，使繁琐的手动代码翻译过程自动化。

这是一套用于检测休哈特控制图上非随机模式的四条决策规则，即使没有数据点超出3σ限值，也能指示过程失控。这些规则可以识别数据点的异常运行、趋势或聚集，这些异常表明存在特殊原因造成的变异。它们提高了控制图的灵敏度。

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.