工程能力指数（Cpk）

有限体積法（FVM）は、偏微分方程式を解くためのCFDにおける主要な数値解析手法です。この手法では、領域を制御体積のメッシュに離散化し、各体積に対して積分形式の支配方程式を適用します。発散定理を用いて体積積分を面積積分に変換することで、セル面を横切る保存特性のフラックスの計算に重点を置きます。

形式検証とは、数学的手法を用いて、システム設計が形式仕様に照らして正しいかどうかを証明または反証することです。特定の入力に対してのみバグの存在を示すことができるテストとは異なり、形式検証はあらゆる入力に対してバグが存在しないことを証明できます。形式検証には、システムの形式モデルを作成し、モデル検査や定理証明などの手法を用いることが含まれます。

スパイラルモデルは、プロトタイピングとウォーターフォールモデルの要素を組み合わせた、リスク主導型のソフトウェア開発プロセスモデルです。これは反復開発の一種で、プロジェクトは各イテレーション（螺旋）において、目標設定、リスクの特定と解決、開発とテスト、そして次のイテレーションの計画という4つのフェーズを経て進行します。スパイラルモデルは、継続的なリスク分析を重視します。

シグナル検出とは、大規模なデータセット（通常は自発報告システム）から、薬剤と有害事象との間の潜在的な因果関係を特定するプロセスです。これは、不均衡分析と呼ばれる統計的手法を用いて、予想よりも頻繁に報告されている薬剤と有害事象の組み合わせを見つけ出します。一般的な指標は報告オッズ比（ROR）であり、1より大きい値は、さらなる調査が必要な潜在的なシグナルを示唆します。

リカバリブロック方式は、設計の多様性と後方エラー回復に基づいたソフトウェアの耐障害性技術です。この方式では、プログラムを一連のブロックとして構成し、各ブロックはプライマリモジュール、受け入れテスト、および1つ以上の代替モジュールで構成されます。プライマリモジュールの出力が受け入れテストに失敗した場合、システムの状態が復元され、代替モジュールが実行されます。

検証と妥当性確認（V&V）は、それぞれ異なるプロセスです。検証は、製品が規定された要件を満たしているかどうか（「正しく製造されているか？」）を確認するものです。妥当性確認は、製品がユーザーの実際のニーズと意図された用途を満たしているかどうか（「正しいものを作っているか？」）を確認するものです。これらは品質管理における相互補完的な活動であり、正確性と有用性の両方を確保するために、多くの場合、順次または並行して実行されます。

再現性限界 [latex]r[/latex] は、再現性標準偏差 ([latex]s_r[/latex]) から導出される臨界値です。これは、再現性条件下で得られた 2 つの単一テスト結果間の最大絶対差を 95% の確率で表したものです。一般的には [latex]r = 2.8 times s_r[/latex] として計算されます。差が [latex]r[/latex] を超えると、結果は疑わしいとみなされます。

BFT（ビザンチン障害耐性の略）とは、システムの一部コンポーネントが、悪意のある動作（ビザンチン障害）を含む、恣意的で予測不可能な方法で故障した場合でも、システムが正しく動作し続け、合意に達することを可能にするシステムの特性です。これは、単純なクラッシュ障害を許容するよりもはるかに強力な保証です。最低でも[latex]3f+1[/latex]個のコンポーネントが、f[/latex]個の故障した悪意のあるコンポーネントを許容する必要があります。

RAID（Redundant Array of Independent Disksの略）は、複数の物理ディスクドライブを1つ以上の論理ユニットに統合することで、データの冗長性、パフォーマンスの向上、またはその両方を実現するデータストレージ仮想化技術です。RAIDレベルによって、信頼性、可用性、パフォーマンス、容量のバランスが異なります。例えば、RAID 1は2つのディスクにデータをミラーリングし、RAID 5は少なくとも3つのディスクにデータとパリティをストライピングします。