Buchumschlag

Методи формального опису систем управління повноваженнями на основі використання математичної логіки

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
Datum:	2010
Hauptverfasser:	Дурняк, Б.В., Сабат, В.І., Шведова, Л.Є.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2010
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/28292
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Методи формального опису систем управління повноваженнями на основі використання математичної логіки / Б.В, Дурняк, В.І. Сабат, Л.Є Шведова // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 57. — С. 267-275. — Бібліогр.: 5 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Розробка структури системи управління повноваженнями
von: Дурняк, Б.В., et al.
Veröffentlicht: (2011)

Загальна організація використання інформаційних засобів для створення системи управління повноваженнями
von: Дуняк, Б.В., et al.
Veröffentlicht: (2011)

Розширення моделі управління повноваженнями
von: Шведова, Л.Є.
Veröffentlicht: (2011)

Аналіз можливостей нечіткої логіки для формального опису технологічного процесу
von: Козик, О.М.
Veröffentlicht: (2009)

Метод формального опису слабкоструктурованих предметних областей з урахуванням громадської думки
von: Каденко, С.В., et al.
Veröffentlicht: (2018)

Використання математичної логіки для встановлення навчального режиму в автоматизованих системах передачі знань
von: Федорук, П.І., et al.
Veröffentlicht: (2013)

Класифікація парламентів за повноваженнями
von: Словська, І.Є.
Veröffentlicht: (2010)

Методи захисту даних
von: Шведова, Л.Є.
Veröffentlicht: (2010)

Управління захистом доступу до інформаційних систем
von: Шведова, Л.Є.
Veröffentlicht: (2010)

Засоби систем захисту доступом та модель класифікації рівнів захисту
von: Дурняк, Б.В., et al.
Veröffentlicht: (2010)

ВИКОРИСТАННЯ ПРИНЦИПІВ НЕЧІТКОЇ ЛОГІКИ ДЛЯ СИНТЕЗУ ЕЛЕМЕНТІВ БАГАТОЗНАЧНОЇ ЛОГІКИ
von: Кичак, В. М., et al.
Veröffentlicht: (2013)

Аппаратная реализация модели формального нейрона
von: Мартынюк, Т.Б., et al.
Veröffentlicht: (2010)

Методи стеганографічного захисту інформації в автоматизованих системах документообігу
von: Дурняк, Б.В., et al.
Veröffentlicht: (2010)

Про нові методи опису невизначених величин
von: Провотар, О.І., et al.
Veröffentlicht: (2012)

Про нулі аналітичних у півплощині функцій заданого уточненого формального порядку
von: Винницький, Б.В., et al.
Veröffentlicht: (1999)

Ймовірністні методи опису рівноважного термодинамічного стану двохкомпонентних взаємодіючих сумішей
von: Голубець, Тарас
Veröffentlicht: (2018)

Побудова математичної моделі управління витратами видобутку вугілля
von: Гришко, Н.В.
Veröffentlicht: (2009)

Композиційно-номінативні логіки квазіарних предикатів та багатозначні логіки
von: Шкільняк, С.С.
Veröffentlicht: (2012)

Проблема органичного и формального в оценке эмоционалистской критики М. Кузмина
von: Шатова, И.Н.
Veröffentlicht: (1999)

Моделювання показників економічної безпеки підприємства на основі нечіткої логіки
von: Останкова, Л.А., et al.
Veröffentlicht: (2010)

Методи оцінок параметрів книжок
von: Дурняк, Б.В., et al.
Veröffentlicht: (2010)

7-значнi логіки та логіки загальних недетермінованих предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)

Науковий пейзаж, мальований чаєм (Про дискретність формального методу в українському літературознавстві)
von: Поліщук, Я.
Veröffentlicht: (2005)

Методи формування графіних засобів захисту документів
von: Дурняк, Б.В., et al.
Veröffentlicht: (2010)

Розробка математичної моделі фоточутливого сенсора Холла на основі CdS
von: Sergiichuk, Viktor, et al.
Veröffentlicht: (2025)

Методи побудови моделей для оцінки поліграфічних видань
von: Дурняк, Б.В., et al.
Veröffentlicht: (2010)

Композиційно-номінативні мультимодальні логіки
von: Шкільняк, О.С., et al.
Veröffentlicht: (2011)

Композиційні логіки номінативних даних
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)

Реномінативні логіки квазіарних предикатів
von: Шкільняк, С.С., et al.
Veröffentlicht: (2016)

Методи діагностики непроектних несправностей
von: Афанесьева, О.Ю., et al.
Veröffentlicht: (2011)

Розробка математичної моделі випуску продукції на нижніх рівнях управління виробництвом
von: Шептура, О.О., et al.
Veröffentlicht: (2012)

Нові методи управління на основі систем контролю фазових кутів напруг у головних вузлах енергосистеми
von: Lenchevsky Ye.A.
Veröffentlicht: (2008)

Нові методи управління на основі систем контролю фазових кутів напруг у головних вузлах енергосистеми
von: Ленчевський, Є.А.
Veröffentlicht: (2008)

Композиційно-номінативні логіки безкванторних рівнів
von: Шкільняк, С.С., et al.
Veröffentlicht: (2016)

Чисті першопорядкові логіки квазіарних предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)

Логіки, орієнтовані на специфікації програм
von: Нікітченко, М.С., et al.
Veröffentlicht: (2006)

Підхід до позиційної алгебри логіки
von: Kovalov, Mykola
Veröffentlicht: (2023)

Розробка методу формування поточних повноважень
von: Шведова, Л.Є.
Veröffentlicht: (2011)

Алгоритм типу Вісковатова розвинення формального трикратного степеневого ряду у тривимірний відповідний правильний неперервний дріб
von: Кучмінська, Х.Й.
Veröffentlicht: (2025)

Про стійкість у моделях математичної епідеміології на основі функцій Ляпунова-Вольтера
von: Кучвара, О.М.
Veröffentlicht: (2014)