Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем
Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
Подобные документы
Определение состава инфраструктуры объектов безопасности. Области применения предметной области информационных систем социальной безопасности. Анализ влияния сущностей социальных инфраструктур на построение концептуальных моделей информационных систем.
статья, добавлен 28.05.2018- 102. Особливості програмної реалізації розпаралелення процесу побудови дискретних динамічних моделей
Розпаралелення процесу побудови дискретних динамічних моделей. Архітектура графічних процесорів компанії NVIDIA та технологія CUDA. Опис програмного забезпечення для побудови дискретних динамічних моделей на основі використання графічних процесорів.
статья, добавлен 29.08.2016 Класифікація моделей об'єкта на основі кореляційних функцій і теоретико-числових базисів. Теоретичні основи діагностування об'єктів управління на основі кластерних моделей. Розробка діалогової системи і алгоритмів моделювання на базі кластерних моделей.
статья, добавлен 29.01.2016Розробка моделей контролю геометричних характеристик об'єктів зі складною просторовою поверхнею, методів підвищення точності програмного переміщення чутливого елемента вимірювального пристрою, алгоритмів зменшення впливу дестабілізуючих факторів.
автореферат, добавлен 25.07.2014Аналіз методів та засобів моделювання поведінки систем автоматичного керування. Дослідження моделі засобу, що реалізує процес моделювання, розробка його складових частин. Розробка обчислювальної схеми та програм моделювання систем автоматичного керування.
автореферат, добавлен 28.09.2015Практична реалізація сукупності моделей, методів і алгоритмів, що можуть бути застосовані при розв’язанні задачі побудови системи захисту інформації, оброблюваної в ІС з відкритою архітектурою, базуються на методах логіко-імовірнісної теорії безпеки ССС.
автореферат, добавлен 28.06.2014Аналіз методів побудови емпіричних моделей оптимальної складності з внутрішним паралелізм на основі генетичних алгоритмів для розробки ефективної програми реалізації, що приведе до скорочення затрат машинного часу на побудову математичної моделі.
статья, добавлен 29.06.2016Загальний огляд засобів генерації випадкових та псевдовипадкових чисел. Теорія імовірності. Метод середини квадрата. Практична реалізація лінійного конгруентного методу в стандартних бібліотеках різних компіляторів. Критерії оцінки якості алгоритмів.
дипломная работа, добавлен 22.10.2012Методи розробки систем електронного цифрового підпису, реалізація схеми ЕЦП. Створення програмного коду для алгоритму ЕЦП по Ель Гамалю і DSS/DSА. Оцінка криптографічної стійкості даних алгоритмів, їх порівняльний аналіз та перевірка на коректність.
курсовая работа, добавлен 20.11.2016Уточнення поведінкових моделей програмного забезпечення окремою операцією Model-Driven Architecture та Model-Driven Development і складовою у вирішенні завдань трансформації та верифікації моделей. Створення діаграм кооперацій відповідно до шаблонів.
статья, добавлен 28.02.2016Аналіз основних етапів і методів побудови нейронних мереж прямого поширення та обґрунтування еволюційного підходу для синтезу нейромоделей. Розробка основних програмних засобів для синтезу розпізнаючих моделей об’єктів на основі запропонованих методів.
автореферат, добавлен 26.08.2015Характеристика існуючих методів алгоритмів модулярної редукції надвеликих чисел та їх порівняльний аналіз з метою визначення найбільш швидкодіючих. Математичне обґрунтування метода Монтгомері. Паралельні алгоритми обчислення модулярного експоненціювання.
автореферат, добавлен 05.01.2014Розв'язання проблеми забезпечення безпомилковості процесу проектування реактивних алгоритмів промислового рівня складності, що передбачає розробку математичного апарату доказового проектування алгоритмів. Розробка методів синтезу автомата-розпізнавача.
автореферат, добавлен 27.04.2014Класифікація моделей за способом зображення. Аналіз відмінностей математичних та інформаційних моделей. Розгляд етапів побудови комп'ютерної моделі. Перевірка моделі за допомогою її тестування. Приклади використання неповного умовного оператора.
реферат, добавлен 22.12.2019Створення алгоритмів інтерполяції самоподібними множинами: об'єктно-орієнтований дизайн, формули для розрахунку кількості обчислювальних операцій, порівняння розроблених алгоритмів. Розробка нового засобу покращення якості збільшених зображень.
автореферат, добавлен 12.02.2014Аналіз методів верифікації Web-контенту і можливості застосування онтологічної моделі подання знань. Доведення достовірності автоматичного гібридного виведення знань. Розробка методів семантичної верифікації знань і інтерпретації верифікаційних елементів.
автореферат, добавлен 29.07.2015Моделі відмовостійких цифрових систем керування з програмованою логікою на основі частково працездатних автоматів. Процедури отримання версій за допомогою генетичних алгоритмів. Ранговий відбір індивідуумів. Створення відмовостійких цифрових систем.
автореферат, добавлен 26.07.2014Огляд відомих методів побудови математичних моделей алгоритмів поведінки. Використання мови алгоритмічних алгебр. Розробка методу та формування схеми шляхів. Застосування операційних та перевірочних блоків. Визначення ймовірності існування переходів.
статья, добавлен 28.02.2016Розробка моделей та методів алгоструктурної організації паралельних обчислювальних процесів задля підвищення ефективності роботи комп'ютерних систем. Особливості методу перетворень алгоструктурних моделей та розпаралелення обчислень в алгоструктурах.
автореферат, добавлен 29.08.2015Розгляд особливостей розробки методів структурної та параметричної адаптації моделей нечіткого виведення на основі штучних імунних систем. Знайомство з результатами роботи імунного алгоритму параметричної адаптації. Аналіз нечіткої моделі Такагі-Сугено.
автореферат, добавлен 27.08.2015Розгляд підходів до розробки та використання динамічних анімацій, комп’ютерних моделей у здійсненні фахової підготовки та підвищення якості знань випускників. Моделі організаційних систем освіти. Оволодіння навичками використання інформаційних технологій.
статья, добавлен 01.02.2019Аналіз сучасних методів проектування алгоритмів для забезпечення можливості автоматизованого перетворення та створення паралельних версій алгоритмів. Розробка методу автоматизованого виконання програм і вибору найкращого алгоритму за заданими критеріями.
автореферат, добавлен 11.08.2015Актуальність застосування програмного забезпечення. Порівняльний аналіз методів формальних специфікацій. Будова номінативної та метаномінативної моделей даних. Прототип реалізації аксіоматичної системи специфікацій програм над номінативними даними.
автореферат, добавлен 11.10.2011Аналіз методів та засобів перетворення товщини діелектричних покриттів на металевих покриттях. Розробка програмно-апаратних засобів для автоматизації процесу контролю товщини діелектричного покриття. Розрахунок параметрів вихрострумового перетворювача.
автореферат, добавлен 30.08.2014Обґрунтування необхідності підвищення ефективності методів та моделей розпізнавання електронно-оптичних зображень. Здійснення синтезу методу автоматичної класифікації чорно-білих зображень для самонастроювання електронно-оптичних систем розпізнавання.
автореферат, добавлен 28.09.2015