Порівняння ефективності методів інваріантного аналізу динамічних характеристик програмних компонентів
Розгляд методів інваріантного аналізу динамічних характеристик програмних компонентів для визначення мінімального набору інваріантів при розв'язанні системи лінійних діофантових рівнянь. Застосування методів для виявлення динамічних характеристик моделей.
Подобные документы
Вибір обчислювальних методів для створення паралельних програмних комплексів аналізу перехідних режимів роботи електронних систем. Процес адаптації існуючих діакоптичних методів аналізу динамічних режимів електронних кіл до їх алгоритмічної реалізації.
автореферат, добавлен 07.03.2014Методи дослідження технічних систем і технологічних процесів. Розробка алгоритмічних основ і програмних засобів комп'ютерного моделювання широкого класу динамічних об'єктів. Формування непараметричних математичних моделей у вигляді інтегральних рівнянь.
автореферат, добавлен 29.09.2014Аналіз методів ідентифікації нелінійних динамічних систем. Інформаційна оцінка якості роботи методів ідентифікації. Нелінійні елементи й динамічні системи, що включають дані елементи. Програмне забезпечення для моделювання нелінійних динамічних систем.
автореферат, добавлен 30.10.2015Сучасні високопродуктивні обчислювальні системи і паралельні методи розв’язання динамічних задач із зосередженими параметрами. Паралельні неявні однокрокові методи чисельного розв’язання жорстких задач та їх реалізація в багатопроцесорних структурах.
автореферат, добавлен 29.08.2015Розробка тестів для практичного застосування якості працездатності пропонуємих засобів символьних перетворень для аналітичного розв’язання нелінійних диференціальних рівнянь. Моделювання динамічних процесів об’єктів високошвидкісних транспортних засобів.
статья, добавлен 29.06.2016Методи рекурсивного аналізу операційних моделей динамічних систем на основі апроксимуючих імпульсних спектрів. Оцінювання втрат інформації при апроксимації. Алгоритмізація розроблених методів. Шляхи використання програм електронного моделювання.
автореферат, добавлен 05.01.2014Вибір та систематизація методів аналітичного перетворення математичних моделей динамічних об’єктів. Сутність, реалізація методів аналітичного та апроксимаційного перетворення, створення структури пакету комп’ютерних програм, їх специфіка та використання.
автореферат, добавлен 28.08.2015Обчислення коефіцієнтів математичних моделей. Розробка програмного коду автоматизованого аналізу (у діалоговому режимі) динамічних характеристик математичної моделі заданої системи. Команди визначення передатних функцій послідовних, паралельних з'єднань.
лабораторная работа, добавлен 25.06.2015Узагальнення питання застосування різних методів програмування яке має властивості спадкування, інкапсуляції та поліморфізму при еволюційному оновленні програмних систем. Особливості складного програмування на основі компонентів повторного використання.
статья, добавлен 26.01.2017Характеристика можливостей серійних універсальних середовищ інженерних та науково-технічних обчислень для реалізації інтегральних моделей х динамічних систем. Методика розробки алгоритмів розв’язання системи інтегро-диференціальних рівнянь Вольтерри.
автореферат, добавлен 28.08.2015Аналіз особливостей формування і використання непараметричних моделей динамічних об'єктів. Розробка алгоритмів чисельної реалізації непараметричних динамічних моделей з орієнтацією на розвиток засобів комп'ютерного моделювання динамічних об'єктів.
автореферат, добавлен 14.10.2015Розробка багатокрокових багатоточкових блокових методів рішення задачі Коши для звичайних диференціальних рівнянь. Теоретичне обґрунтування збіжності і стійкості розроблених методів та їх відображення на паралельних обчислювальних системах SIMD і MIMD.
автореферат, добавлен 04.03.2014Розробка методів та засобів формування і застосування стилів програмування в дослідженні ПЗ. Комплекс інформаційно-програмних засобів, що автоматизують вирішення визначених задач. Застосування компонентів вторинного використання та успадкованого ПЗ.
автореферат, добавлен 30.07.2014Аналіз способів побудови та методів дискретизації цифрових моделей реального часу для динамічних систем. Необхідність розробки нових високоефективних способів зменшення витрат основних розрахункових ресурсів керуючих електронно-обчислювальних машин.
автореферат, добавлен 22.06.2014Створення моделей, алгоритмів та програмних засобів аналізу та оптимізації часових характеристик та живучості комунікаційних систем глобальних комп'ютерних мереж. Максимальний потік в комунікаційних мережах. Показники живучості при додаткових обмеженнях.
автореферат, добавлен 29.08.2013Аналіз критеріїв асимптотичної стійкості положення рівноваги нелінійної динамічної системи. Розробка методів розв’язання проблеми Ляпунова для істотно нелінійних систем. Побудова конструктивних алгоритмів аналізу та синтезу динамічних систем керування.
автореферат, добавлен 25.06.2014Моделювання та обробка сигналів динамічних систем операційними методами, орієнтованими на створення комплексів моніторингу. Правила побудови операційних матриць інтегрування із нецілим порядком для розширеного базису локально-імпульсних функцій.
автореферат, добавлен 25.06.2014Розпаралелення процесу побудови дискретних динамічних моделей. Архітектура графічних процесорів компанії NVIDIA та технологія CUDA. Опис програмного забезпечення для побудови дискретних динамічних моделей на основі використання графічних процесорів.
статья, добавлен 29.08.2016Операції контролю та діагностики як необхідна ланка автоматизованих систем управління складними об’єктами і процесами в різних галузях людської діяльності. Аналіз методів та інструментальних засобів модельної діагностики нелінійних динамічних об’єктів.
автореферат, добавлен 29.07.2014Класи ітераційних методів рішення систем лінійних алгебраїчних рівнянь. Критерій оцінки швидкості збіжності різних ітераційних методів. Класифікація паралельних ітераційних алгоритмів та їх переваги асинхронних ітераційних методів, їхні види і критерій.
статья, добавлен 29.07.2016- 21. Інформаційна технологія та методи аналізу сумішей сигналів на основі лінійних за параметрами моделей
Аналіз сумішей сигналів, що містять шум, методами апроксимації та виділення прихованих джерел. Удосконалення методів стійкого оцінювання параметрів лінійних моделей за наявності невизначеностей та реалізація інформаційної технології аналізу даних.
автореферат, добавлен 26.07.2014 Розробка методів непараметричної ідентифікації з метою визначення порядку диференціального оператора. Визначення основних способів створення програмних засобів реалізації розроблених методів, а також експериментальне дослідження їх ефективності.
автореферат, добавлен 29.09.2014Підвищення достовірності визначення ступеня ризику синдрому раптової смерті немовляти за рахунок розробки методів інтелектуального аналізу даних, створення на базі розроблених методів експертної системи. Розробка методів кодування для підготовки даних.
автореферат, добавлен 20.07.2015Дослідження основних принципів проектування засобів виявлення та протидії комп’ютерним атакам. Визначення й опис застосовуваних при виявленні та запобіганні мережевих атак методів і моделей. Дослідження характеристик моделей виявлення вторгнень.
статья, добавлен 24.01.2018Проведення комп’ютерних експериментів з отримання перехідних характеристик окремих ланок. Проведення комп’ютерних експериментів для отримання частотних характеристик окремих ланок та їх порівняння. Перехідні характеристики складної динамічної системи.
контрольная работа, добавлен 31.05.2013