В книге предлагается общая теория частично упорядоченных систем, формулируются и решаются основные проблемы этой теории. Рассматриваются предметные теории частично упорядоченных систем при автоматной, диагностической, транспортной, плановой и других интерпретациях, которые имеют большое практическое значение при аппаратурной реализации операционных систем ЦВМ, при разработке АСУ, при технической диагностике сложных функционально связанных систем, при управлении транспортными потоками в больших городах, а также при решении других системных задач.
Книга полезна специалистам, занимающимся проектированием сложных систем в различных областях народного хозяйства, а также аспирантам и студентам.
Содержание:
Предисловие
Глава 1. МАТЕМАТИЧЕСКИЕ ОСНОВЫ СИСТЕМ (1.1. Отношения и их свойства; 1.2. Алгебра Кантора; 1.3. Отношение эквивалентности. Раскраска графов; 1.4. Отношение упорядоченности. Решетка; 1.5. Дистрибутивная решетка. Булева алгебра; 1.6. Построение аксиоматической теории; 1.7. Исчисление предикатов. Модель; 1.8. Классификация моделей)
Глава 2. УПРОЩЕНИЕ СИСТЕМ (2.1. Связность: 2.2. Дифференцирование моделей; 2.3. Частотное разложение модели. Гомоморфизм моделей; 2.4. Система, ее поведение и структура. Семантика преобразования; 2.5. Эквивалентирование. Классификация систем)
Глава 3. КЛАСС ЧАСТИЧНО УПОРЯДОЧЕННЫХ СИСТЕМ (3.1. Частично упорядоченная система, ее диагностическая интерпретация; 3.2. Автоматная интерпретация; 3.3. Транспортная интерпретация)
Глава 4. ПРОЕКТИРОВАНИЕ СЛОЖНЫХ СИСТЕМ (4.1. Частичная упорядоченность мографа; 4.2. Квазиполные модели и их структура; 4.3. Свойства квазиполных моделей; 4.4. Критерий частичного упорядочения моделей; 4.5. Уменьшение функциональной связности сложных систем; 4.6. Вычисление и оценка сложности систем; 4.7. Оценки стоимости ключевых логических схем; 4.8. Класс диаграмм Хассе, порождаемых простой моделью; 4.9. Частотное представление сложных систем; 4.10. Алгоритмы частичного упорядочения; 4.11. Предикат функциональной эмерджентности системы)
Глава 5. ПРОЕКТИРОВАНИЕ БОЛЬШИХ СИСТЕМ (5.1. Приближенная оценка сложности систем; 5.2. Оптимизация систем; 5.3. Оптимальное частичное упорядочение; 5.4. Декомпозиция систем; 5.5. Однородные структуры)
Глава 6. ПРОГРАММНОЕ МОДЕЛИРОВАНИЕ ТЕОРИИ (6.1. Двух контурная структура пакета; 6.2. Пакет "Покрытие"; 6.3. Пакет "Упорядочение"; 6.4. Автоматизация проектирования систем)
Глава 7. АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ ЧАСТИЧНО УПОРЯДОЧЕННЫХ СИСТЕМ ПРИ ИХ ПРЕДМЕТНОЙ ИНТЕРПРЕТАЦИИ (7.1. Проектирование управляющих автоматов; 7.2. Техническая диагностика взаимозависимых объектов; 7.3. Проектирование транспортной сети скоростного движения; 7.4. Плановая и физическая интерпретации)
Приложение. Каталог минимальных булевых диаграмм Хассе от четырех переменных
Список литературы
Предметный указатель
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.