Textmeddelande: Определение объема вычислительных экспериментов при решении задач оптимизационного синтеза динамических систем методом ПЛП-поиска; Инновационные технологии в машиностроении