Cтраница 2
Применяют два вида дискретных преобразователей: с подвижной шкалой и подвижным указателем. В первом случае шкала представляет собой перфорированный диск, жестко укрепленный на оси указателя весов. Схема с подвижным указателем включает в себя систему параллельных цепей индикации, чувствительные элементы которой устанавливают в фиксированных точках неподвижной шкалы. В качестве исполнительных устройств применяют релейные блоки. Кодирование сигнала при автоматической регистрации осуществляют путем установки в цепи питания реле ( последовательно с его контактами) сопротивлений различного номинала. [16]
С позиций теории дискретных преобразователей итеративным алгоритмам соответствуют конечные преобразователи. Однако существует достаточно много частных случаев, в которых рекурсия допускает эффективный перевод в итеративную форму. [17]
В терминах теории дискретных преобразователей удается сформулировать многие практически важные задачи и подготовить формальный аппарат для их решения. [18]
Обычно множество состояний дискретного преобразователя конечно. Однако для адекватного описания некоторых алгоритмических систем приходится рассматривать дискретные преобразователи с бесконечным числом состояний. Такая ситуация имеет место, например, если рассматривать алгоритмические языки типа АЛГОЛ, использующие рекурсивные обращения к процедурам. Поэтому будем использовать условие конечности дискретного преобразователя лишь в тех случаях, когда это ограничение необходимо для формулировки результатов. [19]
Рассмотрим важнейшие примеры дискретных преобразователей, соответствующих различным алгоритмическим системам. [20]
Другие способы построения дискретного преобразователя, соответствующего данному нормальному алгорифму, можно получить, расчленяя один шаг работы алгорифма на более элементарные шаги. [21]
Рассмотрение слабой эквивалентности дискретных преобразователей позволяет проводить наиболее глубокие и тонкие преобразования алгоритмов. Особенно большое значение в этой связи имеют развитие техники преобразований в алгоритмических алгебрах и использование этой техники для исследования конкретных алгоритмов с целью получения в некотором смысле наилучщих реализаций этих алгоритмов. Однако постановка общих задач для достаточно широких классов дискретных преобразователей, таких, как нахождение полной системы соотношений пли получение точных оптимизационных алгоритмов, в рамках слабой эквивалентности встречается с серьезными трудностями. Эти трудности определяются алгоритмической неразрешимостью в общем виде проблемы слабой эквивалентности дискретных преобразователей. Поэтому иногда оказывается целесообразным рассматривать более сильные формы эквивалентности. [22]
Система элементарных операторов дискретного преобразователя порождает полугруппу G преобразований множества состояний операционного автомата В - полугруппу, которой принадлежит автомат В. Эта полугруппа должна рассматриваться вместе с выделенной системой образующих Y. Присоединяя, если нужно, к G единицу и принимая ее в качестве начального состояния, множество G можно рассматривать как У-автомат, если функцию переходов определять как правое умножение. Рассмотренную эквивалентность можно определить тогда как эквивалентность относительно автомата G и множества L всех возможных его функций выходов. [23]
![]() |
Блок-схема преобразователя пиков. [24] |
Так как гальванометрический принцип дискретного преобразователя является одним из многих предложенных принципов, то можно было попытаться уменьшить его недостатки, разработав новый прибор. [25]
Пятая глава посвящена изучению конечных дискретных преобразователей, функционирующих в синтаксических средах и на деревьях. Рассматриваются конечные автоматы, машины Тьюринга, преобразователи над деревьями. [26]
Прежде всего, в дискретных преобразователях заслонка относительно сопла может занимать только два крайних состояния. При этом в одном состоянии заслонка должна плотно закрывать сопло, в идеале обеспечивая полное прекращение истечения из него воздуха; в противоположном состоянии заслонка должна находиться от сопла на таком расстоянии, чтобы вызываемое ее наличием дополнительное сопротивление сопла было пренебрежимо малым. Важно также отметить, что для перехода из одного состояния в другое заслонка должна проходить возможно более короткий путь. Линейность характеристики перемещение заслонки - сопротивление сопла в этом случае не является определяющим свойством. [27]
Появление электрического сигнала на выходе дискретного преобразователя возможно только в том случае, если входная величина достигла характерного значения. [28]
Рекурсивные преобразователи являются естественным обобщением дискретных преобразователей. Они описывают более общий класс алгоритмических систем, включая рекурсивные программы и сложные технические устройства. [29]
Автоматы являются важным частным случаем дискретных преобразователей. Термин автомат обычно связывают с обработкой синтаксической информации, заданной в виде последовательностей символов. При автоматном представлении конкретных технических устройств символы кодируют сигналы, на которые реагируют или которые выдают рассматриваемые устройства. В целом, обработка символьной информации представляет значительный интерес, так как она является основой многих алгоритмических систем, в частности систем программирования. [30]