Порівняння ефективності методів інваріантного аналізу динамічних характеристик програмних компонентів
Розгляд методів інваріантного аналізу динамічних характеристик програмних компонентів для визначення мінімального набору інваріантів при розв'язанні системи лінійних діофантових рівнянь. Застосування методів для виявлення динамічних характеристик моделей.
Подобные документы
Проведення комп’ютерних експериментів з отримання перехідних характеристик окремих ланок. Проведення комп’ютерних експериментів для отримання частотних характеристик окремих ланок та їх порівняння. Перехідні характеристики складної динамічної системи.
контрольная работа, добавлен 31.05.2013Розгляд різних аспектів штучного інтелекту та його застосування в сучасному світі. Вивчення основних методів та систем штучного інтелекту. Особливості побудови математичних моделей для опису процесів навчання і функціонування штучних нейронних мереж.
статья, добавлен 29.07.2024Методика аналізу адекватності відображення динамічних нечітких процесів, оптимізації ресурсів штучних нейронних мереж та вибору альтернатив взаємодії систем обчислювального інтелекту. Закони та механізми машинного навчання радіально–базисних структур.
автореферат, добавлен 12.07.2014Створення мови формалізації досвіду експертів системи представлення й інтерпретації знань у динамічних предметних середовищах, що складає основу методології побудови моделей динамічних систем. Алгоритми оцінки динаміки функціонального стану організму.
автореферат, добавлен 07.08.2014Створення методів математичного і чисельного моделювання аномальних дифузійних процесів на основі застосування апарату варіаційних нерівностей. Розробка програмних засобів аналізу, ідентифікації і управління, які забезпечують розв’язання прикладних задач.
автореферат, добавлен 28.08.2014Аналіз відомих методів і апаратно-програмних засобів підвищення продуктивності обчислювальних систем. Розробка нових методів паралельних обчислень спеціальних функцій, рішення систем рівнянь для навігаційних задач. Обробка навігаційної інформації.
автореферат, добавлен 29.09.2015Виділення та встановлення емоційного забарвлення тексту, його категорійної приналежності. Можливості розшифрування людських мов. Порівняння ефективності методів визначення тональності тексту за часом навчання, тестування та точності класифікації.
статья, добавлен 29.10.2020Вивчення принципів к упорядкування даних за певною ознакою. Дослідження умов сортування. З’ясування сутності його видів: методів бульбашки та Шелла, швидкого, вибором і вставками. Розгляд алгоритмів, створення програм мовою Microsoft Visual C++.
курсовая работа, добавлен 20.08.2017Рішення проблем, пов'язаних з конструюванням і застосуванням алгоритмів керування та оцінювання стану динамічних систем. Асимптотична поведінка коефіцієнтів підсилення фільтра Калмана. Алгоритмічний розрахунок площини меридіана маятниковим гірокомпасом.
автореферат, добавлен 02.08.2014Характеристика об’єктної моделі мови програмування С++. Розгляд процесу визначення класу. Дослідження основних типів даних мови С++. Динамічний розподіл пам’яті. Головний аналіз статичних і динамічних змінних. Особливість обробки динамічних об'єктів.
контрольная работа, добавлен 09.04.2020- 36. Методи і моделі системологічного імітаційного моделювання розробки компонент інформаційних систем
Побудова імітаційних моделей з використанням системно-об’єктного підходу та методів моделювання складних інформаційних програмних систем та їхніх компонентів на базі УФО-технології. Удосконалення математичного апарату для моделювання бібліотек даних.
автореферат, добавлен 27.08.2014 Практична реалізація сукупності моделей, методів і алгоритмів, що можуть бути застосовані при розв’язанні задачі побудови системи захисту інформації, оброблюваної в ІС з відкритою архітектурою, базуються на методах логіко-імовірнісної теорії безпеки ССС.
автореферат, добавлен 28.06.2014Аналіз основних етапів і методів побудови нейронних мереж прямого поширення та обґрунтування еволюційного підходу для синтезу нейромоделей. Розробка основних програмних засобів для синтезу розпізнаючих моделей об’єктів на основі запропонованих методів.
автореферат, добавлен 26.08.2015Створювання шаблонів відгуків із різними наборами полів та різним типом кожного із них. Реалізація функціональності зберігання та опрацювання динамічних станів сутності відгуку в межах програмної системи. Графічний редактор графу переходів станів.
статья, добавлен 29.03.2020Метод обробки вихідних сигналів при визначенні технічного стану динамічних систем (ДС). Оптимальні методи обробки вихідних сигналів для випадку нормальних розподілів перешкоди та параметрів контролю ДС. Оперативність визначення технічного стану ДС.
статья, добавлен 26.07.2016Суть методів визначення коренів рівнянь. Обчислення коренів поліномів та власних чисел матриць. Побудова графіків розв'язку системи диференціальних рівнянь. Методика наближення функцій методом поліноміальної регресії та сплайнів за допомогою Mathcad.
лабораторная работа, добавлен 23.10.2020Розробка математичних моделей, які встановлюють залежність ефективності методів зміщеного оцінювання параметрів статистичних моделей квазістаціонарних процесів від властивостей вихідної інформації та узагальнення критерію визначення їх ефективності.
автореферат, добавлен 10.01.2014- 43. Інструментальні засоби для дослідження та застосування методів моделювання за статистичними даними
Розроблення рекурентних алгоритмів оцінювання методів створення за статистичними даними. Порівняльне тестування видів конструювання та їх компонентів за допомогою системного комплексу. Програмні способи для розв’язання практичних задач моделювання.
автореферат, добавлен 25.08.2015 Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Дослідження методів та розробка програмного продукту, який дозволятимете автоматизувати процес визначення та рекомендації вибору оптимальних мов та засобів програмування, обраних на основі аналізу поставленої задачі. Вимоги до характеристик об’єкта.
реферат, добавлен 18.05.2016Розробка багаторівневої системи моделей програмних агентів для персоналізованого пошуку навчальних матеріалів за допомогою спільного використання методів системного аналізу IDEF0, IDEF5 і онтологій. Процес персоналізованого пошуку навчальних матеріалів.
автореферат, добавлен 30.07.2014Розробка методів інтелектуального регулювання характеристик інформаційної взаємодії. Проведення експериментальних досліджень методів і алгоритмів інтелектуального регулювання. Використання отриманих результатів під час розв’язання конкретного завдання.
автореферат, добавлен 23.08.2014- 48. Діагностування комп’ютерних засобів на основі інтелектуальних методів та моделей опрацювання знань
Моделі та форми подання комп’ютерних засобів у базах знань інтелектуальних систем діагностування. Розробка алгоритмів та програмних засобів дослідження характеристик баз знань предметної галузі "Інтелектуальне діагностування мікропроцесорних складових".
автореферат, добавлен 14.07.2015 Розробка програмного засобу автоматизованої системи аналізу і планування основних фондів торгівельного підприємства. Порівняння програмних засобів аналізу і планування, об'єктно-орієнтованих мов програмування. Опис розробленого програмного продукту.
курсовая работа, добавлен 12.03.2015Проектна процедура як володіння системним подходом стосовно аналізу програмних систем. Характеристика методів "проб і помилок", "аналогій", "морфологічного синтезу рішень". Приклад проектної процедури "Редактор текстів": зовнішня, внутрішня специфікація.
практическая работа, добавлен 06.08.2017