21) Сигнатурный анализ – особенности

22)Микропрограмные автоматы гса, лса - мура,мили

Элементарный неделимый акт обработки информации в операцион­ном автомате, происходящий в течение одного момента автоматного времени, называется микрооперацией.

Если в операционном автомате одновременно реализуется несколько микроопераций, то такое множество микроопераций называется микро­командой.

Микрооперации возбуждаются выходными сигналами управляю­щего автомата, а их последовательность во времени определяется функ­циями перехода управляющего автомата.

Совокупность микрокоманд и функций перехода образует микро­программу. Таким образом, для описания микропрограммы необхо­димо задать множество микрокоманд и функций перехода, определяю­щих порядок их выполнения. Для описания микропрограмм удобно использовать язык граф-схем алгоритмов (ГСА).

ГСА называют ориентированный связный граф, содержащий од­ну начальную вершину (Начало), одну конечную вершину (Конец) и произвольное конечное множество условных и операторных вершин. Любая вершина ГСА, кроме вершины «Начало», имеет по одному вхо­ду. Вершина «Начало» входов не имеет. Вершина «Начало» и любая операторная вершина имеют по одному выходу. Вершина «Конец» выходов не имеет. Любая условная вершина имеет два выхода, поме­чаемых символами «Да» и «Нет». Вместо этих символов могут быть ис­пользованы цифры «1» и «0» соответственно.

В ряде случаев вместо ГСА используются логические схемы алго­ритмов (ЛСА), представляющие алгоритм функционирования цифрово­го автомата в виде конечной строки. Эта строка содержит символы опе­раторов, символы логических условий, а также верхние и нижние стрелки, которым приписаны натуральные числа (например, , , і=1,2...).

23)Линейные автоматы

Лін. Автомат це автомат побудований з ліню елементів.

У практиці побудови надійних засобів обчислювальної техніки широке поширення знаходять лінійні групові коди, що відрізняються досить просто реалізованими функціями декодування й нескладним способом задання. Поняття лінійних групових кодів базується на векторних положеннях математичної теорії груп. Спочатку ознайомимося з ними.О_o

24) Контроль автом. Определ. Задачи, особености (теория ветвления)

Є 2 шляхи підвищення надійності: 1) підвищення надійності компонентів; 2) використання надлишковості:

А) надлишкові-інформаційні

Б) надлишковість структурна

В)часова надлишковість

Контроль автоматів дає можливість виявлення помилок. Помилка – це спотворення вихідного вектора. Причини помилок – це несправності.

25) Тестовый контроль автоматов, особенности

26) Синтез схем в монофункц. базисе(+доказательство теорем и-не. или-не)

При проектуванні КС на логічних елементах І АБО НЕ і за відсутності обмежень на число входів елементів користуються викладеними раніше методами мінімізації булевих функцій. За наявності обмежень, найпростішим методом є застосування спеціальних ІМС, що називаються розширювачами і присутні у комплектах ІМС. Розширювачі дозволяють збільшити, у разі необхідності, число входів логічного елемента, шляхом включення додаткового (точно такого ж) логічного елемента на один із входів основного.

Перетворення складних аналітичних виразів із булевого базису у базис АБО-НЕ чи І-НЕ, може бути здійснене за допомогою методу, який базується на послідовному застосуванні теорем де Моргана. Метод дозволяє здійснити перехід від довільної за формою булевої функції, реалізованої на елементах І, АБО, НЕ, до форми, реалізованої на елементах І-НЕ чи АБО-НЕ, і, зокрема – від мінімальної її КНФ (мінімальної ДНФ) до мінімальних (з точністю до одної букви) найкоротших формул у базисі АБО-НЕ чи у базисі І-НЕ.