Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем
Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
Подобные документы
Розробка методу синтезу формальних моделей комп’ютерних програм на основі семантичних анотацій їх елементів. Розробка методу навчання інтелектуальної системи синтезу семантичних моделей програм. Структура онтології для системи синтезу моделей програм.
автореферат, добавлен 26.08.2015Розробка концепції проблемно-орієнтованої інтегрованої технології формування багатокритеріальних математичних моделей. Створення комплексу процедур формалізації постановки задачі. Запровадження інструментальних засобів автоматизованого формування моделей.
автореферат, добавлен 07.01.2014Розробка нових і удосконалення існуючих методів, моделей і алгоритмів формування зображень позакабинної обстановки в реальному масштабі часу. Створення на їх основі програмно-технічних систем для тренажерних комплексів різноманітних транспортних засобів.
автореферат, добавлен 28.08.2015Дослідження існуючих математичних моделей щодо переміщення рідкого середовища з рухомими границями. Визначення основних найбільш перспективних напрямків розвитку паралельних асинхронних і мультисіткових методів і програмних засобів для їх реалізації.
автореферат, добавлен 20.07.2015Можливості використання наявних чисельних методів аналізу моделей. Розробка алгоритмів адаптації методів для типових класів моделей заданої предметної області. Дослідження працездатності розроблених симуляторів та алгоритмів їхнього функціонування.
автореферат, добавлен 30.08.2014Розробка методів оптимізації функціонування системи управління промислових виробництв в умовах невизначеності; синтезу алгоритмів адаптації з використанням апарата багатозв’язних марківських ланцюгів. Інструментарій декомпозиції функціональних алгоритмів.
автореферат, добавлен 20.07.2015Розробка методів та алгоритмів моделювання інформаційних систем, що реалізовані на основі Web-технологій. Створення процедур оптимізації структури Web-систем. Побудова формальної моделі Web системи, аналіз її поведінки. Створення прикладної Web системи.
автореферат, добавлен 20.04.2014Методологія розроби математичних моделей та комп’ютерних технологій вирішення задач оптимального розподілу ресурсів логістичних систем. Створення алгоритмів та елементів інформаційної розробки теоретико-категорійних і множинних математичних моделей.
автореферат, добавлен 22.04.2014- 34. Діагностування комп’ютерних засобів на основі інтелектуальних методів та моделей опрацювання знань
Моделі та форми подання комп’ютерних засобів у базах знань інтелектуальних систем діагностування. Розробка алгоритмів та програмних засобів дослідження характеристик баз знань предметної галузі "Інтелектуальне діагностування мікропроцесорних складових".
автореферат, добавлен 14.07.2015 Огляд процесу розроблення моделей і алгоритмів діагностування локальних обчислювальних мереж і їх компонентів на основі послідовного застосування методологій безумовного і зондового пошуку дефектів для зменшення витрат на відновлення їх працездатності.
автореферат, добавлен 27.02.2014Розробка інформаційних технологій проектування структурно-функціональних моделей скінчених автоматів для синтезу алгоритмів автоматизованого управління технологічними процесами. Вивчення методу моделювання алгоритмів автоматизованого управління.
автореферат, добавлен 20.07.2015- 37. Розробка інтегрованих алгебро-алгоритмічних моделей: елементи теорії, інструментарій, застосування
Огляд багатопоточних засобів мов програмування. Аналіз інтегрованого інструментарію синтезу алгоритмів і програм на основі алгебро-алгоритмічних моделей. Створення алгебро-алгоритмічних моделей програм для розв’язання задач символьної мультиобробки.
автореферат, добавлен 23.08.2014 Характеристика основних методів підвищення ефективності автоматизованого діагностування цифрових систем. Розробка революційних методів генерації перевіряльних тестів і застосування більш потужної кратної стратегії спостереження вихідних сигналів.
автореферат, добавлен 20.07.2015Методи рекурсивного аналізу операційних моделей динамічних систем на основі апроксимуючих імпульсних спектрів. Оцінювання втрат інформації при апроксимації. Алгоритмізація розроблених методів. Шляхи використання програм електронного моделювання.
автореферат, добавлен 05.01.2014Характеристика інструментальних засобів управління якістю проектів. Розробка алгоритмів створення АС в організаціях ядерної енергетики. Дослідження фреймів уявлення складальних і випробувальних робіт АС. Архітектура комп’ютерної системи моніторингу.
автореферат, добавлен 28.07.2014Розробка багатотактних неперервно-дискретних систем автоматичного керування. Метод аналізу стійкості з використанням моделей простору стану із постійними комплексними коефіцієнтами. Побудова і доведення алгоритмів аналізу керованості та спостережності.
автореферат, добавлен 28.08.2014Вибір та систематизація методів аналітичного перетворення математичних моделей динамічних об’єктів. Сутність, реалізація методів аналітичного та апроксимаційного перетворення, створення структури пакету комп’ютерних програм, їх специфіка та використання.
автореферат, добавлен 28.08.2015Розробка математичних моделей та оптимізаційних алгоритмів при комплексному аналізі, проектуванні та експлуатації складних систем з високою ціною відмови. Дослідження методів підвищення їх надійності та забезпечення довготривалих термінів працездатності.
автореферат, добавлен 26.02.2015Аналіз проблем та підходів до автоматизації обробки параметрів шарів геоінформаційних систем. Розробка структури інформаційних моделей їх елементів, методів та алгоритмів ідентифікації. Головні програмні засоби для реалізації розробленої технології.
автореферат, добавлен 13.08.2015Операції контролю та діагностики як необхідна ланка автоматизованих систем управління складними об’єктами і процесами в різних галузях людської діяльності. Аналіз методів та інструментальних засобів модельної діагностики нелінійних динамічних об’єктів.
автореферат, добавлен 29.07.2014Аналіз критеріїв асимптотичної стійкості положення рівноваги нелінійної динамічної системи. Розробка методів розв’язання проблеми Ляпунова для істотно нелінійних систем. Побудова конструктивних алгоритмів аналізу та синтезу динамічних систем керування.
автореферат, добавлен 25.06.2014Аналіз відомих методів контролю та автоматичного виправлення типових помилок користувача, а також засобів реалізації методів у рамках "штатних" можливостей сучасних систем управління базами даних. Розробка засобів програмної реалізації моделей і методів.
автореферат, добавлен 28.08.2014Підвищення якості функціонування інформаційно-управляючих систем за рахунок ефективнішого використання методів оцінки нечітких моделей знань операторів. Системна інтеграція технологій штучного інтелекту з точними методами і моделями пошуку рішень.
автореферат, добавлен 26.08.2015Розробка методів, алгоритмів та моделей аналізу трафіку. Оптимізація пропускних здатностей ліній зв’язку та інших систем для підвищення ефективності гетерогенних комп’ютерних мереж. Методика використання рандомізованих моделей динаміки мережного трафіку.
автореферат, добавлен 30.08.2014Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
автореферат, добавлен 30.07.2014