AJDocs
Хорошие продукты и сервисы
Наш Поиск (введите запрос без опечаток)
Наш Поиск по гостам (введите запрос без опечаток)
Поиск
Поиск
Бизнес гороскоп на текущую неделю c 29.12.2025 по 04.01.2026
Открыть гороскоп на неделю
Открыть шифр замка из трёх цифр с ограничениями
Открыть игру, играйте в нерабочее время :)

ГОСТ Р ИСО 18629-42-2011; Страница 63

или поделиться
Ещё ГОСТы из 41757, используйте поиск в верху страницы ГОСТ Р ИСО 16100-4-2010 Системы промышленной автоматизации и интеграция. Профилирование возможности интероперабельности промышленных программных средств. Часть 4. Методы аттестационных испытаний, критерии и отчеты Industrial automation systems and integration. Manufacturing software capability profiling for interoperability. Part 4. Conformance test methods, criteria and reports Interface (Настоящий стандарт устанавливает метод испытаний, ассоциированные тестовые критерии и формат заявления, предназначенные для проведения оценки и указания степени соответствия испытуемого объекта (UUT) требованиям, установленным в других стандартах комплекса ИСО 16100. Настоящий стандарт распространяется на:. - аспекты соответствия, предназначенные для установления соответствия испытуемого объекта требованиям комплекса стандартов ИСО 16100;. - описание аттестационных испытаний и заявлений, используемых при декларировании аспектов, соответствующих требованиям реализации;. - описание аспектов, включаемых в заявление о соответствии;. - набор правил, необходимых для выбора действительных и недействительных комбинаций аспектов при их объединении. Настоящий стандарт не распространяется на:. - вопросы, относящиеся к меткам или этикеткам соответствия, сертификатам соответствия или декларациям производителей или поставщиков о соответствии;. - дату реализации или распределение обязанностей между сторонами, использующими комплекс стандартов ИСО 16100;. - требования, предъявляемые к процедурам производства, использования или доставки, если невозможно адекватно определить продукт, процесс или сервис, которые соответствуют техническим требованиям;. - требования, предъявляемые к контролю качества во время производства, использования или доставки продукции, процесса или сервиса) ГОСТ Р ИСО 15531-43-2011 Системы промышленной автоматизации и интеграция. Данные по управлению промышленным производством. Часть 43. Информация для управления производственными потоками. Модель данных для мониторинга и обмена производственной информацией Industrial automation systems and integration. Industrial manufacturing management data. Part 43. Manufacturing flow management data. Data model for flow monitoring and manufacturing data exchange (В настоящем стандарте приведены модель данных, предназначенная для управления потоками, а также связанный с ней набор структурных элементов, из которых можно точно определять специализированные модели данных и представлений для планирования, распределения, контроля и управления материалами и информационными потоками, что, в свою очередь, сильно отличается от ИСО 15531-42, где рассмотрена лишь временная модель. Таким образом, в настоящем стандарте дано представление данных, связанных с контролем потоков и управлением ими на производстве посредством разработки концептуальной модели потока. Настоящий стандарт распространяется на следующие вопросы:. - представление данных, связанных с управлением и контролем производственных потоков. Настоящий стандарт не распространяется на следующие вопросы:. - моделирование информации, связанной с ее внешним обменом;. - моделирование информации, связанной с использованием ресурсов в производственном процессе;. - моделирование информации, связанной с представлением по времени) ГОСТ Р 27.405-2011 Надежность в технике. Отбраковочные испытания на ранние отказы сложных систем, изготавливаемых в единичных экземплярах Dependability in technics. Stress testing for early failures in unique complex system (Настоящий стандарт представляет собой руководство по повышению степени безотказности во время любых видов заключительных испытаний и приемо-сдаточных испытаний уникальных сложных систем. Он дает указания по проведению и выбору условий ускоренных испытаний и критериям их завершения. Слово «уникальный» означает отсутствие информации о подобных системах, а небольшое количество произведенных систем обусловливает ограниченность информации, извлекаемой из результатов испытаний для использования в будущем производстве похожих или аналогичных систем. Стандарт применим главным образом к большим системам аппаратных средств/ПО, но не относится к большим сетям, например телекоммуникационным и энергетическим, так как испытуемые части таких систем обычно не могут быть изолированы во время испытаний. Стандарт не распространяется на программное обеспечение, проверяемое отдельно, но изложенные в нем методы могут быть использованы во время испытаний больших вложенных программ в эксплуатационных аппаратных средствах, при моделировании эксплуатационных нагрузок)
Страница 63
Страница 1 Untitled document
ГОСТ Р ИСО 18629-42—2011
35.5.6 rigid_clobber
Некоторое действие ?а затирает данные жестко тогда и только тогда, когда существуют согласован
ные по времени начала отсчета события, не сохраняющие те же эффекты.
(forall (?а) (iff (rigid_clobber ?а)
(forall (?s1)
(exists (?a1 ?s2)
(and (atomic ?a
1
)
(begin_equiv ?s1 ?s2)
(iff (preserved_effects ?a1 ?a ?s1)
(not (preserved_effects ?a1 ?a ?s2))))))))
35.6 Грамматика описаний процесса для вариации эффектов затирания полезных данных
Грамматика описаний технологического процесса для классов действий, описываемых для вариации
эффектов затирания полезныхданных, эквивалентна грамматике общего описания технологического про
цесса в соответствии с ИСО 18629-11.
55
 © 2017-2025 AJDocs — Живые юридические документы
Мы не храним персональных и любых иных данных пользователей нашего сайта; советуем обращаться к юристам, экспертам и не несем ответственности за достоверность информации, опубликованной на сайте.
Мы в социальных сетях
Телеграм
Youtube
Rutube
ВКонтакте
ОК
Яндекс.Дзен
Электронная почта