Метод формализации для сложных дискретных систем и структур
Метод формализации для сложных дискретных систем и структур
Сложная система (СС) – это система, обладающая, по крайней мере, одним из следующих признаков:
- Запускает разбиение на подсистемы, изучение каждой из которых при исследовании с учетом влияния других подсистем в рамках поставленной задачи имеет содержательный характер.
- Функционирует в условиях существенной неопределенности и воздействие среды на неё обуславливает случайный характер изменения её параметров или структуры.
- Осуществляет целенаправленный выбор своего поведения.
Процесс проектирования сложных систем характеризуется:
1) высокой размерностью решаемых задач
2) наличием большого числа различных вариантов
3) необходимостью учета разнообразных факторов
4) в основе проектирования лежит блочно-иерархический подход; его сущность в уменьшении сложности решаемой проектной задачи за счет выделения ряда уровней абстрагирования, которые различаются степенью детализации представления об объекте.
Дискретная система – система, в которой состояния изменяются мгновенно во времени.
Среди методов выделяют:
Рекомендуемые материалы
1. Графовые методы (основные):
1.1. Графы состояний
В лекции "4 Россия во второй половине XVI в." также много полезной информации.
1.2. Управляющие графы (ориентированный граф со взвешенными вершинами и ребрами)
1.3. Граф-схемы алгоритмов (ориентированный граф)
1.4. Графы Петри (сети Петри) (ориентированный граф) (самое сложное средство формализации) хорошо применим при синтезе программ и очень хорошо используется при параллельном программировании.
2. Методы теории автоматов – используются в основном для описания последовательных процессов при формализации структур управления в виде функционально зависимых состояний.
Если нужно описывать динамику, то это сложно и нужно описывать несколько функционирующих систем.
// Формализация библиотек – хорошо применимы иерархические цветные сети.