Models often use mathematical optimization to solve for redundancy in the specification of the system.
Моделі часто використовують математичну оптимізацію для вирішення надлишку в специфікації системи.