Рассматривается одномерное квазилинейное волновое уравнение, для которого формулируется теорема об однозначной глобальной разрешимости в классе многозначных решений, являющихся простыми волнами. Приведены примеры многозначных простых волн, иллюстрирующие сформулированную теорему. Ключевые слова: квазилинейные уравнения, гиперболичность, многозначные решения, характеристическая униформизация.

Рассмотрена задача автоматизации проверки корректности заданий для проектирования рабочих баз данных верхнего уровня АСУТП АЭС. Представлен алгоритм решения в части проверки как структуры, так и содержимого заданий, включая полный разбор KKS-кода с исследованием всех его секторов. Приведен перечень наиболее часто встречающихся несоответствий.

В статье описан обобщенный процесс построения виртуального полигона с интегрированной геоинформационной системой для моделирования полетных заданий беспилотных летательных аппаратов (БПЛА). Возможности полигона позволяют формировать полетные задания для одиночных БПЛА и их групп и экспортировать отработанные задания для проведения натурных полетов.

В настоящее время в США и в Европе правила регулирования полётов в общем воздушном пространстве существенно упрощены для малых беспилотных летательных аппаратов (БПЛА), вес которых не превышает 25 кг. При этом необходимо обеспечивать надёжность БПЛА и безопасность его полётов для окружающей среды. Поэтому на всех этапах жизненного цикла существует необходимость экспериментальных исследований БПЛА и подтверждения их характеристик. Для проведения таких исследований необходимо лабораторное оборудование, которое позволит воспроизводить аэродинамические и инерционные силы, действующие на БПЛА в полёте. В существующих аэродинамических трубах невозможно регулировать скорость воздушного потока и исследовать влияние положения центра масс летательного аппарата, как это требуется для оценки динамики полёта современных БПЛА. Разработана принципиально новая концепция лабораторного стенда и методика для исследований аэромеханики и проблем управления БПЛА.

Построена математическая модель для действующего макета шестиногого шагающего робота, позволяющая получить визуальное представление об особенностях его перемещения в пространстве при создании алгоритмов управления. На основе вычислительного эксперимента сделан вывод о том, что геометрический метод является более предпочтительным для решении задач кинематики для шагающего робота с инсектоморфным типом конечностей.