Зображення автоматів за допомогою визначальних співвідношень їх поведінки
Дослідження структурних та метричних властивостей систем визначальних співвідношень для повністю визначених та часткових скінчених ініціальних автоматів. Взаємозв’язок між структурою графа автомата та структурою його систем визначальних співвідношень.
Подобные документы
Дослідження класу некомутативних гіперкомплексних числових систем (ГЧС) четвертої вимірності, які побудовано за допомогою некомутативної процедури подвоєння Грасмана-Кліфорда систем другої вимірності. Методи обчислення таких алгебраїчних характеристик.
статья, добавлен 30.08.2016Можливості та оцінка сучасного програмного забезпечення для комп’ютерних засобів дослідження при обробці металографічних зображень з метою визначення якісних та кількісних характеристик пористих проникливих матеріалів. Суть бінарізації зображення.
статья, добавлен 24.11.2016Обґрунтування чисельно-аналітичних способів дослідження систем звичайних диференціальних рівнянь. Алгоритм програмної реалізації методу. Вивчення стійкості за Ляпуновим. Нульовий розв'язок систем звичайних диференціальних рівнянь другого порядку.
автореферат, добавлен 25.07.2015Розгляд класифікації електронних платіжних систем. Характеристика основних технологій їх захисту. Вивчення погроз, пов'язаних з допомогою систем електронних платежів. Аналіз технологій щодо відповідності базовим вимогам до систем електронних платежів.
реферат, добавлен 27.03.2014Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
автореферат, добавлен 14.08.2015Систематичний дескриптивний, алгоритмічний та метричний аналіз комбинаторно-алгебраїчних моделей автоматного типу деяких класів ін’єктивних дискретних перетворювачів інформації. Дослідження класу лінійних автоматів з позиції модельних задач криптографії.
автореферат, добавлен 14.08.2015Взаємодія інформаційних систем на різних рівнях державного управління. Класифікаційна схема взаємозв’язку інформаційних систем різних видів і рівнів ієрархії. Принципи побудови, функціонування і розвитку інформаційних систем у державному управлінні.
статья, добавлен 02.12.2017Аналіз стану технології перетворення зображень на стадії додрукарської підготовки та моделей фарбодрукарських систем. Розробка інформаційної технології синтезу тонопередачі коротких фарбодрукарських систем для забезпечення підвищення їх ефективності.
автореферат, добавлен 30.07.2015Розробка методів та алгоритмів моделювання інформаційних систем, що реалізовані на основі Web-технологій. Створення процедур оптимізації структури Web-систем. Побудова формальної моделі Web системи, аналіз її поведінки. Створення прикладної Web системи.
автореферат, добавлен 20.04.2014Использование реконфигурируемых вычислительных систем для решения задач поиска шаблонов в потоке данных. Эффективная разработка цифрового автомата, решающего задачу поиска шаблонов с масками "*" и "?". Основная идея метода векторизации состояний автомата.
статья, добавлен 30.05.2017Використання квантових комірок у конструюванні фрагментів логічних, арифметичних наносхем. Роль синхронізації в керуванні роботою квантово-коміркової логіки. Моделювання квантових коміркових автоматів з використанням автоматизованої системи проектування.
статья, добавлен 30.10.2016Определение исходного графа графическим, матричным и аналитическим способами. Описание системы уравнений, соответствующей сигнальному графу. Анализ сетей Петри. Элементы математической логики и теории автоматов. Математическое описание линейных систем.
контрольная работа, добавлен 11.06.2015Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.
автореферат, добавлен 22.04.2014Конструктивний метод аналізу протокольних специфікацій на основі стиснення логічної структури еквівалентними перетвореннями. Метод ідентифікації ситуацій експоненціального переповнення мережі необробленими кадрами даних. Перевірка коректності протоколу.
автореферат, добавлен 20.04.2014Вивчення особливостей автомата Мілі. Розгляд кодування станів автомата. Характеристика методів розробки програми мінімізації перемикальних функцій пристрою за допомогою Delphi. Особливості оформлення конструкторської документації згідно діючих ГОСТів.
реферат, добавлен 26.12.2013Дослідження основних понять та властивостей алгоритму. Вивчення засобів його запису та правил представлення для подальшого використання в програмуванні. Призначення інструментальних мов та систем програмування. Аналіз базових алгоритмічних конструкцій.
презентация, добавлен 31.01.2016Проблеми впровадження інформаційних систем і технологій в аудиті. Спеціалізоване програмне забезпечення, яке використовується в аудиторській діяльності, його види і порівняльна характеристика параметрів сучасних інформаційних систем фінансового контролю.
статья, добавлен 13.10.2016Розробка математичного забезпечення алгоритмів опису та побудови геометричних моделей поверхонь поведінки динамічних систем з нечіткими параметрами та здійснення на цій основі процесу керування системою шляхом відстеження траєкторії руху "точки".
автореферат, добавлен 29.09.2015Призначення інформаційних систем, розв'язання за допомогою обчислювальної техніки будь-якої економічної задачі. Запровадження діалогового режиму та режиму телеобробки даних. Розробка концептуальної основи автоматичних систем управління нового покоління.
реферат, добавлен 12.12.2010Особливості розробки генеративної моделі користувачів комп’ютерних систем, її структурна і параметрична ідентифікація, властивості та зміни поведінки. Поняття нейромережевої моделі із застосуванням об’єктно-орієнтованого підходу й агентної технології.
автореферат, добавлен 10.08.2014Характеристика специфічних особливостей формалізації процесу призначення лікування за допомогою скінченого автомата. Технологія кодування інформаційних сигналів структурного алфавіту автоматизованої системи підтримки прийняття лікувальних рішень.
статья, добавлен 29.08.2016Організаційна структура, діяльність ТОВ "Спектр", взаємозв'язок його основних і допоміжних ланок. Вдосконалення навичок швидкісного друку у програмі Solo. Захист інформації від комп'ютерних вірусів. Створення логотипу компанії за допомогою GraphicSprings.
отчет по практике, добавлен 06.11.2018Особливості нелінійних систем. Загальна характеристика імпульсних систем. Адаптивні системи автоматичного керування. Класифікація дискретних систем. Методи дослідження режимів роботи та якості нелінійних систем. Екстремальні автоматичні системи.
курс лекций, добавлен 24.06.2013Розробка програмних систем адаптивного навчання, які використовують методи штучного інтелекту. Дослідження методів і засобів, які застосовуються в інтелектуальних системах обробки інформації і управління. Розроблення моделі процесу прийняття рішень.
автореферат, добавлен 29.09.2014Моделирование системы массового обслуживания в среде GPSS на примере кофе-автомата в торговом центре. Анализ различных вариантов имитационного моделирования. Расчет и оценка рентабельности установки кофе-автомата. Определение срока окупаемости проекта.
статья, добавлен 18.12.2017