Метод формализации для сложных дискретных систем и структур

Сложная система(СС) – это система, обладающая, по крайней мере, одним из следующих признаков:

1. Запускает разбиение на подсистемы, изучение каждой из которых при исследовании с учетом влияния других подсистем в рамках поставленной задачи имеет содержательный характер.

2. Функционирует в условиях существенной неопределенности и воздействие среды на неё обуславливает случайный характер изменения её параметров или структуры.

3. Осуществляет целенаправленный выбор своего поведения.

Процесс проектирования сложных систем характеризуется:

1. высокой размерностью решаемых задач

2. наличием большого числа различных вариантов

3. необходимостью учета разнообразных факторов

4. в основе проектирования лежит блочно-иерархический подход; его сущность в уменьшении сложности решаемой проектной задачи за счет выделения ряда уровней абстрагирования, которые различаются степенью детализации представления об объекте.

Дискретная система– система, в которой состояния изменяются мгновенно во времени.

Среди методов выделяют:

1. Графовые методы (основные):

   1. Графы состояний

   2. Управляющие графы (ориентированный граф со взвешенными вершинами и ребрами)

   3. Граф-схемы алгоритмов (ориентированный граф)

   4. Графы Петри (сети Петри) (ориентированный граф) (самое сложное средство формализации) хорошо применим при синтезе программ и очень хорошо используется при параллельном программировании.

2. Методы теории автоматов – используются в основном для описания последовательных процессов при формализации структур управления в виде функционально зависимых состояний.

Если нужно описывать динамику, то это сложно и нужно описывать несколько функционирующих систем.

// Формализация библиотек – хорошо применимы иерархические цветные сети.

87