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

ru · unofficial · sha256:588e8eb5b77ab17e08047de0dcd42201730516a0b66a7c67804ac1176e092257

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

Ссылаются нормы: ObservationTooOld, ReadingAgeMinutes, ReadingObservedToMissing, ReadingTooOldDefect

ru · unofficial · sha256:db734239744c4240a63394263f36758e38f7008b1a6077bb0d34db104bcaa498

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

Ссылаются нормы: BridgeRecordCurrent, CalibrationExpired, CalibrationExpiryAmbiguous, CalibrationExpiryMissing, CalibrationMissing, ObservationAdmissible, SensorCalibrationValid

ru · unofficial · sha256:5a0ec17def73a0eaf58921693d416f24a4f8a5de511a886999a69fe870ac4ab6

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

Ссылаются нормы: AdmissibleReadingCount, BridgeChannelIndependent, BridgeRecordChannel, ChannelUnassigned, QuantitySupported

ru · unofficial · sha256:4305e76a599fbd63dc5342981521a001cb9fe74ef40afa86ae7d5370914e51ed

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

Ссылаются нормы: AssessmentSubjectMissing, BridgeExpectedChannel, BridgeSetComplete, InsufficientExpectedChannelMissing, MonitoringComplete

ru · unofficial · sha256:a1ef909af827ebdb893b4dcaf02e5b1a786151528be681db309c5f9ce66a6529

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

Ссылаются нормы: ConflictDefeatsEstablished, ConflictMarker, MeasurementConflicted, QuantityOpposed

ru · unofficial · sha256:21b61574772fdbf45ef1ea7901328c962d29fbe98a3ae8055b9b9b4e8fef326f

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

Ссылаются нормы: ReadingQuantityAmbiguous, ReadingQuantityMissing, ReadingSensorAmbiguous, ReadingSensorMissing

ru · unofficial · sha256:382fb9cc9d49227bd5e8641118c386a5e6d1058bfbfb84f97719f91bc9861791

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

Ссылаются нормы: EstablishedIsUnconflicted, EstablishedLowerBound, EstablishedUnit, EstablishedUpperBound, QuantityEstablished

ru · unofficial · sha256:dedba47cfe2bc9e7d0cbb704cdda4205a34aef100c3b0881ad242e3fbea5464d

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

Ссылаются нормы: InsufficientIncompleteMonitoring, InsufficientNoAdmissibleReading, InsufficientTooFewChannels

ru · unofficial · sha256:258fae1deb6f5ccb18941a99270a0838031d51a57d471a885e57779a990103e9

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

Ссылаются нормы: ApplicabilityMarker, CompletionMarker, ModelApplicabilityUnmet, ModelInputHashMismatch, ModelInputHashMissing, ModelResultAdmissible, ModelRunIncomplete, ModelVersionMissing

ru · unofficial · sha256:af0545e96ba280b61be3d72344aa5aa18bae39eab93b389041dbe608cfdf6ed0

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

Ссылаются нормы: BridgeReconciliationSubject, BridgeRecordSubject, EvaluationTimeAmbiguous, EvaluationTimeMissing