Доказове проектування алгоритмів функціонування реактивних систем
Розв'язання проблеми забезпечення безпомилковості процесу проектування реактивних алгоритмів промислового рівня складності, що передбачає розробку математичного апарату доказового проектування алгоритмів. Розробка методів синтезу автомата-розпізнавача.
Подобные документы
Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Дослідження методів проектування мікросмужкових фільтрів НВЧ. Розробка алгоритмів проектування допусків в залежності від технології виготовлення підсистеми мікросмужкових фільтрів з можливістю аналізу та синтезу допусків на основних етапах технології.
автореферат, добавлен 26.08.2014Розробка системи автоматизованого проектування маршрутів формування кристалів інформаційних систем. Методи виділення фактуальних знань та засоби синтезу моделей і алгоритмів. Технологічне проектування кристалів напівпровідникових інформаційних систем.
автореферат, добавлен 23.02.2014Вибір системи для автоматизації прийняття управлінських рішень. Визначення загальних і специфічних модулів алгоритмів розв’язання лінійних багатокритеріальних задач та формування на їх основі бази алгоритмів. Створення системи керування базою алгоритмів.
автореферат, добавлен 23.02.2014Розробка інформаційних технологій проектування структурно-функціональних моделей скінчених автоматів для синтезу алгоритмів автоматизованого управління технологічними процесами. Вивчення методу моделювання алгоритмів автоматизованого управління.
автореферат, добавлен 20.07.2015Проектування та розробка програмного забезпечення інформаційної системи туристичної фірми, що служить для автоматизації роботи агентства. Функціональне й інфологічне проектування системи, опис запитів, екранні форми бази даних і розробка алгоритмів.
дипломная работа, добавлен 13.06.2017Огляд основ структурного синтезу при проектуванні складних систем. Використання методу гілок та границь, знаходження максимуму функції на допустимій множині. Основи застосування процесорної технології CUDA для розв’язання складних задач проектування.
контрольная работа, добавлен 28.11.2013Об’єктно-орієнтований аналіз і процес робочого проектування. Структура даних за стосунку та розробка класів. Тестування працездатності системи класів та процес обґрунтування вибору алгоритмів. Розробка програми у вигляді гри для розважальних цілей.
контрольная работа, добавлен 08.11.2012Аналіз критеріїв асимптотичної стійкості положення рівноваги нелінійної динамічної системи. Розробка методів розв’язання проблеми Ляпунова для істотно нелінійних систем. Побудова конструктивних алгоритмів аналізу та синтезу динамічних систем керування.
автореферат, добавлен 25.06.2014Аналіз існуючих стеганографічних алгоритмів захисту інформації, оцінка їх характеристик. Розробка нових спектральних алгоритмів для розв’язання задач цифрової стеганографії. Оптимізація алгоритмів з метою ефективної реалізації в системах реального часу.
автореферат, добавлен 30.07.2014Аналіз математичного і програмного забезпечення процесів набору та редагування формул алгоритмів засобами універсальних і спеціалізованої комп’ютерних систем. Синтез та мінімізація математичного забезпечення редактора, його програмна реалізація.
автореферат, добавлен 26.07.2014Розробка методів оптимізації функціонування системи управління промислових виробництв в умовах невизначеності; синтезу алгоритмів адаптації з використанням апарата багатозв’язних марківських ланцюгів. Інструментарій декомпозиції функціональних алгоритмів.
автореферат, добавлен 20.07.2015Аналіз методів побудови емпіричних моделей оптимальної складності з внутрішним паралелізм на основі генетичних алгоритмів для розробки ефективної програми реалізації, що приведе до скорочення затрат машинного часу на побудову математичної моделі.
статья, добавлен 29.06.2016Дослідження взаємодії гвинтової пари двох спряжених поверхонь та розробка нових методів та алгоритмів геометричного проектування системи нових моделей перспективних викопувальних робочих органів коренезбиральних машин. Вдосконалення існуючих конструкцій.
автореферат, добавлен 25.06.2014Аналіз математичної моделі та алгоритмів метеорологічного прогнозування. Конструювання алгоритмів та генерація програм чисельного прогнозування погоди. Комп'ютерна реалізація методів моделювання метеорологічних процесів на відеографічному прискорювачі.
научная работа, добавлен 28.02.2016Розробка нечітких і нейро-нечітких структур та ефективних алгоритмів для реалізації регулювання характеристик інформаційної взаємодії. Експериментальне дослідження методів і алгоритмів інтелектуального регулювання. Розв’язання прикладного завдання.
автореферат, добавлен 28.10.2015Аналіз методу синтезу алгебраїчних нормальних форм булевих SAC-функцiй нульового та вищого порядкiв. Особливості розробки підходу i застосування апарату булевих функцій для аналізу i синтезу ефективних криптографічних алгоритмів захисту інформації.
автореферат, добавлен 29.08.2013Створення алгоритмів інтерполяції самоподібними множинами: об'єктно-орієнтований дизайн, формули для розрахунку кількості обчислювальних операцій, порівняння розроблених алгоритмів. Розробка нового засобу покращення якості збільшених зображень.
автореферат, добавлен 12.02.2014Розробка інформаційного, програмного та методичного забезпечення для побудови середовища колективного розподіленого проектування. Основні вимоги до систем автоматизованого проектування і GRID-технологій. Вивчення специфіки проектування гетерогенних САПР.
автореферат, добавлен 20.07.2015Можливості використання наявних чисельних методів аналізу моделей. Розробка алгоритмів адаптації методів для типових класів моделей заданої предметної області. Дослідження працездатності розроблених симуляторів та алгоритмів їхнього функціонування.
автореферат, добавлен 30.08.2014Аналіз методів та алгоритмів для вирішення задач класифікації об'єктів. Розробка автоматичних систем класифікації та кластеризації із застосуванням алгоритмів та апарату нейронних мереж. Побудова вектора ознак для вирішення задачі класифікації об'єктів.
автореферат, добавлен 14.08.2015- 22. Програмовані логічні контролери з вбудованими засобами тестового та функціонального діагностування
Аналіз сучасного стану і тенденцій розвитку типових структур програмованих логічних контролерів. Розробка і вдосконалення моделей, методів і алгоритмів синтезу і логічного проектування ПЛК з вбудованими засобами тестового і функціонального діагностування.
автореферат, добавлен 25.02.2015 Побудова і аналіз алгоритмів, їх покрокове проектування, визначення ефективності. Ряд алгоритмів пошуку даних, які виконуються на статичних структурах, алгоритми сортування. Програмна ілюстрація різних видів пошуку. Методи швидкого доступу до даних.
курс лекций, добавлен 03.11.2011Створення ієрархічно-модульної моделі редактора формул. Синтез математичного забезпечення обробки алгоритмів. Моделювання структури даних, яка містить індекси унітермів, секвенти, цикли, системні параметри введення. Реалізація й апробація програми.
автореферат, добавлен 25.09.2015Розробка адаптивних рекурентних алгоритмів настроювання параметрично оптимізуємих регуляторів для нестаціонарних об’єктів, що функціонують в умовах апріорної та поточної невизначеності та адаптивних рекурентних алгоритмів параметричної ідентифікації.
автореферат, добавлен 05.01.2014