Вы можете открыть актуальную версию документа прямо сейчас.
Если вы являетесь пользователем интернет-версии системы ГАРАНТ, вы можете открыть этот документ прямо сейчас или запросить по Горячей линии в системе.
Приложение Е
(справочное)
RBD-управляемые сети Петри
Е.1 Общие положения
Одним из эффективных способов работы с динамическими RBD является совмещение подходов RBD и сети Петри. Это позволяет строить большие PN и использовать моделирование Монте-Карло для расчета исследуемых вероятностных величин.
Простейший метод состоит в моделировании блоков и внешних элементов отдельными суб-PN, которые взаимодействуют посредством использования предикатов и утверждений. Такая модель представляет собой RBD-управляемую Сеть Петри (см. справку [18]), которая:
- сохраняет логическую структуру RBD для логических вычислений состояния системы по состоянию блоков;
- использует преимущества сети Петри для моделирования взаимодействий между блоками и/или внешними объектами
Е.2 Пример суб-PN, который используют в моделях RBD-управляемых РМ
Рисунок Е.1 - Пример моделирования суб-PN DRBD блока
На рисунке Е.1 приведен пример суб-PN, разработанной для использования в DRBD. Блок характеризуют:
- три состояния: работоспособное (U), неработоспособное (D) и восстановления (ремонта) (R);
- четыре перехода: (независимый) отказ, отказ по общей причине, начало ремонта (восстановления) и окончание ремонта восстановления;
- несколько предикатов и утверждений:
- два утверждения, !!а = истинно и !!а = ложно для обновления состояния блока (работоспособное или неработоспособное). Каждое состояние блока моделируют таким образом, чтобы оценить состояние системы в целом на основе логической структуры RBD,
- один предикат, ??ccf = истинно, который запускает отказ блока при возникновении CCF. Он использован для моделирования взаимодействий с внешним объектом, моделирующим CCF,
- один предикат, ??r > 0, позволяющий начать восстановление, когда доступна по меньшей мере одна ремонтная бригада. Его используют для моделирования взаимодействий между блоками, которые восстанавливает одна и та же ремонтная бригада,
- одно утверждение, !!r = r - 1 для уменьшения количества доступных ремонтных бригад на одну, когда начат ремонт. Это использовано для моделирования взаимодействий между блоками, которые восстанавливает одна и та же ремонтная бригада,
- одно утверждение, !!r = r + 1, чтобы увеличить количество доступных ремонтных бригад на одну, когда восстановление завершено. Его используют для моделирования взаимодействий между блоками, которые восстанавливает одна и та же ремонтная бригада.
В правой части рисунка Е.1 предложено представление блока, связанного с этой суб-PN.
Рисунок Е.2 - Пример суб-PN, моделирующей отказ по общей причине
На рисунке Е.2 приведен пример суб-PN, разработанной для использования в качестве внешнего объекта DRBD. Пример моделирует отказ по общей причине, характеризующийся:
- двумя состояниями: U (работоспособное: не произошел CCF), D (неработоспособное: произошел CCF);
- двумя переходами: возникновение CCF, устранение CCF;
- несколькими предикатами и утверждениями:
- двумя утверждениями, !!ccf = true и !!ccf = false для обновления состояния CCF (не произошел или произошел). Эти утверждения используют для сбоя блоков, связанных с данными CCF,
- несколькими предикатами, ??а = истинно, ??b = истинно и т.д., которые допускают сброс CCF только после того, как все блоки, связанные с CCF, восстановлены.
В правой части рисунка Е.2 предложено представление внешнего объекта, связанного с этой суб-PN.
Суб-PN могут быть использованы для построения DRBD, как это показано на рисунке Е.3.
Рисунок Е.3 - Пример DRBD на основе RBD-управляемой PN
Эта DRBD моделирует отказ по общей причине блоков А и В и другой отказ по общей причине блоков С и D.
Ограниченное количество ремонтных бригад для восстановления четырех блоков. Количество ремонтных бригад задано начальными условиями: r = 1 при моделировании одной ремонтной бригады, r = 2 - при моделировании двух ремонтных бригад и т.д., r = 4 эквивалентно классическому предположению, что ремонтных бригад столько же, сколько восстанавливаемых блоков.
Е.3 Оценка состояния DRBD
Состояние системы задано комбинациями состояний блоков (а, b, с и d) точно так же, как для обычной RBD, используя глобальные утверждения, представленные на рисунке Е.4:
- !!О a = для последовательных структур: выход блока А является работоспособным, его вход работоспособен и, если блок находится в работоспособном состоянии;
- !!О = I 1 + I 2 + ... + I n для параллельных структур: выход является работоспособным, если хотя бы один из входов работоспособен.
Рисунок Е.4 - Логическое вычисление по классической структуре RBD
На рисунке 5 показано, что для вентиля 2/3 также может быть составлена простая логическая формула. Она может быть легко распространена на любой вентиль вида n/m.
Рисунок Е.5 - Пример логических вычислений для вентиля n/m
Для вентиля PAND не существует логической формулы, но взамен можно использовать простую суб-PN, такую как представленная на рисунке Е.6. Эта PN нарисована для двух входов, но может быть легко переделана на n входов. Она эквивалентна конечному автомату, представленному на рисунке 50.
Рисунок Е.6 - Пример суб-PN, моделирующей вентиль PAND с двумя входами
Особенности этой PN состоят в следующем:
1) вначале выход находится в работоспособном состоянии (О = 1), и место РI1 отмечено знаком 1;
2) если I 2 ложно (I 2 = 0), когда I 1 истинно (I 1 = 1), то переход Tr1 запрещен;
3) если I 1 становится ложным (I 1 = 0), когда I 2 истинно (I 2 = 1), это означает, что I 1 произошло раньше I 2 и затем немедленно срабатывает переход Tr1. Знак удаляют из РI1 и один знак добавляют в PI2. Это запрещает Tr1 (благодаря запрещающей стрелке в пунктирной линии) и подтверждает Tr2 и Tr4;
4) если I 1 истинно (I 1 = 1) до того, как I 2 станет ложным, то Tr4 срабатывает, и PN возвращается в исходное состояние;
5) если I 2 становится ложным (I 2 = 0), в то время как I 1 все еще л
Если вы являетесь пользователем интернет-версии системы ГАРАНТ, вы можете открыть этот документ прямо сейчас или запросить по Горячей линии в системе.