Все выпуски

Для приведенной канонической системы интегро-дифференциальных уравнений вязкоупругости рассмотрены прямая и обратная задачи определения поля скоростей упругих волн и матрицы релаксации. Задачи заменены замкнутой системой интегральных уравнений типа Вольтерра второго рода относительно преобразования Фурье по переменным $x_{1}$ и $x_{2}$ для решения прямой и обратной задачи. Далее к этой системе применяется метод сжимающих отображений в пространстве непрерывных функций с весовой нормой. В работе доказаны теоремы о глобальные существования и единственности решений задач.

For the reduced canonical system of integro-differential equations of viscoelasticity, direct and inverse problems of determining the velocity field of elastic waves and the relaxation matrix are considered. The problems are replaced by a closed system of Volterra integral equations of the second kind with respect to the Fourier transform in the variables $x_{1}$ and $x_{2}$ for the solution of the direct problem and unknowns of the inverse problem. Further, the method of contraction mappings in the space of continuous functions with a weighted norm is applied to this system. Thus, we prove global existence and uniqueness theorems for solutions of the problems.

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

The article deals with the problem of recognizing scanned mathematical texts with repeating formulas or formulas with same fragments. A method for comparing recognition results is described, which allows one to select similar elements from a variety of recognition options. The method is based on calculating the Levenshtein distances between individual fragments with additional parameters. The proposed method differs from the usual method in that, in the presence of uncertainties in comparison, all possible recognition options are used, presented as a symbol-weight pair. In the case of nonlinear formulas, numerical parameters that specify the location of individual symbols on the plane are also used in comparison. This comparison will allow you to group the formulas, and the data obtained will be useful in making decisions both by a user and by a program. Using this method will simplify the process of manual error correction, which will be based on the dynamic management of intermediate results in the process of close man-machine interaction.