Математический аппарат теории систем автоматического регулирования предполагает исключение алгебраических уравнений со свободными переменными из моделей технических устройств. Таким образом, техника структурного моделирования, использующая модели в форме передаточных функций, требует наличия лишь явного решателя. Явный решатель подключается ко всем интеграторам модели (блоки 1/S), и, с той или иной точностью (на что влияет выбор метода интегрирования), интегрирует соответствующие сигналы, обеспечивая тем самым решение дифференциальных уравнений.
Рисунок 1
Неявный решатель позволяет перейти к иной технике построения моделей, которая предусматривает закрепление за группами уравнений условных графических обозначений элементов энергетических цепей (резистора, транзистора, магнитного сердечника, пневмоцилиндра и пр.).
Рисунок 2
Следует отметить, что в программах с поточной моделью управления подключение неявного решателя возложено на пользователя. Задача составления моделей физических элементов, с такой структурой, дабы при составлении из них произвольных энергетических цепей корректно стыковались алгебраические уравнения, вызывала затруднения. По этой причине данный класс программ отстал в технике мультидоменного физического моделирования и в них распространена устаревающая техника естественно-физического моделирования.
Рисунок 3
На рисунках, для сравнения, демонстрируются модели одной и той же электрической схемы построенные согласно описанным техникам.