характеризуют реальную ситуацию в рамках существующей технологии управления процессами. 2.2.1. GERT-сетевая модель стохастической структуры Рассмотрим подход к минимизации затрат и времени при формировании распределенных процессов с учетом стохастической реализации процесса. В качестве базовой модели рассмотрим простую ациклическую детерминированную модель, которая имеет "GERT-подобную узловую логику" [35]. Такую модель будем называть сетью для формирования, подчеркивая этим термином, что план реализации производственного процесса выбирается в процессе формирования, т.е. принимается решение о том, какие операции процесса должны быть выполнены для минимизации некоторой целевой функции. Это приводит к задаче комбинаторной оптимизации, частным случаем которой является, например, "decision CMP" метод критического пути для случая, когда присутствуют только GERT-узлы двух типов «AND» и «OR». Для учета вероятностных характеристик реализации операций ниже вводится понятие случайных акций и рассматривается возможность многоразовой последовательной реализации операций процесса [34] до момента его полного успешного завершения. Итак, пусть N ациклическая сетевая модель распределенного процесса с источниками и стоками (действия, соответствующие операциям процесса, представляются дугами), где множество узлов обозначается V, а множество дуг Е (веса для дуг будут определены далее). Предположим, что N имеет только один исток, который обозначается через г и соответствует началу формируемого процесса. Предполагается также, что один из стоков N представляет собой успешное завершение всех операций процесса и обозначается s. Оставшиеся стоки, если они есть, могут представлять собой различные виды неудачного завершения или прерывания процесса. 72 |
3.1.1. GERT-сетевая модель стохастической структуры Далее рассматривается подход к минимизации затрат и времени при формировании распределенных алгоритмов обработки информации и управления с учетом стохастической реализации процесса. В качестве базовой модели рассмотрим простую ациклическую детерминированную модель, которая имеет "GERT-подобную узловую логику" [61]. Такую модель будем называть сетью для формирования (или решения) алгоритма (или набора алгоритмов), подчеркивая этим термином, что план реализации алгоритма выбирается в процессе формирования, т.е. принимается решение о том, какие задачи алгоритма должны быть выполнены для минимизации некоторой целевой функции. Это приводит к задаче комбинаторной оптимизации, частным случаем которой является, например, "decision CMP" метод критического пути для случая, когда присутствуют только GERT-узлы двух типов «AND» n «OR». Для учета вероятностных характеристик реализации алгоритмов ниже вводится понятие случайных акций и рассматривается возможность многоразовой последовательной реализации задач алгоритма [62] до момента его полного успешного завершения. Итак, пусть N ациклическая сетевая модель распределенного алгоритма с источниками и стоками (действия, соответствующие задачам алгоритма, представляются дугами), где множество узлов обозначается V, а множество дуг Е (веса для дуг будут определены далее). Предположим, что N имеет только один исток, который обозначается через г и соответствует началу формируемого алгоритма. Предполагается также, что один из стоков N представляет собой успешное завершение всех задач алгоритма и-, обозначается 5. Оставшиеся: стоки, если они есть, могут представлять собой различные виды неудачного завершения или прерывания алгоритма: Определение (1). Ациклическую сетевую модель N(V,E) только с одним истоком и со стоками назовем сетью для формирования/решения распределенного алгоритма, если каждый узел i из N определен через входную характеристику е O,l,...,P(z) и выходную характеристику 95 |