判定

実行記録を判定する合否の判定基準です。判定基準のすべての項目、それぞれの結果が実行に何をするか、そして結果がどう総合判定にまとまるかを説明します。

判定は、使い回せる合否の判定基準の組です。どの判定基準も、実行の中のある範囲で読める 1 つのチャネルを見張り、記録されたサンプルを、固定の帯か、別のチャネルの周りの公差に照らして判断します。判定基準はそれぞれ自分の結果で閉じ、実行記録の総合判定は、それらをまとめたものです。判定の仕組みは、データログが記録する行の上で実時間に判断するので、判定基準のチャネルと、その基準チャネルは、手順のデータログの列でなければなりません。何が判定されたかは、実行記録ファイルが証明します。判定は Process > モデル > モデル > 段取り > 判定の下にあり、レシピと判定の編集の権限が要ります。

判定のフォルダー

判定の行を選ぶとフォルダーのページが開き（「実行記録を合否で判定する基準です。判定は Process のチャネルを読みます。」）、判定 1 つにつき 1 枚のカードが名前順に並びます。カードを押すとそれが開き、X が取り除きます。1 つもないときは「まだ判定がありません。追加してください。」と出ます。

判定のページ

見出しには名前と、「実行記録を合否で判定する基準です。」の行と、判定基準を数えるピルが載ります。どの項目も自動で保存し、どの編集も、選んでいる判定基準の下見を描き直します。

定義

実行記録の判定のしかた

このカードは、仕組みが当てはめるまとめ方を、その順に述べます。

• 不合格は、判定基準が 1 つでも不合格になったときです。
• 判定不能は、不合格が 1 つもなく、判定できないものがあったときです。
• 合格は、すべての判定基準が合格したときだけです。

「重大度は、それを何も変えません。手順の中止のしきい値と照らし合わせ、不合格がその場で実行を終わらせるかどうかだけを決めます。」カードは、実行より先に注意もします。「今の設定では判定できない判定基準が 1 件あるので、実行は判定不能で終わります。」（または「… <n> 件あるので …」）です。そして、まだ何もそれを参照していない間は「このモデルの手順は、まだこの判定で実行されていません。」と言います。

判定基準の一覧

一覧の見出しは判定基準で、その判定基準のボタンが、モデルの最初の読めるチャネルの上に行を足して選びます（判定の起点は実行記録の全体、判定の方式は範囲の全体、両側の開いた固定の帯、重大度は重大、名前なし）。行を押すと、判定基準の欄でそれが開きます。何も選んでいないとき、その欄には「判定基準を選ぶと、その全体を 1 か所で編集でき、各項目が何を決めるのかも横に出ます。」と出ます。一覧は判定基準の全体を持ち、パネルの幅を越えて横にたどれます。

判定基準の全体

その欄は下見から始まります。選んでいる判定基準の帯と、それが判定する区間が、宣言された軸の上に、そのそばにサンプルなしで描かれます（設定の画面の裏に実行はありません）。固定の帯はチャネルの工業値で、両側に不合格の余地を残して描かれます。相対の帯は基準チャネルからのずれとして描かれ、その基準チャネルは 0 の線として立ちます。何も描けないとき（上下限が決まっていない、基準が選ばれていない）は、枠が空のまま立たずに、その理由を言います。その下では、どの項目も決まった説明の行の上に立ち、答えが入力とともに動くところでは、効いているものの効果も出ます。

結果が何を言うか

判定基準が判定できない理由は、設定のときに、仕組み自身の順で尋ねられます。「このモデルのチャネルを監視していません。」、「監視するチャネルが、これを実行する手順のデータログに記録されていません。」、「このモデルの基準チャネルを参照していません。」、「終了が開始と同じか、それより前なので、範囲が空です。」、「上下限が足りないか、上下が逆です。」、「基準チャネルが、これを実行する手順のデータログに記録されていません。」です。データログについての理由は、その判定を実行する手順にだけ尋ねられます。どの手順もまだ取り上げていない判定は、まだ出来上がっていないだけで、誤ってはいません。

判定基準がどう総合判定にまとまるか

効いている範囲の中の、記録されたどの行も 1 度だけ分類されます。判定した、取得できない（値の欠落か品質の悪さ）、無効（品質はよいが有限の数でないもの。品質のよい NaN は監査できる生のデータとして残りますが、数値の判定基準を保証することはできません）です。固定の上下限には見張っている値が要り、相対の上下限には、見張っている値と基準の値が同じ行から要ります。判定したサンプル数、範囲外のサンプル数、取得できないサンプル数、無効なサンプル数の計数と、影響を受けたチャネルの固定した組は、判定基準ごとに記録され、ユニットの Procedure.* のポイントの下で実時間にも読めます（ユニットのアドレス空間を参照）。

結果は、根拠について厳しく決められます。範囲の全体の方式では、判定した違反が 1 つでもあれば不合格が証明されます。そうでなくて、取得できない行や無効な行、観測の中断、空の範囲があれば、その判定基準は判定不能になります。帯の中の根拠がそろっているときだけ合格になります。1 点の方式は、範囲の最後の効いているサンプルだけで決めます。それより前の分類は計数に残ります。時間指定の手順は、サイクルごとに判定基準の起点を取り直し、不合格になったサイクルを数えます。実行記録の総合判定は、順にまとまります。中止された実行、または不合格の判定基準が 1 つでもあれば不合格です。そうでなくて判定不能の結果が 1 つでもあれば判定不能です。結果がすべて合格なら合格です。判定のない実行は、総合判定なしで終わります。手順の中止のしきい値や、不合格のサイクルの数え上げを動かすのは、確定した不合格だけです。

判定がどこで使われるか

判定を削除

判定を削除は、判定を選んだときの詳細のバーの危険のまとまり、その右クリックの献立、そしてフォルダーのページのカードの X にあります。先に尋ねます（「判定を削除」、「判定と、その判定基準を削除します。」）。それで判断していた手順は、判定の参照が空になり、その実行は総合判定なしで終わるようになります。レシピと判定の編集が要り、エンジニアリングロックの下とランタイムの停止中は灰色になります。

判定がしないこと

• データログが記録しないものは何も判断せず、実行やスナップショットの外では何も判断しません。
• 式の判定基準は持ちません。判定基準は、1 つのチャネルの上の帯か公差です。
• ユニットによって何も変わりません。1 組の上下限が、モデルのすべてのユニットに効きます。
• それ自身で実行を終わらせることはありません。不合格が実行を中止するかどうかは、手順の不合格で中止する重大度のしきい値が、判定基準の重大度と照らし合わせて決めます。