Розглянуто основні положення теорії моделювання процесів функціонування складних систем. Викладено методи формування на ЕОМ реалізації випадкових подій, величин, векторів, функцій і потоків. Висвітлено моделювання дискретних систем, що описуються ланцюгами Маркова, ймовірнісними автоматами та системами масового обслуговування. Основну увагу приділено імітаційному моделюванню: методам планування експериментів, обробки та оцінки точності результатів моделювання. Наведено алгоритми функціонування систем.

Викладено методику розробки компіляторів для мов програмування. Розглянуто загальні питання (основні відомості про процес компіляції, формальні граматики і мови), алгоритми лексичного, семантичного аналізів і генерацію коду.

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

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

На основі великого фактичного матеріалу отримано реперні оцінки параметрів анізотропії магнітної сприйнятливості. Визначено характерні риси магнітної текстури різних за генезисом та структурно-тектонічним положенням гранітоїдів. Запропоновано класифікацію порід за групами анізотропії. Виділено інформативні характеристики магнітної анізотропії. Проаналізовано анізотропію теоретичної феро-парамагнітної моделі гірської породи. Детально проаналізовано параметри анізотропії та просторову орієнтацію магнітної текстури гранітоїдів та метаморфічних утворень Середньопридніпровського блока.

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

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

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

Запропоновано метод оптимізації моделей випадкового нестаціонарного поліноміального трафіку комп'ютерних мереж.

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

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

Мета роботи - визначення основних особливостей застосування типового алгоритму вирішення завдань верифікації, побудованого на алгоритмі і загальної методики верифікації за допомогою логікоматематичної моделі нестаціонарного трафіку, побудованій методом квантування і марковській апроксимації. Багатомірний закон розподілу всіх значень агрегованого трафіку на інтервалі нестаціонарності передбачається гаусівським. Для оцінювання точності апроксимації трафіку вводиться поняття еталонного трафіку і використовується порівняння перших двох моментних характеристик обвідної модельного і еталонного трафіків. Це дозволяє порівнювати багатомірні гаусові розподіли еталонного та модельного нестаціонарного трафіку. У ролі еталонних моделей обвідної агрегованого трафіку вибрано канонічне розкладання обвідної за ступенями поліному. Для проведення верифікації отриманих моделей запропоновано у якості критеріїв адекватності моделі еталонного трафіку використовувати цільові функціонали, які визначають точність і достовірність моделювання трафіку. Проведені дослідження показали що квантування і марковська апроксимація призводять до моделей математичного сподівання нестаціонарного трафіку у вигляді лінійної комбінації експонент. Для забезпечення адекватності модельного трафіку еталонному трафіку квантовані значення повинні розглядатися як керовані змінні. При цьому початкові ймовірності станів і інтенсивності зміни трафіку виступають в ролі некерованих змінних - констант рішення оптимальних задач, які повинні бути визначені вихідними даними. Слід звернути увагу на нелінійні ефекти, пов'язані із застосуванням розкладання в ряд по показовим функціям і використанням інтенсивностей зміни трафіку як показників експонент. Застосування запропонованої системи критеріїв адекватності дозволяє всебічну перевірку адекватності моделей, дає можливість виконати також оцінку впливу некерованих змінних на оптимальні рішення. Верифікація методом перевірки моделі може істотно підвищити надійність систем для критичних застосувань - багато помилок виявляються на ранніх етапах технологічного циклу, що підвищує якість розробок.