Все выпуски
- 2025 Том 35
- 2024 Том 34
- 2023 Том 33
- 2022 Том 32
- 2021 Том 31
- 2020 Том 30
- 2019 Том 29
- 2018 Том 28
- 2017 Том 27
- 2016 Том 26
- 2015 Том 25
- 2014
- 2013
- 2012
- 2011
- 2010
- 2009
- 2008
-
text-align: justify;">Работа посвящена связи параллельных и последовательных вычислений. С одной стороны, рассматривается класс словарных предикатов, основанных на последовательных вычислениях, ограниченных по памяти константами и имеющих полиномиальную временную сложность. С другой стороны, рассматривается класс словарных предикатов, вычислимых на параллельных альтернирующих машинах за логарифмическое время. Доказано совпадение соответствующих классов. Предложено направление использования полученных результатов для взаимного преобразования и сочетания вычислений на молекулярных биоподобных последовательных машинах и параллельных вычислениях на векторно-матричных компьютерах. Предполагаемые области применения: обработка изображений в реальном масштабе времени для задач управления, анализ больших текстов и других больших данных.
словарные предикаты, параллельные вычисления, последовательные вычисления, большие данные, вычислительная сложность, биоподобные компьютеры, векторно-матричные компьютеры, альтернированиеtext-align: justify;">The work is devoted to the connection between parallel and sequential computing. On the one hand, we consider a class of word predicates based on sequential calculations, limited in memory by constants and having polynomial time complexity. On the other hand, we consider a class of word predicates that are computable on parallel alternating machines in logarithmic time. The coincidence of the corresponding classes is proven. The direction of using the obtained results for mutual transformation and combination of calculations on molecular biosimilar sequential machines and parallel calculations on vector-matrix computers is proposed. Intended applications: real-time image processing for control tasks, analysis of large texts and other big data.
-
Дескрипционная логика на графах изображений, с. 582-594text-align: justify;">В работе предлагается для формального описания и структурного анализа изображений использовать расширение $ \mathcal{ALC}(GI)$ дескрипционной логики $ \mathcal{ALC} $. Концепты и роли логики $ \mathcal{ALC} (GI)$ интерпретируются на графе изображения и его подграфах. Описана модель изображения в виде многослойного атрибутивного графа. Граф изображения содержит слой цветовых сегментов, слой границ, слой скелетонов. Каждый слой представляет собой планарный граф, слои связаны между собой отношениями «предок-потомок». Переход от пиксельного представления изображения к графовому позволяет существенно увеличить эффективность его анализа. Приведены примеры предметных терминологических аксиом, определяющих структурные элементы изображения и составленные из них буквы, а также результаты эксперимента, проведенного на задаче распознавания букв в слитном рукописном тексте.
Description logic on image graphs, pp. 582-594text-align: justify;">In this paper, it's proposed to use the extension $\mathcal{ALC}(GI)$ of description logic $\mathcal{ALC}$ for the formal description and structural analysis of images. Concepts and the roles of $\mathcal{ALC}(GI)$ are interpreted on an image graph and its subgraphs. The model of image in the form of multi-layered attribute graph is presented. It contains a layer of color segments, a layer of boundaries and a layer of skeletons. Each layer is a planar graph, layers are linked by means of “ancestor-descendant” relations. The transition from the pixel representation of an image to the graph one allows us to increase the effectiveness of image analysis. Examples of terminological axioms that define structural elements of an image and letters composed of them, as well as the results of an experiment of recognizing letters in a cursive handwritten text are presented.
-
text-align: justify;">Изучение эмоционального анализа текста - сегодня одно из самых интересных и развивающихся направлений. Эмоции, представленные в тексте, и их анализ - это особая тема нашего интереса. В этой статье изучаются различные модальные суждения в логике в связи с анализом эмоций и построением модели эмоций, пригодной для логического анализа с использованием модальных связок. Предлагаются интерпретации некоторых простых модальностей в связи с информационными технологиями для анализа эмоций в текстах. Расширяется понятие логики возможных миров так, чтобы охватить логический анализ эмоциональных оценок. Предлагаемые модальности объясняют эмоциональные оценки с позиции логики воспринимаемого состояния окружающей среды. В работе рассматриваются логические свойства эмоциональных модальностей, логика эмоциональных оценок и определение различных модальностей для анализа эмоций. Данная методология предназначена для будущего использования логических модальностей при исследованиях, направленных на анализ эмоций, выраженных в текстах на естественном языке.
text-align: justify;">The study of emotional text analysis today is one of the most interesting and developing areas. The emotions presented in the text and their analysis are a special topic of our interest. In this article, we will explore the various modal judgments in logic, the emotional model and their connection with the analysis of emotions. We will offer interpretations of some simple modalities in connection with information technologies for analyzing emotions in texts. We will expand the logic of the possible worlds; our modalities will better explain and comprehend this logic of the perceived state of the environment. We are presenting the logical formulas for defining the most common modalities for analyzing emotions from text. Our work is a continuation of the work done on modalities with more flexibility and completeness. The paper discusses the logical properties of emotional modalities, the logic of emotional evaluations and the definition of various modalities for analyzing emotions. We propose six different definitions of modalities and use three theorems to prove our hypothesis. This methodology also sets the directions for future research on logical modalities for analyzing emotions from text.
Журнал индексируется в Web of Science (Emerging Sources Citation Index)
Журнал входит в базы данных zbMATH, MathSciNet
Журнал включен в базу данных Russian Science Citation Index (RSCI) на платформе Web of Science
Журнал входит в систему Российского индекса научного цитирования.
Журнал включен в перечень ВАК.
Электронная версия журнала на Общероссийском математическом портале Math-Net.Ru.