Модели и алгоритмы концептуального проектирования автоматизированных систем управления