Cтраница 4
Текстовая информация содержит: указания о рациональной последовательности вычерчивания ТИ; размеры шрифта, типы линий, число знаков после занятой в вычерчиваемых размерах; логические условия, в зависимости от которых могут изменяться координаты отдельных линии, их взаимное расположение, места начертания отдельных линий и знаков; различные комментарии, указания программисту и другая, необходимая для программирования информация. [46]
Аналогичным образом, множество логических условий X Х [ можно представить в виде набора булевых функций Ч 1 if /, на основе которых строятся логические условия, и наборов слов ( sVt, -, svft) на которые распространяются булевы функции. Система Z Ф, Ч 1, состоящая из множества функций Ф pm, образующих микрооперации, и множества булевых функций Ч г зг, образующих логические условия, называется системой образующих алгоритма. [47]
Смысл дела заключается в том, что выделяются элементарные операции, выполняемые оператором, и вся деятельность описывается в виде их последовательности; при этом указываются логические условия, оценка которых необходима для перехода от одной операции к другой. [48]
Во многих случаях выходные сигналы БУ и воздействия на ИМ объекта аависят только от того, выполнятся т в данный момент времеш для входных сигналов некоторые логические условия или нет. При атом какдгя набор входных сигналов в любой момент времени однозначно определяет набор выходных сигналов БУ. При аппаратной реализации ВУ схемы, которые реаливувт такса алгоритм управления, навивают КШВЩЩОНВШ ( или ОДНОТАКТНШИ) СХЕМАМИ. [49]
Для каждой подсети фориируется таблица состояний ( автомат Мура), причем количество состояний определяется количеством переходов, а количество входных перзменных-набором переменных, входящих в логические условия срабатывания переходов данной подсети. Указываются также значения выходных переменных, определяемых состоянием данного автомата. [50]
Таким образом, логической формулой сборочной машины можно назвать выражение, составленное из нелогических операторов Р, В и У, проверяющих заданные выбирающие, исключающие и включающие логические условия логических операторов п, г, н и м, соответствующих этим последним нумерованных стрелок, расставленных определенным образом, а также знаков непроверяемых логических условий. [51]