R 中的词汇作用域

速率单调调度（RMS）是一种用于实时系统中周期性任务的静态优先级调度算法。它根据任务频率分配优先级：任务周期越短（速率越高），优先级越高。RMS 是一种最优静态优先级算法，这意味着如果任何静态优先级算法能够调度一组任务，RMS 也能够调度。可以通过基于利用率的测试来检验其可调度性。

有限体积法 (FVM) 是 CFD 中用于求解偏微分方程的主要数值方法。它将计算域离散为控制体网格，并将控制方程的积分形式应用于每个控制体。通过使用散度定理将体积积分转换为表面积分，FVM 专注于计算跨单元表面的守恒性质的通量。

Formal verification is the use of mathematical methods to prove or disprove the correctness of a system's design with respect to a formal specification. Unlike testing, which can only show the presence of bugs for specific inputs, formal verification can prove their absence for all possible inputs. It involves creating a formal model of the system and using techniques like model checking or theorem proving.

A statistical measure of a process's ability to produce output within customer-defined specification limits. Unlike control charts, which track stability, Cpk quantifies capability. It measures how centered the process is between the specification limits and accounts for process variation. A higher Cpk value indicates a more capable process. The formula is [latex]C_{pk} = \min\left[\frac{USL - \mu}{3\sigma}, \frac{\mu - LSL}{3\sigma}\right][/latex].

螺旋模型是一种风险驱动的软件开发过程模型，它融合了原型设计和瀑布模型的元素。它是一种迭代开发类型，项目在每次迭代（螺旋式）中经历四个阶段：确定目标、识别和解决风险、开发和测试以及规划下一次迭代。它强调持续的风险分析。

信号检测是从大型数据集（通常是自发报告系统）中识别药物与不良事件之间潜在因果关系的过程。它使用称为不成比例分析的统计方法来查找报告频率高于预期的药物事件组合。一个常见的指标是报告比值比 (ROR)，该值大于 1 表示存在潜在信号，需要进一步调查。

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

恢复块方案是一种基于设计多样性和向后错误恢复的软件容错技术。它将程序结构化为一系列块，每个块包含一个主模块、一个验收测试以及一个或多个备用模块。如果主模块的输出未能通过验收测试，则系统状态恢复，并执行一个备用模块。

Verification and validation (V&V) are distinct processes. Verification ensures a product meets its specified requirements ("Are you building it right?"). Validation ensures the product meets the user's actual needs and intended use ("Are you building the right thing?"). They are complementary activities within quality management, often performed sequentially or in parallel to ensure both correctness and usefulness.

The repeatability limit, [latex]r[/latex], is a critical value derived from the repeatability standard deviation ([latex]s_r[/latex]). It represents the maximum expected absolute difference between two single test results, obtained under repeatability conditions, with a 95% probability. It is commonly calculated as [latex]r = 2.8 \times s_r[/latex]. If the difference exceeds [latex]r[/latex], the results are considered suspect.

BFT (acronym of Byzantine Fault Tolerance) is a property of a system that allows it to continue operating correctly and reach consensus even if some of its components fail in arbitrary, unpredictable ways, including malicious behavior (Byzantine failures). This is a much stronger guarantee than tolerating simple crash failures. It requires a minimum of [latex]3f+1[/latex] total components to tolerate [latex]f[/latex] faulty, malicious components.

RAID（独立磁盘冗余阵列）是一种数据存储虚拟化技术，它将多个物理磁盘驱动器组合成一个或多个逻辑单元，以实现数据冗余、性能提升或两者兼顾。不同的 RAID 级别在可靠性、可用性、性能和容量方面提供不同的平衡。例如，RAID 1 将数据镜像到两个磁盘上，而 RAID 5 则将数据和奇偶校验信息条带化到至少三个磁盘上。