Регламент измерений герметичной станции «Тлеп-1» (вымышленный)

ru · unofficial · sha256:588e8eb5b77ab17e08047de0dcd42201730516a0b66a7c67804ac1176e092257RU

Возраст показания. Показание допускается, если от конца наблюдённого им промежутка до момента оценки прошло не более тридцати минут. Показание старше тридцати минут остаётся записью о прошлом и допустимым наблюдением текущего состояния не является.

Referencing norms: ObservationTooOld, ReadingAgeMinutes, ReadingObservedToMissing, ReadingTooOldDefect

ru · unofficial · sha256:db734239744c4240a63394263f36758e38f7008b1a6077bb0d34db104bcaa498RU

Поверка. Датчик допускается к наблюдению, пока действует свидетельство о поверке. Свидетельство называет датчик и момент окончания действия. Датчик, у которого свидетельства нет вовсе, и датчик, у которого свидетельство истекло к моменту оценки, к наблюдению не допускаются. Истечение поверки не делает показание ложным и не удаляет его из дела: показание остаётся видимым, но перестаёт считаться допустимым наблюдением.

Referencing norms: BridgeRecordCurrent, CalibrationExpired, CalibrationExpiryAmbiguous, CalibrationExpiryMissing, CalibrationMissing, ObservationAdmissible, SensorCalibrationValid

ru · unofficial · sha256:5a0ec17def73a0eaf58921693d416f24a4f8a5de511a886999a69fe870ac4ab6RU

Независимые каналы. Величина станции считается подтверждённой, если её подтверждают не менее двух независимых каналов наблюдения. Независимость каналов ОБЪЯВЛЯЕТСЯ: два датчика на одной шине питания или на одном преобразователе не образуют двух независимых каналов, и по самим показаниям это неразличимо. Число подтверждений считает вычислитель сверки; порог в два канала назначает настоящий регламент.

Referencing norms: AdmissibleReadingCount, BridgeChannelIndependent, BridgeRecordChannel, ChannelUnassigned, QuantitySupported

ru · unofficial · sha256:4305e76a599fbd63dc5342981521a001cb9fe74ef40afa86ae7d5370914e51edRU

Полнота наблюдения. Наблюдение величины полно, когда предъявлен весь набор её записей и в наборе присутствует каждый ожидаемый канал. Отсутствие ожидаемого канала есть неполнота наблюдения, а не согласие оставшихся. Неполнота не заменяется молчанием: набор объявляется полным явно.

Referencing norms: AssessmentSubjectMissing, BridgeExpectedChannel, BridgeSetComplete, InsufficientExpectedChannelMissing, MonitoringComplete

ru · unofficial · sha256:a1ef909af827ebdb893b4dcaf02e5b1a786151528be681db309c5f9ce66a6529RU

Противоречие. Если два допустимых наблюдения одной величины имеют непересекающиеся границы, величина объявляется противоречивой. Настоящий регламент НЕ ВЫБИРАЕТ, какой канал прав: ни доверия каналу, ни веса, ни среднего он не назначает. Противоречивая величина установленной не считается, и разрешение, опирающееся на неё как на установленную, не выдаётся. Снятие противоречия требует нового наблюдения или явно названного решения человека, а не молчаливого предпочтения.

Referencing norms: ConflictDefeatsEstablished, ConflictMarker, MeasurementConflicted, QuantityOpposed

ru · unofficial · sha256:21b61574772fdbf45ef1ea7901328c962d29fbe98a3ae8055b9b9b4e8fef326fRU

Дефекты входа. Каждый дефект наблюдения называется поимённо и относится к предъявленному объекту. Названный дефект говорит, что вход испорчен, и потому вывод не строится; он не превращает содержательный вопрос о величине в отрицательный ответ.

Referencing norms: ReadingQuantityAmbiguous, ReadingQuantityMissing, ReadingSensorAmbiguous, ReadingSensorMissing

ru · unofficial · sha256:382fb9cc9d49227bd5e8641118c386a5e6d1058bfbfb84f97719f91bc9861791RU

Установленная величина. Величина станции считается установленной, когда наблюдение её полно, подтверждений не менее двух, противоречия нет и ни одно допустимое наблюдение не поражено. Границы установленной величины суть пересечение границ допустимых наблюдений: наибольшая из нижних и наименьшая из верхних. Пересечение есть совместное ограничение предъявленных наблюдений, а не выбор одного из них.

Referencing norms: EstablishedIsUnconflicted, EstablishedLowerBound, EstablishedUnit, EstablishedUpperBound, QuantityEstablished

ru · unofficial · sha256:dedba47cfe2bc9e7d0cbb704cdda4205a34aef100c3b0881ad242e3fbea5464dRU

Недостаточность. Если наблюдение неполно, подтверждений меньше двух или допустимых наблюдений нет вовсе, величина остаётся НЕУСТАНОВЛЕННОЙ. Неустановленная величина не означает ни нормы, ни безопасности, ни отрицания опасности. Отсутствие показания есть отсутствие сведений, и станция обязана обращаться с ним как с отсутствием сведений.

Referencing norms: InsufficientIncompleteMonitoring, InsufficientNoAdmissibleReading, InsufficientTooFewChannels

ru · unofficial · sha256:258fae1deb6f5ccb18941a99270a0838031d51a57d471a885e57779a990103e9RU

Внешняя модель. Результат внешней расчётной модели допускается как основание, только если он называет модель, её версию и хэш ВХОДА, и этот хэш совпадает с хэшем снимка мира, на котором результат предъявлен, а условия применимости модели объявлены и выполнены. Результат, названный хэшем другого снимка, есть названный дефект привязки, а не отрицательный ответ. Незавершённый прогон модели результата не даёт вовсе: отсутствие результата не читается как нулевой или безопасный результат.

Referencing norms: ApplicabilityMarker, CompletionMarker, ModelApplicabilityUnmet, ModelInputHashMismatch, ModelInputHashMissing, ModelResultAdmissible, ModelRunIncomplete, ModelVersionMissing

ru · unofficial · sha256:af0545e96ba280b61be3d72344aa5aa18bae39eab93b389041dbe608cfdf6ed0RU

Область. Регламент определяет, при каких условиях предъявленное показание прибора становится допустимым наблюдением, когда величина станции считается установленной, и как станция обходится с противоречием и с отсутствием наблюдения. Он не считает совпадение записей и не сравнивает их границы: это делает общий вычислитель сверки, которому регламент подаёт условия. Регламент не выбирает безопасный предел давления и не назначает последствий: пределы и последствия принадлежат регламенту жизнеобеспечения.

Referencing norms: BridgeReconciliationSubject, BridgeRecordSubject, EvaluationTimeAmbiguous, EvaluationTimeMissing