Проверяемый текст
Балдин, Александр Викторович. Научные основы автоматизации и моделирования процессов управления на основе гибридных систем поддержки принятия решений с открытой структурой (Диссертация 2006)
[стр. 92]

92 приложений; /3 линейный порядок на {hi} и Iинициатор, который активирует процесс.
Рис.
2.3.
Трека вычислительного процесса Каждому процессу соответствует один инициатор.
Если в системе параллельно развивается т процессов, то в модели присутствует т инициаторов (особенно актуально для организации деловых игр).
При наличии эквивалентных параметризуемых приложений, а также реализации механизмов условного перехода по завершению приложения, сценарий системы поддержки принятия решений должен представлять алгоритмическую структуру, которая может быть определена как свертка трека по отношению эквивалентности элементарных операторов
(рис.2.4.).
Алгоритмическая структура приложений может быть формализована в виде сетей Петри, которые представляют собой двудольный граф позиций и переходов.
Причем переход имеет множество входов и множество выходов и позволяет моделировать любое логическое условие, что дает возможность в гибридной системе создавать механизмы блокировок по входам и любые логические условия перехода по выходам.
[стр. 85]

85 Трека вычислительного процесса (менять форму) Рис.
2.2.
Каждому процессу соответствует один инициатор.
Если в системе параллельно развивается т процессов, то в модели присутствует т инициаторов (особенно актуально для организации деловых игр).
При наличии эквивалентных параметризуемых приложений, а также реализации механизмов условного перехода по завершению приложения, сценарий системы поддержки принятия решений должен представлять алгоритмическую структуру, которая может быть определена как свертка трека по отношению эквивалентности элементарных операторов
(рис.2.3.).
Алгоритмическая структура приложений Алгоритмическая структура приложений формализована в виде сетей Петри, которые представляют собой двудольный граф позиций и переходов.
Причем переход имеет множество входов и множество выходов и позволяет моделировать любое логическое условие, что дает возможность в гибридной системе создавать механизмы блокировок по входам и любые логические условия перехода по выходам.

[Back]