Структурно-логические методы исследования сложных систем с применением ЭВМ
Год издания: 1987
Автор: Левин В.И.
Издательство: Наука
Серия: Теория и методы системного анализа
Язык: Русский
Формат: DjVu
Качество: Отсканированные страницы
Количество страниц: 304
Описание: Излагается методика расчета характеристик сложных систем технологического и оперативно-диспетчерского профиля в связи с задачами управления в таких системах. Широко использован структурно-логический подход, когда система представляется структурой из блоков, а количественные характеристики системы выражаются через аналогичные характеристики блоков с помощью алгебры логики. Решаются следующие типы задач: расчет характеристик систем с различной структурой; качественный анализ работы систем различной структуры при вариациях характеристик блоков; оптимальное управление работой системы с различной структурой. Анализируются программы для ЕС ЭВМ, реализующие предложенные алгоритмы.
Для специалистов по системному анализу, исследованию операций и прикладной логике.
Оглавление
Предисловие (7).
Введение (9).
Часть I. МАТЕМАТИЧЕСКИЙ АППАРАТ
Глава 1. Бесконечнозначная логика (13).
Глава 2. Порядковая логика и порядковые логические определители (32).
Глава 3. Вычисление порядковых логических определителей и его сложность (62).
Глава 4. Логические определители с ограничениями на суммы элементов (81).
Глава 5. Логические определители с ограничениями на область (109).
Часть II. РАСЧЕТ И АНАЛИЗ СИСТЕМ
Глава 6. Общие сведения о системах. Системы обслуживания (120).
Глава 7. Расчет и анализ последовательных систем (131).
Глава 8. Расчет и анализ параллельных систем (158).
Глава 9. Расчет и анализ параллельно-последовательных систем (183).
Глава 10. Расчет и анализ последовательно-параллельных систем (203).
Часть III. СИНТЕЗ СИСТЕМ
Глава 11. Синтез статических систем (215).
Глава 12. Синтез последовательных систем с двумя и тремя блоками (239).
Глава 13. Синтез последовательных систем с произвольным числом блоков (257).
Глава 14. Синтез параллельных, параллельно-последовательных и последовательно-параллельных систем (286).
Список литературы (302).
Доп. информация: Скан, обработка, формат Djv: Николай Савченко
Опубликовано группой
