Алгоритм формирования и минимизации логического представления дерева отказов

Алгоритм формирования и минимизации логического представления дерева отказов

Серебровский, А.Н. ; Ситниченко, Л.П. ; Пилипенко, В.Г.

Інші назви: Алгоритм формування і мінімізації логічного пред’явлення дерева відмовлень
The algorithms of forming and minimization of logical presenting the fault tree

Тема: Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення

УДК: 504.56

URI: http://dspace.nbuv.gov.ua/handle/123456789/46909

Посилання: Алгоритм формирования и минимизации логического представления дерева отказов / А.Н. Серебровский, Л.П. Ситниченко, В.Г. Пилипенко // Мат. машини і системи. — 2009. — № 1. — С. 165–172. — Бібліогр.: 6 назв. — рос.

Дата: 2009

Завантажень: 351

Алгоритм формирования и минимизации логического представления дерева отказов

Анотація:

Предлагаются алгоритмы процедур, которые реализуют функции ввода описания опасного события в форме дерева отказов; формирования и минимизации дизъюнктивно-нормальной формы дерева отказов. Данные алгоритмы могут быть использованы при разработке программного обеспечения кризисных центров.

Пропонуються алгоритми процедур, що реалізують функції введення опису небезпечної події у формі дерева відмовлень; формування та мінімізації диз’юнктивно-нормальної форми дерева відмовлень. Дані алгоритми можуть бути використані при розробці програмного забезпечення кризових центрів.

The algorithms of proсedures, which realizes the function of input data of the hazardous event in the form of fault tree and forming and minimization of the fault tree disqunctive for. The given algorithms can be used for development of crisis centres software.

Показати повний запис статті