Логічний аналіз протоколів мереж ЕОМ на основі моделі взаємодіючих автоматів
Конструктивний метод аналізу протокольних специфікацій на основі стиснення логічної структури еквівалентними перетвореннями. Метод ідентифікації ситуацій експоненціального переповнення мережі необробленими кадрами даних. Перевірка коректності протоколу.
Подобные документы
Експлуатація моделі зображень на фоні довільних афінних перетворень. Методика здійснення обчислювальних реалізацій на основі штучних нейронних мереж. Реалізація інформаційно-аналітичних систем на рецепторному полі уваги високої роздільної здатності.
автореферат, добавлен 27.07.2014Особливості виконання складних запитів до даних, що зберігаються в базі даних незалежно від того, чи використовуються бази даних на основі документів, чи прості неструктуровані файли. Інструменти та основні методи інтелектуального аналізу баз даних.
статья, добавлен 20.02.2016Класифікація структурних кодів на основі базових груп. Аналіз показників оцінки потужності підмножин пріоритетів. Характеристика матрично-аналітичного методу синтезу основних шифрів. Метод мінімізації логічних функцій у формі поліномів Ріда-Мюллера.
автореферат, добавлен 15.07.2014Визначення поняття геосоціальної мережі. Аналіз статистики використання мережі Інтернет населенням України. Опис веб-додадку, призначеного для створення локальних соціальних мереж, а також функції створення окремих "кімнат" на основі спільних інтересів.
статья, добавлен 01.06.2017- 55. Підвищення безпеки та надійності доставки інформації в мережі шляхом створення каналу з шифруванням
Аналіз технологій і способів реалізації віддаленого доступу на основі VPN. Порівняння протоколів по рівнях мережевої моделі ОSI та завданнях, які вони виконують. Реалізація доступу до VPN сервера з шифруванням, використовуючи вбудовані служби й програми.
дипломная работа, добавлен 30.07.2015 Процес передачі даних в комп’ютерній мережі, їх апаратна реалізація. Функції протоколів різних рівнів: фізичного, канального, мережевого, транспортного. Процес класифікації комп’ютерних мереж. Головні вимоги до сучасних технологій обміну даними.
курсовая работа, добавлен 09.12.2013Вибір моделі геометричних перетворень як основи створення високоефективних методів класифікації, особливості завдань видобування даних. Кусковий метод побудови розділяючих поверхонь на основі формування дерева поділу на класи і матриці штрафів-заохочень.
автореферат, добавлен 24.07.2014Аналіз можливості використання різних типів нейронних мереж для розпізнавання "ідеального співрозмовника" серед користувачів соціальних мереж. Навчання нейронних мереж на основі експертних знань та модифікація класичної мережі ймовірнісного типу.
статья, добавлен 27.07.2016Підвищення надійності програмного продукту - надзвичайно важлива та актуальна наукова задача. Опис методу автоматизованої побудови сценаріїв тестування на основі розробленої моделі поведінки ПЗ з урахуванням його змінних, що скорочеє фінансові ресурси.
статья, добавлен 28.08.2016Особливості стиснення даних. Алгоритми, що забезпечують різні види стиснення даних. Створення резервних копій. Огляд розповсюджених архіваторів. Типи архівів. Основні операції над архівами. Практична робота по архівуванню та розархівуванню даних.
презентация, добавлен 04.12.2018Метод, що дозволяє провести розрахунки усереднених ваг об’єктів, що підлягають оцінюванню (альтернатив), на основі експертної інформації, матриць парних порівнянь, отриманих від групи експертів. Рівень компетентності експерта в питанні, що розглядається.
статья, добавлен 29.01.2019Розробка методів оперативного та інтелектуального аналізу даних, що є складовими систем підтримки прийняття управлінських рішень на основі реєстру сільськогосподарських тварин та реєстру зернових культур. Основні моделі та методи вирішення завдань.
автореферат, добавлен 27.08.2015Рекурентні і робастні методи кластеризації даних. Сегментація часових послідовностей в межах імовірнісного, можливісного підходів. Самоорганізація на основі модифікованої мережі Кохонена з можливістю нечіткого виведення. Методи обчислювального інтелекту.
автореферат, добавлен 14.09.2014Принципи проектування та функціонування комп'ютерних мереж, їх узагальнена структура і класифікація. Характеристика базових мережних топологій. Основні завдання корпоративних мереж. Етапи проектування мережі, аналіз та перевірка її працездатності.
курсовая работа, добавлен 17.05.2016Актуальність застосування програмного забезпечення. Порівняльний аналіз методів формальних специфікацій. Будова номінативної та метаномінативної моделей даних. Прототип реалізації аксіоматичної системи специфікацій програм над номінативними даними.
автореферат, добавлен 11.10.2011Інтернет складається з багатьох тисяч корпоративних, наукових, урядових та домашніх мереж. Об'єднання різнорідних по архітектурі мереж стало можливо завдяки протоколу IP. Протоколи Інтернету. Служби мережі Інтернет. Субкультура мережі Інтернет.
реферат, добавлен 10.01.2009Аналіз компонентів оцінювання складових економічної безпеки, вибір для їх реалізації штучних нейронних мереж на основі парадигми моделі геометричних перетворень. Розробка на основі моделі програмних засобів оцінювання ризиків при роботі з клієнтами.
статья, добавлен 14.09.2016Аналіз моделей фасувальних автоматів шляхом розщеплення вершин та дуг графів. Аналіз діаграм станів кінцевих автоматів, проектування цифрових пристроїв Active-HDL. Зниження трудомісткості розробки алгоритмів управління механізмами фасувальних автоматів.
статья, добавлен 14.01.2017- 69. Метод та засоби організації динамічної структури мобільної комп'ютерної мережі великої розмірності
Підвищення ефективності процесу маршрутизації за рахунок оптимізації динамічної структури мобільної комп'ютерної мережі великої розмірності. Метод підтримки оптимальної інфраструктури мобільної мережі з точки зору часу маршрутизації службового трафіка.
автореферат, добавлен 28.08.2015 Дослідження семантичної структури предметної галузі комплексу екологічних дисциплін. Розробка та обґрунтування формалізованої моделі процесу ідентифікації змістовних ознак екологічних лінгвістичних об’єктів на основі методу компараторної ідентифікації.
автореферат, добавлен 29.04.2014Поняття та сутність інформаційної системи. Інфологічне моделювання предметної області, створення логічної моделі. Характеристика система управління базами даних. Реалізація логічної моделі у середовищі Microsoft Access. Генерація схеми бази даних.
курсовая работа, добавлен 20.07.2014На основі проведених експериментів дослідження доцільності використання даних методів для різних типів даних та архітектури нейронних мереж. Характеристика існуючих методів оптимізації та типів розподілених обчислень для тренування нейронних мереж.
статья, добавлен 28.10.2020Аналіз методів та засобів розробки інформаційно-управляючих систем. Розробка метрики диверсності для оцінки ступеня різноманітності версій автоматів з програмованою логікою. Створення та дослідження інформаційної технології підтримки прийняття рішень.
автореферат, добавлен 14.09.2014Дослідження існуючих математичних моделей процесів маршрутизації у складних гетерогенних мережах. Розробка часткових алгоритмів динамічної маршрутизації на основі методу аналізу ієрархій з пошуком і поточною корекцією власних значень матриці ієрархій.
автореферат, добавлен 22.07.2014Проектування системи баз даних, вхідні та вихідні дані, звіти. Універсальна таблиця, виявлення аномалій. Встановлення структурних зв’язків. Побудова граф-схеми інфологічної моделі та перевірка її коректності. Середовище розробки інтерфейсу на його опис.
курсовая работа, добавлен 08.06.2017