Данилов ОБ ОДНОВРЕМЕННОЙ ОПТИМИЗАЦИИ ФОРМУЛ ПО СЛОЖНОСТИ И ЗАДЕРЖКЕ НА НАБОРАХ В МОДЕЛИ С ЗАДЕРЖКАМИ СОЕДИНЕНИЙ МЕЖДУ ЭЛЕМЕНТАМИ1 Аннотация. <...> Проблема синтеза дискретных управляющих систем является одной из основных проблем математической кибернетики. <...> В общем виде она состоит в построении для заданной дискретной функции ее оптимальной (в том или ином смысле) структурной реализации в рассматриваемом классе управляющих систем. <...> Традиционная задача синтеза в рассматриваемой в работе постановке относится к изучению функции Шеннона для задержки, т.е. задержки самой «плохой» функции алгебры логики, зависящей от заданных n переменных. <...> К рассматриваемой задаче относится ряд классических результатов теории дискретных управляющих систем, связанных, в частности, с нахождением схем асимптотически оптимальных одновременно по нескольким параметрам. <...> Целью данной работы является перенесение известных результатов в области синтеза схем, связанных с одновременной оптимизацией схем по сложности и задержке на уровне асимптотических оценок, на новые модели задержки, отражающие емкостную специфику взаимосвязей элементов в интегральных схемах, а также различия временных характеристик элементов на различных наборах входных сигналов. <...> Так, в работе изучается модель задержки в произвольном конечном полном базисе, в которой задержка базисного элемента – положительная действительная величина – по любому из его входов зависит от сигналов, подаваемых на остальные входы этого функционального элемента, и складывается из двух компонентов: задержки межэлементного соединения входа с выходом предыдущего элемента и, собственно, внутренней задержки рассматриваемого элемента. <...> При этом задержки элемента по разным входам, вообще говоря, считаются независимыми величинами. <...> Используемые инструменты включают в себя технику универсальных множеств функций и технику моделирования булевых функций переменными <...>