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

dc.contributor.author	Серебровский, А.Н.
dc.contributor.author	Ситниченко, Л.П.
dc.contributor.author	Пилипенко, В.Г.
dc.date.accessioned	2013-07-07T19:15:04Z
dc.date.available	2013-07-07T19:15:04Z
dc.date.issued	2009
dc.identifier.citation	Алгоритм формирования и минимизации логического представления дерева отказов / А.Н. Серебровский, Л.П. Ситниченко, В.Г. Пилипенко // Мат. машини і системи. — 2009. — № 1. — С. 165–172. — Бібліогр.: 6 назв. — рос.	uk_UA
dc.identifier.issn	1028-9763
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/46909
dc.description.abstract	Предлагаются алгоритмы процедур, которые реализуют функции ввода описания опасного события в форме дерева отказов; формирования и минимизации дизъюнктивно-нормальной формы дерева отказов. Данные алгоритмы могут быть использованы при разработке программного обеспечения кризисных центров.	uk_UA
dc.description.abstract	Пропонуються алгоритми процедур, що реалізують функції введення опису небезпечної події у формі дерева відмовлень; формування та мінімізації диз’юнктивно-нормальної форми дерева відмовлень. Дані алгоритми можуть бути використані при розробці програмного забезпечення кризових центрів.	uk_UA
dc.description.abstract	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.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Інститут проблем математичних машин і систем НАН України	uk_UA
dc.relation.ispartof	Математичні машини і системи
dc.subject	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення	uk_UA
dc.title	Алгоритм формирования и минимизации логического представления дерева отказов	uk_UA
dc.title.alternative	Алгоритм формування і мінімізації логічного пред’явлення дерева відмовлень	uk_UA
dc.title.alternative	The algorithms of forming and minimization of logical presenting the fault tree	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	504.56