Логіко-алгоритмічний аналіз процесів авторизації в динамічних коаліційних системах
Встановлення властивостей динамічних коаліцій як спеціалізованого класу розподілених обчислювальних систем. Формалізація авторизаційних процесів, розробка методики реалізації систем подібного класу та демонстрація можливостей їх практичного застосування.
Подобные документы
Розвиток методології і розроблення теоретичних засад формалізації та організації руху даних в розподілених комп'ютерних системах. Аналіз існуючих технологій проектування, діагностування та моделювання РКС. Формалізація характеристик системних об'єктів.
автореферат, добавлен 29.09.2014Аналіз структури цифрових адаптивних динамічних багатовимірних прогнозуючих фільтрів (ЦАДБПФ). Шляхи підвищення точності прогнозування зміни значень параметрів динамічних об'єктів, що автоматизуються. Розроблення методики оцінювання параметрів ЦАДБПФ.
автореферат, добавлен 29.08.2015Передумови виникнення розподілених систем. Ріст продуктивності в комп'ютерних мережах. Сутність розподілених систем, їх застосування, переваги та недоліки. Класифікація розподілених систем та їх характеристика: суперкомп'ютер, паралельний комп’ютер, ін.
лекция, добавлен 30.08.2017Аналіз доцільності онтологічного моделювання як етапу розробки метамоделей програмних систем. Способи створення онтології топології обчислювальних вузлів розподілених ПС. Особливості визначення правил граматики метамоделей як функціональної властивості.
статья, добавлен 22.12.2016Аналіз процесів паралельно-ієрархічного (ПІ) перетворення, які базуються на новій багаторівневій концепції організації обчислень, їх складність. Оцінка продуктивності апаратного забезпечення ПІ обчислювальних систем на основі GPU-орієнтованої платформи.
статья, добавлен 28.02.2017Дослідження та аналіз різних систем автоматизації бізнес-процесів, зокрема обліку й продажу товарів, електронної комерції. Аналіз проблем та практики застосування інноваційних підходів до реалізації інформаційних систем підтримки електронного бізнесу.
статья, добавлен 22.09.2024Дослідження класу некомутативних гіперкомплексних числових систем (ГЧС) четвертої вимірності, які побудовано за допомогою некомутативної процедури подвоєння Грасмана-Кліфорда систем другої вимірності. Методи обчислення таких алгебраїчних характеристик.
статья, добавлен 30.08.2016Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Специфіка побудови систем підтримки прийняття рішень на основі комп’ютерного моделювання та прогнозування нестаціонарних процесів. Дослідження основних підходів до автоматизації пошуку класу і структури проектів. Умови вибору стохастичних трендів.
автореферат, добавлен 30.08.2014Аналіз інформаційних моделей автоматизованих системах остигання виливків у піщаних ливарних формах. Виявлення зв’язку між швидкістю моделей і відсотком браку на конвеєрі. Розробка динамічних моделей. Впровадження програми розрахунку ефективних параметрів.
автореферат, добавлен 27.07.2014Методи рекурсивного аналізу операційних моделей динамічних систем на основі апроксимуючих імпульсних спектрів. Оцінювання втрат інформації при апроксимації. Алгоритмізація розроблених методів. Шляхи використання програм електронного моделювання.
автореферат, добавлен 05.01.2014Огляд новітніх процесів створення програмної складової інформаційних технологій, здатної пристосовуватися до національно-культурних обмежень. Методики, методи та схеми побудови різновидів програмних систем, що функціонують за Еталонною моделлю POSIX-OSE.
автореферат, добавлен 28.07.2014Моделювання та обробка сигналів динамічних систем операційними методами, орієнтованими на створення комплексів моніторингу. Правила побудови операційних матриць інтегрування із нецілим порядком для розширеного базису локально-імпульсних функцій.
автореферат, добавлен 25.06.2014Розробка концепції моделювання механізмів процесного менеджменту інформаційних систем управління. Дослідження методів розрахунку й аналізу ефективності реалізації бізнес-процесів. Створення структури комплексу інформаційної підтримки прийняття рішень.
автореферат, добавлен 30.08.2013Сучасні високопродуктивні обчислювальні системи і паралельні методи розв’язання динамічних задач із зосередженими параметрами. Паралельні неявні однокрокові методи чисельного розв’язання жорстких задач та їх реалізація в багатопроцесорних структурах.
автореферат, добавлен 29.08.2015Концепція єдиного підходу до імітаційного моделювання електронних систем, яка основана на особливостях вибраного класу об'єктів моделювання, засобах імітаційного моделювання, урахуванні структури середовища та використанні розподілених ресурсів. Мережа ЕО
автореферат, добавлен 05.01.2014Розробка методів передачі інформації в розподілених системах із забезпеченням таких характеристик, як мобільність, висока швидкість розгортання, інтерактивність, легкість використання. Використання таких систем в різних галузях життєдіяльності людини.
статья, добавлен 23.02.2016Створення на єдиній методологічній основі нових моделей і методів інтеграції гетерогенних інформаційних систем і розподілених баз даних, інтелектуальних обчислювальних механізмів, методів і інструментальних засобів аналізу взаємозалежних задач користувача
автореферат, добавлен 27.07.2014Розгляд методів інваріантного аналізу динамічних характеристик програмних компонентів для визначення мінімального набору інваріантів при розв'язанні системи лінійних діофантових рівнянь. Застосування методів для виявлення динамічних характеристик моделей.
статья, добавлен 28.03.2024Аналіз критеріїв асимптотичної стійкості положення рівноваги нелінійної динамічної системи. Розробка методів розв’язання проблеми Ляпунова для істотно нелінійних систем. Побудова конструктивних алгоритмів аналізу та синтезу динамічних систем керування.
автореферат, добавлен 25.06.2014Аналіз особливостей організації обчислювальних процесів у кластерних системах з мультиядерною архітектурою, які пов’язані з ускладненням структурної організації системи. Класифікація та характеристика методів організації взаємодії паралельних процесів.
автореферат, добавлен 27.08.2015Засоби підвищення продуктивності обчислювальних систем. Методи паралельних обчислень спеціальних функцій та систем рівнянь для навігаційних задач. Розробка високопродуктивних обчислювальних систем для обробки навігаційної інформації з високою точністю.
автореферат, добавлен 25.02.2015Розробка моделі просторового графа синхронних потоків даних. Алгоритмізація їх обробки у паралельних обчислювальних системах. Застосування програмованих логічних інтегральних схем. Вирішення задач лінійної алгебри з мінімізацією простоїв процесорів.
автореферат, добавлен 11.08.2015Сучасні технології проведення інформаційного аналізу. Особливості моделювання динамічних систем і процесів за допомогою інтерпретації мереж Петрі. Доцільність використання ієрархічного підходу до проектування шляхів ліквідації надзвичайних ситуацій.
статья, добавлен 25.10.2016Аналіз підходу до реалізації просторової інвентаризації емісій парникових газів від дорожнього транспорту. Здійснення обчислювальних експериментів з побудови просторових кадастрів емісій з використання створеного спеціалізованого програмного забезпечення.
статья, добавлен 14.09.2016