Аннотация
Описана формальная модель представления данных в системе, обеспечивающей оптимальное проектирование процессов функционирования человеко-машинных систем, – ГЭС ИНТЕЛЛЕКТ-3. Введены базовые понятия обобщенного структурного метода. Приведены основные понятия и определения, необходимые для алгоритма генерации фрагментов процесса с учетом обязательных сочетаний операций. Предложено использование матрицы обязательных сочетаний операций, в которой ненулевые элементы строк имеют смысл единственно возможных сочетаний способов выполнения соответствующих ТФЕ в альтернативах. Введено понятие состава и понятие парной несовместимости составов, на основе которой происходит распределение выполняемых функций составами. Представлен алгоритм оптимизации с учетом обязательных и недопустимых сочетаний операций, позволяющих наложить ограничения на последовательность выполнения операций процесса функционирования человеко-машинной системы. В качестве критерия оптимальности алгоритма выбрана трудоемкость алгоритма, понимаемая как количество элементарных операций, которые необходимо выполнить для решения задачи. Показано, что данный алгоритм является количественно зависимым. Посчитана трудоемкость алгоритма оптимизации с учетом обязательных и недопустимых сочетаний операций.