Бібліотека Київського столичного університету імені Бориса Грінченка

Головна

Спрощенний режим

Посібник користувача

Бази даних

Електронний каталог бібліотеки- результати пошуку

Вид пошуку

Електронний каталог бібліотеки

Каталог авторефератів та дисертацій

Грінченкознавство

Рідкісні та цінні видання

Українська Аудіокнига

Мережеві ресурси

Наукові періодичні видання Університету

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: (<.>K=мережі Петрі<.>)

Загальна кількість знайдених документів : 7
Показані документи с 1 за 7

004.42
Т 56

Томашевський, В. М.
Моделювання систем [Текст] / В. М. Томашевський ; ред. В. М. Згуровський. - Київ : BHV, 2007. - 352 с. - (Інформатика). - ISBN 966-552-120-9 : 44.00 грн.

ДРНТІ	20
УДК	004.42

Рубрики: Комп’ютерні науки--Інформаційні технології--Програмування--Навчальні видання

MeSH-не главная:

Кл.слова (ненормовані):
моделювання -- мережі Петрі -- імовірнісне моделювання -- імітаційне моделювання -- експерименти з моделями -- ідентифікація
Дод.точки доступу:
Згуровський, В. М. \ред.\

Примірників всього: 25
Вул. Левка Лук'яненка, 13-Б (1),
Вул. Левка Лук'яненка, 13-Б Абонемент (23),
Вул. Левка Лук'яненка, 13-Б Читальний зал (1)
Вільні:
Вул. Левка Лук'яненка, 13-Б (1),
Вул. Левка Лук'яненка, 13-Б Абонемент (23),
Вул. Левка Лук'яненка, 13-Б Читальний зал (1)

Знайти схожі

004.45(075.8)
К 29

Катренко, А. В.
Системний аналіз : підручник / А. В. Катренко ; наук. ред. В. В. Пасічник. - Львів : Новий світ-2000, 2013. - 396 с. - (Комп’ютинґ). - ISBN 978-966-418-102-7 : 130.00 грн.

ДРНТІ	28.29
УДК	004.45(075.8)

Рубрики: Комп’ютерні науки--Інформаційні технології--Операційні системи--Навчальні видання

Системне програмне забезпечення--Підручники для вищих навчальних закладів

Кл.слова (ненормовані):
системний підхід -- системні дослідження -- прийняття рішення -- системне моделювання -- мережі Петрі -- експертні висновки
Дод.точки доступу:
Пасічник, В. В. \наук. ред.\

Примірників всього: 1
Вул. Левка Лук'яненка, 13-Б Читальний зал (1)
Вільні:
Вул. Левка Лук'яненка, 13-Б Читальний зал (1)

Знайти схожі

Барабаш, О. В.
Аналіз застосування мереж Петрі для підтримки функціональної стійкості інформаційних систем [Текст] / О. В. Барабаш, Н. В. Лукова-Чуйко, А. П. Мусієнко // Телекомунікаційні та інформаційні технології = Телекоммуникационные и информационные технологии = Telecommunication and informative technologies : науковий журнал. - 2018. - № 1. - С. 11-18. - Бібліогр. в кінці ст. . - ISSN 2412-4338

Кл.слова (ненормовані):
функціональна стійкість -- інформаційна система -- мережі Петрі -- дестабілізуючі фактори
Дод.точки доступу:
Лукова-Чуйко, Н. В.
Мусієнко, А. П.

Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі

Крывый, С. Л.
Проектирование ит-инфраструктуры [Текст] / С. Л. Крывый, С. Д. Погорелый, Н. Н. Глибовец // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2018. - № 6. - С. 141-158. - Бібліогр. в кінці ст. . - ISSN 0023-1274

Кл.слова (ненормовані):
алгебра графів -- типологія -- генетичні алгоритми -- мережі Петрі
Дод.точки доступу:
Погорелый, С. Д.
Глибовец, Н. Н.

Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільних прим. немає
Прим.1 (ГП ЧЗ) зайнятий

Знайти схожі

Крывый, С. Л.
Экосистемы программной инженерии [Текст] / С. Л. Крывый, Е. А. Гриненко // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2020. - № 4. - С. 128-143. - Бібліогр. в кінці ст. . - ISSN 0023-1274

Кл.слова (ненормовані):
екосистема -- транзиційні системи -- скінченні автомати -- часові автомати -- мережі Петрі
Дод.точки доступу:
Гриненко, Е. А.

Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі

Погорілий, С. Д.
Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах [Текст] / С. Д. Погорілий, М. С. Слинько // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2020. - № 4. - С. 196-202. - Бібліогр. в кінці ст. . - ISSN 0023-1274

Кл.слова (ненормовані):
транзиційні системи -- системи алгоритмічних алгебр -- GPGPU-системи -- мережі Петрі
Дод.точки доступу:
Слинько, М. С.

Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі

Лахно, Валерій Анатолійович.
Модель адаптивного управління правами доступу з використанням апарату мереж Петрі / В. А. Лахно, В. В. Смолій, А. І. Блозва // Кібербезпека: освіта, наука, техніка : електронне наукове видання. - 2022. - N 15. - С. 135-147, DOI 10.28925/2663-4023.2022.15.135147. - Бібліогр. в кінці ст. . - ISSN 2663-4023

Кл.слова (ненормовані):
інформаційно-освітнє середовище університету -- кібербезпека -- управління правами доступу -- політика безпеки -- математична модель -- мережі Петрі -- коригування правил
Анотація: У статті описано концептуальну модель адаптивного управління кіберзахистом інформаційно-освітнього середовища сучасного університету (ІОСУ). Мережі Петрі застосовано як математичний апарат для вирішення завдання адаптивного управління правами доступу користувачів ІОСУ. Запропоновано імітаційну модель та виконано моделювання у пакеті PIPE v4.3.0. Показано можливість автоматизації процедур коригування профілю користувача для мінімізації або нейтралізації кіберзагроз в ІОС. Запропоновано модель розподілу завдань користувача в комп'ютерних мережах ІОСУ. Модель, на відміну існуючих, побудована з урахуванням математичного апарату мереж Петрі і містить змінні, які дозволяють скоротити потужність простору станів. Доповнено метод контролю прав доступу (МКПД). Доповнення торкнулися аспектів перевірки прав доступу, які запитуються завданням та вимогами політики безпеки, ступенем узгодженості завдань та дозволених до доступу вузлів ІОСУ. Коригування правил та метрик безпеки для нових задач або перерозподілу задач описано в нотації мереж Петрі
Перейти до зовнішнього ресурсу https://csecurity.kubg.edu.ua

Дод.точки доступу:
Смолій, Віктор Вікторович
Блозва, Андрій Ігорович

Є примірники у відділах: всього 1 : Online (1)
Вільні: Online (1)

Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)