ГОСТ Р 56271-2014; Страница 86

или поделиться

Ещё ГОСТы из 41757, используйте поиск в верху страницы

ГОСТ Р ИСО 20140-1-2014 Системы промышленной автоматизации и интеграция. Оценка энергетической эффективности и прочих факторов производственных систем, воздействующих на окружающую среду. Часть 1. Обзор и общие принципы Automation systems and integration. Evaluating energy efficiency and other factors of manufacturing systems that influence the environment. Part 1. Overview and general principles (Настоящий стандарт содержит обзор и общие принципы метода оценки воздействия производственных систем на окружающую среду. ИСО 20140 устанавливает для отраслей промышленности с дискретным производством основные положения и методологию оценки воздействия на окружающую среду в части энергетической эффективности и прочих факторов производства. Это повышает эффективность использования целевых методов в характерных ситуациях. В область применения настоящего стандарта не входит:. - методология оценки воздействия на окружающую среду для систем, находящихся за пределами производственной системы (например, прочие системы рассматриваемого производственного объекта или прочие системы всего предприятия);. - методология оценки воздействия на окружающую среду, связанная с управлением жизненным циклом продукции;. - методы и данные оценки окружающей среды, относящиеся к конкретной области производства, конкретному производителю или оборудованию) ГОСТ Р ИСО/МЭК 18047-6-2015 Информационные технологии. Методы испытаний на соответствие устройств радиочастотной идентификации. Часть 6. Методы испытаний радиоинтерфейса для связи в диапазоне частот от 860 МГц до 960 МГц Information technology. Radio frequency identification device conformance test methods. Part 6. Test methods for air interface communications at 860 to 960 MHz (Настоящий стандарт устанавливает методы испытаний для определения соответствия устройств радиочастотной идентификации (радиочастотных меток и устройств опроса), предназначенных для управления предметами, со спецификациями, приведенными в ИСО/МЭК 18000-6, но не распространяется на испытания на соответствие требованиям регулирующего органа по использованию полос радиочастот или подобным требованиям) ГОСТ Р ИСО 15197-2015 Тест-системы для диагностики in vitro. Требования к системам мониторинга глюкозы в крови для самоконтроля при лечении сахарного диабета In vitro diagnostic test systems. Requirements for blood glucose monitoring systems for self-testing in managing diabetes mellitus (Настоящий стандарт устанавливает требования для систем мониторинга in vitro глюкозы в крови, которые измеряют концентрации глюкозы в капиллярной крови, для специфического дизайна методик верификации и для валидации характеристик исследования пользователем, для которого эти системы предназначены. Данные системы предназначены для самостоятельного измерения непрофессионалами при наблюдении за течением сахарного диабета. Настоящий стандарт предназначен для изготовителей таких систем и для организаций (например, регулирующие органы власти и органы оценки соответствия), несущих ответственность за оценку функциональных характеристик таких систем. Настоящий стандарт не осуществляет:. - предоставление всеобъемлющей оценки всех факторов, которые могут повлиять на функциональные характеристики таких систем;. - рассмотрение измерения концентрации глюкозы для целей диагностики сахарного диабета;. - рассмотрение медицинских аспектов лечения сахарного диабета;. - рассмотрение методик измерения с измеренными значениями на порядковой шкале (например, визуальные, полуколичественные методики измерения) или систем постоянного мониторинга глюкозы;. - рассмотрение глюкометров, предназначенных для медицинского применения, отличающегося от самотестирования, при наблюдении за течением сахарного диабета)

Страница 86

Страница 1

Untitled document

ГОСТ Р 56271-2014

Приложение F

(справочное)

Пример расширения шаблона

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

ширяются и соответствуют выражениям языка ИСО 15926-2. Три простых утверждения шаблона расширяются на

формулу первого порядка с помощью только предикатов языка ИСО 15926-2. Кванторы данной формулы затем

заменяются константами, соответствующими идентификаторам элементарных данных на основе ИСО 15926-2.

Результаты проверяются на логическуюдостоверность.

F.1 Пример расширения шаблона

Нижеследующее утверждение приведено на языке шаблона (см. предшествующие разделы). Следующие

разделы показывают результаты расширения данного утверждения, при этом шаблоны заменяются утверждения ми

на языке ИСО 15926-2.

LowerUpperOfNumberRange((-273.1 to Infinity); -273.1; Infinity)А

DimensionUnitNumberRangeOfScale(Celsius; DegrC;

Temperature; [-273.1 to Infinity])A

PropertyRangeMagnitudeRestrictionOfClass(PressureTransmitter;

AmbientTemperature; Celsius; -40;+40)

F.2 Результат расширения в соответствии с аксиомами шаблонов

Шаблоны расширяются всоответствии с их аксиоматическими определениями. Получается экзистенциально

квантифицированная формула первого порядка, в которой все предикаты шаблона заменяются на тип сущности

(атрибуты) ИСО 15926-2.

(NumberRange([-273.1 to Infinity))

АArithmeticNumber<-273.1)

ЛArithmeticNumber( Infinity)

л3z

(LowerBoundOfNumberRange(z)

AhasClassified(z; -273.1)

AhasClassifier(z; [-273.1 to Infinity)))

A3z

(UpperBoundOfNumberRange(z)

AhasClassified(z; Infinity)

AhasClassifier(z; [-273.1 to Infinity))))

A(Scale(Celsius)

лExpressString(DegrC)

ASinglePropertyDimension(Temperature)

лNumberRange([-273.1 to Infinity])

A(Scale(Celsius)

AExpressStnng(DegrC)

AThing(Celsius)

AExpressString(DegrC)

AClassOfClassOfldentification(UomSymbo!Assignment)

A3u

((ClassOfldentification{u)

AhasPattern(u: DegrC)

AhasRepresented(u; Celsius))

A3z

(Classification(z)

AhasClassified(z; u)

AhasClassifier(z; UomSymbolAssignment))))

AScale(Celsius)

AhasCodomain{Celsius; [-273.1 to Infinity])

AhasDomain(Celsius;Temperature))

AClassOflndividual(PressureTransmitter)

лClassOflndirectProperty(AmbientTemperature)