Логіко-алгоритмічний аналіз процесів авторизації в динамічних коаліційних системах
Встановлення властивостей динамічних коаліцій як спеціалізованого класу розподілених обчислювальних систем. Формалізація авторизаційних процесів, розробка методики реалізації систем подібного класу та демонстрація можливостей їх практичного застосування.
Подобные документы
Операції контролю та діагностики як необхідна ланка автоматизованих систем управління складними об’єктами і процесами в різних галузях людської діяльності. Аналіз методів та інструментальних засобів модельної діагностики нелінійних динамічних об’єктів.
автореферат, добавлен 29.07.2014Дослідження властивостей булевих функцій. Аналіз факторів, що впливають на ефективність їх застосування в засобах захисту інформації. Розробка організації обчислень та програмних засобів для синтезу і реалізації перетворень, що базуються на функціях.
автореферат, добавлен 26.07.2014Пошук шляхів підвищення ефективності управління децентралізованими технічними системами. Розробка методичного, математичного, алгоритмічного та програмного забезпечення для оптимізації та моделювання процесів функціонування децентралізованих систем.
автореферат, добавлен 27.08.2014Формування і комп'ютерна реалізація динамічних моделей широкого класу механічних об'єктів з розподіленими і зосередженими параметрами у системах проектування й випробовування елементів механічних конструкцій та модельної підтримки прийняття рішень.
автореферат, добавлен 06.07.2014Розробка методу ідентифікації користувачів за клавіатурним почерком в умовах невизначеності з використанням теорії нечітких множин. Аналіз існуючих методів і способів ідентифікації користувачів інформаційних ресурсів розподілених інформаційних систем.
автореферат, добавлен 25.08.2014Розробка нових методів передачі інформації із забезпеченням таких характеристик, як мобільність, висока швидкість розгортання, інтерактивність, легкість використання. Визначення шляхів використання розподілених систем в різних сферах діяльності людини.
статья, добавлен 23.02.2016Метод обробки вихідних сигналів при визначенні технічного стану динамічних систем (ДС). Оптимальні методи обробки вихідних сигналів для випадку нормальних розподілів перешкоди та параметрів контролю ДС. Оперативність визначення технічного стану ДС.
статья, добавлен 26.07.2016Аналіз методу ідентифікації процесів у багатовимірних об’єктах, що допускають лінеаризацію і працюють у режимі прямої передачі сигналу, математичними моделями не вище третього порядку, еквівалентними за частотою зрізу з урахуванням граничних умов.
статья, добавлен 27.07.2016Систематичний дескриптивний, алгоритмічний та метричний аналіз комбинаторно-алгебраїчних моделей автоматного типу деяких класів ін’єктивних дискретних перетворювачів інформації. Дослідження класу лінійних автоматів з позиції модельних задач криптографії.
автореферат, добавлен 14.08.2015Організація управління процесорами системи, яке забезпечує гнучкість, оперативність, надійність та можливість багаторежимної роботи. Розробка інженерної методики відображення алгоритмів обробки гідроакустичних сигналів на структури обчислювальних систем.
автореферат, добавлен 21.11.2013Розробка комплексу математичних моделей коливальних процесів роторних систем, які дозволяють удосконалити інструментарій комп’ютерного моделювання. Організація досліджень, випробовувань та вібродіагностики, підвищення надійності роботи цих систем.
автореферат, добавлен 26.08.2015Постановка задач детермінізації та квазідетермінізації процесів в складних системах. Новий підхід до математичного моделювання систем з частково невідомими даними на вході і на виході системи. Відтворення режиму споживання електроенергії у вузлах мережі.
автореферат, добавлен 27.08.2014Розробка нейромережевих моделей динамічних об'єктів, що описуються нелінійними рівняннями в просторі станів і їх дослідження. Вивчення питань підвищення обчислювальної стійкості рекурентних алгоритмів і розробка факторизованих алгоритмів навчання.
автореферат, добавлен 28.07.2014- 64. Метод накопичення верифікаційної інформації при виконанні верифікації в розподілених базах знань
Теорема, яка показує, що для отримання результату верифікації з високою достовірністю необхідно, щоб результати перевірок накопичувалися тільки в коректних модулях. Результати досліджень у сфері теорії діагностування розподілених обчислювальних систем.
статья, добавлен 29.06.2016 Розробка комплексу орієнтованих методів, моделей, алгоритмів та інструментальних засобів для системного логістичного аналізу й імітаційного моделювання процесів в автоматизованих багаторівневих розподілених системах. Прийняття рішень і управління в БРС.
автореферат, добавлен 15.07.2014Дослідження проблем та особливостей розподіленої розробки програмного забезпечення систем керування проектами, визначення рівнів співпраці між учасниками розподілених команд. Аналіз програмних продуктів підтримки розподілених систем керування проектами.
статья, добавлен 25.10.2016Розпаралелення процесу побудови дискретних динамічних моделей. Архітектура графічних процесорів компанії NVIDIA та технологія CUDA. Опис програмного забезпечення для побудови дискретних динамічних моделей на основі використання графічних процесорів.
статья, добавлен 29.08.2016Вивчення складних динамічних систем з розподіленими параметрами. Декомпозиція середовища на компоненти, що забезпечують комп’ютерну підтримку всіх етапів розробки паралельних моделей і симуляторів ШВМ. Визначення MIMD-процесів мінімальної гранулярності.
автореферат, добавлен 05.11.2013Побудова комп’ютерної моделі. Проведення експериментів, орієнтованих на розв’язання задач моделювання. Валідація апріорних вхідних даних. Розширення можливостей імітаційного інструментарію на основі сучасних мов та технологій розподілених обчислень.
автореферат, добавлен 14.09.2015Сутність та основні елементи розподілених мережевих систем, основи мережевої взаємодії. Моделі розподілених мережевих систем, модель взаємодії "клієнт-сервер". Концепції взаємодії та стан компонент розподіленої системи. Безпека в мережевих системах.
лекция, добавлен 30.08.2017Підвищення ефективності функціонування територіально розподілених технічних систем. Вдосконалення керування інформаційним обміном між об’єктами. Автоматизоване управління у розподілених технічних системах на основі специфікованих протокольних автоматів.
автореферат, добавлен 27.07.2014Аналіз та порівняльна характеристика підручників з інформатики для шостого класу. Ознайомлення з головними перевагами комп’ютерного супроводу професійної діяльності у сучасних освітніх установах. Визначення основних вимог до електронних підручників.
курсовая работа, добавлен 28.09.2017Шляхи підвищення структурної організації комп’ютерних мереж з багатоканальними віртуальними зв’язками і топологічною ієрархією, які гарантують необхідний рівень ефективності функціонування. Розробка теоретичних основ проектування розподілених систем.
автореферат, добавлен 30.10.2015Розроблення математичної моделі спеціалізованого редактора, реалізація якої підвищує ефективність процесів набору і редагування формул секвенційних алгоритмів. Аналіз процесів набору і редагування формул алгоритмів засобами відомих комп’ютерних систем.
автореферат, добавлен 28.06.2014Аналіз існуючих показників ефективності технічного захисту інформаційних ресурсів автоматизованих систем. Розробка систем захисту сучасних автоматизованих систем керування і оптимізація їх параметрів на базі математичного моделювання даних процесів.
автореферат, добавлен 27.04.2014