판정

실행을 재는 합격과 불합격의 판정 기준입니다. 판정 기준의 모든 칸, 결과 하나하나가 실행에 무엇을 하는지, 그리고 그 결과가 어떻게 종합 판정으로 접히는지입니다.

판정은 다시 쓰는 합격과 불합격 기준의 묶음입니다. 판정 기준 하나하나가 실행의 어느 구간 안에서 읽을 수 있는 채널 하나를 지켜보며, 기록된 샘플을 고정된 범위나 다른 채널을 둘러싼 허용 오차에 견줍니다. 저마다 자기 결과로 닫히고, 실행의 종합 판정은 그것들을 접은 것입니다. 엔진은 데이터로그가 기록하는 줄 위에서 실시간으로 판정하므로, 판정 기준의 채널과 그 기준 채널이 절차의 데이터로그 열이어야 합니다. 무엇을 판정했는지는 실행 파일이 증명합니다. 판정은 Process > 모델 > 모델 > 셋업 > 판정 아래에 살며 레시피와 판정 편집 권한이 필요합니다.

판정 폴더

판정 줄을 고르면 폴더 페이지가 열립니다("실행을 재는 합격과 불합격의 판정 기준입니다. 판정은 공정 채널을 읽습니다."). 판정마다 이름을 단 카드 하나이며, 카드를 누르면 열리고 가위표는 없앱니다. 하나도 없으면 페이지는 "아직 판정이 없습니다. 하나 추가하십시오."라고 말합니다.

판정의 페이지

머리글은 이름과 "실행을 재는 합격과 불합격의 판정 기준입니다."라는 줄과 판정 기준을 세는 필을 답니다. 모든 항목이 자동으로 저장되고, 편집할 때마다 고른 판정 기준의 미리 보기를 다시 그립니다.

정의

두 칸 아래에서 카드는 이 판정이나 그 판정 기준의 이름이 다른 것과 같게 읽힐 때 그것을 알립니다. 게시된 버전이 저장해 두었을 수 있는 상태입니다(이름은 주소 참고).

실행을 어떻게 판정하는지

이 카드는 엔진이 적용하는 접기 규칙을 자기 순서대로 말합니다.

• 판정 기준 하나라도 불합격이면 불합격입니다.
• 불합격이 없고 판정할 수 없는 기준이 하나라도 있으면 판정 불가입니다.
• 모든 기준이 합격했을 때만 합격입니다.

"심각도는 그 어느 것도 바꾸지 않습니다. 심각도는 절차의 중단 기준과 견주어 읽히며, 불합격이 그 자리에서 실행을 끝낼지만 정합니다." 카드는 실행보다 먼저 알리기도 합니다. "지금 설정으로는 판정 기준 1개를 판정할 수 없으므로 실행이 판정 불가로 끝납니다."(또는 "지금 설정으로는 판정 기준 <n>개를 …"). 그리고 아무것도 이 판정을 참조하지 않는 동안에는 "이 모델의 어떤 절차도 아직 이 판정으로 돌지 않습니다."라고 말합니다.

판정 기준 목록

목록의 머리는 판정 기준이고, 그 판정 기준 단추가 모델에서 읽을 수 있는 첫 채널 위에 줄을 하나 더하고(기준 구간은 실행 전체, 판정 방식은 구간 전체, 양쪽이 열린 고정 범위, 심각도 중대, 이름 없음) 그것을 고릅니다. 줄을 누르면 판정 기준 열에서 열립니다. 아무것도 고르지 않았으면 열은 "판정 기준을 고르면 그 전체를 한자리에서 편집하고, 각 칸이 무엇을 정하는지 옆에서 읽습니다."라고 말합니다. 목록은 판정 기준 전체를 담고 있어 패널 너비를 넘어 옆으로 스크롤됩니다.

판정 기준 전체

열은 미리 보기로 시작합니다. 고른 판정 기준의 범위와 그것이 판정하는 토막을, 선언된 축 위에 샘플 없이 그립니다(구성 화면 뒤에는 실행이 없습니다). 고정 범위는 채널의 공학값으로, 양쪽에 불합격이 들어갈 여유를 두고 그립니다. 상대 범위는 기준 채널로부터의 벗어남으로 그리고, 기준 채널은 0인 선으로 섭니다. 그릴 수 있는 것이 없으면(한계를 정하지 않았거나 기준을 고르지 않았으면) 틀이 비어 있는 대신 그 이유를 말합니다. 그 아래에서는 모든 항목이 고정된 설명문 위에 서고, 답이 입력에 따라 움직이는 곳에서는 지금 값의 효과도 함께 섭니다. 효과 줄의 숫자는 스테이션의 숫자 형식(언어와 형식)으로, 각 숫자가 가진 자릿수 그대로 적습니다. 범위의 경계나 허용 오차는 그 칸이 보여 주는 최대 여섯 자리까지, 시간은 1초 미만이면 밀리초로, 1초부터는 초로 적습니다.

결과가 말하는 것

판정 기준을 판정할 수 없는 이유이며, 구성할 때 엔진 자신의 순서로 묻습니다. "이 모델의 어떤 채널도 보지 않습니다.", "이 기준이 보는 채널을 그것을 실행하는 절차의 데이터로그가 기록하지 않습니다.", "이 모델의 어떤 기준 채널도 따르지 않습니다.", "끝이 시작과 같거나 그보다 앞서므로 구간이 비어 있습니다.", "한계가 모자라거나 위아래가 뒤바뀌었습니다.", "기준 채널을 그것을 실행하는 절차의 데이터로그가 기록하지 않습니다."입니다. 데이터로그에 관한 이유는 그 판정으로 도는 절차에만 묻습니다. 어떤 절차도 아직 집어 들지 않은 판정은 잘못된 것이 아니라 아직 덜 된 것입니다.

판정 기준이 종합 판정으로 접히는 방식

열려 있는 구간 안에 기록된 모든 줄은 한 번 분류됩니다. 판정함, 확인 불가(값이 없거나 품질이 나쁨), 잘못됨(품질은 좋지만 유한한 수가 아님. 품질이 좋은 NaN은 감사할 수 있는 날 것의 데이터로 남지만 숫자 기준을 증명하지는 못합니다)입니다. 고정 한계는 지켜보는 값이 필요하고, 상대 한계는 같은 줄의 지켜보는 값과 기준값이 필요합니다. 판정한 샘플, 벗어난 샘플, 확인 불가 샘플, 잘못된 샘플의 개수와 영향받은 채널의 얼어붙은 묶음이 판정 기준마다 기록되며, 유닛의 Procedure.* 포인트 아래에서 실시간으로도 읽을 수 있습니다(유닛의 주소 공간 참고).

결과마다 무엇을 쟀는지도 기록합니다. 구간 안에서 지켜보는 채널의 마지막으로 판정한 값(한 지점 방식에서는 판정한 샘플), 판정한 값 가운데 가장 작은 값과 가장 큰 값, 그리고 최악 이탈, 곧 센 샘플 가운데 한계 밖으로 가장 멀리 나간 거리입니다(샘플을 판정했고 하나도 벗어나지 않았다면 0). 확인 불가인 줄과 잘못된 줄은 결코 세지 않으므로, 아무것도 판정하지 않은 구간은 이 가운데 아무것도 기록하지 않습니다. 이전 버전이 쓴 실행 파일에는 측정값이 없으며, 빈 값으로 읽힙니다.

결과마다 판정한 실행의 대목도 남깁니다. 방식, 기준 구간, 시간 구간의 시작과 끝, 구간과 그 안정화입니다. 나중에 연 실행도 무엇을 판정했는지 말할 수 있고, 실행 기록 상세와 PDF 보고서의 근거는 그 대목으로 시작합니다(판정한 기준 참고). 이전 버전이 쓴 실행 파일은 이를 남기지 않았으므로, 근거에 개수만 보입니다.

결과는 증거에 엄격합니다. 구간 전체 방식에서는 판정한 위반이 하나라도 있으면 불합격이 증명됩니다. 그렇지 않을 때 확인 불가나 잘못된 줄이 있거나, 관측이 끊겼거나, 구간이 비어 있으면 판정 기준은 판정 불가가 됩니다. 온전히 범위 안이라는 증거가 갖춰졌을 때만 합격입니다. 한 지점 방식은 구간의 마지막 활성 샘플 하나로만 정하며, 그 결과의 개수, 최악 이탈, 영향받은 채널도 그 샘플 하나의 것입니다. 가장 작은 값과 가장 큰 값은 여전히 지켜본 구간 전체를 덮습니다. 시간형 절차는 사이클마다 모든 판정 기준을 다시 걸고 실패한 사이클을 셉니다. 실행의 종합 판정은 이 순서로 접힙니다. 중단된 실행이거나 불합격인 판정 기준이 하나라도 있으면 불합격, 그렇지 않고 판정 불가인 결과가 있으면 판정 불가, 결과가 모두 합격이면 합격입니다. 판정이 없는 실행은 종합 판정 없이 끝납니다. 절차의 중단 기준과 실패 사이클 집계를 건드리는 것은 확정된 불합격뿐입니다.

이름은 주소

모든 유닛은 마지막 실행의 결과를 Process.<Model>.<Unit>.LastRun.Evaluations.<Evaluation>.<Criterion> 아래에 공개합니다(LastRun). 그래서 판정의 이름과 판정 기준마다의 이름(이름 없는 판정 기준이면 그것이 보는 채널의 이름)은 주소 마디, 곧 정리된 이름이 됩니다. "Soak check"는 Soak_check입니다. 어느 쪽이든 이름을 바꾸면 모델의 다른 이름 바꾸기와 똑같이 이 주소들이 옮겨지고, 그것을 쓴 수식과 스크립트와 화면이 다시 쓰입니다. 이름 없는 판정 기준이 보는 채널의 이름을 바꿔도 그것이 옮겨집니다.

같게 읽히는 이름 둘은 주소 하나에 대응하며, 그 주소는 어느 결과를 지녔는지 말할 수 없습니다. 그래서 이렇게 됩니다.

판정을 어디에서 쓰는가

판정 제거

판정 제거는 판정을 고른 상태의 상세 막대 위험 묶음, 그 오른쪽 클릭 메뉴, 그리고 폴더 페이지 카드의 가위표에 섭니다. 먼저 묻습니다("판정 삭제", "판정과 그 판정 기준을 삭제합니다."). 그것으로 판정하던 모든 절차는 자기 판정 참조를 비우고 실행을 종합 판정 없이 끝냅니다. 레시피와 판정 편집이 필요하며 엔지니어링 잠금과 정지한 런타임 아래에서는 흐려집니다.

판정이 하지 않는 것

• 데이터로그가 기록하지 않는 것은 판정하지 않고, 실행이나 스냅숏 밖에서도 판정하지 않습니다.
• 수식으로 된 판정 기준은 없습니다. 판정 기준은 채널 하나에 대한 범위나 허용 오차입니다.
• 유닛 사이에 아무 차이도 두지 않습니다. 한 벌의 한계가 모델의 모든 유닛에 쓰입니다.
• 스스로 실행을 끝내지 않습니다. 불합격이 실행을 중단시킬지는 절차의 불합격 시 중단 기준이 판정 기준의 심각도와 견주어 정합니다.