А-сети - Большая Энциклопедия Нефти и Газа, статья, страница 1
Хорошо не просто там, где нас нет, а где нас никогда и не было! Законы Мерфи (еще...)

А-сети

Cтраница 1


А-сети ( автоматные сети) - каждый переход такой СП должен иметь не более одной входной и одной выходной позиции.  [1]

2 Изображение в А-сети квантора всеобщности. [2]

Представление в А-сети квантора всеобщности через квантор существования и отрицание приведено на рис. 3.13. Хотя данное представление логически верно, оно интуитивно не очевидно человеку ( особенно при вложенности нескольких кванторов), поэтому будем придерживаться другого представления квантора всеобщности.  [3]

4 Представление в сети гипотетического мира без использования. [4]

Другим примером структур высших порядков является представление вопросительных предлогкенпй и фокуса. Примеры представления в А-сети вопросительных предложений будут приведены в гл.  [5]

6 Изображение в А-сети квантора всеобщности. [6]

Другими словами, любой квантор всеобщности может быть представлен в виде импликации, у которой предпосылка определяет тип переменной, связываемой квантором всеобщности, а следствие выражает утверждение, входящее в область действия этого квантора всеобщности. На рис. 3.14 приведен пример представления в А-сети выражения ( ух Х) Р ( х) через импликацию.  [7]

К-сеть ( конкретная сеть) содержит конкретные факты ( события или состояния), известные системе, представленные в формате А-сети. В К-сети наличие взаимосвязи между объектами говорит об обязательности ( а не о возможности, как в А-сети) существования данного отношения в моделируемом мире. В А-сети: вершины соответствуют понятиям реального мира, а в К-сети - конкретным объектам.  [8]

К-сеть ( конкретная сеть) содержит конкретные факты ( события или состояния), известные системе, представленные в формате А-сети. В К-сети наличие взаимосвязи между объектами говорит об обязательности ( а не о возможности, как в А-сети) существования данного отношения в моделируемом мире. В А-сети: вершины соответствуют понятиям реального мира, а в К-сети - конкретным объектам.  [9]

Вместо слова инцидентна употребляются также выражения проходит через, лежит на. Пусть множество линий N разбито на три класса так, что выполняются аксиомы: 1) две линии из различных классов инцидентны ровно одной общей точке из N, 2) каждая точка инцидентна ровно одной линии каждого класса. Аналогично, разбиением на k классов могут быть определены А-сети. Число ( мощность множества) линий в каждом классе одинаково и равно числу ( мощности множества) точек любой линии сети. Сети могут быть координатизированы с помощью К. Q - множество, мощность к-рого равна порядку сети N. Множество Q становится К. При различных взаимно однозначных соответствиях между Q и LI получаются различные, но изотопные К.  [10]



Страницы:      1