Все выпуски

Изучаются свойства дискретной вариационной задачи динамической аппроксимации в комплексном евклидовом (L + 1)-мерном пространстве E. Она обобщает известные задачи среднеквадратической полиномиальной аппроксимации функций, заданных своими отсчетами в конечном интервале. В рассматриваемой задаче аппроксимация последовательности y = {y_i}_L⁰ отсчетов функции y(t) ∈ L²[0, T], T = Lh на сетке I_h осуществляется решениями однородных линейных дифференциальных или разностных уравнений заданного порядка n с постоянными, но, возможно, неизвестными коэффициентами. Тем самым показано, что в последнем случае задача аппроксимации включает в себя и задачу идентификации. Анализ ее особенностей - основная тема статьи. Ставится задача нахождения вектора коэффициентов  разностного уравнения Σ_n⁰ ŷ_i+k α_i = 0, где k = 0,L − n. Оптимизируются коэффициенты  и начальные условия переходного процесса y этого уравнения. Цель оптимизации - наилучшая аппроксимация исследуемого динамического процесса y ∈ E. Критерий аппроксимации  минимум величины ||y − ŷ||²_E. Показано, что изучаемая вариационная задача сводится к задачам проектирования в E вектора y на ядра разностных операторов с неизвестными коэффициентами α ∈ ω ⊂ S ⊂ Eⁿ⁺¹. Здесь α - направление, S - сфера или гиперплоскость. Показана связь изучаемой задачи с задачами дискретизации и идентифицируемости. Тогда координаты вектора y ∈ E есть точное решение дифференциального уравнения на сетке I_h и y = ŷ. Дано сравнение изучаемой задачи вариационной идентификации с алгебраическими методами идентификации. Показано, что ортогональные дополнения к ядрам разностных операторов всегда имеют теплицев базис. Это приводит к быстрым проекционным алгоритмам вычислений. Показано, что задача нахождения оптимального вектора α сводится к задаче безусловной минимизации функционала идентификации, зависящего от направления  в Eⁿ⁺¹. Предложена итерационная процедура его минимизации на сфере с широкой областью и высокой скоростью сходимости. Изучаемую вариационную задачу можно применять при математическом моделировании в управлении и научных исследованиях. При этом на конечных интервалах может использоваться, в частности, возможность кусочно-линейной динамической аппроксимации сложных динамических процессов разностными и дифференциальными уравнениями указанного типа.

Рассматривается новое конструктивное понимание логических формул, согласованное с интуицией и с традиционными средствами конструктивного логического вывода. Новое понимание логически проще традиционной реализуемости (в смысле кванторной глубины), но является также естественным с точки зрения алгоритмического решения задач. Это понимание, кроме свидетельства (реализации, подтверждения) понимаемой формулы, привлекает понятия теста (противодействия, препятствия) этой реализации на данной формуле. Для понимания формулы $A$ рассматриваются предложения вида $a:A:b.$ Это предложение означает, что объект $a$ (выдвигаемый в подтверждение формулы $A$) выигрывает у объекта $b$ (который противодействует выполнению формулы $A$) формулу $A$ в процессе осуществления специальной процедуры сопоставления этих объектов друг с другом и с данной формулой. Данная процедура может считаться некоторой процедурой арбитража для вынесения необходимого решения. Базис процедуры арбитража для атомарных формул задается интерпретацией языка. Процедура для сложных предложений задается специальными правилами определения смысла логических связок. При наиболее естественном определении процедура арбитража имеет полиномиальную временную сложность. Формула $A$ считается истинной в новом смысле этого слова, если имеется подтверждение, выигрывающее ее у всех возможных противодействий. Рассматривается логический язык без отрицаний. Доказана теорема о корректности в новом смысле традиционных интуиционистских аксиом и правил вывода. При этом рассматривается секвенциальное логическое исчисление, ориентированное на обратный метод поиска вывода.

В настоящей работе мы изучаем спектральную задачу для дифференциального оператора второго порядка с инволюцией и с краевыми условиями типа Дирихле. Построена функция Грина изучаемой краевой задачи. Получены равномерные оценки функций Грина рассматриваемых краевых задач. Установлена равносходимость разложений произвольной функции из класса $L_{1}(-1,1)$ по собственным функциям двух дифференциальных операторов второго порядка с инволюцией с краевыми условиями типа Дирихле. Мы используем интегральный метод, основанный на функции Грина дифференциального оператора второго порядка с инволюцией и со спектральным параметром. Как следствие из доказанной теоремы о равносходимости разложений по собственным функциям, мы доказываем базисность в пространстве $L_{2}(-1,1)$ собственных функций спектральной задачи с непрерывным комплекснозначным коэффициентом $q(x).$

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

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

Пусть $H$ - гильбертово пространство и (необязательно ограниченная) последовательность $\{e_n\}_{n=1}^{\infty}$ его элементов содержит ограниченную подпоследовательность $\{e_{n_k}\}_{k=1}^{\infty}$ такую, что $|(e_{n_k},e_{n_m})| \geqslant \alpha > 0$ для любых достаточно больших $k,m \in N, k \neq m$. Доказано, что такая последовательность $\{e_n\}_{n=1}^{\infty}$ не является базисной последовательностью и, следовательно, базисом Шаудера в пространстве $H$. Полученные результаты обобщают и предлагают короткое и более простое доказательство некоторых недавних результатов, полученных в этом направлении.

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

Рассмотрены недостатки аристотелевского базиса силлогистики, показано почему в классической логике возникли парадоксы материальной импликации и предлагается способ проверки соответствия условного суждения логическому следованию (материальной импликации). Показано, что в ортогональном базисе полисиллогистики эти парадоксы невозможны.

В статье рассматривается возможность и актуальность замены в классической логике и традиционной силлогистике многосмыслового базиса Аристотеля на односмысловой ортогональный базис, изоморфный отношениям «равносильно», «влечет», «независимы»  между терминами рассуждений и случайными событиями в теории вероятностей. Обсуждаются теоретические результаты и приложения. Выявляются недостатки математической модели, лежащей в основе классической логики, и предлагается ее улучшенный вариант - логика S_L1, в основе которой уточненная математическая модель - невырожденная булева алгебра и сопряженная с ней алгебраическая система на основе множеств. В работе описываются  неклассическая интерпретация умозаключений в ортогональном базисе и возможности эффективной компьютерной проверки логического следования в семантическом смысле, также обоснован новый метод решений логических уравнений. Приводятся примеры решения задач.

В статье рассматривается новый базис силлогистики, которым можно заменить базис Аристотеля. Его основным отличием является однозначность смысла любого из функторов.