Разработка и исследование событийных методов реализации алгоритмов логического управления

• Автор: Вяткин, Валерий Владимирович
• Шифр специальности: 05.13.14
• Научная степень: Докторская
• Год защиты: 1998
• Место защиты: Таганрог
• Количество страниц: 332 с.

На правах рукописи
/ ВЯТКИН Валерий Владимирович
РАЗРАБОТКА И ИССЛЕДОВАНИЕ СОБЫТИЙНЫХ МЕТОДОВ РЕАЛИЗАЦИИ АЛГОРИТМОВ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ
Специальности:
05.13.14 - Системы обработки информации и управления
05.13.16 - Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях.
ДИССЕРТАЦИЯ
на соискание ученой степени доктора технических наук
Таганрог
Оглавление
1. Современные задачи вычислительной теории цифровых управляющих автоматов
1. Исторический обзор
2. Модели вычислительной реализации различных типов автоматных алгоритмов
3. Событийные системы и событийный принцип вычислений
4. Вычислительная реализация булевых функций с использованием графовых моделей 37
2. Аналитические разложения БФ
1. Обобщенное разложение дискретной функции
2. Получение остаточных функций при помощи подстановок
2.1. Операция подстановки в аналитическое выражение
2.2. Свойства полных подстановок в аналитическое выражение
2.3. Операция подстановки в СДНФ
3. Обобщенное нормачьное разложение

3.1. Разложения Шеннона и Лупанова
3.2. Разложение Дэйвио
3.3. Обобщенное разложение Иванова с частичными подстановками
4. Выводы
3. Графовые модели вычисления БФ
1. Обобщенные граф-схемы булевых функций
1.1. Бинарные графы и деревья
1.2. Свойства ориентированных ациклических связных
графов (ОАГ)
1.3. Определение обобщенной ГС
2. Синтез граф-схем и их сокращение
3. Классы граф-схем
3.1. Определенные и неопределенные ГС
3.2. Ограниченные ГС
3.3. Упорядоченные ГС
3.4. Неортогональные ГС
3.5. Однородные и неоднородные ГС
3.6. Логические цепи как неоднородные ГС
3.7. Общий вид бинарных ГС
4. Численные характеристики граф-схем
5. Ортогональные обобщенные граф-схемы
6. Канонизация обобщенных бинарных графов

понимать как сам факт одновременного изменения некоторых входных переменных, так и его дескриптор, если это не вызывает неоднозначного толкования. Например, будем говорить, что в событии (заданном дескриптором) 8 — (3,5,7) : 5[1] = 3,5[2] = 5,5[3] = 7. Для ссылки на часть событийного вектора от индекса г до і будем пользоваться обозначением й[г : /].
Последовательность событий Е = ,5Т,8Т+1
тизацию системного времени, разбивая его на состояния - интервалы в течении которых показания датчиков инвариантны. События переводят объект из одного состояния в другое. Интервал [г, т + 1[ будем также называть состоянием с номером г, где вектор входных переменных X обозначим как Х(т), а значение переменной жг- как жДг). Когда понятно, о каком событии идет речь, будем обозначать значение вектора X входных переменных до события как Х~, а после события Х+. Одиночный элемент вектора будем обозначать как xJ Изменение вектора X задается вектором Ах : Х+ = X- ©Ах, который в случае события 5 равен Ах = 0_1(й). Будем говорить, что результат события - положительныйесли функция меняет своё значение в результате и отрицательный в противном случае. Длина вектора 5 называется размерностью события. При ||с>|| = 1 событие будем называть простым, а при ||<5|| > 1, соответственно, сложным. На практике длина события всегда существенно меньше, чем общее количество входов:
¥\ < ©