ИСТИНА

Данная работа нацелена на исследование возможности и эффективности моделирования некоторых управляющих систем на компьютере, а также на разработку универсального способа их моделирования. Ранее широко исследовалась лишь проблема физического синтеза управляющих систем, однако при моделировании на компьютере играют роль совершенно другие свойства схем. Все существующие модели контактных схем имеют либо экспоненциальную сложность моделирования, либо разработаны для более узкого класса схем, например такого, как бинарные диаграммы решений. В данной работе разработаны методы синтеза, имеющие сложность, линейно зависящую от числа переменных реализуемой функции, и показано, что данные методы являются асимптотически оптимальными. Также в данной работе проведен анализ временной сложности для всех замкнутых классов Поста, и для них также получены оценки временной сложности. Модель контактных схем, введенная в работе имеет возможность обобщения в разных направлениях, были рассмотрены более широкие классы управляющих систем, нежели просто контактные и вентильные схемы. Результаты работы могут быть использованы при синтезе контактных или вентильных схем, а также других управляющих систем, для промежуточного этапа их компьютерного моделирования и оптимизации. Методы синтеза, описанные в данной работе имеют особенное преимущество в случаях, когда среди требований к получаемым контактным схемам присутствуют такие характеристики, как низкое потребление мощности и низкая нагреваемость (что непосредственным образом зависит от числа возбужденных контактов контактной схемы), а также высокая скорость моделирования схем на компьютере.