Cтраница 4
Последовательность преобразований, реализующая подстановку ф - - г, задается с помощью дискретной сети. Конечное непустое множество подстановок вида ф - - г, для которого определен способ реализации подстановок на дискретной сети, образует трансформационную грамматику. [46]
Имитационная макромодель предназначена для имитации процесса формирования законов управления слож - ными системами. Поскольку структура сложной системы и структура ее модели, задаваемая в виде дискретной сети, описываются на едином языке, то моделью процесса формирования законов управления сложной системой служит экстраполяция ситуаций на дискретной сети. [47]
С помощью атомарных ситуаций и бинарных отношений формализуется понятие структуры дискретной сети. Структурой дискретной сети является совокупность атомарных ситуаций и бинарных отношений между ними. Геометрически структура дискретной сети задается в виде ориентированного графа, вершинами которого являются атомарные ситуации, а дугами служат бинарные отношения, рассматриваемые в языке описания ситуаций. [48]
В общем случае полюсниками дискретной сети могут быть модели принятия решений. В этом случае командами управления полюсников служат указания на решение определенных задач из допустимого множества, а связи сети определяют порядок решения задач на заданном временном интервале. Таким образом, дискретная сеть позволяет не только формализовать структуру коммуникационных связей между элементами объекта управления, но и описать процесс перехода объекта управления из одного состояния в другое. Функционирование дискретной сети выглядит внешне как смена ситуации на сети. Поскольку состояние дискретной сети может быть представлено в виде совокупности понятий и отношений между ними, то функционирование дискретной сети можно рассматривать как трансформацию понятийных структур, вершинами которых являются понятия, а ребрами служат отношения между ими. [49]
Нижним уровнем этого языка служат порождающая модель, с помощью которой формируется описание структуры большой системы в виде дискретной сети стандартных модулей. В частном случае роль модулей играют конечные автоматы. Функцию верхнего уровня выполняет семантический язык описания ситуаций на дискретной сети. Ситуации представляются формально в виде муль-тиграфов, вершинами которых служат базовые и производные понятия, а дугами - отношения между понятиями. Понятия интерпретируются совокупностями статических и динамических объектов моделируемой системы, а дуги - пространственно-временными и другими отношениями между объектами. Отношения между понятиями устанавливаются с помощью порождающей грамматики, представляющей собой набор рекурсивных процедур построения производных ситуаций. Порождающая грамматика играет роль генератора, формирующего на своем выходе множество ситуаций моделируемой системы. [50]