Порівняння ефективності методів інваріантного аналізу динамічних характеристик програмних компонентів
Розгляд методів інваріантного аналізу динамічних характеристик програмних компонентів для визначення мінімального набору інваріантів при розв'язанні системи лінійних діофантових рівнянь. Застосування методів для виявлення динамічних характеристик моделей.
Подобные документы
Огляд відомих методів побудови математичних моделей алгоритмів поведінки. Використання мови алгоритмічних алгебр. Розробка методу та формування схеми шляхів. Застосування операційних та перевірочних блоків. Визначення ймовірності існування переходів.
статья, добавлен 28.02.2016Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
автореферат, добавлен 28.08.2014Характеристика методів фільтрації даних отриманих з інерційного вимірювального пристрою та методів подолання дрейфу нуля гіроскопа. Розробка прототипу шолома на базі смартфону та безпровідного маніпулятора на мобільних платформах типу Android та iOS.
статья, добавлен 11.05.2018Алгоритмічні методи компенсації динамічних похибок відеозображень з вимірювальною інформацією. Використання адаптивної лінійної нейронної мережі для компенсації похибок. Визначення геометричних параметрів у робочих умовах вимірювань на виробництві.
статья, добавлен 29.06.2016Створення на одній з алгоритмічних мов програми, запуск на екран у вигляді меню з двох пунктів (обробка масиву, вихід). Визначення середнього значення елементів масивів. Зміщення дисперсії та стандартного зміщення відхилення. Коефіцієнт парної кореляції.
реферат, добавлен 06.01.2012Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Розробка методів, алгоритмів та моделей аналізу трафіку. Оптимізація пропускних здатностей ліній зв’язку та інших систем для підвищення ефективності гетерогенних комп’ютерних мереж. Методика використання рандомізованих моделей динаміки мережного трафіку.
автореферат, добавлен 30.08.2014Розробка програми "ARToolkit" для створення динамічних презентацій для навчального процесу і проведення рекламних акцій з підсистемами візуалізації і завантаження даних. Алгоритми дії системи візуалізації. Класи підсистеми обробки даних та їх властивості.
контрольная работа, добавлен 12.12.2012Аналіз інформаційних моделей автоматизованих системах остигання виливків у піщаних ливарних формах. Виявлення зв’язку між швидкістю моделей і відсотком браку на конвеєрі. Розробка динамічних моделей. Впровадження програми розрахунку ефективних параметрів.
автореферат, добавлен 27.07.2014Результати аналізу якості і ефективності управління ресурсами міського господарства. Розробка геоінформаційної аналітичної системи управління міським господарством. Оцінка ефективності моделей і методів оптимізації роботи системи газопостачання міста.
автореферат, добавлен 14.09.2015Розробка моделі для оцінки успішності проекту на основі динамічних показників. Визначення відношення зацікавлених сторін до самого проекту та змін такого відношення під впливом певних дій. Аналіз динамічного ряду визначеності під впливом різних дій.
статья, добавлен 27.07.2016Аналіз існуючих методів параметризації мовного сигналу, його цифрової обробки та розпізнавання. Розробка алгоритму попередньої обробки голосових команд, що полягає в зниженні рівня шуму і знаходженні границь слів за допомогою методів вейвлет-аналізу.
автореферат, добавлен 24.07.2014Ефективність використання статистичного методу підвищення стійкості розв’язків і алгоритму забезпечення заданої точності визначення погано обумовлених систем лінійних алгебраїчних рівнянь. Розрахунок коефіцієнту лінійного температурного розширення.
статья, добавлен 27.07.2016Вибір системи для автоматизації прийняття управлінських рішень. Визначення загальних і специфічних модулів алгоритмів розв’язання лінійних багатокритеріальних задач та формування на їх основі бази алгоритмів. Створення системи керування базою алгоритмів.
автореферат, добавлен 23.02.2014Розробка методів визначення в реальному часі характеристик нестаціонарних імпульсних потоків при наявності різких змін інтенсивності. Дослідження адаптивних методів стиску та відновлення даних, одержаних при вимірюванні потоків енергійних частинок.
автореферат, добавлен 11.11.2013Дослідження існуючих математичних моделей щодо переміщення рідкого середовища з рухомими границями. Визначення основних найбільш перспективних напрямків розвитку паралельних асинхронних і мультисіткових методів і програмних засобів для їх реалізації.
автореферат, добавлен 20.07.2015Аналіз методів обробки інформації та моніторингу дорожнього руху. Метод генерації базового кадру з урахуванням обробки даних динамічних відеообразів. Визначення дорожньо-транспортних параметрів при скануванні відеосцени в криволінійній системі координат.
автореферат, добавлен 20.07.2015Суть набору програмних засобів для проектування спільних підприємств, який містить набір для проектування одного виробництва і для визначення правил взаємодії кількох підприємств. Вирішення задач проектування матричним методом динамічного програмування.
статья, добавлен 12.08.2022Дослідження методів стеганографічного аналізу контейнерів-зображень з метою пошуку шляху їх ефективного застосування. Розробка моделі системи захисту інформації на основі взаємодії криптографічних і стеганографічних алгоритмів задля додаткового захисту.
автореферат, добавлен 11.08.2015Розробка математичної моделі специфікації вимог до програмного забезпечення, прогнозування характеристик ПЗ на основі аналізу специфікацій та математичної моделі процесу прогнозування характеристик ПЗ, в основі якої лежить штучна нейронна мережа.
статья, добавлен 13.10.2016Аналіз нових методів побудови архітектури і моделі неповнозв’язної нейронної асоціативної пам’яті, які забезпечують більшу її ємність за умови одного з архітектурних обмежень. Розробка програмних засобів для моделювання ННАП і алгоритмів навчання.
автореферат, добавлен 29.10.2015Розгляд особливостей експертних систем технічного діагностування як програмних систем. Дослідження методів формування вимог до програмного забезпечення та можливості їх застосування під час формування вимог до експертних систем технічного діагностування.
статья, добавлен 14.01.2017Розробка моделей, методів і процедур синтезу легкотестованих компонентів мереж клітинних автоматів на базі програмованих логічних інтегральних схем. Створення методів синтезу вбудованих засобів сигнатурного моніторингу для однорідних клітинних мереж.
автореферат, добавлен 30.07.2015Побудова математичної моделі розвитку онтологій. Інтеграція моделей. Розробка методів аналізу адекватності, усунення властивостей динамічної суперечливості інформації. Обґрунтування алгоритмічних та інструментальних засобів аналізу у прикладних задачах.
автореферат, добавлен 25.07.2014Аналіз задач і методів ущільнення зображень. Розробка методів, програмних модулів для виконання досліджень, оптоелектронних елементів і вузлів для систем ущільнення зображень з використанням нейронних мереж типу двовимірної карти Кохонена, їх дослідження.
автореферат, добавлен 26.08.2014