静态验证与动态验证（IT）

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

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

风险优先级编号 (RPN) 是 FMEA 中用于确定风险优先级的量化指标。其计算方法是三个排序因素的乘积：严重性（S）、发生率（O）和检测率（D）。计算公式为 [latex]RPN = S 乘以 O 乘以 D[/latex]。每个因素通常按 1 到 10 的等级评分，使团队能够首先关注得分最高的风险。.

根据错过截止时间的后果，实时系统可分为“硬实时”和“软实时”。在硬实时系统中，错过截止时间会导致系统完全失效，例如防抱死制动系统。在软实时系统中，错过截止时间会导致性能下降，但不会导致灾难性故障，例如实时音视频流。

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

针对分类因变量（通常为二进制因变量）的回归模型。它不是直接对结果进行建模，而是使用 logistic（sigmoid）函数对结果的概率进行建模。该模型将事件的对数概率预测为自变量的线性组合：[latex]/ln(\frac{p}{1-p}) = \beta_0 + \beta_1 x_1 + \dots + \beta_p x_p[/latex]，其中 p 是事件的概率。.

Metropolis-Hastings算法是一种著名的马尔可夫链蒙特卡罗（MCMC）方法，用于从难以直接采样的概率分布中获取随机样本序列。在每次迭代中，它基于当前样本生成下一个样本的候选值。然后，该候选值以一定的概率被接受或拒绝，从而确保生成的链收敛到期望的分布。

面向对象编程 (OOP) 中的抽象是指隐藏复杂的实现细节，仅显示对象的基本功能。它关注的是对象做什么，而不是如何做。抽象类和接口可以实现这一点，它们为其他类定义蓝图，但不提供完整的实现，从而简化了复杂的系统。

质量的七种基本工具是由石川馨 (Kaoru Ishikawa) 提出的一套用于解决质量相关问题的图形技术。这些工具包括：因果图（鱼骨图）、检查表、控制图、直方图、帕累托图、散点图和分层图（通常以流程图的形式呈现）。它们之所以被认为是“基本”工具，是因为它们使用简单，几乎不需要正式的统计培训。

瀑布模型是一种顺序的、非迭代的软件开发过程，其进度像瀑布一样，通过不同的阶段稳步向下流动：构思、启动、分析、设计、构建、测试、部署和维护。每个阶段都必须完全完成才能进入下一个阶段。瀑布模型通常与迭代模型形成对比，以突出其灵活性。