Теория расписаний и непрерывная логика

Дан обзор основных результатов в теории расписаний, полученных с помощью математического аппарата непрерывной логики и логических определителей. Изложен данный аппарат и его применение к решению следующих задач: расчет характеристик быстродействия и загрузки систем из последовательно соединенных блоков, выполняющих некоторую совокупность работ; анализ характеристик быстродействия и загрузки систем при варьировании временных параметров работ и блоков; планирование оптимального расписания выполнения работ в системе при постоянном порядке прохождения работ через блоки; расчет характеристик быстродействия и планирование оптимального расписания выполнения работ в системе с возможным изменением порядка прохождения работ при переходе от одного блока к другому. Уделено внимание вычислениям в случае высокоразмерных систем, содержащих большое число блоков и работ. Книга предназначена для студентов вузов, аспирантов, специалистов по управлению и планированию в экономических, социальных и...