Розглянуто один з етапів аналізу високошвидкісних комп'ютерних мереж - оцінка часу затримки передавання кадрів даних. Передавальне середовище виступає як мережа маршрутизаторів. Подано і обгрунтовано стохастичну модель оцінки часу затримки в мережі передавання даних, яка в порівнянні з відносними моделями дозволяє повніше враховувати взаємний вплив інформаційних потоків. Одержані аналітичні залежності можуть бути використані для підвищення ефективності керування навантаженням в комп'ютерних мережах.

Описано новий метод моделювання режимів ЗВІС і дискретних процесів зі складними часовими характеристиками, який грунтується на розпізнаванні форми хвилі, що реалізується за допомогою методів логічного програмування. Метод використано для побудови експериментальної системи ProWaves у сполученні з мовою VHDL. Систему використано для створення моделей динамічної пам'яті, інтерфейсної частини відеодекодера MPEG, протоколів зв'язку для транспортних систем та інших складних схем і протоколів.

Розглянуто особливості реалізації програмного забезпечення телемедичної системи клієнт-серверної архітектури щодо забезпечення надійності проходження інформації та ефективного використання каналів зв'язку.

Розглянуто систему реєстрації в комп'ютерних системах як систему реального часу. Запропоновано підхід, який дозволяє оптимізувати процес обробки потоку реєстраційних повідомлень, що дає можливість суттєво скоротити витрати ресурсів, необхідних для забезпечення відповідного рівня захищеності.

Рассмотрены архитектура сети протокола службы GPRS, процесс пакетирования данных для передачи, а также сравнительный анализ работы системы в различных режимах.

За результатами теоретичних і експериметальних досліджень запропоновано нові формальні методи вирішення відкритих проблем логічної коректності протоколів інформаційно-обчислювальних мереж. Показано, що існування в кожному циклі топології мережі хоча б одного каналу зв'язку з сингулярним алфавітом повідомлень є критерієм алгоритмічної розв'язності у ході перевірки логічної коректності протоколів зі складною топологією мережі. За допомогою цього критерію розроблено метод аналізу логічної коректності, який розширює клас перевірних протоколів. Під час розв'язання проблеми комбінаторного зростання числа аналізованих конфігурацій розроблено метод стиснення логічної структури еквівалентними перетвореннями, застосування якого скорочує число аналізованих ситуацій відносно існуючих методів більш ніж на 25 - 30 %. Під час проведення аналізу протоколів з обмеженою та необмеженою взаємодіями, через черги типу FIFO, одержано умови, які визначають класи протоколів із заздалегідь відомими властивостями. Знайдено достатню умову експоненціального переповнення мережі необробленими кадрами даних, на базі якої розроблено метод ідентифікації проблем в управлінні потоками даних у великих мережах. Запропоновані методи дозволяють розширити клас протоколів, які перевіряються, а також суттєво скоротити витрати часу та пам'яті в процесі їх аналізу.

Изложен опыт построения дистрибутива операционной системы Linux - Sirius AS Linux, ориентированного на решение задач концентрации и маршрутизации трафика в сетях TCP/IP, построенных на основе оборудования Сириус 128. В качестве особенностей полученного дистрибутива выделяется простота комплектации программами и администрирования, использование FALSH диска размером 16 МБ с эмуляцией интерфейса IDE, который, фактически постоянно находится в режиме "только чтение".

Рассмотрена проблема анализа и оценки эффективности настроек компонентов операционных систем мэйнфрейм комплексов. Исследована возможность априорной оценки эффективности подсистем планирования пакетных операционных систем в зависимости от конфигурации вычислительного комплекса и характеристик обрабатываемых им заданий. Предложена разработанная система дискретно-событийного имитационного моделирования ThruPut Simulator, получившая развитие в качестве Web-системы моделирования.

Наведено метод використання апарата E-мереж як засобу імітаційного моделювання. Введено їх розширення, призначене для створення моделей протоколів і каналу зв'язку, опису різних законів надходження міток зі зовнішнього середовища. Розвинуто методи трансляції SDL-діаграм і схем алгоритмів стосовно до E-мереж, зокрема, формалізовано перехід від автоматної моделі до імітаційної, наведеної у вигляді E-мережі, що підвищує адекватність останньої. Удосконалено метод використання апарата ймовірнісно-часових графів (ЙЧГ) як засобу аналітичного аналізу протоколів інформаційного обміну. Розроблено метод аналізу ЙЧГ, для яких є неможливим застосування еквівалентних перетворень. Наведено методику аналізу системи протоколів інформаційного обміну за комплексного використання засобів E-мереж і ЙЧГ, що дає змогу підвищити повноту аналізу систем протоколів інформаційного обміну.

Розроблено та проаналізовано способи та засоби підвищення продуктивності мобільних комп'ютерних мереж з асинхронним способом передачі інформації. Розглянуто існуючі способи та алгоритми маршрутизації в комп'ютерних мережах з метою визначення їх ефективності для розв'язання задач доставки інформації мобільним абонентським системам. Наведено структуру дерева доставки повідомлень, а також метод і алгоритм його побудови, що дає змогу скоротити час ремаршрутизації для мобільної мережі. Запропоновано та обгрунтовано вибір оптимального співвідношення між розміром кластера та міжкластерною підсистемою, що забезпечує мінімальний час ремашрутизації. Розроблено адаптивний алгоритм реконфігурації віртуального шляху, що забезпечує збереження віртуального з'єднання у разі переміщення абонентських систем. Для мобільних мереж Asynchronous Transfer Mode розроблено процедури керування віртуальними з'єднаннями, що враховують особливості запропонованих способів формування та реконфігурації віртуальних з'єднань.

Проанализировано влияние конечного размера буфера коммутатора на время выполнения сетевых транзакций. Получены аналитические зависимости расчета времени транзакций абонентов локальной сети на базе коммутаторов.

Розглянуто проблему адаптивної маршрутизації в телекомунікаційних мережах - аспект оптимізації процедур інформаційної підтримки алгоритмів маршрутизації, для вирішення якої запропоновано формальну математичну постановку та метод розв'язання цієї задачі. Метод дозволяє визначити оптимальний період сканування безпосередньо взаємодіючих вузлів мережі, затримки інформаційних трафікових повідомлень (заявок) в разі ненадійної роботи каналів зв'язку.

Проаналізовано існуючі методи групової маршрутизації, виконано їх класифікацію, визначено область застосування, основні переваги та недоліки. Запропоновано підхід до організації багатоабонентської доставки, який за рахунок формування максимально стійких віртуальних з'єднань дозволяє підвищити ефективність передачі інформації внаслідок зниження ймовірності ремаршрутизації інформації у процесі її передачі. На підставі концепції форвардингових груп обгрунтовано спосіб формування віртуального дерева доставки повідомлень, що сприяє оптимізації інформаційних потоків за умови багатоабонентської доставки повідомлень. Розроблено ефективні алгоритми багатоабонентської доставки інформації у розподілених обчислювальних системах та мережах.

Запропоновано вирішення проблеми підвищення ефективності функціонування територіально розподілених технічних систем (РТС) шляхом удосконалення процесу керування інформаційним обміном між об'єктами системи. Розроблено концептуальні засади структурної організації розподіленої багаторівневої системи керування РТС, кожний рівень якої визначається двома процесами: керуванням та організацією взаємодій. На основі подвійної інтерпретації процесів, що відбуваються в РТС створено модель протоколу (протокольний автомат - ПА). Розроблено мову первинної специфікації ПА (мову таблиць подій), що дозволяє полегшити процес специфікації та автоматизувати процедури аналізу та синтезу ПА. Встановлено, що єдина математична (автоматна) модель аналізу логічної коректності, синтезу та моделювання ПА, яка є основою процедур специфікації, забезпечує можливість створення автоматизованої системи проектування протоколів. Зазначено, що наявність такого інструмента проектування гарантує розробку логічно коректних, високоефективних та відповідних принципам організації РТС протоколів.

Запропоновано підходи щодо аналізу ефективності протоколів обміну інформацією в телекомунікаційних системах за швидкістю та вірністю передачі інформації, а також за комплексним показником, наведено вирази для їх розрахунків.

Рассмотрен способ уменьшения времени ремаршрутизации в мобильных сетях. Предложен алгоритм формирования канала передачи информации, позволяющий сократить время задержки передачи информации.

Запропоновано метод, відповідні засоби та технології організації множинного доступу до розділюваного каналу в розподілених системах і комп'ютерних мережах. Описано стековий механізм, що забезпечує рівноправне та пріоритетне обслуговування вузлів системи. Такий механізм використовується в алгоритмі оптимізації ретрансляції пакетів даних у мультипроцесорних і кластерних системах.

Запропоновано наближені формули для обчислення ймовірностей втрат різнотипових пакетів у мережах АТМ зі стратегією обмеженого часткового розподілу буфера. Описано новий підхід до вирішення проблеми розрахунку характеристик якості даної стратегії, який базується на принципах теорії фазового збільшення станів відповідного ланцюга Маркова. Наведено результати числових експериментів з використанням одержаних аналітичних залежностей.

Удосконалено математичні моделі оцінки ймовірнісно-часових характеристик етапів збору інформації про стан мережі обміну даними (МОД) та прийняття рішення з керування МОД. Розроблено метод оцінки ефективності МОД, який дозволяє враховувати цінність даних, що передаються, та можливість наявності невизначеності про стан елементів мережі. Запропоновано методи оцінки переваг під час прийняття рішення з керування МОД та наслідків прийнятого рішення, відзнаковою особливістю яких є врахування корисності одержаного у процесі управління результату та можливого часу простою мережі обміну даними. Удосконалено метод прийняття рішення під час керування якістю обслуговування, що дозволяє враховувати втрати цінної інформації за рахунок відмови в обслуговуванні та старіння інформації, що передається.

Створено дворівневу модель регіональної системи інформаційного обміну (РСІО), що дає змогу оцінити якість функціонування підсистеми передачі інформації в РСІО. Запропоновано метод аналізу варіантів побудови РСІО на базі комплексної ієрархічної багаторівневої моделі, зважаючи на топологічний, інформаційний та технічний аспекти. Наведено метод визначення імовірності доставки інформації за заданий час, який враховує різноманітність інформації та пріоритети на мережному рівні РСІО. Розроблено програмне забезпечення, що реалізує дані моделі та методи.