Алгебраическое моделирование сложных систем

Description

Впервые в систематизированном виде излагаются методы моделирования сложных систем с использованием аппарата расширенных автором алгоритмических алгебр Глушкова. Даются фундаментальные результаты по исследованию тождеств алгоритмических алгебр (как с некоммутативной, так и с коммутативной алгебрами условий), а также анализу и синтезу дискретных преобразователей. Вводится понятие нечетких алгоритмических алгебр и стохастических операторов в алгоритмических алгебрах для описания стохастических процессов и принятия решения в условиях неопределенностей. Дается формализация элементов сложных систем и схем сопряжения этих элементов, а также формализация области их эквивалентных преобразований. Рассматривается концепция интегрированной региональной телекоммуникационной сети и алгебраическое моделирование элементов таких сетей.\nДля специалистов по математической кибернетике, экономической информатике, системотехнике, системному анализу и управлению. Титул......Page 2 Предисловие......Page 3 Введение......Page 4 Параграф 1. Основные понятия теории дискретных преобразователей......Page 11 Параграф 2. Каноническая задача синтеза дискретных преобразователей......Page 24 Параграф 3. Аксиоматизация алгебры условий......Page 46 Параграф 4. Аксиоматизация алгебры операторов......Page 66 Глава II. Алгоритмические алгебры с коммутативной алгеброй условий......Page 80 Параграф 1. Обобщенные операции АА и алгебра параллельных процессов......Page 71 Параграф 2. Нечеткая логика и нечеткие алгоритмические алгебры......Page 86 Параграф 3. Тождественные соотношения в системе алгоритмических алгебр......Page 94 Параграф 4. Алгебраические методы анализа дискретных преобразователей......Page 100 Параграф 5. Синтез дискретных преобразователей......Page 104 Параграф б. Разрешимость проблемы эквивалентности алгоритмических алгебр......Page 109 Параграф 1. Структурно-алгоритмический подход к формализации описания объекта......Page 115 Параграф 2. Структурная модель распределенных систем управления......Page 121 Параграф 3. Метод формализованных технических заданий проектирования РИВС 128......Page 126 Параграф 4. Формализация элементов сложных систем......Page 129 Параграф 5. Структурные модели сопряжения элементов......Page 138 Параграф 6. Методология структурно-алгоритмического анализа систем......Page 148 Параграф 7. Принципы структурного анализа и дерево целей......Page 155 Параграф 1. Структурно-алгоритмический синтез систем и метод формализованных технических заданий проектирования......Page 168 Параграф 2. Построение функциональной модели управления РПК и начального технического задания......Page 176 Параграф 3. Построение динамической модели оперативного управления......Page 183 Параграф 4. Синтез алгоритма внутрихозяйственного управления......Page 193 Параграф 5. Формализация процесса функционирования элемента системы и его математическая модель......Page 200 Параграф 6. Диалоговая адаптивная алгоритмическая система......Page 210 Параграф 1. Концепция интегрированной региональной сети и ее структура......Page 219 Параграф 2. АА-модель региональной информационно-вычислительной сети и протоколов связи......Page 233 Параграф 3. О топологической оптимизации информационно-вычислительной сети......Page 244 Параграф 4. Информатизация общества и оценка перспектив развития региональных сетей......Page 250 Список литературы......Page 263