Зображення автоматів за допомогою визначальних співвідношень їх поведінки
Дослідження структурних та метричних властивостей систем визначальних співвідношень для повністю визначених та часткових скінчених ініціальних автоматів. Взаємозв’язок між структурою графа автомата та структурою його систем визначальних співвідношень.
Подобные документы
Дослідження доцільності використання теорії абстрактних автоматів (зокрема, теорії клітинних автоматів), опис основних аспектів її реалізації в програмуванні. Розробка технології попіксельної обробки графіки, що базується на понятті клітинного автомата.
статья, добавлен 09.10.2018Аналіз методів та засобів розробки інформаційно-управляючих систем. Розробка метрики диверсності для оцінки ступеня різноманітності версій автоматів з програмованою логікою. Створення та дослідження інформаційної технології підтримки прийняття рішень.
автореферат, добавлен 14.09.2014Аналіз моделей фасувальних автоматів шляхом розщеплення вершин та дуг графів. Аналіз діаграм станів кінцевих автоматів, проектування цифрових пристроїв Active-HDL. Зниження трудомісткості розробки алгоритмів управління механізмами фасувальних автоматів.
статья, добавлен 14.01.2017Аналіз методів синтезу й оптимізації характеристик автоматів з "жорсткою" логікою, схеми яких реалізуються в гетерогенному елементному базисі. Розробка структур і методів синтезу автомата Мілі з кодуванням наборів мікрооперацій і фрагментацією змінних.
автореферат, добавлен 29.08.2014Розробка інформаційних технологій для моделювання розвитку туристичної інфраструктури території з використанням асинхронних автоматів. Обґрунтування доцільності поєднання інтелектуальних технологій аналізу з можливостями геоінформаційних систем.
статья, добавлен 26.12.2016Розробка методики дослідження працездатності, а також ідентифікації відмов і прогнозування ушкоджень складних інформаційних систем з регулярною структурою. Обґрунтування топологічної еквівалентності. Умови використання імітаційних моделей ушкоджень.
автореферат, добавлен 30.07.2014Сутність методу завадостійкого кодування, у якому повідомлення, що кодуються, розглядаються як цілі числа та подаються у двобазисній системі числення. Кодування за допомогою скінченного автомата. Його вища завадостійкість порівняно з іншими методами.
статья, добавлен 25.10.2016Визначення теоретичної складової ймовірнісних автоматів теплиці як поля для переміщення робота. Характеристика створення програмного забезпечення, що дозволяє розраховувати шлях пересування приладу в просторі оранжереї із урахуванням імовірних перешкод.
статья, добавлен 30.01.2017Визначення потреби статистичного моделювання та особливостей функціонування технічних систем з динамічною структурою. Формалізація основних етапів моделювання. Розробка статистичної моделі взаємодії об’єктів впливу та системи з динамічною структурою.
статья, добавлен 14.07.2016Методи рекурсивного аналізу операційних моделей динамічних систем на основі апроксимуючих імпульсних спектрів. Оцінювання втрат інформації при апроксимації. Алгоритмізація розроблених методів. Шляхи використання програм електронного моделювання.
автореферат, добавлен 05.01.2014Розробка засобів для створення інтелектуальних компонентів систем дистанційної освіти. Створення діалогової процедури автоматизованого набуття знань від експерта та методу автоматичного генерування співвідношень питання-відповідь для контролю знань учня.
автореферат, добавлен 29.08.2014Розробка інформаційних технологій проектування структурно-функціональних моделей скінчених автоматів для синтезу алгоритмів автоматизованого управління технологічними процесами. Вивчення методу моделювання алгоритмів автоматизованого управління.
автореферат, добавлен 20.07.2015Підвищення ефективності функціонування територіально розподілених технічних систем. Вдосконалення керування інформаційним обміном між об’єктами. Автоматизоване управління у розподілених технічних системах на основі специфікованих протокольних автоматів.
автореферат, добавлен 27.07.2014Моделі відмовостійких цифрових систем керування з програмованою логікою на основі частково працездатних автоматів. Процедури отримання версій за допомогою генетичних алгоритмів. Ранговий відбір індивідуумів. Створення відмовостійких цифрових систем.
автореферат, добавлен 26.07.2014Проведення повного синтезу багатофункціонального регістру з покроковим описом всіх вироблюваних дій. Визначення булевої функції, опис її мінімізації методом карт Карно. Характеристика таблиці синтезу автоматів Мілі та Мура. Скорочені формули для них.
курсовая работа, добавлен 25.03.2014Задача визначення оптимальних параметрів системи з заданою структурою для випадку, коли її параметрами є детерміновані та випадкові величини. Знаходження оптимального значення коефіцієнта підсилення за допомогою критерію мінімуму дисперсії похибки.
статья, добавлен 29.06.2016Методика багаторівневого ієрархічного і логічного синтезу асинхронних автоматів і надвеликих інтегральних схем. Проектування мікропрограмних пристроїв управління НВІС на засаді синхронних автоматів. Розробка мов опису проектних логічних специфікацій НВІС.
автореферат, добавлен 21.11.2013Сучасні підходи до аналізу надійності програмно-апаратних систем. Формування вектора стану: вибір компонент, їх значень та встановлення початкових значень. Розроблення моделі поведінки програмно-апаратної системи у вигляді графа станів та переходів.
статья, добавлен 23.09.2016Організація управління процесорами системи, яке забезпечує гнучкість, оперативність, надійність та можливість багаторежимної роботи. Розробка інженерної методики відображення алгоритмів обробки гідроакустичних сигналів на структури обчислювальних систем.
автореферат, добавлен 21.11.2013Розгляд "ручного" методу проектування систем автоматики з застосуванням програмованих логічних матриць, який оснований на шести етапах проектування. використання теорії автоматів і комп’ютерної логіки. Застосування методу продемонстрованого на прикладі.
статья, добавлен 27.07.2016Положення, поняття, принципи побудови і функціонування геоінформаційних систем. Сучасні комп’ютерні технології, що дозволяють поєднувати модельне зображення території з різноманітними статистичними даними та економічними показниками й іншою інформацією.
статья, добавлен 27.03.2016Розробка математичних моделей для розрахунку параметрів контролю з метою знаходження співвідношень, що дозволяють розрахувати ці параметри за даними аналізу сигнальної інформації, основний алгоритм їх визначення. Дослідження апаратно-програмних засобів.
автореферат, добавлен 01.08.2014Застосування мови VHDL для проектування комп’ютерних систем. Проектування комбінаційних схем, цифрових автоматів. Варіанти побудови процесу проектування цифрового пристрою на базі ПЛІС. Перехід синтезної моделі до логічної структури та бітового потоку.
контрольная работа, добавлен 08.09.2011Принципи та підходи до кодування векторних даних. Особливості використання геометричних властивостей кругового симетричного поля, всередині якого знаходиться асиметричне підполе у вигляді моделі багатоелементної системи з нееквідистантною структурою.
статья, добавлен 23.02.2016Рассмотрение исходных таблиц поведения автомата. Характеристика графа автомата. Особенности кодирования данных. Построение системы булевых функций для JK-триггеров. Основные принципы построения функции выхода. Реализация логической схемы автомата в EWB.
реферат, добавлен 26.05.2015