English language
2024 год, том 28, выпуск 4 (PDF)
Литофациальные карты отображают пространственное изменение литологического состава пород и направление характера их замещения для определенного геологического времени в зависимости от физико-географических условий их седиментации. Построение литофациальных карт проводится на основании анализа комплексов генетически связанных отложений, обладающих характерными вещественными признаками литофаций. Исходными данным могут быть как только точки на плоскости — координаты скважин, в которых встречаются определенные литофации, — так и дополнительно карта скоростей накопления осадков. Предполагается, что одинаковые фации должны иметь близкие скорости осадконакопления. Задача построения литофациальной карты заключается в определении границ областей распространения фаций. В работе предлагается сведение задачи построения карты к задаче раскраски графов, которая, в свою очередь, решается методами целочисленного линейного программирования. Такой подход позволяет автоматически строить реалистичные карты — то есть карты, удовлетворяющей экспертным ограничениям и правилам.
Ключевые слова: картопостроение; лито-фациальный анализ; палереконструкция; оптимизация; целочисленное программирование
В статье предлагается метод автоматического построения тезауруса научной терминологии, основанный на алгоритмах извлечения многословных терминов из специальных энциклопедий и научных публикаций. Представлены результаты работы алгоритмов создания и пополнения тезауруса на примере обработки математических текстов. Предложен алгоритм сравнительного семантического анализа научных публикаций, а также способы количественной оценки их семантического сходства.
Ключевые слова: аспектно-ориентированный анализ, научный лексикон, семантический граф, классификация научных текстов, автоматическая обработка неструктурированных текстов.
В работе рассматривается формальная модель нейронных сетей, в которой каждой нейрон представлен в виде автомата, состоящего из пороговой булевой функции и задержки. Доказывается критерий принадлежности стартовой конфигурации предельному циклу.
Ключевые слова: нейронные сети, пороговые функции, схемы из функциональных элементов, предельные циклы.
В данной работе устанавливается взаимосвязь между некоторыми свойствами конечных квазигрупп. Доказывается, что в случае квазигрупп простого порядка из бесформенности следует полиномиальная полнота. Даны примеры, показывающие, что обратное утверждение и обобщение до составных порядков не являются верными.
Ключевые слова: конечная квазигруппа, полиномиальная полнота, бесформенность.
В данной работе исследуются свойства функциональной системы \[C_n\] с носителем \[2^\mathbb{Z}\], порождённой теоретико-множественными функциями и индикаторами мощности \[card_0 (x)\] . . . \[card_n (x)\].
Ключевые слова: функциональная система, предполный класс, алгебра множеств, критерий полноты.
В работе [1] показано, что существует универсальный экран с 5 состояниями для класса всех законов движения со скоростью движения вперёд не более, чем 1/2, при этом не существует универсального экрана с 4 состояниями для этого класса законов движения. В данной работе приведены 3 класса закоконов двунаправленного движения на луче, которые можно реализовать клеточным автоматом с 4 состояниями.
Ключевые слова: клеточный автомат, число состояний, бесконечный экран, двунаправленное движение, конструирование изображений.
В работе получено представление всех схем из функциональных элементов с одинаковым числом элементов в базисе из штриха Шеффера для булевской функции в виде натурального числа. Расшифровка этого числа позволяет построить все схемы.
Ключевые слова: булевская функция, схема из функциональных элементов.