Все выпуски

В статье рассмотрены методы для обнаружения особых точек на аффинной гиперповерхности или подтверждения гладкости этой гиперповерхности. Наш подход основан на построении касательных прямых к данной гиперповерхности. Существование хотя бы одной особой точки накладывает ограничение на алгебраическое уравнение, определяющее совокупность касательных прямых, проходящих через выделенную точку в пространстве. Это уравнение основано на формуле для дискриминанта многочлена от одной переменной. Для произвольно фиксированной степени гиперповерхности нами предложен детерминированный алгоритм полиномиального времени для вычисления базиса в подпространстве соответствующих многочленов. Если линейная комбинация таких многочленов не обращается в нуль на гиперповерхности, то гиперповерхность гладкая. Мы формулируем достаточное условие гладкости, проверяемое за полиномиальное время. Для некоторых гладких аффинных гиперповерхностей это условие выполнено. Этот набор включает графики кубических многочленов от нескольких переменных, а также другие примеры кубических гиперповерхностей. С другой стороны, это условие не выполняется для некоторых кубических гиперповерхностей высокой размерности. Это не мешает применению метода в низких размерностях. Также поиск особых точек важен для решения некоторых задач машинного зрения, в том числе для обнаружения угла у препятствия по последовательности кадров с одной камеры на движущемся транспортном средстве.

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

При помощи модифицированного метода функции Ляпунова и построения омега-предельного множества соответствующей динамической системы сдвигов сформулированы утверждения о существовании ограниченных на положительной полуоси допустимых управляемых процессов и утверждение о равномерной локальной управляемости соответствующего магистрального процесса.