Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Статистика
На русском, статей
Улучшено за 24 ч.
Добавлено за 24 ч.
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

Схема функциональной целостности

Из Википедии — свободной энциклопедии

Схема функциональной целостности (СФЦ) — это логически универсальное графическое средство структурного представления исследуемых свойств системных объектов. Описание аппарата схем функциональной целостности было впервые опубликовано Можаевым А. С. в 1982 году[1]. По построению аппарат СФЦ[2][3][4] реализует все возможности алгебры логики в функциональном базисе «И», «ИЛИ» и «НЕ». СФЦ позволяют корректно представлять как все традиционные виды структурных схем (блок-схемы, деревья отказов, деревья событий, графы связности с циклами), так и принципиально новый класс немонотонных (некогерентных) структурных моделей различных свойств исследуемых систем. В настоящее время СФЦ применяются для построения структурных схем для расчета показателей надежности, стойкости, живучести, технического риска, реальной эффективности систем.

Графический аппарат схем функциональной целостности

СФЦ образуют её основные графические символы, которые включают в себя: два вида вершин (функциональная и фиктивная), два вида направленных ребер (конъюнктивная дуга и дизъюнктивная дуга) и два вида выходов дуг из вершин (прямой и инверсный).

Вершина

  • Функциональная вершина. Главное назначение функциональных вершин состоит в графическом обозначении одного из двух возможных исходов простого (бинарного) случайного события, сопоставленного элементу исследуемой системы. В логических моделях исходы бинарных событий представляются простыми логическими переменными , а в вероятностных моделях — вероятностями , , которые определяют собственные вероятности свершения простых случайных событий.
Примерами событий, представляемых функциональными вершинами в СФЦ могут быть:
  • безотказность технического средства в течение заданного времени его работы (наработки);
  • отказ технического средства в течение заданного времени работы;
  • принятие (или не принятие) некоторого решения на определенном этапе управления системой;
  • правильное выполнение функций (или ошибка) оператора в процессе или на определенном этапе управления системой;
  • поражение (или не поражение) объекта ударом противника и т. п.
  • Фиктивная вершина. Не представляет элементов системы, является вспомогательной, используется для удобства графического представления сложных логических связей и отношений между различными элементами системы.

Выход

Все непосредственно исходящие из вершины ребра в СФЦ обозначаются символом . Каждая такая дуга называется выходной или интегративной функцией и представляет все логические условия реализации (или не реализации) элементом своего функционального назначения в системе.

  • Прямой выход ребра из вершины, представляет собой условие реализации выходной (интегративной) функции соответствующим элементом.
  • Инверсный выход ребра из вершины, представляет собой условие не реализации выходной (интегративной) функции соответствующим элементом (логический оператор «НЕ»).

Ребро

  • Дизъюнктивное ребро в СФЦ представляет собой линию со стрелкой на конце, связывающая между собой пару вершин. Стрелка на конце дизъюнктивного ребра представляет:
  1. направленность функционального подчинения между связанными этим ребром вершинами СФЦ;
  2. логический оператор «ИЛИ» между множеством заходящих в одну вершину дизъюнктивных ребер.
  • Конъюнктивное ребро в СФЦ представляет собой линию с точкой на конце, связывающая между собой пару вершин. Точка на конце конъюнктивного ребра представляет:
  1. направленность функционального подчинения между связанными этим ребром вершинами СФЦ;
  2. логический оператор «И» между множеством заходящих в одну вершину конъюнктивных ребер.

Типовые фрагменты СФЦ

  1. Головная вершина. На рисунке 1 показана функциональная вершина СФЦ, в которую не заходит ни одного ребра. Такие вершины называют головными. Элементы систем, представляемые в СФЦ головными вершинами, считаются достоверно обеспеченными. Это значит, что реализация выходного функционального события головной вершины , полностью определяется свершением только собственного события , например безотказностью (собственной работоспособностью) элемента системы в течение всего заданного времени функционирования. Аналитически такое условие определяется следующим логическим уравнением . Это уравнение представляет ситуацию, когда выполнение элементом его функции в системе реализуется при одном единственном условии — безотказности этого элемента.
    Обобщенный фрагмент СФЦ
    Обобщенный фрагмент СФЦ
  2. Последовательное соединение (конъюнктивное или дизъюнктивное ребро). На рисунке 2 показан вариант графического изображения функционального подчинения условия реализации выходной функции элемента двум событиям — безотказной работы самого элемента и реализации выходной функции элемента , который обеспечивает функционирование элемента . Логическое уравнение в этом случае примет вид: . Это уравнение означает, что последовательным соединением вершин в СФЦ (как в блок-схемах и графах связности) представляется логическое произведение (конъюнкция, операция «И») элементарного события и функционального события . В вероятностном смысле последовательное соединение вершин СФЦ представляет сложное случайное событие пересечения, то есть одновременного свершения (в данный момент или на данном интервале времени) всех входящих в данное соединение простых и функциональных событий. Так, например, если обозначить  — событие, состоящее в безотказной работе источника питания и всех средств её передачи к вентилятору , а  — событие, безотказной работы самого вентилятора, то уравнение определяет условие реализации системой выходной функции работы вентиляции объекта в целом.
  3. Параллельное соединение (дизъюнктивные ребра). На рисунке 3 показан вариант представления организационных отношений между функциями и , связанных дизъюнктивной логикой обеспечения реализации выходной функции элемента системы . Дизъюнктивные организационные отношения в СФЦ являются аналогами параллельных соединений в графах связности или операторов «ИЛИ» деревьев отказов. Например, если и  — события безотказной работы основного и резервного источников питания, а  — событие безотказной работы питаемого ими потребителя, то уравнение определяет условия реализации выходной функции определяет безотказные условия работы данной трехэлементной схемы в целом.
  4. Параллельное соединение (конъюнктивные ребра). Главное назначение конъюнктивных дуг в СФЦ состоит в обеспечении возможности представления таких зависимостей, которые требуют одновременного параллельного функционирования нескольких элементов, ветвей или подсистем исследуемого объекта. Так, логические условия реализации выходной функции системы, изображенной на рисунке 4, состоит в совместной (одновременной, параллельной) реализации функций и двух разных элементов и , которые обеспечивают функционирование элемента , а также безотказной работы самого элемента , и запишутся следующим образом: .
  5. Фиктивная вершина. На рисунках 5, 6, 7 приведены несколько типовых вариантов применения вершин в СФЦ. Фиктивная вершина рассматривается как логическая константа 1 (истина), то есть как некоторое условное, достоверное событие. Поэтому они имеют следующее аналитическое определение: . Логические уравнения выходных функций для фиктивных вершин отличаются от аналогичных для функциональных вершин только отсутствием в записи обозначений собственных логических переменных фиктивных вершин .

Методология

Разработка СФЦ при проведении структурного анализа системы означает, прежде всего, графическое представление логических условий реализации собственных функций элементами и подсистемами. Таким образом, СФЦ аналитически эквивалентна системе логических уравнений, составленной по прямым и инверсным выходам всех функциональных, фиктивных и размноженных вершин.

Второй важной стороной построения и дальнейшего использования СФЦ является указание конкретной цели моделирования — логических условий реализации исследуемого системного свойства, например, безотказности или отказа системы, безопасности или возникновения аварии и т. п.

СФЦ мостиковой системы
СФЦ мостиковой системы

Далее, происходит решение системы логических уравнений по заданному логическому критерию функционирования, то есть нахождение логической функции работоспособности системы (ФРС).
Система логических уравнений мостиковой системы:

Логический критерий успешного функционирования:
После решения системы логических уравнений одним из известных методов, получаем логическую функцию работоспособности системы:
Все конъюнкции в выражении для представляют собой кратчайшие пути успешного функционирования (КПУФ), поскольку из любой конъюнкции нельзя удалить ни одной переменной не нарушив условия реализации критерия . Зададим условие неработоспособности (отказа) мостиковой системы: . Теперь искомая ФРС должна точно и однозначно представлять условия, когда реализуется неработоспособность (отказ) мостиковой системы. После решения системы логических уравнений одним из известных методов, получаем логическую функцию работоспособности системы:
Все конъюнкции в выражении для представляют собой минимальные сечения отказов (МСО), поскольку удаление из любой конъюнкции даже одной переменной нарушает условие отказа системы.

Примеры схем функциональной целостности

См. также

Примечания

  1. Можаев А. С. Логико-вероятностный подход к оценке надежности автоматизированных систем управления. СПб.: ВМА им. Гречко А. А. Депонирована п/я А-1420 № Д047550, 1982. — 24 С.
  2. Мусаев А. А., Гладкова И. А. Современное состояние и направления развития общего логико-вероятностного метода анализа систем  Архивная копия от 31 мая 2011 на Wayback Machine // Труды СПИИРАН. 2010. Вып. 12. С. 75-96.
  3. Рябинин И. А., Можаев А. С., Свирин С. К., Поленин В. И. Технология автоматизированного моделирования структурно-сложных систем // Морская Радиоэлектроника. 2007. № 3.
  4. Поленин В. И., Рябинин И. А., Свирин С. К., Гладкова И. А. Применение общего логико-вероятностного метода для анализа технических, военных организационно-функциональных систем и вооруженного противоборства

Ссылки

  1. Sneve M.K., Reka V. Совершенствование Российской нормативной базы в области обеспечения безопасности при выводе из эксплуатации и утилизации радиоизотопных термоэлектрических генераторов // Государственное агентство по радиационной безопасности Норвегии (Statens stravelern). StralevernRapport 2008:2. — Oslo: LoboMedia AS, 2008 — Приложение В, С.29—55. — ISSN 0804-4910.
  2. Методические рекомендации по разработке и подготовке к принятию проектов технических регламентов: методические рекомендации: утверждены приказом № 78 министерства промышленности и энергетики Российской Федерации от 12 апреля 2006 г. // Вестник технического регулирования. — 2006. — № 5(30). ISSN 1990-5572.
Эта страница в последний раз была отредактирована 24 мая 2021 в 20:33.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).