Зображення обкладинки

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

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
Дата:	2010
Автори:	Дурняк, Б.В., Сабат, В.І., Шведова, Л.Є.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2010
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/28292
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Методи формального опису систем управління повноваженнями на основі використання математичної логіки / Б.В, Дурняк, В.І. Сабат, Л.Є Шведова // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 57. — С. 267-275. — Бібліогр.: 5 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

Розширення моделі управління повноваженнями
за авторством: Шведова, Л.Є.
Опубліковано: (2011)

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

Метод формального опису слабкоструктурованих предметних областей з урахуванням громадської думки
за авторством: Каденко, С.В., та інші
Опубліковано: (2018)

Використання математичної логіки для встановлення навчального режиму в автоматизованих системах передачі знань
за авторством: Федорук, П.І., та інші
Опубліковано: (2013)

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

Методи захисту даних
за авторством: Шведова, Л.Є.
Опубліковано: (2010)

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

ВИКОРИСТАННЯ ПРИНЦИПІВ НЕЧІТКОЇ ЛОГІКИ ДЛЯ СИНТЕЗУ ЕЛЕМЕНТІВ БАГАТОЗНАЧНОЇ ЛОГІКИ
за авторством: Кичак, В. М., та інші
Опубліковано: (2013)

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

Аппаратная реализация модели формального нейрона
за авторством: Мартынюк, Т.Б., та інші
Опубліковано: (2010)

Методи стеганографічного захисту інформації в автоматизованих системах документообігу
за авторством: Дурняк, Б.В., та інші
Опубліковано: (2010)

Про нові методи опису невизначених величин
за авторством: Провотар, О.І., та інші
Опубліковано: (2012)

Про нулі аналітичних у півплощині функцій заданого уточненого формального порядку
за авторством: Винницький, Б.В., та інші
Опубліковано: (1999)

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

Різні методи для опису морфологічних та текстурних характеристик різних матеріалів
за авторством: Gun'ko, V. M.
Опубліковано: (2018)

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

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

7-значнi логіки та логіки загальних недетермінованих предикатів
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2018)

Методи оцінок параметрів книжок
за авторством: Дурняк, Б.В., та інші
Опубліковано: (2010)

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

Розробка математичної моделі фоточутливого сенсора Холла на основі CdS
за авторством: Sergiichuk, Viktor, та інші
Опубліковано: (2025)

Композиційно-номінативні мультимодальні логіки
за авторством: Шкільняк, О.С., та інші
Опубліковано: (2011)

Композиційні логіки номінативних даних
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)

Методи побудови моделей для оцінки поліграфічних видань
за авторством: Дурняк, Б.В., та інші
Опубліковано: (2010)

Методи діагностики непроектних несправностей
за авторством: Афанесьева, О.Ю., та інші
Опубліковано: (2011)

ОСОБЛИВОСТІ УПРАВЛІННЯ БІЗНЕСОМ НА ОСНОВІ ВИКОРИСТАННЯ ДІДЖИТАЛ-ТЕХНОЛОГІЙ
за авторством: Місевич, М. А., та інші
Опубліковано: (2024)

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

Підхід до позиційної алгебри логіки
за авторством: Kovalov, Mykola
Опубліковано: (2023)

Композиційно-номінативні логіки безкванторних рівнів
за авторством: Шкільняк, С.С., та інші
Опубліковано: (2016)

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

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

Аналіз систем нечіткої логіки для апроксимації нечітких функцій
за авторством: Щегельський, Т.С., та інші
Опубліковано: (2012)

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

Розробка методу формування поточних повноважень
за авторством: Шведова, Л.Є.
Опубліковано: (2011)

Композиційно-номінативні логіки з непрямим іменуванням
за авторством: Rossada, T.V., та інші
Опубліковано: (2015)

Композиційно-номінативні логіки з непрямим іменуванням
за авторством: Россада, Т.В., та інші
Опубліковано: (2012)

Композиційно-номінативні логіки над ієрархічними даними
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2010)

Гуманізм та реформація: до логіки співвідношення
за авторством: Черенков, М.М.
Опубліковано: (2005)

Розвиток теорії та математичної моделі теплового самозаймання пиловугільних сумішей
за авторством: Кузьменко, Б.В.
Опубліковано: (2014)