Порівняння ефективності методів інваріантного аналізу динамічних характеристик програмних компонентів
Розгляд методів інваріантного аналізу динамічних характеристик програмних компонентів для визначення мінімального набору інваріантів при розв'язанні системи лінійних діофантових рівнянь. Застосування методів для виявлення динамічних характеристик моделей.
Подобные документы
Сутність кон'юнктури ринку та кон'юнктурного аналізу. Завдання, етапи та методи аналізу і прогнозу кон'юнктури товарного ринку. Визначення ключових переваг програмних продуктів, що використовуються при прогнозуванні кон'юнктури товарного ринку.
статья, добавлен 09.12.2018Дослідження правил розв’язання системи лінійних алгебраїчних рівнянь методом Гауса, який полягає в зведенні квадратної системи до трикутного вигляду з використанням алгоритму послідовного виключення невідомих. Триангуляція матриці. Обчислення розв’язку.
лабораторная работа, добавлен 18.01.2013Розробка нейромережевих моделей динамічних об'єктів, що описуються нелінійними рівняннями в просторі станів і їх дослідження. Вивчення питань підвищення обчислювальної стійкості рекурентних алгоритмів і розробка факторизованих алгоритмів навчання.
автореферат, добавлен 28.07.2014Особливості процесу фізичного моделювання біологічного нейрона. Розширення функцій, покращення ефективності та конструктивно-технологічних характеристик оптоелектронних частотно-динамічних нейронних елементів шляхом реалізації їх на біспін-приладах.
автореферат, добавлен 25.06.2014Аналіз моделей, методів розкрою та пакування матеріалу та простору, основних існуючих обчислювальних методів, математичних моделей та методик розв’язку задач одновимірного розкрою. Метод генерації лінійних комбінацій цін матеріалу на основі бітових полів.
автореферат, добавлен 26.07.2014Встановлення властивостей динамічних коаліцій як спеціалізованого класу розподілених обчислювальних систем. Формалізація авторизаційних процесів, розробка методики реалізації систем подібного класу та демонстрація можливостей їх практичного застосування.
автореферат, добавлен 23.08.2014Графічний контролер як серце всіх мультимедіа систем, один з компонентів комп'ютера, від якого потрібно найбільша продуктивність. Загальна характеристика головних компонентів відеоплат, розгляд особливостей. Аналіз схеми за якою працює відеоконтролер.
курсовая работа, добавлен 14.11.2019Класифікація програмно-апаратних систем, які автоматизують процес аналізу подій в інформаційно-комунікаційній системі. Виявлення аномалій в ІКС на основі сигнатурних та евристичних методів. Роль аналізу вразливостей у системі моніторингу безпеки.
презентация, добавлен 14.08.2013Аналіз структури цифрових адаптивних динамічних багатовимірних прогнозуючих фільтрів (ЦАДБПФ). Шляхи підвищення точності прогнозування зміни значень параметрів динамічних об'єктів, що автоматизуються. Розроблення методики оцінювання параметрів ЦАДБПФ.
автореферат, добавлен 29.08.2015Дослідження моделі комп’ютерного аналізу первинних даних наукових експериментів. Визначення набору обчислювальних методів для адаптивної обробки результатів вимірювань у радіаційних технологіях. Вивчення та аналіз методів обробки результатів дозиметрії.
автореферат, добавлен 30.07.2015Порівняння програмних засобів, що дозволяють працювати з ілюстраціями. Засоби обробки ілюстраційної інформації в Microsoft Word. Застосування шарів у векторному графічному редакторі CorelDraw. Порівняння програмних засобів, в яких застосовуються шари.
дипломная работа, добавлен 19.11.2015Аналіз методів та формулювання принципів побудови штучних імунних і гібридних систем інтелектуального аналізу даних. Розроблення методів і засобів структурно-параметричного синтезу нейронних мереж для розв'язання задач прогнозування та класифікації.
автореферат, добавлен 20.07.2015Покращення характеристик спеціального програмного забезпечення збору та фільтрації корисної інформації для розширення можливостей адаптації та реконфігурації за призначенням і ситуацією систем прогнозування. Розгляд технічних методів інженерії знань.
автореферат, добавлен 04.03.2014Дослідження проблематики побудови захищених групових середовищах. Аналіз існуючих криптографічних алгоритмів, оцінка можливості їх застосування в ГС. Розробка програмного інтерфейсу та мережевого протоколу у відповідності до побудованого прототипу.
автореферат, добавлен 26.08.2015- 65. Визначники показників якості системи фазового автопідстроювання частоти з диференційним зв’язком
Порівняльна оцінка динамічних характеристик системи фазового автопідстроювання частоти з диференціальним зв'язком. Побудова загальнонаціональної мережі синхронізації. Підвищення динамічної точності і швидкодії системи фазового автопідстроювання частоти.
статья, добавлен 27.07.2016 Дослідження можливостей і перспектив створення спеціалізованої програмної системи з використанням спеціальних методів і алгоритмів морфологічного й синтаксичного аналізу неструктурованих текстів у службових документах. Зберігання отриманої інформації.
статья, добавлен 06.02.2017Аналіз методів і систем побудови комп’ютерних мереж. Організація паралельного моделювання об’єднаного трафіку. Покращення характеристик продуктивності й масштабованості. Підвищення адекватності імітаційних моделей, побудованих на основі маршрутних дерев.
автореферат, добавлен 19.07.2015Характеристика розв’язку системи рівнянь. Аналіз специфікації процедур та функцій. Особливість створення заставок. Лістинг проектного файлу програм та головної форми. Новий підхід для розв’язування концепції лінійних задач з невідомими за методом Гауса.
курсовая работа, добавлен 07.04.2015Дослідження методів розв’язування диференційних рівнянь у частинних похідних. Методика розв’язування диференційних рівнянь у частинних похідних. Аналіз сутності та принципів різницевого методу. Особливості розв’язання еліптичних та гіперболічних рівнянь.
лабораторная работа, добавлен 18.01.2013Оцінка основних характеристик компонентів та пристроїв формування ключової гами з динамічною реконфігурацією зворотних зв’язків. Методика дослідження ключових методів протидії хакерським атакам на рівні реалізацій пристроїв обчислювальної техніки.
автореферат, добавлен 14.09.2014Розробка математичного забезпечення алгоритмів опису та побудови геометричних моделей поверхонь поведінки динамічних систем з нечіткими параметрами та здійснення на цій основі процесу керування системою шляхом відстеження траєкторії руху "точки".
автореферат, добавлен 29.09.2015Розробка методів виявлення закономірностей функціонування компонентів корпоративної IP-мережі. Удосконалення способів пошуку замкнутих наборів елементів в задачах пошуку асоціативних правил. Побудова системи підтримки прийняття рішень для персоналу.
автореферат, добавлен 14.07.2015Можливості використання наявних чисельних методів аналізу моделей. Розробка алгоритмів адаптації методів для типових класів моделей заданої предметної області. Дослідження працездатності розроблених симуляторів та алгоритмів їхнього функціонування.
автореферат, добавлен 30.08.2014Огляд основних методів визначення ефективності роботи підприємства. Особливості застосування математичних методів в економічному аналізі. Побудова багатофакторної регресійної моделі прогнозування показників. Розробка інтерфейсу інформаційної системи.
курсовая работа, добавлен 21.09.2015Розробка моделей контролю геометричних характеристик об'єктів зі складною просторовою поверхнею, методів підвищення точності програмного переміщення чутливого елемента вимірювального пристрою, алгоритмів зменшення впливу дестабілізуючих факторів.
автореферат, добавлен 25.07.2014