Все выпуски

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

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

Кратко рассматривается проблема столкновительной релаксации в гравитирующих системах. Излагается подход к ее решению с точки зрения теории геодезических потоков с последующим усреднением по ансамблю, что требует знания закона распределения случайной силы. Чтобы избежать обрезания распределения Хольцмарка на малых прицельных расстояниях, использовано распределение случайной силы, найденное Петровской. В этом случае оказывается, что отношение эффективного времени стохастизации к времени пересечения пропорционально N^⅓/(ln N)^½, где N>>1 - число тел в системе. Полученная временная шкала столкновительной эволюции практически совпадает с шкалой, ранее предложенной Генкиным.

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