Автоматизированное моделирование надежности структурно-сложных систем из элементов с тремя несовместными состояниями
Ключевые слова:
отказ типа «Обрыв», отказ типа «Замыкание», группа несовместных событий, ортогонализация дизъюнктивной нормальной формы, полный перебор состояний, эквивалентированные схемы, программный комплекс (ПК) АРБИТРАннотация
Анализируется методика оценки надежности сложных структур, не сводящихся к последовательно-параллельному соединению элементов. В случае, когда элементы системы могут находиться в трех несовместных состояниях – работоспособном, отказ типа «Обрыв» и «Замыкание», существует необходимость и возможность раздельного вычисления вероятностей отказа системы по «Обрыву» и по «Замыканию». Показано, что описанная методика оценки надежности может быть использована для структур любой сложности при весьма слабых ограничениях. Приведены примеры ортогонализации логических функций с учетом несовместности отдельных переменных. Корректность методики подтверждается решением задач методом полного перебора. Автоматизированное моделирование надежности мостиковой структуры и структуры двух «звезд», включенных на «треугольник», выполнено с использованием программного комплекса АРБИТР, в котором программно реализована алгебра несовместных событий.Automated Modeling of Reliability of Structurally Complex Systems Consisting of Elements with Three Disjoint states
Abstract
This paper presents a techniques assessing the reliability of the complex structures which can not be reduced to a series-parallel connection of elements. In the case where the system elements can have three mutually exclusive (disjoint) states – up state, “fail-closed” mode, “fail-open” mode there is a need and an opportunity to separate the system failure probability calculations for the "break" and "closure". It is shown that the developed method of estimating the reliability can be used for structures of any complexity with very weak restrictions. Orthogonalization are examples of logic functions based on the incompatibility of individual variables. Correctness of the proposed methods was confirmed by the decision of problems by full exhaustive search. Examples of automated modeling of bridge structure and the structure of the two "stars" connected to a "delta" solved using software ARBITR in which software is implemented algebra of mutually exclusive (disjoint) events.
Опубликован
2014-06-30
Как цитировать
Струков, А. В., & Рябинин, И. А. (2014). Автоматизированное моделирование надежности структурно-сложных систем из элементов с тремя несовместными состояниями. Труды СПИИРАН, 3(34), 89-111. https://doi.org/10.15622/sp.34.5
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
