Застосування скінченних автоматів для розробки структурної моделі комп’ютерної системи управління технологічними операціями фасування
Аналіз моделей фасувальних автоматів шляхом розщеплення вершин та дуг графів. Аналіз діаграм станів кінцевих автоматів, проектування цифрових пристроїв Active-HDL. Зниження трудомісткості розробки алгоритмів управління механізмами фасувальних автоматів.
Подобные документы
Аналіз методів та засобів розробки інформаційно-управляючих систем. Розробка метрики диверсності для оцінки ступеня різноманітності версій автоматів з програмованою логікою. Створення та дослідження інформаційної технології підтримки прийняття рішень.
автореферат, добавлен 14.09.2014Розробка інформаційних технологій проектування структурно-функціональних моделей скінчених автоматів для синтезу алгоритмів автоматизованого управління технологічними процесами. Вивчення методу моделювання алгоритмів автоматизованого управління.
автореферат, добавлен 20.07.2015Методи зниження трудомісткості розробки алгоритмів управління адаптивних ФПМ та скорочення технологічних втрат продукції. Розробка моделей інформаційної технології адаптивного управління в галузі автоматизованого фасування і пакування молочної продукції.
автореферат, добавлен 14.09.2015Дослідження доцільності використання теорії абстрактних автоматів (зокрема, теорії клітинних автоматів), опис основних аспектів її реалізації в програмуванні. Розробка технології попіксельної обробки графіки, що базується на понятті клітинного автомата.
статья, добавлен 09.10.2018Застосування мови VHDL для проектування комп’ютерних систем. Проектування комбінаційних схем, цифрових автоматів. Варіанти побудови процесу проектування цифрового пристрою на базі ПЛІС. Перехід синтезної моделі до логічної структури та бітового потоку.
контрольная работа, добавлен 08.09.2011Підвищення ефективності функціонування територіально розподілених технічних систем. Вдосконалення керування інформаційним обміном між об’єктами. Автоматизоване управління у розподілених технічних системах на основі специфікованих протокольних автоматів.
автореферат, добавлен 27.07.2014Розгляд "ручного" методу проектування систем автоматики з застосуванням програмованих логічних матриць, який оснований на шести етапах проектування. використання теорії автоматів і комп’ютерної логіки. Застосування методу продемонстрованого на прикладі.
статья, добавлен 27.07.2016Моделі відмовостійких цифрових систем керування з програмованою логікою на основі частково працездатних автоматів. Процедури отримання версій за допомогою генетичних алгоритмів. Ранговий відбір індивідуумів. Створення відмовостійких цифрових систем.
автореферат, добавлен 26.07.2014Проведення повного синтезу багатофункціонального регістру з покроковим описом всіх вироблюваних дій. Визначення булевої функції, опис її мінімізації методом карт Карно. Характеристика таблиці синтезу автоматів Мілі та Мура. Скорочені формули для них.
курсовая работа, добавлен 25.03.2014Дослідження структурних та метричних властивостей систем визначальних співвідношень для повністю визначених та часткових скінчених ініціальних автоматів. Взаємозв’язок між структурою графа автомата та структурою його систем визначальних співвідношень.
автореферат, добавлен 10.08.2014Визначення теоретичної складової ймовірнісних автоматів теплиці як поля для переміщення робота. Характеристика створення програмного забезпечення, що дозволяє розраховувати шлях пересування приладу в просторі оранжереї із урахуванням імовірних перешкод.
статья, добавлен 30.01.2017Запропонування нового способу ЕЕО копіювально-прошивальними верстатами устаткування шляхом розробки математичного і програмного забезпечення автоматизованої та комп'ютеризованої системи управління у вигляді інформаційних моделей і алгоритмів управління.
автореферат, добавлен 20.09.2010Огляд розробки теорій послідовних схем. Абстрактні автомати як математичні моделі цифрового пристрою та їх поширені типи - Мілі, Мура, комбінаційні схеми. Методи синтезу абстрактних автоматів і процесів побудови їх графів у стані переходів і виходів.
реферат, добавлен 25.10.2012Розробка інформаційних технологій для моделювання розвитку туристичної інфраструктури території з використанням асинхронних автоматів. Обґрунтування доцільності поєднання інтелектуальних технологій аналізу з можливостями геоінформаційних систем.
статья, добавлен 26.12.2016Використання квантових комірок у конструюванні фрагментів логічних, арифметичних наносхем. Роль синхронізації в керуванні роботою квантово-коміркової логіки. Моделювання квантових коміркових автоматів з використанням автоматизованої системи проектування.
статья, добавлен 30.10.2016Аналіз існуючих структур композиційних мікропрограмних пристроїв керування (КМПК) без поділу кодів з метою виявлення шляхів їх вдосконалення. Розробка структур КМПК без поділу кодів з кешуванням сигналів та визначення області їх ефективного застосування.
автореферат, добавлен 29.08.2015Опис методології розробки комп’ютерної гри. Дослідження дерева цілей і критеріїв. Аналіз вимог і ризиків. Розробка моделі, технічного проекту і програмного коду. Перевірка працездатності усіх функцій, заданих модулю. Збір статистики, закупівля реклами.
курсовая работа, добавлен 16.02.2016Розробка методології синтезу абстрактних, структурних і HDL-моделей безпечних логічних автоматів для ПЛІС-контролерів з паралельною архітектурою. Експериментальні дослідження, промислові випробування і оцінка функціональної безпеки ПЛІС-контролерів.
автореферат, добавлен 20.07.2015Дослідження питання використання сучасних комп'ютерно-інтегрованих методів і алгоритмів в інтелектуальних системах підтримки прийняття рішень при управлінні складними слабко формалізованими технологічними процесами з використанням прогнозуючих моделей.
статья, добавлен 13.08.2016Аналіз методів синтезу й оптимізації характеристик автоматів з "жорсткою" логікою, схеми яких реалізуються в гетерогенному елементному базисі. Розробка структур і методів синтезу автомата Мілі з кодуванням наборів мікрооперацій і фрагментацією змінних.
автореферат, добавлен 29.08.2014Систематичний дескриптивний, алгоритмічний та метричний аналіз комбинаторно-алгебраїчних моделей автоматного типу деяких класів ін’єктивних дискретних перетворювачів інформації. Дослідження класу лінійних автоматів з позиції модельних задач криптографії.
автореферат, добавлен 14.08.2015Сутність методу завадостійкого кодування, у якому повідомлення, що кодуються, розглядаються як цілі числа та подаються у двобазисній системі числення. Кодування за допомогою скінченного автомата. Його вища завадостійкість порівняно з іншими методами.
статья, добавлен 25.10.2016Конструктивний метод аналізу протокольних специфікацій на основі стиснення логічної структури еквівалентними перетвореннями. Метод ідентифікації ситуацій експоненціального переповнення мережі необробленими кадрами даних. Перевірка коректності протоколу.
автореферат, добавлен 20.04.2014Особливості розробки та використання бази даних Microsoft SQL Server. Розгляд основних завдань баз даних. Аналіз систем управління базами даних, основні етапи їх розробки. Застосування системи управління базами даних MYSQL, створення необхідних таблиць.
курсовая работа, добавлен 13.06.2012Розробка теоретичних та практичних засад контролю та керування станом екологічної безпеки кібернетичного простору з використанням теорій формальних граматик та цифрових автоматів. Основна характеристика взаємозв’язку інформаційної оборони та екології.
статья, добавлен 29.09.2016