Порівняння ефективності методів інваріантного аналізу динамічних характеристик програмних компонентів
Розгляд методів інваріантного аналізу динамічних характеристик програмних компонентів для визначення мінімального набору інваріантів при розв'язанні системи лінійних діофантових рівнянь. Застосування методів для виявлення динамічних характеристик моделей.
Подобные документы
Порівняльний аналіз широко вживаних в практиці обробки геофізичної інформації методів усунення завад та альтернативних методів, заснованих на ортогональному діадному вейвлет-перетворенні. Простір ознак для опису об’єктів, що підлягають класифікації.
автореферат, добавлен 29.08.2014Аналіз методів захисту он-лайн спілкування на прикладі програм та програмних комплексів для обміну повідомленнями. Основні технології захисту особистої інформації в мережі Інтернет. Аналіз проблеми надмірного поширення персональних даних користувачами.
статья, добавлен 21.07.2018Системи лінійних алгебраїчних рівнянь. Ітераційні методи розв'язання СЛАР. Методи Зейделя, Крамера, оберненої матриці та Жордана-Гаусса. LU розклад матриці. Код програми реалізації розв'язку cистем лінійних алгебраїчних рівнянь за допомогою методу Краута.
курсовая работа, добавлен 18.08.2010Дослідження сучасних методів пошуку в геометричній області та їх взаємозв’язку із задачами аналізу динамічної обстановки. Розробка та обґрунтування методів представлення й аналізу динамічної обстановки для геоінформаційних комплексів реального часу.
автореферат, добавлен 29.07.2014Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
автореферат, добавлен 30.07.2014Застосування формальних методів аналізу даних. Роль комп’ютера у процесі розгляду інформації. Розвиток прикладних статистичних методик, направлених на дослідження природи опрацьовуваних показників із позицій визначення їхньої реальності і системності.
контрольная работа, добавлен 16.11.2016Отримання загальної передатної функції з’єднання динамічних ланок. Комп’ютерне моделювання стохастичних процесів із заданими властивостями. Розрахунок формуючого фільтра. Моделювання складних динамічних систем з стохастичними вхідними впливами.
курсовая работа, добавлен 18.10.2018Основні типи програмних шпигунів. Розробка Spyware типу "системний монітор", завданням якого є збір користувацької інформації з можливістю подальшої її обробки та передачі. Особливості роботи програмних шпигунів та проведення аналізу їх поведінки.
статья, добавлен 03.07.2022Шляхи моделювання динамічних дискретних систем, що відображують інформаційні загрози для комп’ютерів, маршрутизаторів та комутаторів. Огляд провідних спеціалізованих програмних продуктів. Умови використання розфарбованої мережі Петрі та гіперграфів.
статья, добавлен 21.02.2017Аналіз методів синтезу й оптимізації характеристик автоматів з "жорсткою" логікою, схеми яких реалізуються в гетерогенному елементному базисі. Розробка структур і методів синтезу автомата Мілі з кодуванням наборів мікрооперацій і фрагментацією змінних.
автореферат, добавлен 29.08.2014Прикладні задачі та математичні моделі динамічних об’єктів з розподіленими та зосередженими параметрами, що мають велику розмірність. Розробка алгоритмів спрощення дробово-раціональних передатних функцій високого порядку за допомогою ланцюгових дробів.
автореферат, добавлен 26.08.2015Застосування моделей та методів прийняття багатокритеріальних рішень на засаді класифікаційного аналізу слабкоструктурованих проблемних галузей. Розгляд декомпозиції цілей, формування множини критеріїв та параметричної ідентифікації функції корисності.
автореферат, добавлен 15.07.2014Сучасний стан, перспективи та тенденції розвитку пристроїв виведення динамічних зображень (екранних пристроїв). Розвиток конструкції монітора (дисплея) комп'ютера - пристрою, призначеного для виведення на екран текстової та графічної інформації.
реферат, добавлен 04.05.2020Розробка мультиагентних методів синтезу нейро-нечітких мереж для підвищення їхніх апроксимаційних та узагальнюючих здатностей. Динаміка роботи методів відбору інформативних ознак. Огляд програмних засобів для мультиагентного синтезу нейро-нечітких мереж.
автореферат, добавлен 20.07.2015Розробка класу методу адаптивно-пошукової ідентифікації нелінійних динамічних систем. Методика розрахунку апріорної та поточної ентропії. Оцінка швидкості інформаційного пошуку у квазістаціонарному режимі. Структурна схема приводу натискного гвинта.
автореферат, добавлен 26.08.2014Аналіз дослідження апаратно-програмних моделей комп'ютерного алгоритму - SH-моделей алгоритму. Основні принципи побудови псевдо SH-моделі комп'ютерного алгоритму та її застосування для дослідження програм сортування та вузлів асоціативної пам'яті.
автореферат, добавлен 29.09.2015Технологічні процеси складання, монтажу, налагодження і тестування програмних систем та комплексів. Аналіз існуючих апаратних та програмних засобів, виявлення недоліків побудови існуючого комплексу апаратно-програмних засобів, шляхи виправлення ситуації.
отчет по практике, добавлен 28.04.2014Вивчення видів шифрування та сутності електронних підписів. Правові підстави застосування криптографічних методів захисту інформації. Розгляд програмних засобів іноземних та українських розробників, що призначені для криптографічного захисту інформації.
статья, добавлен 30.07.2016Дослідження двох чисельних методів вирішення нелінійних рівнянь: половинного ділення та Ньютона. Загальний вигляд та основні властивості алгебраїчного рівняння. Теореми Декарта, Лагранжа та Гюа. Розкладення функції в ряд Тейлора, похибка методів.
курсовая работа, добавлен 18.09.2010Особливості розробки програми завантажувача операційної системи. Визначення основних напрямків і вимог, необхідних для розробки системи, мови програмування Assembler. Розробка коду програмних компонентів, їх інтеграція у єдиний продукт та схема взаємодії.
курсовая работа, добавлен 23.01.2012Моделювання цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Тестування і верифікація цифрових проектів. Трійковий метод аналізу справної поведінки. Використання багатозначних апаратних моделей компонентів.
автореферат, добавлен 25.02.2015Дослідження добових вимірів артеріального тиску шляхом застосування сучасних методів аналізу інформації на базі сплайн-перетворень. Розробка інформаційно-діагностичної автоматизованої системи обробки даних добового моніторингу артеріального тиску.
автореферат, добавлен 29.10.2015Інтегрована інформаційно-телекомунікаційна система спеціального призначення, що розробляється, ще на етапі проектування. Побудова моделей послідовностей повідомлень програмних об’єктів, синтезу логічних і тестових моделей станів та діяльностей класів.
статья, добавлен 26.07.2016Спосіб реалізації рекурентних формул на основі інтегральних методів для аналізу стійкості систем електроенергетики у програмному комплексі "Дакар", що дозволяє позбутися проблем числової стійкості при збільшенні кроку розв'язування і накопичення похибок.
статья, добавлен 25.08.2016Створення на єдиній методологічній основі нових моделей і методів інтеграції гетерогенних інформаційних систем і розподілених баз даних, інтелектуальних обчислювальних механізмів, методів і інструментальних засобів аналізу взаємозалежних задач користувача
автореферат, добавлен 27.07.2014