Канонический метод
Cтраница 2
Для осуществления этой идеи производится специальный выбор запоминающих элементов. При каноническом методе структурного синтеза в качестве запоминающих элементов выбираются автоматы Мура, обладающие полной системой переходов и полной системой выходов. [16]
 |
Диаграммы наинизшего порядка для электророждения в модели с лагранжианом. [17] |
ШЧ является с-числом, по крайней мере в низших порядках теорий возмущений. Для непосредственной проверки канонических методов и полученных правил сумм нужно вычислить FL в низших порядках теории возмущений. Полученное FL будет отлично от нуля. [18]
Конечно, при анализе условия третьей задачи можно заметить, что останов обусловливается здесь только наличием одного слова 10, и, использовав это свойство, непосредственно получить простую граф-схему. Но важно то, что канонический метод формально выявляет это свойство. Также и во второй задаче формально выявлена логика задачи, и тем самым получена граф-схема с шестью операторами. [19]
Всякая система элементарных автоматов, которая содержит автомат Мура с нетривиальной памятью, обладающий полной системой переходов и полной системой выходов, и какую-нибудь функционально полную систему логических элементов ( элементарных автоматов без памяти), является структурно полной системой. Существует общий конструктивный прием ( канонический метод структурного синтеза) позволяющий в рассматриваемом случае свести задачу структурного синтеза произвольных конечных автоматов к задаче структурного синтеза комбинационных схем. [20]
В настоящее время нет сколько-нибудь эффективных методов ( существенно более простых, чем метод перебора всех вариантов) решения основной задачи структурного синтеза при любом выборе структурно полных систем элементарных автоматов. Мы будем поэтому излагать так называемый канонический метод структурного синтеза автоматов, пригодный для структурно полных систем элементарных автоматов некоторого специального вида. [21]
Следует заметить, что почти все употребляющиеся в реальных цифровых автоматах запоминающие элементы представляют собою автоматы Мура с полной системой переходов и с полной системой выходов. Таким образом, ограничения, вводимые каноническим методом структурного синтеза, с практической точки зрения являются несущественными. [22]
Классическим методом структурного синтеза цифровых автоматов с памятью, заданных таблицами переходов и выходов, является канонический метод, позволяющий свести задачу структурного синтеза произвольных конечных цифровых автоматов к задаче синтеза комбинационных схем. Теоретическое обоснование канонического метода структурного синтеза автоматов - доказанная В. М. Глушковым теорема о структурной полноте [11]: всякая система элементов является структурно полной, если она содержит элементарный автомат Мура, обладающий полной системой переходов и полной системой выходов, и какую-либо функционально полную систему ЛЭ. [23]
Классическим методом структурного синтеза цифровых автоматов с памятью, заданных таблицами переходов и выходов, является канонический метод, позволяющий свести задачу структурного синтеза произвольных конечных цифровых автоматов к задаче синтеза комбинационных схем. Теоретическое обоснование канонического метода структурного синтеза автоматов - доказанная В. М. Глушковым теорема о структурной полноте [11]: всякая система элементов является структурно полной, если она содержит элементарный автомат Мура, обладающий полной системой переходов и полной системой выходов, и какую-либо функционально полную систему ЛЭ. [24]
Каноническим методом синтеза получают правильные простые граф-схемы. Поэтому алгоритм, получаемый каноническим методом, будет структурно эквивалентен исходному алгоритму. [25]
В множестве абстрактных изображений, для которых никакие свойства или отношения не выполняются, возможно единственное оптимизирующее условие: по тренировочной последовательности построить элементарную граф-схему минимальной сложности. Если рассматриваются правильные граф-схемы, следует построить правильную граф-схему минимальной сложности. Но такое построение обязательно содержит перебор различных вариантов, что практически неосуществимо. Поэтому рассмотрим алгоритм построения граф-схемы, основанный на каноническом методе, и обоснуем его. Ради простоты изложения алгоритм построения элементарных алгоритмов рассматривается для двоичных переменных. [26]
Теперь нужно остановиться на следующих двух моментах. Прежде всего при использовании функционала ( 48), если только не примешиваются какие-то соображения симметрии, условия ( 47) при / k никогда удовлетворяться не будут. Правда, можно доказать, что поскольку срр является всего лишь приближением к ф, то в действительности об этом одном источнике ошибки особо беспокоиться не нужно. Второй момент заключается в следующем. Можно ожидать, что если в ( 48) берется достаточно гибкое множество пробных функций срР, то условия ( 47) при k Ф j будут удовлетворяться автоматически - точно так же, как они удовлетворяются в самом каноническом методе НХФ. [27]
Страницы: 1 2