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

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

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

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

В данной работе исследуются свойства функциональной системы \(C_n\) с носителем \(2^{\mathbb{Z}}\), порождённой теоретико-множественными функциями и индикаторами мощности \(\mathbf{card}_0(x)...\mathbf{card}_n(x)\).

В работе [1] показано, что существует универсальный экран с 5 состояниями для класса всех законов движения со скоростью движения вперёд не более, чем 1/2, при этом не существует универсального экрана с 4 состояниями для этого класса законов движения. В данной работе приведены 3 класса законов двунаправленного движения на луче, которые можно реализовать клеточным автоматом с 4 состояниями.

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