Способи та засоби побудови ефективних цифрових моделей реального часу для керованих динамічних систем
Аналіз способів побудови та методів дискретизації цифрових моделей реального часу для динамічних систем. Необхідність розробки нових високоефективних способів зменшення витрат основних розрахункових ресурсів керуючих електронно-обчислювальних машин.
Подобные документы
Вибір та систематизація методів аналітичного перетворення математичних моделей динамічних об’єктів. Сутність, реалізація методів аналітичного та апроксимаційного перетворення, створення структури пакету комп’ютерних програм, їх специфіка та використання.
автореферат, добавлен 28.08.2015Технології здійснення цифрових бібліотечних проектів. Вивчення моделей формування інтегрованих цифрових ресурсів бібліотек та технологічних засобів, що використовуються для створення, підтримки і введення у суспільний обіг цифрових бібліотечних колекцій.
статья, добавлен 29.12.2017Аналіз методів побудови емпіричних моделей оптимальної складності з внутрішним паралелізм на основі генетичних алгоритмів для розробки ефективної програми реалізації, що приведе до скорочення затрат машинного часу на побудову математичної моделі.
статья, добавлен 29.06.2016Встановлення властивостей динамічних коаліцій як спеціалізованого класу розподілених обчислювальних систем. Формалізація авторизаційних процесів, розробка методики реалізації систем подібного класу та демонстрація можливостей їх практичного застосування.
автореферат, добавлен 23.08.2014Питання побудови спецпроцесорів для формування зображення об'єктів, що рухаються, у системах візуалізації реального часу, що синтезують зображення методом зворотного трасування. Аналіз алгоритму сканування простору тривимірної сцени для поверхні рельєфу.
автореферат, добавлен 27.07.2014Аналіз сучасних підходів автентифікації клієнтів в режимі реального часу та обрання текстонезалежного підходу до автентифікації по голосу. Аналіз сучасних інформаційних технологій автентифікації клієнтів в режимі реального часу, їх переваг та недоліків.
статья, добавлен 29.09.2023Аналіз сучасних підходів автентифікації клієнтів в режимі реального часу та текстонезалежний підхід автентифікації по голосу. Сучасні інформаційні технології автентифікації клієнтів в режимі реального часу (BioLink AMIS, Voice Key та VocalPassword).
статья, добавлен 10.10.2023Підвищення ефективності тестування цифрових систем. Попереднє складання словників несправностей. Процедури тестування цифрових систем за рахунок врахування ступеня підозрюваності її компонентів. Програмне забезпечення, що дозволяє здійснювати перевірку.
автореферат, добавлен 27.09.2014Розгляд методів інваріантного аналізу динамічних характеристик програмних компонентів для визначення мінімального набору інваріантів при розв'язанні системи лінійних діофантових рівнянь. Застосування методів для виявлення динамічних характеристик моделей.
статья, добавлен 28.03.2024Аналіз сучасних моделей і методів побудови та інтеграції автоматизованих систем життєвого циклу виробів промислових підприємств машинобудівної галузі. Програмні засоби аналітичного дослідження технологічних процесів підприємств та методи їх вдосконалення.
автореферат, добавлен 28.09.2015Методи дослідження технічних систем і технологічних процесів. Розробка алгоритмічних основ і програмних засобів комп'ютерного моделювання широкого класу динамічних об'єктів. Формування непараметричних математичних моделей у вигляді інтегральних рівнянь.
автореферат, добавлен 29.09.2014Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Моделювання та обробка сигналів динамічних систем операційними методами, орієнтованими на створення комплексів моніторингу. Правила побудови операційних матриць інтегрування із нецілим порядком для розширеного базису локально-імпульсних функцій.
автореферат, добавлен 25.06.2014Огляд оснащення сучасних комп’ютерів підсистемами таймерів, які відраховують поточний час. Розробка блок-схеми алгоритму та програми, що виводить на екран інформацію про встановлений формат часу годинника реального часу. Програмування будильника.
лабораторная работа, добавлен 28.07.2017Аналіз інформаційних моделей автоматизованих системах остигання виливків у піщаних ливарних формах. Виявлення зв’язку між швидкістю моделей і відсотком браку на конвеєрі. Розробка динамічних моделей. Впровадження програми розрахунку ефективних параметрів.
автореферат, добавлен 27.07.2014Аналіз методів забезпечення відмовостійкості цифрових систем керування з програмованою логікою. Удосконалення методу вибору відмовостійких систем керування з урахуванням вимог до надійності та обмежень на габаритно-масові й енергетичні характеристики.
автореферат, добавлен 11.08.2014Аналіз методів розв’язання динамічних задач із зосередженими параметрами для систем звичайних диференційних рівнянь. Пошук шляхів підвищення ефективності паралельного розв’язання лінійних задач Коші з контролем похибки на кожному кроці інтегрування.
автореферат, добавлен 25.07.2014Представлення даних у цифрових обчислювальних пристроях на базі використання р-чисел Фібоначчі. Виконання арифметичних, алгебричних операцій на базі обчислення елементів узагальнених послідовностей. Принципи побудови "фібоначчієвих" операційних пристроїв.
автореферат, добавлен 13.07.2014Характеристика основних методів підвищення ефективності автоматизованого діагностування цифрових систем. Розробка революційних методів генерації перевіряльних тестів і застосування більш потужної кратної стратегії спостереження вихідних сигналів.
автореферат, добавлен 20.07.2015Дослідження сучасного стану та методики вирішення проблеми в області розробки логічних мереж і математичних засобів для побудови їх моделей. Розробка та обґрунтування методу формального опису операцій реляційної алгебри на мові скінчених предикатів.
автореферат, добавлен 26.08.2015Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.
автореферат, добавлен 22.04.2014Можливості прискорення обробки послідовності залежних за даними операцій у неавтономному режимі шляхом паралельної обробки розрядів операндів та зменшення затримки формування проміжних результатів. Механізм забезпечення відмовостійкості потокових систем.
автореферат, добавлен 30.07.2015Постановка задачі обґрунтування вибору рішень стосовно проектування ЕОМ. Оцінка продуктивності критеріального підходу до обґрунтування вибору часових характеристик. Розробка положень більш продуктивного задачного підходу до обґрунтування вибору.
автореферат, добавлен 27.12.2015Розробка багатокрокових багатоточкових блокових методів рішення задачі Коши для звичайних диференціальних рівнянь. Теоретичне обґрунтування збіжності і стійкості розроблених методів та їх відображення на паралельних обчислювальних системах SIMD і MIMD.
автореферат, добавлен 04.03.2014Розробка високопродуктивних інформаційно-обчислювальних систем АС УПР, що працюють в умовах критичного застосування. Математичні моделі процесів, що відбуваються в них у штатних режимах та в разі виникнення екстремальних ситуацій, зокрема, конфліктів ПС.
автореферат, добавлен 29.07.2014