Хорошие продукты и сервисы

Наш Поиск (введите запрос без опечаток)

Найти

Наш Поиск по гостам (введите запрос без опечаток)

Найти

Поиск

Бизнес гороскоп на текущую неделю c 29.12.2025 по 04.01.2026

Открыть гороскоп на неделю

Открыть шифр замка из трёх цифр с ограничениями

Открыть игру, играйте в нерабочее время :)

ГОСТ Р МЭК 61508-6-2012; Страница 104

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

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

ГОСТ Р ИСО 3855-2013 Фрезы. Термины и определения (Настоящий стандарт устанавливает термины на фрезы. Термины, установленные настоящим стандартом, обязательны для применения во всех видах документации и литературы (по данной научно-технической отрасли), входящих в сферу работ по стандартизации и использующих результаты этих работ) ГОСТ Р 52301-2004 Оборудование детских игровых площадок. Безопасность при эксплуатации. Общие требования Children's playground equipment. Safety under maintenance. General requirements (Настоящий стандарт распространяется на оборудование детских игровых площадок, предназначенное для индивидуального и коллективного пользования. Стандарт устанавливает общие требования безопасности при монтаже и эксплуатации оборудования всех типов. Настоящий стандарт не распространяется на оборудование, изготовленное до 1 июля 2005 г. Настоящий стандарт должен применяться совместно с ГОСТ Р 52167, ГОСТ Р 52168, ГОСТ Р 52169, ГОСТ Р 52299, ГОСТ Р 52300) ГОСТ Р ИСО 13628-2-2013 Нефтяная и газовая промышленность. Проектирование и эксплуатация систем подводной добычи. Часть 2. Гибкие трубные системы многослойной структуры без связующих слоев для подводного и морского применения (Настоящий стандарт устанавливает технические требования к безопасности, размерной и функциональной взаимозаменяемости гибких труб, которые проектируют и изготавливают в соответствии с требованиями единых стандартов и критериев. Указаны минимальные требования к проектированию, выбору материалов, изготовлению, испытаниям, маркировке и упаковке гибких труб со ссылками на действующие нормы и стандарты. Руководящие указания по использованию гибких труб и вспомогательных компонентов по ИСО 13628-11. Настоящий стандарт применим к сборкам гибких труб многослойной структуры, состоящих из несвязанных между собой слоев и представляющих собой сегменты тела гибкой трубы с концевыми фитингами, закрепленными на обоих концах трубы. Настоящий стандарт не применим к гибким трубам многослойной структуры со связующими слоями. Настоящий стандарт не применим к вспомогательным компонентам гибких труб)

Страница 104

Страница 1

Untitled document

ГОСТ Р МЭК 61508-6-2012

node

bloc

s ta te

working:bool;

flow input:bool:in; output:bool:Out;

event

fa ilu r e ,re p a ir;

init

working:-true;

trana

ь x

2 5

§ 5

a z

-> working:-false;

-> w o rkin g :■ tru e ;

working|- failure

not w orking|- re p a ir

assart

output - if working then input else false;

extern

law <event failure:» - exponential(lambda);

law «event re p a irs- e xp o n e n tia l(m u );

parameter lambda - le-3;

parameter mu - 0.01;

edon

node

main

sub A:bloc; В:bloc;

t -

C:bloc; D:bloc;

D:bloc; E:bloc;

assert

A.input ■ true, B.input ■ true, C.input - true,

D. input(A.output or B.output or C.output),

E. inpuD.output,

F.input - D.output;

Out- (B.output or F.output)

extern

predicate

failed

locker failed

edon

- «term (not Out)>;

<t>

Рисунок В.37 -Пример моделирования свойств корректно и некорректно

функционирующих систем с использованием формального языка

Использование формального языка, созданного для моделирования поведения

корректно и некорректно функционирующих систем, позволяет:

- выполнять моделирование методом Монте-Карло непосредственно на моделях;

- генерировать графы Маркова и выполнять аналитические вычисления, как

показано ранее (когда язык ограничен марковскими свойствами);