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

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

Ещё ГОСТы из 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 глюкозы в крови, которые измеряют концентрации глюкозы в капиллярной крови, для специфического дизайна методик верификации и для валидации характеристик исследования пользователем, для которого эти системы предназначены. Данные системы предназначены для самостоятельного измерения непрофессионалами при наблюдении за течением сахарного диабета. Настоящий стандарт предназначен для изготовителей таких систем и для организаций (например, регулирующие органы власти и органы оценки соответствия), несущих ответственность за оценку функциональных характеристик таких систем. Настоящий стандарт не осуществляет:. - предоставление всеобъемлющей оценки всех факторов, которые могут повлиять на функциональные характеристики таких систем;. - рассмотрение измерения концентрации глюкозы для целей диагностики сахарного диабета;. - рассмотрение медицинских аспектов лечения сахарного диабета;. - рассмотрение методик измерения с измеренными значениями на порядковой шкале (например, визуальные, полуколичественные методики измерения) или систем постоянного мониторинга глюкозы;. - рассмотрение глюкометров, предназначенных для медицинского применения, отличающегося от самотестирования, при наблюдении за течением сахарного диабета)

Страница 55

Страница 1

Untitled document

ГОСТ Р 56271-2014

Приложение В

(обязательное)

Листинг: ИСО 15926-2 в логике первого порядка

В.1 Общие положения

Настоящее приложение содержит множество аксиом в логике первого порядка FOL. представляющих прак

тические реализации ИСО 15926-2 на языке EXPRESS, используемые в настоящем стандарте. Результаты транс

ляции практической реализации ИСО 15926-2 с языка EXPRESS в настоящее представление в логике первого

порядка FOL представлены в 4.1.

В.2 Аксиома генеральной совокупности

Vx(Thing(x))

В.З Аксиомы подтипов

AbstraclObject(x) —Thing(x)

Activily(x) — PossiWelndivkJual(x)

Actual IndivkJual(x) —• PossiblelndivicJual(x)

Approval(x) -* Relationship^)

ArithmeticNumber(x) — ClassOfClass(x)

Arrangedlndividual(x) — Possibtelndividual(x)

ArrangementOflndividual(x) —CompositionOf Individual^)

AssemblyOflndividual(x) —ArrangementOflndividual(x)

Beginning(x) — TemporalBounding(x)

BoundaryOfNumberSpace(x) -♦ Specialization(x)

BoundaryOfPropertySpace(x) -• Specialization(x)

Cardinality(x) -♦ Class(x)

CauseOfEvent(x) — Relationship(x)

Class(x) —AbstractObject(x)

ClassOfAbstractObject(x) ->Class(x)

ClassOfActivity(x) -* ClassOfArrangedlndividual(x)

ClassOfApproval(x) —ClassOfRefationship(x)

ClassOfApprovalByStatus(x) -* ClassOfRelationship(x)

ClassOfArrangedlndiv>dual{x) -» ClassOflndivtdual(x)

ClassOfArrangementOflndividual(x) — ClassOfCompositionOflndividual(x)

ClassOfAssemblyOflndividual(x) -• ClassOfArrangementOflndividual(x)

ClassOfAssertion(x) -» ClassOfRelationship(x)

ClassOfAtom(x) — ClassOfArrangedIndividual(x)

ClassOfBiologicalMatter(x) — ClassOfArrangedlndividual(x)

ClassOfCauseOfBeginningOfClassOflndividual(x) -♦ ClassOfRelationship(x)

ClassOfCauseOfEndingOfCiassOflndividual(x) — ClassOfRelationship(x)

ClassOfClass(x) — ClassOfAbstractObject(x)

ClassOfClassOfComposition(x) -• ClassOfClassOfRelationship(x)

ClassOfClassOfDefinition(x) — ClassOfClassOfRepresentation(x)

ClassOfClassOfDescription(x) -» ClassOfClassOfRepresentation(x)

ClassOfClassOfldentification(x) -» ClassOfClassOfRepresentation(x)

ClassOfClassOflndividual(x) — ClassOfClass(x)

ClassOfClassOflnformabonRepresentation(x) -►ClassOIClassOnndividual(x)

ClassOfClassOfRelationship(x) -• ClassOfClass(x)

ClassOfClassOfRelationshipWithSignature{x) -• ClassOfClassOfRelationship(x)

ClassOfClassOfRelalionshipWithSignature(x) -* ClassOfRelationshipWithSignature(x)

ClassO(ClassOfRepresentation(x) -♦ ClassCHClassOfRelationship(x)

ClassOfClassOfRepresentationTranslation(x) -♦ ClassOfClassOfRelationship(x)

ClassOfClassOfResponsibilityForRepresentation(x) — ClassOfClassOfRelationship(x)

ClassOfClassOfUsageOfRepresentation(x) — ClassOfClassOfRelationship(x)

ClassOfClassification(x) -* ClassOfRelationship(x)

ClassOfCompositeMaterial(x) -♦ ClassOfArTangedlndividual(x)

ClassOfCompositionOflndividual(x) -* ClassOfRelationship<x)

ClassOfCompound(x) — ClassOfArrangedlndividual(x)