Cтраница 4
Вторая часть посвящена практргческому исследованию конкретных процессов. Процессы подобраны весьма разнохарактерные по своей технологии. В этой части приведены результаты наших исследований по оптимизации химического комплекса, региона и локального агрегата. Весь материал составлен так, чтобы показать взаимосвязь и согласованность между глобальной, региональной и локальной стадиями декомпозиционного метода оптимизации химических комплексов. [46]
Главы I-IV посвящены методам теории графов, на которых основано решение задач логического проектирования автоматов. В них рассматриваются теоретико-множественные и алгебраические операции над ориентированными графами, определяются свойства операций и основные алгебраические структуры, которые они образуют по аналогии с известными структурами множеств. Решаются задачи разложения графов по алгебраическим и теоретико-множественным операциям. Доказываются теоремы о разложении графов по различным операциям, формулируются алгоритмы разложения, даются оценки числа разложимых графов, а также решается задача отыскания минимального дополнения неразложимых графов до разложимых. Главы V-IX посвящены изложению логического проектирования автоматов и вычислительных структур с помощью методов теории графов. Здесь излагается алгебра абстрактных автоматов, которая на абстрактном уровне описывает различные виды соединений автоматов при построении схем сложных автоматов, и проблема декомпозиции абстрактных автоматов, которая заключается в представлении сложного абстрактного автомата совместной работой более простых абстрактных автоматов. Решается задача общей декомпозиции, позволяющая любой абстрактный автомат представлять работой элементарных абстрактных автоматов с минимальным числом связей между ними, и задача декомпозиции автомата на заданные блоки, которая приводит к представлению автомата в виде однородной структуры заданных стандартных блоков, соединенных между собой последовательно, параллельно или произвольным образом. Описывается декомпозиционный метод синтеза автоматов, основанный на решении задачи общей декомпозиции автоматов, исключающий этап структурного синтеза и приводящий к единому сквозному синтезу автоматов, который решает задачи логического проектирования на абстрактном уровне. [47]
Действительно, пусть нам удалось разбить схему на блоки так, чтобы внутри каждого блока переменные примерно одинаково влияли на автономный критерий. Тогда каждый блок будет оптимизироваться по переменным, примерно одинаково влияющих на его критерий. Но известно, что в случае методов спуска это особенно благоприятна ситуация, при которой они работают наиболее эффективно. Ясно, что чем больше схема, чем больше в ней аппаратов, а следовательно, и больше управлений, тем больше вероятность того, что в критерий F будут входить переменные, существенно по-разному влияющие на него. Отсюда можно заключить, что для небольших схем, по-видимому, следует предпочесть методы оптимизации их как единого целого, а для схем, включающих большое число аппаратов, - декомпозиционные. Однако и в последнем случае нельзя резко противопоставлять эти подходы, поскольку и при применении декомпозиционных методов для оптимизации отдельных блоков ( которые сами могут состоять из многих аппаратов) будут использоваться методы оптимизации схем как единого целого. Таким образом, приемлемый путь лежит в разумном сочетании всех подходов. [48]