Логічний аналіз протоколів мереж ЕОМ на основі моделі взаємодіючих автоматів
Конструктивний метод аналізу протокольних специфікацій на основі стиснення логічної структури еквівалентними перетвореннями. Метод ідентифікації ситуацій експоненціального переповнення мережі необробленими кадрами даних. Перевірка коректності протоколу.
Подобные документы
- 101. Локальні мережі
Сутність та значення обчислювальних й локальних мереж та систем, область їх застосування і відмінні риси, передаюче середовище, метод доступу, керуючі вузли. Характеристика основних топологій мереж. Аспекти автоматизації обліково–обчислювальних робіт.
реферат, добавлен 26.02.2011 Використання протоколів авторизації та автентифікації в різних сервісах, гарантії захисту, які вони можуть надавати. Розробка рекомендацій з реалізації та пошуку вразливостей методом тестування на проникнення Web-сервісів в контексті протоколу OАuth 2.0.
статья, добавлен 26.12.2023Аналіз побудови сучасних телекомунікаційних мереж. Визначення напрямів мінімізації затримки інформації. Розробка методики розрахунку кількості управляючої інформації на основі інформаційно-ентропійного методу для залежних контрольованих об'єктів.
автореферат, добавлен 25.07.2015Аналіз методів і систем побудови комп’ютерних мереж. Організація паралельного моделювання об’єднаного трафіку. Покращення характеристик продуктивності й масштабованості. Підвищення адекватності імітаційних моделей, побудованих на основі маршрутних дерев.
автореферат, добавлен 19.07.2015Архітектура програмного забезпечення диспетчерського тренажера. Відомі методи рішення завдань багатокритеріального вибору. Дослідження чутливості методу до помилок вихідних даних. QR-алгоритм зі зсувом з корекцією помилок на проміжних етапах обчислень.
автореферат, добавлен 25.08.2015Перевірка працездатності інформаційної технології для аналізу та прогнозування часових рядів з фрактальними властивостями і програмних реалізацій на реальних даних. Дослідження можливості забезпечення об’єктивності під час проведення прогнозування.
статья, добавлен 03.11.2020Етапи розрахунку метрик маршрутів з маршрутизатора R_2_12_1 до всіх під мереж відповідно до схеми. Визначення параметрів адресації мережі, інтерфейсів пристроїв. Створення проекту мережі, налагодження адресації інтерфейсів станцій , маршрутизаторів.
лабораторная работа, добавлен 08.05.2013Оцінка доцільності використання спеціалізованих логічних функцій у системах захисту інформації. Розробка методу підвищення швидкодії систем захисту інформації на основі використання спеціалізованих логічних функцій криптографічного перетворення.
автореферат, добавлен 25.08.2015Розробка, дослідження алгоритмів фільтрації зображень, спотворених шумом, на основі адаптації до локальної структури з використанням робастних оцінок параметрів моделі зображення. Піраміда зображення з роздільною здатністю на основі робастної регресії.
автореферат, добавлен 12.02.2014Методи та розроблені на їх основі алгоритми обробки даних. Методи обробки нечітких та неповних даних в Єдиній автоматизованій інформаційній системі митної служби. Можливості прийняття рішення на основі якісно-кількісних характеристик вхідної інформації.
автореферат, добавлен 28.08.2013Розгляд методу для прогнозування виникнення дорожньо-транспортної пригоди в конкретному транспортному вузлі на основі нейронних мереж. Виявлення істотних факторів, що сприяють аварії. Навчання та тестування двох нейронних мереж з різними архітектурами.
статья, добавлен 11.07.2023Методи та засоби стеганографічного захисту інформації на основі вбудовування даних у фрактальний код зображень і удосконалення методу з адаптацією на основі апроксимованої цільової функції. Впровадження результатів і перевірка на практиці їх ефективності.
автореферат, добавлен 20.07.2015Методика проведення порівняльного аналізу визначених кортежів за допомогою алгебри Жегалкіна, визначення значень корегуючих констант для формування вихідної кодової інформації шифратора, побудови моделі цифрового багатофункціонального обчислювача.
статья, добавлен 30.08.2016Методика аналізу адекватності відображення динамічних нечітких процесів, оптимізації ресурсів штучних нейронних мереж та вибору альтернатив взаємодії систем обчислювального інтелекту. Закони та механізми машинного навчання радіально–базисних структур.
автореферат, добавлен 12.07.2014Аналіз предметної області, на основі якого визначено основні сутності індексів космічної погоди, їх атрибути та зв’язки між ними. Побудова ER-діаграми та розробка логічної схеми бази даних інтелектуальної системи дослідження параметрів космічної погоди.
статья, добавлен 26.03.2024Задача розподілу потоків в мультисервісній мережі (МСМ). Побудова оптимальних віртуальних маршрутів. Кількість вузлів комутації, місця їх розташування, матриця тяжінь між ними. Аналіз виникнення події хендовер, введення функції, проведення її моделювання.
статья, добавлен 14.07.2016Проєктування та оцінка інтелектуальної системи, яка з використанням алгоритмів Identity та Access/Refresh JWT токенів забезпечує швидкі та максимально безпечні функції реєстрації, автентифікації та опрацювання різних сеансів користувачів системи.
статья, добавлен 26.02.2024Підходи до проектування інформаційного забезпечення ІСУ РІМ з метою створення єдиного інформаційного ресурсу для виконання раціональної обробки даних. Метод вирішення задачі ідентифікації стану потокорозподілу як засіб раціональної обробки даних.
автореферат, добавлен 13.07.2014Розробка моделі рельєфу, орієнтованої на метод зворотного трасування для використання в системах візуалізації. Алгоритми роботи спецпроцесорів у реальному часі (структурні і функціональні схеми). Перевірка моделей і алгоритмів шляхом моделювання.
автореферат, добавлен 27.04.2014Розробка проекту комп’ютерної мережі Frame Relay, яка забезпечує можливість передачі даних з комутацією пакетів через інтерфейс між пристроями користувача (наприклад, маршрутизаторами, мостами, головними обчислювальними машинами) та обладнанням мережі.
дипломная работа, добавлен 19.04.2011Аналіз апарату системних мереж як одного з найбільш поширених способів представлення знань. Основна концепція семантичних структур, на основі якої можлива побудова моделей представлення слабо формалізованих умінь, придатних для побудови складних систем.
статья, добавлен 27.07.2016Логічна структура реляційної бази даних, її компоненти та функціональні особливості, головні вимоги. Розробка додатку, який зміг її обслуговувати і виконувати ряд операцій. Опис програмного забезпечення для роботи з базою даних, їх візуальних форм.
курсовая работа, добавлен 23.12.2015Застосування мови VHDL для проектування комп’ютерних систем. Проектування комбінаційних схем, цифрових автоматів. Варіанти побудови процесу проектування цифрового пристрою на базі ПЛІС. Перехід синтезної моделі до логічної структури та бітового потоку.
контрольная работа, добавлен 08.09.2011Аналіз появи та розвитку мереж трансферу технологій в ЄС. Причини створення та подальший розвиток таких мереж, як EBN, IRC, IRE та EEN. Головні завдання та цілі кожної мережі. Тематичні мережі та проекти Єврокомісії, технічне сприяння і підвищення якості.
статья, добавлен 22.08.2018Сучасні технології проведення інформаційного аналізу. Особливості моделювання динамічних систем і процесів за допомогою інтерпретації мереж Петрі. Доцільність використання ієрархічного підходу до проектування шляхів ліквідації надзвичайних ситуацій.
статья, добавлен 25.10.2016