Cтраница 1
Обычно канонический метод сводится просто к применению квантовых скобок Пуассона - замене классических скобок в соотношениях, записанных в рамках гамильтонова ( канонического) формализма, на коммутаторы с соответствующим коэффициентом. Этот переход от классических скобок Пуассона к квантовомеханическим коммутаторам представляется неизбежным, если мы постулируем, что фигурирующие в теории величины являются не с-числами, а операторами, и, следовательно, вообще говоря, не коммутируют друг с другом. Схема такого перехода весьма проста [ см. ( Дирак, 1960; Лич, 1961) ] и состоит в следующем. [1]
Канонический метод структурного синтеза применительно к триггерам позволяет свести задачу их синтеза к задаче структурного синтеза комбинационных схем. [2]
Канонический метод структурного синтеза оперирует с элементарными автоматами, разделяющимися на два больших класса. Первый класс составляют элементарные автоматы с памятью ( то есть автоматы, имеющие более одного внутреннего состояния); такие автоматы называются элементами памяти или запоминающими элементами. Второй класс составляют автоматы без памяти ( то есть автоматы с одним внутренним состоянием), которые принято называть комбинационными, или логическими, элементами. [3]
![]() |
Для D-триггера. [4] |
Недостатками канонического метода являются трудоемкость и неудобный вид входной информации. [5]
![]() |
К методике синтеза примитивных логических схем на струйных элементах. [6] |
При синтезе схем каноническим методом функция определяется канонической таблицей. [7]
Если построение граф-схемы проведено каноническим методом по исходной дерево - или граф-схеме, то доказательства истинности построенного алгоритма не требуется, ибо, как было доказано, построенная граф-схема эквивалентна исходной. [8]
Существует общий конструктивный прием, называемый каноническим методом структурного синтеза, позволяющий свести задачу структурного синтеза произвольных конечных автоматов к задаче структурного синтеза логических схем. [9]
Построение граф-схемы по таблице формализовано в виде канонического метода, который был изложен в гл. [10]
Это важное соотношение, которое мы вывели каноническим методом исходя из коммутационных соотношений для операторов, называется теоремой Вика. [11]
Эта процедура построения логической схемы автомата носит название канонического метода его структурного синтеза. [12]
Мы заключаем, что если алгебра временных Компонент, полученная каноническим методом и не содержащая ШЧ, выживает в полной теории, то можно удовлетворить гипотезе Фейнмана. Напротив, если ШЧ возникают в алгебре временных компонент, то гипотеза не удовлетворяется. [13]
Используя этот результат, доказательство минимальности правильных граф-схем, полученных каноническим методом, проводят аналогично случаю элементарных граф-схем. [14]
Теперь оценим число минимальных элементарных граф-схем от п переменных, получаемых каноническим методом, в множестве таких граф-схем, у которых на любом пути нет двух кустов одной переменной. [15]