Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем
Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
Подобные документы
Сравнение моделей надежности на основе теории динамики программных систем. Управление транспортом, связью и энергетикой. Компьютерные ошибки, потеря работоспособности систем мобильной связи и энергетических систем. Создание надежных компьютерных систем.
статья, добавлен 28.02.2016Створення моделі організації комп’ютеризованого навчання. Побудова профілю користувача з урахуванням індивідуальних психофізіологічних характеристик. Розробка інструментальних засобів. Реалізація та оцінка ефективності автоматизованих навчаючих систем.
автореферат, добавлен 26.08.2015Построение имитационных моделей больших систем и проведение машинных экспериментов с этими моделями. Рассмотрение подходов к созданию имитационных моделей. Функционирование систем массового обслуживания. Реализация процесса построения графа модели.
статья, добавлен 17.06.2018Розробка теоретичних та практичних засад контролю та керування станом екологічної безпеки кібернетичного простору з використанням теорій формальних граматик та цифрових автоматів. Основна характеристика взаємозв’язку інформаційної оборони та екології.
статья, добавлен 29.09.2016Розробка методів для автоматизації синтезу моделей. Модифікування існуючих технологій базових елементів мікроелектромеханічних систем. Аналіз імітаційної тривимірної моделі технологічних операцій виготовлення елементів мікроелектромеханічних систем.
автореферат, добавлен 28.08.2015Існуючі методи алгоритмів модулярної редукції надвеликих чисел, їх порівняльний аналіз з метою визначення найбільш швидкодіючих. Новий паралельний алгоритм модулярного експоненціювання надвеликих чисел. Порівняльний аналіз методів модулярної редукції.
автореферат, добавлен 11.11.2013Створення мови формалізації досвіду експертів системи представлення й інтерпретації знань у динамічних предметних середовищах, що складає основу методології побудови моделей динамічних систем. Алгоритми оцінки динаміки функціонального стану організму.
автореферат, добавлен 07.08.2014Дослідження проблеми розвитку комп’ютерних засобів і систем. Підвищення ефективності процесів створення систем інформатизації об’єктів народного господарства. Вивчення теорії, методів і засобів проблемної орієнтації архітектури автоматизованих систем.
автореферат, добавлен 30.10.2015Принципы системного и имитационное подхода в моделировании систем. Анализ дискретно–событийных систем и моделей, схемы алгоритма моделирования стохастических дискретно–событийных систем. Основные подходы к построению математических моделей систем.
курсовая работа, добавлен 24.01.2024- 85. Розробка математичних моделей надійності складних систем з урахуванням динаміки умов їх експлуатації
Розробка моделі обліку впливу режимів і умов експлуатації на технічний стан складних систем у вигляді багатофакторного рівняння регресії. Огляд методики оцінювання параметрів багатофакторних регресійних моделей. Прогнозування безвідмовності складних.
автореферат, добавлен 14.09.2015 Исследование и анализ развития компьютерных обучающих систем и математических моделей для их реализации. Выбор конкретных существующих математических моделей и их модификация. Реализация разработанных моделей при создании компьютерных обучающих систем.
автореферат, добавлен 18.07.2018Підходи до моделювання технологічних процесів, етапи створення математичних моделей і комп'ютерне моделювання технологічних процесів. Стрибок в розробці моделей, їх верифікації, в створенні і використанні модельно-обгрунтованих методів дослідження.
статья, добавлен 05.02.2019Ідентифікація групових переваг індивідуумів однорідної соціальної групи з використанням різних методів. Розробка моделей та інструментальних засобів вибору стратегій ефективного розподілу обмежених ресурсів з урахуванням стану зовнішнього середовища.
автореферат, добавлен 27.08.2014Розробка математичних моделей, які встановлюють залежність ефективності методів зміщеного оцінювання параметрів статистичних моделей квазістаціонарних процесів від властивостей вихідної інформації та узагальнення критерію визначення їх ефективності.
автореферат, добавлен 10.01.2014- 90. Розробка математичних моделей надійності складних систем з урахуванням динаміки умов їх експлуатації
Створення багатофакторної моделі надійності, у якій фактор-"вік" системи виділений із сукупності факторів, що визначають умови й режим експлуатації системи. Для контрольованих систем створення процедури оцінювання коефіцієнтів рівняння регресії.
автореферат, добавлен 26.07.2014 - 91. Моделі та методи автоматизації прийняття рішень з управління основною діяльністю страхової компанії
Розробка аналітичних моделей для прогнозу показників страхової діяльності. Ідентифікація параметрів моделей і перевірка їх адекватності. Аналіз алгоритмів і програм функціонування автоматизованої системи управління основною діяльністю страхової компанії.
автореферат, добавлен 25.02.2015 Наведення формальної мови для подання математичних текстів. Побудова системи комп’ютерних засобів автоматичної перевірки їх коректності. Розробка процедури пошуку виведення, оригінальної дворівневої архітектури процедури автоматичного доведення.
автореферат, добавлен 05.08.2014Аналіз ефективності комплексного тестування, захисту інформації. Реалізація модифікації хеш-алгоритмів паралельного обчислення. Використання нелінійних відтворюючих моделей. Розробка алгоритму побудови моделі визначення складності двійкової послідовності.
автореферат, добавлен 13.07.2014Побудова методів пошуку виведення в класичній логіці першого порядку. Дослідження систем логічного програмування на коректність і повноту. Модуляційні розширення числення літеральний дерев. Модифікація резолюційних стратегій і методу елімінації моделей.
автореферат, добавлен 29.07.2015Розробка моделей, методів та інструментальних засобів для комплексного організаційно-технологічного моделювання проектно-орієнтованих виробництв. Скорочення персоналу задіяного в виробничому процесі. Використання мобільних засобів автоматизації.
автореферат, добавлен 29.09.2014Розробка моделей та алгоритмів багатокритеріальної оптимізації з використанням цільового нелінійного цілочисельного програмування, що забезпечують синтез раціональних за багатьма заданими критеріями ефективності структур баз даних інформаційних систем.
автореферат, добавлен 15.07.2014Інтегрована інформаційно-телекомунікаційна система спеціального призначення, що розробляється, ще на етапі проектування. Побудова моделей послідовностей повідомлень програмних об’єктів, синтезу логічних і тестових моделей станів та діяльностей класів.
статья, добавлен 26.07.2016Розгляд методів інваріантного аналізу динамічних характеристик програмних компонентів для визначення мінімального набору інваріантів при розв'язанні системи лінійних діофантових рівнянь. Застосування методів для виявлення динамічних характеристик моделей.
статья, добавлен 28.03.2024проектування та розробка web-сервісу для автоматичної генерації, розсипки на email та перевірки PDF-сертифікатів або інших PDF-документів, який може працювати незалежно або в інтеграції з іншими програмними продуктами. Основні функції web-сервісу.
статья, добавлен 13.05.2024Рішення проблем, пов'язаних з конструюванням і застосуванням алгоритмів керування та оцінювання стану динамічних систем. Асимптотична поведінка коефіцієнтів підсилення фільтра Калмана. Алгоритмічний розрахунок площини меридіана маятниковим гірокомпасом.
автореферат, добавлен 02.08.2014