Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем
Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
Подобные документы
Розробка комплексу орієнтованих методів, моделей, алгоритмів та інструментальних засобів для системного логістичного аналізу й імітаційного моделювання процесів в автоматизованих багаторівневих розподілених системах. Прийняття рішень і управління в БРС.
автореферат, добавлен 15.07.2014Аналіз моделей, методів розкрою та пакування матеріалу та простору, основних існуючих обчислювальних методів, математичних моделей та методик розв’язку задач одновимірного розкрою. Метод генерації лінійних комбінацій цін матеріалу на основі бітових полів.
автореферат, добавлен 26.07.2014Розробка математичних моделей, методів й обчислювальних алгоритмів для моделювання широкого класу задач поширення акустичної енергії в нескінченних хвилеводах. Формулювання нових математичних моделей хвильових процесів. Створення програмного забезпечення.
автореферат, добавлен 12.02.2014Розроблення математичних моделей та моделей циркуляції даних (інформаційних моделей), методів і відповідних засобів моделювання зображень хімічних виразів для комп’ютерно-видавничих систем. Принцип конвертування інформаційних моделей хімічного редактора.
автореферат, добавлен 05.08.2014Удосконалення методики оцінки ефективності інформаційного пошуку. Побудова моделі поширення інформації у мережі Інтернет. Вдосконалення трирівневої системи для знаходження текстових документів. Створення метапошукової програми та інтерфейсу користувача.
автореферат, добавлен 04.03.2014Дослідження засобів опису множини варіантів комплектації виробів. Розробка математичних моделей комплектації для систем з багатоваріантними технологічними схемами. Аналіз задач і характерних особливостей цільових функцій техніко-економічного планування.
автореферат, добавлен 08.09.2013Встановлення властивостей динамічних коаліцій як спеціалізованого класу розподілених обчислювальних систем. Формалізація авторизаційних процесів, розробка методики реалізації систем подібного класу та демонстрація можливостей їх практичного застосування.
автореферат, добавлен 23.08.2014Аналіз методів ідентифікації нелінійних динамічних систем. Інформаційна оцінка якості роботи методів ідентифікації. Нелінійні елементи й динамічні системи, що включають дані елементи. Програмне забезпечення для моделювання нелінійних динамічних систем.
автореферат, добавлен 30.10.2015Аналіз і класифікація моделей, метрик і інструментальних засобів оцінки надійності програмного забезпечення інформаційних і управляючих систем критичного застосування. Пошук шляхів удосконалення методів оцінки надійності програмного забезпечення.
автореферат, добавлен 28.07.2014Оцінка якості функціонування спеціалізованих цифрових пристроїв. Аналіз сучасного стану розвитку засобів обчислювальної техніки. Розробка алгоритмів і моделей пристроїв кодування, декодування і контролю інформації для синтезованих систем числення.
автореферат, добавлен 05.08.2014Аналіз інформаційних моделей автоматизованих системах остигання виливків у піщаних ливарних формах. Виявлення зв’язку між швидкістю моделей і відсотком браку на конвеєрі. Розробка динамічних моделей. Впровадження програми розрахунку ефективних параметрів.
автореферат, добавлен 27.07.2014Розробка класу методу адаптивно-пошукової ідентифікації нелінійних динамічних систем. Методика розрахунку апріорної та поточної ентропії. Оцінка швидкості інформаційного пошуку у квазістаціонарному режимі. Структурна схема приводу натискного гвинта.
автореферат, добавлен 26.08.2014Класифікація моделей та методів дослідження виробничих систем у задачах автоматизованого управління програмою підприємства. Розробка інформаційних моделей опису виробничих систем для економічного моніторингу наукоємного високотехнологічного виробництва.
автореферат, добавлен 11.08.2014Створення моделей, алгоритмів та програмних засобів аналізу та оптимізації часових характеристик та живучості комунікаційних систем глобальних комп'ютерних мереж. Максимальний потік в комунікаційних мережах. Показники живучості при додаткових обмеженнях.
автореферат, добавлен 29.08.2013- 65. Розробка методів та програмного інструментарію створення прикладних програм для мобільних систем
Прикладні програми для мобільних систем, які враховують особливості апаратно-програмних платформ і спеціалізованих систем на їх основі. Побудова моделі прикладних програм. Перевірка її несуперечності на області програмного каркаса операційної системи.
автореферат, добавлен 29.08.2014 Використання алгоритмів локально чутливого хешування як способу збільшення повноти вибірки у процесі перевірки текстових документів системою пошуку збігів. Графічне представлення визначення коефіцієнта Жаккара. Особливості оптимізації методу шинглів.
статья, добавлен 27.07.2016Аналіз принципів, методів і засобів оцінки і забезпечення надійності і безпеки інформаційно-управляючих систем критичного застосування. Розробка моделей відмовобезпечних ІУС з урахуванням помилок засобів контролю і управління, процедур їх відновлення.
автореферат, добавлен 29.08.2014Розвиток інтелектуальних геоінформаційних технологій. Засоби обробки просторових даних. Розробка фаззі-моделей, заснованих на положеннях нечіткої логіки. Дослідження взаємодії асинхронних процесів. Використання програмного середовища ModelBuilder.
статья, добавлен 14.07.2016Аналіз моделей, способів та інформаційних технологій, які використовують при створенні нової техніки. Класифікація методів реінжинірингу для інтеграції комп’ютерних систем. Розробка архітектури засобів для збереження та обробки інформації в компанії.
автореферат, добавлен 26.08.2015Методика багаторівневого ієрархічного і логічного синтезу асинхронних автоматів і надвеликих інтегральних схем. Проектування мікропрограмних пристроїв управління НВІС на засаді синхронних автоматів. Розробка мов опису проектних логічних специфікацій НВІС.
автореферат, добавлен 21.11.2013Процедури прийняття рішень, що базуються на використанні математичного моделювання. Аналіз моделей, методів, інструментальних засобів для підтримки прийняття рішень на початкових етапах життєвого циклу складних технічних систем в умовах невизначеності.
автореферат, добавлен 27.08.2015Визначення основних найдоцільніших напрямків підвищення ефективності функціонування систем діагностування технологічного обладнання. Проведення дослідження властивостей і можливостей існуючих критеріїв оцінювання ефективності технологічного обладнання.
автореферат, добавлен 12.11.2013Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Аналіз сучасних моделей і методів побудови та інтеграції автоматизованих систем життєвого циклу виробів промислових підприємств машинобудівної галузі. Програмні засоби аналітичного дослідження технологічних процесів підприємств та методи їх вдосконалення.
автореферат, добавлен 28.09.2015Аналіз архітектур інформаційно-управляючих систем, важливих для безпеки АЕС, а також методів і засобів забезпечення надійності таких систем. Удосконалення моделей надійності одноверсійних структур та методу оцінки інформаційно-управляючих систем.
автореферат, добавлен 11.08.2014