Информатика и вычислительная техника
  • формат pdf
  • размер 13,20 МБ
  • добавлен 31 августа 2016 г.
Горбатов В.А. Теория частично упорядоченных систем
М.: Советское радио, 1976. — 169 с.
В книге предлагается общая теория частично упорядоченных систем, формулируются и решаются основные проблемы этой теории. Рассматриваются предметные теории частично упорядоченных систем при автоматной, диагностической, транспортной, плановой и других интерпретациях, которые имеют большое практическое значение при аппаратурной реализации операционных систем ЦВМ, при разработке АСУ, при технической диагностике сложных функционально связанных систем, при управлении транспортными потоками в больших городах, а также при решении других системных задач.
Книга полезна специалистам, занимающимся проектированием сложных систем в различных областях народного хозяйства, а также аспирантам и студентам.
Предисловие
Математические основы систем
Отношения и их свойства
Алгебра Кантора
Отношение эквивалентности. Раскраска графов
Отношение упорядоченности. Решетка
Дистрибутивная решетка. Булева алгебра
Построение аксиоматической теории
Исчисление предикатов. Модель
Классификация моделей
Упрощение систем
Связность
Дифференцирование моделей
Частотное разложение модели. Гомоморфизм моделей
Система, ее поведение и структура. Семантика преобразования
Эквивалентирование. Классификация систем
Класс частично упорядоченных систем
Частично упорядоченная система, ее диагностическая интерпретация
Автоматная интерпретация
Транспортная интерпретация
Проектирование сложных систем
Частичная упорядоченность мографа
Квазиполные модели и их структура
Свойства квазиполных моделей
Критерий частичного упорядочения моделей
Уменьшение функциональной связности сложных систем
Вычисление и оценка сложности систем
Оценки стоимости ключевых логических схем
Класс диаграмм Хассе, порождаемых простой моделью
Частотное представление сложных систем
Алгоритмы частичного упорядочения
Предикат функциональной эмерджентности системы
Проектирование больших систем
Приближенная оценка сложности систем
Оптимизация систем
Оптимальное частичное упорядочение
Декомпозиция систем
Однородные структуры
Программное моделирование теории
Двухконтурная структура пакета
Пакет «Покрытие»
Пакет «Упорядочение»
Автоматизация проектирования систем
Автоматизированное проектирование частично упорядоченных систем при их предметной интерпретации
Проектирование управляющих автоматов
Техническая диагностика взаимнозависимых объектов
Проектирование транспортной сети скоростного движения
Плановая и физическая интерпретации
Приложение. Каталог минимальных булевых диаграмм Хассе от четырех переменных
Список литературы
Предметный указатель
Похожие разделы