Логічний аналіз протоколів мереж ЕОМ на основі моделі взаємодіючих автоматів
Конструктивний метод аналізу протокольних специфікацій на основі стиснення логічної структури еквівалентними перетвореннями. Метод ідентифікації ситуацій експоненціального переповнення мережі необробленими кадрами даних. Перевірка коректності протоколу.
Подобные документы
Розробка математичної моделі специфікації вимог до програмного забезпечення, прогнозування характеристик ПЗ на основі аналізу специфікацій та математичної моделі процесу прогнозування характеристик ПЗ, в основі якої лежить штучна нейронна мережа.
статья, добавлен 13.10.2016Підвищення ефективності функціонування територіально розподілених технічних систем. Вдосконалення керування інформаційним обміном між об’єктами. Автоматизоване управління у розподілених технічних системах на основі специфікованих протокольних автоматів.
автореферат, добавлен 27.07.2014Методика багаторівневого ієрархічного і логічного синтезу асинхронних автоматів і надвеликих інтегральних схем. Проектування мікропрограмних пристроїв управління НВІС на засаді синхронних автоматів. Розробка мов опису проектних логічних специфікацій НВІС.
автореферат, добавлен 21.11.2013Дослідження принципів роботи безпровідних мереж різних стандартів. Опис технологій передавання даних. Знаходження шляхів покращення технічних характеристик бездротової мережі того чи іншого стандарту. Поліпшення якості передавання мережних даних.
автореферат, добавлен 29.07.2015Викладення процесу моделювання протоколів інформаційного обміну й аналізу ефективності телекомунікаційних систем на основі комплексного використання Е-мереж і ймовірносно-часових графів. Методичний апарат, що дозволяє проводити такий аналіз протоколів.
автореферат, добавлен 06.07.2014Вирішення науково-технічної проблеми підвищення ефективності програмних засобів стиснення графічних даних в комп'ютерних системах передачі та зберігання інформації у базах даних. Створення методу стиснення зображень, який має кращу швидкодію декомпресії.
автореферат, добавлен 26.08.2015Розробка моделі нейромережевої автоасоціативної пам'яті на основі нечітких базисних функцій. Удосконалення методу самонавчання тришарової нейронної мережі. Підвищення точності та швидкості прогнозування й ідентифікації нелінійних нестаціонарних об'єктів.
автореферат, добавлен 28.08.2015Характеристика протоколу контролю передачі даних (TCP). Ієрархія протоколів, маршрутизація TCP/ІP, ІP адресація й імена об'єктів у мережі Іnternet. Реалізація TCP/ІP для Wіndows, атаки на мережі і захист від них. Пророкування TCP sequence number.
курсовая работа, добавлен 01.03.2011Розробка моделі користувача Інформаційних мереж як поганоформалізованого об’єкта. Методи кластерного аналізу та зростаючих пірамідальних мереж для побудови формалізованої моделі користувача Інформаційних мереж. Метод q-аналізу і його особливості.
статья, добавлен 14.01.2017Застосування нейромережевих технологій для реалізації режиму реального часу при обробці даних дистанційного зондування Землі у бортовій апаратурі. Метод інтелектуальної обробки ДЗЗ із застосуванням алгоритму стиснення зображення на основі нейромережі.
статья, добавлен 14.07.2016- 11. Моделі та алгоритми візуалізації багатовимірних даних на основі автоасоціативних нейронних мереж
Аналіз існуючих підходів до розв’язання задачі візуалізації багатовимірних даних, їх порівняння та визначення властивих їм обмежень та недоліків. Розробка архітектури нейронної мережі для зменшення розмірності багатовимірних даних із підвищеною якістю.
автореферат, добавлен 27.07.2014 Аналіз сучасних методів фоноскопічної ідентифікації. Розширення можливості проведення фоноскопічної ідентифікації людини скороченням обсягу і аналізом спотвореного мовного матеріалу за новим методом ідентифікації на основі індивідуального мовного коду.
автореферат, добавлен 28.08.2014- 13. Глобальні мережі
Поняття та структура глобальних мереж, їх функціональні особливості та відмінності від локальних. Передача даних через мережу за допомогою спеціальних протоколів, місце серед них Ethernet. Архітектура протоколів для об'єднаної мережі TCP/IP, їх переваги.
статья, добавлен 07.07.2017 Концептуальне та логічне проектування навчальної бази даних "Ведення обліку обслуговування клієнтів стоматологічного кабінету". Створення і перевірка глобальної логічної моделі даних. Обговорення глобальної логічної моделі даних з користувачами.
курсовая работа, добавлен 20.02.2010Побудова формальних специфікацій за неформальними вимогами генерація набору тестів, синтез архітектурної моделі і перевірка властивостей. Прототипи програм верифікації формальних специфікацій і символьної генерації в системі інсерційного програмування.
автореферат, добавлен 30.07.2014Посимвольне стиснення інформації в адресних базах даних (БД) на основі модифікованого алгоритму Хаффмана. Обґрунтування використання алгоритму для покращення показників ефективності стиснення даних в БД для зменшення вартості їх зберігання та передачі.
статья, добавлен 30.01.2017Метод ефективного кодування та відтворення знань на основі морфологічного та семантичного аналізу текстових даних і аналізу складних інформаційних об'єктів. Аналіз статистик для характеристик релевантності та швидкості алгоритмів обробки інформації.
автореферат, добавлен 27.02.2014Ущільнення даних як загальна вимога для більшості прикладних програм та важливий напрям досліджень в галузі комп’ютерної науки. Змінення моделі надлишковості інформації на основі властивостей вхідних даних - характерна особливість адаптивних методів.
статья, добавлен 06.03.2018Порівняння ефективності тесту хі-квадрат і методів на основі нейронної мережі в оцінці випадковості числових послідовностей. Генерація випадкових наборів даних, створення та навчання моделей нейронних мереж, а також комплексний аналіз їх ефективності.
статья, добавлен 18.05.2024Підвищення якості інтелектуальної обробки даних у автоматизованих інформаційних бібліотечних системах. Розробка логічної мережі для синтаксичного аналізу, моделі обробки текстової інформації у документах з використанням єдиного математичного апарату.
автореферат, добавлен 19.07.2015Проведено аналіз різних алгоритмів класифікації даних, описано актуальність проведення наукового дослідження в цьому напрямі. Для аналізу було вибрано класифікатори на основі методів статистики, нейронних мереж та засновані на машинному навчанні.
статья, добавлен 22.10.2023Розробка паралельного алгоритму стиснення зображень jpeg, який реалізовано у вигляді програмного додатку, що розрахований на багатопроцесорну ЕОМ і на систему ЕОМ, об’єднаних в кластер. Вирішення практичних задач, пов’язаних з архівацією зображень.
статья, добавлен 23.12.2016Розробка та реалізація моделі даних та механізмів їхнього оброблення для забезпечення роботи LIN-протоколу на базі автомобільних мікроконтролерів AVR. Організація обміну даними в LIN кластері. Вивчення структури LIN моделі даних для Master-вузла.
статья, добавлен 26.01.2017Розробка методу й апаратно-програмних засобів підвищення ефективності обробки великих масивів даних у комп'ютерній мережі на основі нових підходів до архітектури систем та раціонального розміщення ресурсів. Розпаралелення алгоритмів керування даними.
автореферат, добавлен 30.08.2014Побудова логічної структури бази даних на основі ER-моделі. Автоматичні коригування інформації у концепціях інформаційної системи. Засоби автоматизації управління порядком. Реалізація сукупності показників засобами прикладного програмного забезпечення.
курсовая работа, добавлен 04.10.2015