Порівняння ефективності методів інваріантного аналізу динамічних характеристик програмних компонентів
Розгляд методів інваріантного аналізу динамічних характеристик програмних компонентів для визначення мінімального набору інваріантів при розв'язанні системи лінійних діофантових рівнянь. Застосування методів для виявлення динамічних характеристик моделей.
Подобные документы
Методика аналізу адекватності відображення динамічних нечітких процесів, оптимізації ресурсів штучних нейронних мереж та вибору альтернатив взаємодії систем обчислювального інтелекту. Закони та механізми машинного навчання радіально–базисних структур.
автореферат, добавлен 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- 34. Методи і моделі системологічного імітаційного моделювання розробки компонент інформаційних систем
Побудова імітаційних моделей з використанням системно-об’єктного підходу та методів моделювання складних інформаційних програмних систем та їхніх компонентів на базі УФО-технології. Удосконалення математичного апарату для моделювання бібліотек даних.
автореферат, добавлен 27.08.2014 Практична реалізація сукупності моделей, методів і алгоритмів, що можуть бути застосовані при розв’язанні задачі побудови системи захисту інформації, оброблюваної в ІС з відкритою архітектурою, базуються на методах логіко-імовірнісної теорії безпеки ССС.
автореферат, добавлен 28.06.2014Аналіз основних етапів і методів побудови нейронних мереж прямого поширення та обґрунтування еволюційного підходу для синтезу нейромоделей. Розробка основних програмних засобів для синтезу розпізнаючих моделей об’єктів на основі запропонованих методів.
автореферат, добавлен 26.08.2015Створювання шаблонів відгуків із різними наборами полів та різним типом кожного із них. Реалізація функціональності зберігання та опрацювання динамічних станів сутності відгуку в межах програмної системи. Графічний редактор графу переходів станів.
статья, добавлен 29.03.2020Метод обробки вихідних сигналів при визначенні технічного стану динамічних систем (ДС). Оптимальні методи обробки вихідних сигналів для випадку нормальних розподілів перешкоди та параметрів контролю ДС. Оперативність визначення технічного стану ДС.
статья, добавлен 26.07.2016Розробка математичних моделей, які встановлюють залежність ефективності методів зміщеного оцінювання параметрів статистичних моделей квазістаціонарних процесів від властивостей вихідної інформації та узагальнення критерію визначення їх ефективності.
автореферат, добавлен 10.01.2014Суть методів визначення коренів рівнянь. Обчислення коренів поліномів та власних чисел матриць. Побудова графіків розв'язку системи диференціальних рівнянь. Методика наближення функцій методом поліноміальної регресії та сплайнів за допомогою Mathcad.
лабораторная работа, добавлен 23.10.2020- 41. Інструментальні засоби для дослідження та застосування методів моделювання за статистичними даними
Розроблення рекурентних алгоритмів оцінювання методів створення за статистичними даними. Порівняльне тестування видів конструювання та їх компонентів за допомогою системного комплексу. Програмні способи для розв’язання практичних задач моделювання.
автореферат, добавлен 25.08.2015 Розробка багаторівневої системи моделей програмних агентів для персоналізованого пошуку навчальних матеріалів за допомогою спільного використання методів системного аналізу IDEF0, IDEF5 і онтологій. Процес персоналізованого пошуку навчальних матеріалів.
автореферат, добавлен 30.07.2014Дослідження методів та розробка програмного продукту, який дозволятимете автоматизувати процес визначення та рекомендації вибору оптимальних мов та засобів програмування, обраних на основі аналізу поставленої задачі. Вимоги до характеристик об’єкта.
реферат, добавлен 18.05.2016Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Розробка методів інтелектуального регулювання характеристик інформаційної взаємодії. Проведення експериментальних досліджень методів і алгоритмів інтелектуального регулювання. Використання отриманих результатів під час розв’язання конкретного завдання.
автореферат, добавлен 23.08.2014Розробка програмного засобу автоматизованої системи аналізу і планування основних фондів торгівельного підприємства. Порівняння програмних засобів аналізу і планування, об'єктно-орієнтованих мов програмування. Опис розробленого програмного продукту.
курсовая работа, добавлен 12.03.2015- 47. Діагностування комп’ютерних засобів на основі інтелектуальних методів та моделей опрацювання знань
Моделі та форми подання комп’ютерних засобів у базах знань інтелектуальних систем діагностування. Розробка алгоритмів та програмних засобів дослідження характеристик баз знань предметної галузі "Інтелектуальне діагностування мікропроцесорних складових".
автореферат, добавлен 14.07.2015 Проектна процедура як володіння системним подходом стосовно аналізу програмних систем. Характеристика методів "проб і помилок", "аналогій", "морфологічного синтезу рішень". Приклад проектної процедури "Редактор текстів": зовнішня, внутрішня специфікація.
практическая работа, добавлен 06.08.2017Сутність кон'юнктури ринку та кон'юнктурного аналізу. Завдання, етапи та методи аналізу і прогнозу кон'юнктури товарного ринку. Визначення ключових переваг програмних продуктів, що використовуються при прогнозуванні кон'юнктури товарного ринку.
статья, добавлен 09.12.2018Дослідження правил розв’язання системи лінійних алгебраїчних рівнянь методом Гауса, який полягає в зведенні квадратної системи до трикутного вигляду з використанням алгоритму послідовного виключення невідомих. Триангуляція матриці. Обчислення розв’язку.
лабораторная работа, добавлен 18.01.2013