Cтраница 2
Синтез логических сетей, операторы которых описаны средствами исчисления одноместных предикатов. [16]
Рассмотрим логическую сеть S, имеющую п входов и р выходов. [17]
Создает геометрическую и логическую сеть из классов точечных и линейных пространственных объектов. [18]
В логических сетях, реализуемых на электронно-ламповых и полупроводниковых элементах, выходные каналы часто объединяют с целью получения на общем выходе сети сигнала, зависящего от сигналов, идущих по объединенным каналам. [19]
Также как логическая сеть со свободными элементами [62] обобщает известные в теории управляющих систем виды управляющих систем, так и информационно-графовая модель обобщает наиболее известные модели данных. Так, алгоритмы и конструкции, используемые в древовидных и лексикографических базах данных, описываются древовидными информационными графами. Сетевые базы данных естественным образом перекладываются на язык информационно - графовой модели. [20]
Также как логическая сеть со свободными элементами [62] обобщает известные в теории управляющих систем виды управляющих систем, так и информационно-графовая модель обобщает наиболее известные модели данных. Так, алгоритмы и конструкции, используемые в древовидных и лексикографических базах данных, описываются древовидными информационными графами. Сетевые базы данных естественным образом перекладываются на язык информационно-графовой модели. [21]
В теории логических сетей вопросы анализа, синтеза и функциональной надежности излагаются при известной идеализации условий работы реальных устройств. Полагают, что сигналы, несущие информацию, имеют дискретные, фиксированные уровни; мощность сигналов при этом не учитывается. Непрерывно текущее время заменяется дискретно-изменяющимся; при этом считают, что изменение уровней сигналов происходит в дискретных фиксированных интервалах времени. Ряд допущений принимается при рассмотрении физических элементов сети. Так, пренебрегают неизбежной инерцией элементов, если возникающее в связи с этим запаздывание в их срабатывании мало сравнительно с тактом работы логической сети. Если это запаздывание соизмеримо с тактом, то оно реализуется в логической сети отдельным элементом задержки. [22]
Центральной частью логической сети является таблица связности, которая описывает, как связаны сетевые элементы. [23]
В теории логических сетей релейное устройство рассматривается со структурной точки зрения как совокупность взаимосвязанных элементарных автоматов, причем автоматы с одним состоянием - это логические элементы, а автоматы с двумя и более состояниями - запоминающие элементы. [24]
Центральной частью логической сети является таблица связности, которая описывает, как связаны сетевые элементы. [25]
![]() |
Форма СПУ № 2. [26] |
Остальные события логической сети этапа исходного планирования не нуждаются в дополнительных комментариях. Резюмируя вышеизложенное, следует подчеркнуть, что этап исходного планирования считается законченным, если все события логической схемы выполнены качественно и в полном объеме. [27]
Геометрическая сеть и логическая сеть всегда синхронизированы. [28]
Условимся называть рангом логической сети максимальный из рангов ее полюсов. [29]
Многие детали организации логических сетей даются в упрощенном виде, так как разработчику модели данных не нужны все подробности внутренней реализации. [30]