Абстрактні автомати. Автомати Мілі та Мура
Огляд розробки теорій послідовних схем. Абстрактні автомати як математичні моделі цифрового пристрою та їх поширені типи - Мілі, Мура, комбінаційні схеми. Методи синтезу абстрактних автоматів і процесів побудови їх графів у стані переходів і виходів.
Подобные документы
Інформаційна технологія й методи побудови функціональних тестів. Відновлення працездатності апаратно-програмних засобів у складі автоматизованих систем управління. Скорочення обчислювальної складності й довжини тестів шляхом розробки методів синтезу.
автореферат, добавлен 29.01.2016Ознайомлення з основними характеристиками логічних елементів і основами синтезу схем. Особливості будови аналізатора - пристрою, що може знаходитись в одному з двох стійких станів і переходить з одного стану в другий під дією зовнішніх сигналів.
лабораторная работа, добавлен 04.04.2015Методи розробки систем електронного цифрового підпису, реалізація схеми ЕЦП. Створення програмного коду для алгоритму ЕЦП по Ель Гамалю і DSS/DSА. Оцінка криптографічної стійкості даних алгоритмів, їх порівняльний аналіз та перевірка на коректність.
курсовая работа, добавлен 20.11.2016Огляд теоретико-категорних моделей абстрактних обчислювальних структур, співвідношення між різними структурами, умови їх еквівалентності. Аналіз умови ізоморфності об'єкта натуральних чисел і області нескінченного підоб'єкта об'єкта натуральних чисел.
автореферат, добавлен 30.08.2014Аналіз методів та засобів розробки інформаційно-управляючих систем. Розробка метрики диверсності для оцінки ступеня різноманітності версій автоматів з програмованою логікою. Створення та дослідження інформаційної технології підтримки прийняття рішень.
автореферат, добавлен 14.09.2014Огляд новітніх процесів створення програмної складової інформаційних технологій, здатної пристосовуватися до національно-культурних обмежень. Методики, методи та схеми побудови різновидів програмних систем, що функціонують за Еталонною моделлю POSIX-OSE.
автореферат, добавлен 28.07.2014Розробка високопродуктивних інформаційно-обчислювальних систем АС УПР, що працюють в умовах критичного застосування. Математичні моделі процесів, що відбуваються в них у штатних режимах та в разі виникнення екстремальних ситуацій, зокрема, конфліктів ПС.
автореферат, добавлен 29.07.2014Характеристики однорідних натуральних арифметичних графів. Застосування алгоритму пошуку в глибину для числових графів. Порівняльний аналіз з відповідним методом для звичайних графів. Розробка алгоритму, який видає готовий розв’язок задачі обходу.
автореферат, добавлен 28.07.2014- 34. Інтелектуальні процедури для синтезу стратегій та їх формалізація для задач оперативного управління
Характеристика моделі декомпозиції стратегій управління ієрархічними термінальними системами. Використання конструкції К-ланок на базі G-графів для побудови планів рішень на управління в агрегованих структурах з паралельно послідовними потоками.
статья, добавлен 14.09.2016 Огляд відомих методів побудови математичних моделей алгоритмів поведінки. Використання мови алгоритмічних алгебр. Розробка методу та формування схеми шляхів. Застосування операційних та перевірочних блоків. Визначення ймовірності існування переходів.
статья, добавлен 28.02.2016Аналіз існуючих структур композиційних мікропрограмних пристроїв керування (КМПК) без поділу кодів з метою виявлення шляхів їх вдосконалення. Розробка структур КМПК без поділу кодів з кешуванням сигналів та визначення області їх ефективного застосування.
автореферат, добавлен 29.08.2015Призначення пристрою. Розробка та обґрунтування схеми електричної структурної. Принцип роботи окремих ВІС з використанням часових діаграм та алгоритмів роботи. Принцип роботи пристрою згідно схеми електричної принципової. Розрахунок надійності пристрою.
курсовая работа, добавлен 26.03.2009Розробка моделей, методів і процедур синтезу легкотестованих компонентів мереж клітинних автоматів на базі програмованих логічних інтегральних схем. Створення методів синтезу вбудованих засобів сигнатурного моніторингу для однорідних клітинних мереж.
автореферат, добавлен 30.07.2015Аналіз структури математичної моделі арифметико-логічного пристрою. Арифметико-логічні пристрої із загальними мікроопераціями та їх використання. Формування елементної бази для побудови блоку багатофункціонального арифметико-логічного пристрою.
курсовая работа, добавлен 27.03.2014Розробка мультиагентних методів синтезу нейро-нечітких мереж для підвищення їхніх апроксимаційних та узагальнюючих здатностей. Динаміка роботи методів відбору інформативних ознак. Огляд програмних засобів для мультиагентного синтезу нейро-нечітких мереж.
автореферат, добавлен 20.07.2015Застосовування методів аналізу й синтезу при розробці обчислювальних пристроїв. Адаптація методу великих часток реального часу до вимог систем візуалізації. Синтез зображень газодинамічних об'єктів. Розробка схеми обчислювача, моделювання блоків.
автореферат, добавлен 27.08.2015Ознайомлення з макетом моделі портативного приладу. Дослідження основних режимів роботи мікропроцесора. Аналіз програми, схеми та налагодження пристроїв. Розгляд пристрою для вимірювання параметрів навколишнього середовища на базі інтегрованої плати.
статья, добавлен 27.07.2016Призначення проектуємого пристрою та технічні характеристики. Розробка й обґрунтування схеми електричної структурної схеми визначника телефонного номера. Принцип роботи ВІС з використанням часових діаграм та алгоритмів роботи. Тест надійності пристрою.
курсовая работа, добавлен 26.03.2009Характеристика специфічних особливостей формалізації процесу призначення лікування за допомогою скінченого автомата. Технологія кодування інформаційних сигналів структурного алфавіту автоматизованої системи підтримки прийняття лікувальних рішень.
статья, добавлен 29.08.2016Аналіз технічної сторони розробки схеми пристрою та архітектура мікропроцесора фірми Intel i8080. Розробка функціональної схеми, МП модулю, схеми блоку введення/виведення та модулю пам’яті. Програмний таймер, а також розробка програмного забезпечення.
курсовая работа, добавлен 27.02.2014Характеристика методики, за якою мінімальні перерізи визначаються не з дерева відмов об’єкта дослідження, а з його моделі у вигляді графу станів та переходів. Особливості перевірки достовірності оцінок безпечності програмно-технічних комплексів.
статья, добавлен 06.02.2017Дослідження властивостей канонічних і неканонічних передфрактальних графів деяких конфігурацій. Розробка методів і алгоритмів розпізнавання довільних графів на передфрактальність та їх використання при розв’язанні деяких NP-повних задач на цих графах.
автореферат, добавлен 29.07.2014Аналіз основних етапів і методів побудови нейронних мереж прямого поширення та обґрунтування еволюційного підходу для синтезу нейромоделей. Розробка основних програмних засобів для синтезу розпізнаючих моделей об’єктів на основі запропонованих методів.
автореферат, добавлен 26.08.2015Характеристика основних класів алгоритмів компонування й розміщення, використання поняття теорії графів для опису моделей конструкції електронної обчислювальної апаратури, вирішення основних завдань конструювання з використанням прикладних програм.
контрольная работа, добавлен 25.11.2010Методи та засоби, що підвищують рівень автоматизації процедур схемотехнічного аналізу та синтезу мікроелектромеханічних систем на напівпровідниковому кристалі. Вплив технологічних параметрів виготовлення на вихідні параметри інтегрального пристрою.
автореферат, добавлен 20.07.2015