Алгоритм формирования и минимизации логического представления дерева отказов
Предлагаются алгоритмы процедур, которые реализуют функции ввода описания опасного события в форме дерева отказов; формирования и минимизации дизъюнктивно-нормальной формы дерева отказов. Данные алгоритмы могут быть использованы при разработке программного обеспечения кризисных центров. Пропонуються...
Saved in:
| Published in: | Математичні машини і системи |
|---|---|
| Date: | 2009 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2009
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/46909 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Алгоритм формирования и минимизации логического представления дерева отказов / А.Н. Серебровский, Л.П. Ситниченко, В.Г. Пилипенко // Мат. машини і системи. — 2009. — № 1. — С. 165–172. — Бібліогр.: 6 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862560313863307264 |
|---|---|
| author | Серебровский, А.Н. Ситниченко, Л.П. Пилипенко, В.Г. |
| author_facet | Серебровский, А.Н. Ситниченко, Л.П. Пилипенко, В.Г. |
| citation_txt | Алгоритм формирования и минимизации логического представления дерева отказов / А.Н. Серебровский, Л.П. Ситниченко, В.Г. Пилипенко // Мат. машини і системи. — 2009. — № 1. — С. 165–172. — Бібліогр.: 6 назв. — рос. |
| collection | DSpace DC |
| container_title | Математичні машини і системи |
| description | Предлагаются алгоритмы процедур, которые реализуют функции ввода описания опасного события в форме дерева отказов; формирования и минимизации дизъюнктивно-нормальной формы дерева отказов. Данные алгоритмы могут быть использованы при разработке программного обеспечения кризисных центров.
Пропонуються алгоритми процедур, що реалізують функції введення опису небезпечної події у формі дерева відмовлень; формування та мінімізації диз’юнктивно-нормальної форми дерева відмовлень. Дані алгоритми можуть бути використані при розробці програмного забезпечення кризових центрів.
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.
|
| first_indexed | 2025-11-25T23:05:14Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-46909 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | Russian |
| last_indexed | 2025-11-25T23:05:14Z |
| publishDate | 2009 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| record_format | dspace |
| spelling | Серебровский, А.Н. Ситниченко, Л.П. Пилипенко, В.Г. 2013-07-07T19:15:04Z 2013-07-07T19:15:04Z 2009 Алгоритм формирования и минимизации логического представления дерева отказов / А.Н. Серебровский, Л.П. Ситниченко, В.Г. Пилипенко // Мат. машини і системи. — 2009. — № 1. — С. 165–172. — Бібліогр.: 6 назв. — рос. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/46909 504.56 Предлагаются алгоритмы процедур, которые реализуют функции ввода описания опасного события в форме дерева отказов; формирования и минимизации дизъюнктивно-нормальной формы дерева отказов. Данные алгоритмы могут быть использованы при разработке программного обеспечения кризисных центров. Пропонуються алгоритми процедур, що реалізують функції введення опису небезпечної події у формі дерева відмовлень; формування та мінімізації диз’юнктивно-нормальної форми дерева відмовлень. Дані алгоритми можуть бути використані при розробці програмного забезпечення кризових центрів. 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. ru Інститут проблем математичних машин і систем НАН України Математичні машини і системи Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Алгоритм формирования и минимизации логического представления дерева отказов Алгоритм формування і мінімізації логічного пред’явлення дерева відмовлень The algorithms of forming and minimization of logical presenting the fault tree Article published earlier |
| spellingShingle | Алгоритм формирования и минимизации логического представления дерева отказов Серебровский, А.Н. Ситниченко, Л.П. Пилипенко, В.Г. Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| title | Алгоритм формирования и минимизации логического представления дерева отказов |
| title_alt | Алгоритм формування і мінімізації логічного пред’явлення дерева відмовлень The algorithms of forming and minimization of logical presenting the fault tree |
| title_full | Алгоритм формирования и минимизации логического представления дерева отказов |
| title_fullStr | Алгоритм формирования и минимизации логического представления дерева отказов |
| title_full_unstemmed | Алгоритм формирования и минимизации логического представления дерева отказов |
| title_short | Алгоритм формирования и минимизации логического представления дерева отказов |
| title_sort | алгоритм формирования и минимизации логического представления дерева отказов |
| topic | Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| topic_facet | Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/46909 |
| work_keys_str_mv | AT serebrovskiian algoritmformirovaniâiminimizaciilogičeskogopredstavleniâderevaotkazov AT sitničenkolp algoritmformirovaniâiminimizaciilogičeskogopredstavleniâderevaotkazov AT pilipenkovg algoritmformirovaniâiminimizaciilogičeskogopredstavleniâderevaotkazov AT serebrovskiian algoritmformuvannâímínímízacíílogíčnogopredâvlennâderevavídmovlenʹ AT sitničenkolp algoritmformuvannâímínímízacíílogíčnogopredâvlennâderevavídmovlenʹ AT pilipenkovg algoritmformuvannâímínímízacíílogíčnogopredâvlennâderevavídmovlenʹ AT serebrovskiian thealgorithmsofformingandminimizationoflogicalpresentingthefaulttree AT sitničenkolp thealgorithmsofformingandminimizationoflogicalpresentingthefaulttree AT pilipenkovg thealgorithmsofformingandminimizationoflogicalpresentingthefaulttree |