Методи формального опису систем управління повноваженнями на основі використання математичної логіки
Saved in:
| Published in: | Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
|---|---|
| Date: | 2010 |
| Main Authors: | Дурняк, Б.В., Сабат, В.І., Шведова, Л.Є. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2010
|
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/28292 |
| 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: | Методи формального опису систем управління повноваженнями на основі використання математичної логіки / Б.В, Дурняк, В.І. Сабат, Л.Є Шведова // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 57. — С. 267-275. — Бібліогр.: 5 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Загальна організація використання інформаційних засобів для створення системи управління повноваженнями
by: Дуняк, Б.В., et al.
Published: (2011)
by: Дуняк, Б.В., et al.
Published: (2011)
Розширення моделі управління повноваженнями
by: Шведова, Л.Є.
Published: (2011)
by: Шведова, Л.Є.
Published: (2011)
Аналіз можливостей нечіткої логіки для формального опису технологічного процесу
by: Козик, О.М.
Published: (2009)
by: Козик, О.М.
Published: (2009)
Метод формального опису слабкоструктурованих предметних областей з урахуванням громадської думки
by: Каденко, С.В., et al.
Published: (2018)
by: Каденко, С.В., et al.
Published: (2018)
Використання математичної логіки для встановлення навчального режиму в автоматизованих системах передачі знань
by: Федорук, П.І., et al.
Published: (2013)
by: Федорук, П.І., et al.
Published: (2013)
Класифікація парламентів за повноваженнями
by: Словська, І.Є.
Published: (2010)
by: Словська, І.Є.
Published: (2010)
Методи захисту даних
by: Шведова, Л.Є.
Published: (2010)
by: Шведова, Л.Є.
Published: (2010)
Управління захистом доступу до інформаційних систем
by: Шведова, Л.Є.
Published: (2010)
by: Шведова, Л.Є.
Published: (2010)
ВИКОРИСТАННЯ ПРИНЦИПІВ НЕЧІТКОЇ ЛОГІКИ ДЛЯ СИНТЕЗУ ЕЛЕМЕНТІВ БАГАТОЗНАЧНОЇ ЛОГІКИ
by: Кичак, В. М., et al.
Published: (2013)
by: Кичак, В. М., et al.
Published: (2013)
Засоби систем захисту доступом та модель класифікації рівнів захисту
by: Дурняк, Б.В., et al.
Published: (2010)
by: Дурняк, Б.В., et al.
Published: (2010)
Аппаратная реализация модели формального нейрона
by: Мартынюк, Т.Б., et al.
Published: (2010)
by: Мартынюк, Т.Б., et al.
Published: (2010)
Методи стеганографічного захисту інформації в автоматизованих системах документообігу
by: Дурняк, Б.В., et al.
Published: (2010)
by: Дурняк, Б.В., et al.
Published: (2010)
Про нові методи опису невизначених величин
by: Провотар, О.І., et al.
Published: (2012)
by: Провотар, О.І., et al.
Published: (2012)
Про нулі аналітичних у півплощині функцій заданого уточненого формального порядку
by: Винницький, Б.В., et al.
Published: (1999)
by: Винницький, Б.В., et al.
Published: (1999)
Композиційно-номінативні логіки квазіарних предикатів та багатозначні логіки
by: Шкільняк, С.С.
Published: (2012)
by: Шкільняк, С.С.
Published: (2012)
Різні методи для опису морфологічних та текстурних характеристик різних матеріалів
by: Gun'ko, V. M.
Published: (2018)
by: Gun'ko, V. M.
Published: (2018)
Побудова математичної моделі управління витратами видобутку вугілля
by: Гришко, Н.В.
Published: (2009)
by: Гришко, Н.В.
Published: (2009)
Проблема органичного и формального в оценке эмоционалистской критики М. Кузмина
by: Шатова, И.Н.
Published: (1999)
by: Шатова, И.Н.
Published: (1999)
7-значнi логіки та логіки загальних недетермінованих предикатів
by: Нікітченко, М.С., et al.
Published: (2018)
by: Нікітченко, М.С., et al.
Published: (2018)
Методи оцінок параметрів книжок
by: Дурняк, Б.В., et al.
Published: (2010)
by: Дурняк, Б.В., et al.
Published: (2010)
Науковий пейзаж, мальований чаєм (Про дискретність формального методу в українському літературознавстві)
by: Поліщук, Я.
Published: (2005)
by: Поліщук, Я.
Published: (2005)
Розробка математичної моделі фоточутливого сенсора Холла на основі CdS
by: Sergiichuk, Viktor, et al.
Published: (2025)
by: Sergiichuk, Viktor, et al.
Published: (2025)
Композиційно-номінативні мультимодальні логіки
by: Шкільняк, О.С., et al.
Published: (2011)
by: Шкільняк, О.С., et al.
Published: (2011)
Композиційні логіки номінативних даних
by: Нікітченко, М.С., et al.
Published: (2003)
by: Нікітченко, М.С., et al.
Published: (2003)
Методи побудови моделей для оцінки поліграфічних видань
by: Дурняк, Б.В., et al.
Published: (2010)
by: Дурняк, Б.В., et al.
Published: (2010)
Методи діагностики непроектних несправностей
by: Афанесьева, О.Ю., et al.
Published: (2011)
by: Афанесьева, О.Ю., et al.
Published: (2011)
ОСОБЛИВОСТІ УПРАВЛІННЯ БІЗНЕСОМ НА ОСНОВІ ВИКОРИСТАННЯ ДІДЖИТАЛ-ТЕХНОЛОГІЙ
by: Місевич, М. А., et al.
Published: (2024)
by: Місевич, М. А., et al.
Published: (2024)
Розробка математичної моделі випуску продукції на нижніх рівнях управління виробництвом
by: Шептура, О.О., et al.
Published: (2012)
by: Шептура, О.О., et al.
Published: (2012)
Підхід до позиційної алгебри логіки
by: Kovalov, Mykola
Published: (2023)
by: Kovalov, Mykola
Published: (2023)
Композиційно-номінативні логіки безкванторних рівнів
by: Шкільняк, С.С., et al.
Published: (2016)
by: Шкільняк, С.С., et al.
Published: (2016)
Нові методи управління на основі систем контролю фазових кутів напруг у головних вузлах енергосистеми
by: Lenchevsky Ye.A.
Published: (2008)
by: Lenchevsky Ye.A.
Published: (2008)
Нові методи управління на основі систем контролю фазових кутів напруг у головних вузлах енергосистеми
by: Ленчевський, Є.А.
Published: (2008)
by: Ленчевський, Є.А.
Published: (2008)
Аналіз систем нечіткої логіки для апроксимації нечітких функцій
by: Щегельський, Т.С., et al.
Published: (2012)
by: Щегельський, Т.С., et al.
Published: (2012)
Про стійкість у моделях математичної епідеміології на основі функцій Ляпунова-Вольтера
by: Кучвара, О.М.
Published: (2014)
by: Кучвара, О.М.
Published: (2014)
Розробка методу формування поточних повноважень
by: Шведова, Л.Є.
Published: (2011)
by: Шведова, Л.Є.
Published: (2011)
Композиційно-номінативні логіки з непрямим іменуванням
by: Rossada, T.V., et al.
Published: (2015)
by: Rossada, T.V., et al.
Published: (2015)
Композиційно-номінативні логіки з непрямим іменуванням
by: Россада, Т.В., et al.
Published: (2012)
by: Россада, Т.В., et al.
Published: (2012)
Композиційно-номінативні логіки над ієрархічними даними
by: Нікітченко, М.С., et al.
Published: (2010)
by: Нікітченко, М.С., et al.
Published: (2010)
Гуманізм та реформація: до логіки співвідношення
by: Черенков, М.М.
Published: (2005)
by: Черенков, М.М.
Published: (2005)
Розвиток теорії та математичної моделі теплового самозаймання пиловугільних сумішей
by: Кузьменко, Б.В.
Published: (2014)
by: Кузьменко, Б.В.
Published: (2014)
Similar Items
-
Загальна організація використання інформаційних засобів для створення системи управління повноваженнями
by: Дуняк, Б.В., et al.
Published: (2011) -
Розширення моделі управління повноваженнями
by: Шведова, Л.Є.
Published: (2011) -
Аналіз можливостей нечіткої логіки для формального опису технологічного процесу
by: Козик, О.М.
Published: (2009) -
Метод формального опису слабкоструктурованих предметних областей з урахуванням громадської думки
by: Каденко, С.В., et al.
Published: (2018) -
Використання математичної логіки для встановлення навчального режиму в автоматизованих системах передачі знань
by: Федорук, П.І., et al.
Published: (2013)