Lambda演算

A core principle of SPC distinguishing between two types of process variation. Common cause variation is the inherent, random "noise" within a process that is stable and predictable. Special cause variation, or assignable cause, stems from external, identifiable sources, indicating process instability. The goal is to eliminate special causes and reduce common cause variation.

A graphical tool used in SPC to monitor a process variable over time. It plots data points between a central line (CL), representing the process average, and upper (UCL) and lower (LCL) control limits. These limits are typically set at three standard deviations from the mean ([latex]\mu \pm 3\sigma[/latex]), defining the range of expected common cause variation.

One-way ANOVA is used to determine whether there are any statistically significant differences between the means of three or more independent groups. It analyzes the effect of a single categorical independent variable, known as a factor, on a continuous dependent variable. The null hypothesis states that all group means are equal, [latex]H_0: \mu_1 = \mu_2 = \dots = \mu_k[/latex].

哥德尔编号是一种基础技术，它为形式语言中的每个符号、公式和证明分配一个唯一的自然数（哥德尔数）。这种语法算术化使得关于形式系统的元数学陈述（例如，“这个公式是可证明的”）能够被编码为关于数字的算术陈述，从而可以在系统内部进行推理。

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.

A topological space is an ordered pair [latex](X, \tau)[/latex], where [latex]X[/latex] is a set and [latex]\tau[/latex] is a collection of subsets of [latex]X[/latex], called open sets, satisfying three axioms: 1) The empty set [latex]\emptyset[/latex] and [latex]X[/latex] itself are in [latex]\tau[/latex]. 2) The union of any number of sets in [latex]\tau[/latex] is also in [latex]\tau[/latex]. 3) The intersection of any finite number of sets in [latex]\tau[/latex] is also in [latex]\tau[/latex].

策梅洛-弗兰克尔集合论（Zermelo-Fraenkel set theory，简称ZFC，其中ZFC包含选择公理）是当代数学的标准公理系统。它由一系列用一阶逻辑表达的公理组成，这些公理形式化了集合的性质。当今几乎所有数学定理都可以用ZFC来表述和证明。

方差分析 (ANOVA) 是一种统计方法，它将数据集中观察到的总变异性划分为可归因于不同来源的各个部分。其核心思想是比较不同组均值之间的方差与组内方差。如果组间方差显著较大，则表明组均值确实存在差异。

The Courant–Friedrichs–Lewy (CFL) condition is a necessary stability criterion for numerical solutions of hyperbolic partial differential equations using explicit time-integration schemes. It dictates that the time step size must be small enough that information does not travel further than one spatial grid cell per time step. For a 1D case, [latex]C = u \frac{\Delta t}{\Delta x} \le C_{max}[/latex], ensuring numerical stability.

要使方差分析的结果有效，必须满足几个关于数据的关键假设。这些假设包括：(1) 观测值独立，即误差不相关。(2) 正态性，即每组的残差近似呈正态分布。(3) 同方差性，即所有组的残差方差相等。

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

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