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

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2009
Автори:	Серебровский, А.Н., Ситниченко, Л.П., Пилипенко, В.Г.
Формат:	Стаття
Мова:	Russian
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2009
Назва видання:	Математичні машини і системи
Теми:	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
Онлайн доступ:	http://dspace.nbuv.gov.ua/handle/123456789/46909
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Алгоритм формирования и минимизации логического представления дерева отказов / А.Н. Серебровский, Л.П. Ситниченко, В.Г. Пилипенко // Мат. машини і системи. — 2009. — № 1. — С. 165–172. — Бібліогр.: 6 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-46909
record_format	dspace
spelling	irk-123456789-469092013-07-08T03:05:35Z Алгоритм формирования и минимизации логического представления дерева отказов Серебровский, А.Н. Ситниченко, Л.П. Пилипенко, В.Г. Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Предлагаются алгоритмы процедур, которые реализуют функции ввода описания опасного события в форме дерева отказов; формирования и минимизации дизъюнктивно-нормальной формы дерева отказов. Данные алгоритмы могут быть использованы при разработке программного обеспечения кризисных центров. Пропонуються алгоритми процедур, що реалізують функції введення опису небезпечної події у формі дерева відмовлень; формування та мінімізації диз’юнктивно-нормальної форми дерева відмовлень. Дані алгоритми можуть бути використані при розробці програмного забезпечення кризових центрів. 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. 2009 Article Алгоритм формирования и минимизации логического представления дерева отказов / А.Н. Серебровский, Л.П. Ситниченко, В.Г. Пилипенко // Мат. машини і системи. — 2009. — № 1. — С. 165–172. — Бібліогр.: 6 назв. — рос. 1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/46909 504.56 ru Математичні машини і системи Інститут проблем математичних машин і систем НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Russian
topic	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
spellingShingle	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Серебровский, А.Н. Ситниченко, Л.П. Пилипенко, В.Г. Алгоритм формирования и минимизации логического представления дерева отказов Математичні машини і системи
description	Предлагаются алгоритмы процедур, которые реализуют функции ввода описания опасного события в форме дерева отказов; формирования и минимизации дизъюнктивно-нормальной формы дерева отказов. Данные алгоритмы могут быть использованы при разработке программного обеспечения кризисных центров.
format	Article
author	Серебровский, А.Н. Ситниченко, Л.П. Пилипенко, В.Г.
author_facet	Серебровский, А.Н. Ситниченко, Л.П. Пилипенко, В.Г.
author_sort	Серебровский, А.Н.
title	Алгоритм формирования и минимизации логического представления дерева отказов
title_short	Алгоритм формирования и минимизации логического представления дерева отказов
title_full	Алгоритм формирования и минимизации логического представления дерева отказов
title_fullStr	Алгоритм формирования и минимизации логического представления дерева отказов
title_full_unstemmed	Алгоритм формирования и минимизации логического представления дерева отказов
title_sort	алгоритм формирования и минимизации логического представления дерева отказов
publisher	Інститут проблем математичних машин і систем НАН України
publishDate	2009
topic_facet	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
url	http://dspace.nbuv.gov.ua/handle/123456789/46909
citation_txt	Алгоритм формирования и минимизации логического представления дерева отказов / А.Н. Серебровский, Л.П. Ситниченко, В.Г. Пилипенко // Мат. машини і системи. — 2009. — № 1. — С. 165–172. — Бібліогр.: 6 назв. — рос.
series	Математичні машини і системи
work_keys_str_mv	AT serebrovskijan algoritmformirovaniâiminimizaciilogičeskogopredstavleniâderevaotkazov AT sitničenkolp algoritmformirovaniâiminimizaciilogičeskogopredstavleniâderevaotkazov AT pilipenkovg algoritmformirovaniâiminimizaciilogičeskogopredstavleniâderevaotkazov
first_indexed	2023-10-18T18:06:14Z
last_indexed	2023-10-18T18:06:14Z
_version_	1796143320548769792

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

Репозитарії

Схожі ресурси