bluuebunny/crossref_metadata_2025_split huggingface dataset:
Важные аспекты разработки программного обеспечения для моделирования делиберативной аргументации
Authors: Лисанюк Е.Н. , Прокудин Д.Е. 
Published: December 2024

Развитие информационнокоммуникационных технологий привело в конце 90-х годов XX века к разработке программного обеспечения, предназначенного для визуализации и моделирования делиберативной интеллектуальной деятельности по решению различного рода практических задач, включая образовательные. В настоящем исследовании мы формулируем и обосновываем группы критериев, которые необходимо учитывать при разработке программного обеспечения, предназначенного для моделирования и репрезентации делиберативной аргументации. Критерии и их обоснование сформулированы при помощи: концептуальных оснований классификации программного обеспечения для моделирования дискуссий и аргументации, выявленных ранее на первом этапе нашего исследования; анализа существующего специализированного ПО; собственного опыта использования такого ПО в учебном процессе для формирования навыков аргументации и критического мышления. Мы уделяем особое внимание возможности реализации функций оценки аргументов и поиска решений. В качестве необходимого элемента такого ПО предлагаем использовать онтологии и модифицируем хорошо зарекомендовавшую себя онтологию AIF до DelibAIF для моделирования делиберативной аргументации, и предлагаем архитектуру информационной системы с учетом сформированных критериев. Разработанные критерии будут использованы для классификации соответствующего ПО.
In the 90s of the XX c., the development of information and communication technologies led to the creation of the software designed for visualization and modeling of deliberative intellectual activity for solving various tasks, including the educational ones. In this study, we formulate and substantiate a group of the criteria for developing the software designed to model the deliberative argumentation. In doing so we rely on the conceptual foundations for classifying of the software for modeling discussions and argumentation, which we have identified earlier at the first stage of our research; the examination of the available specialized software; and on our own experience of using such software in teaching argumentation and critical thinking skills. We pay special attention to the perspectives of implementing functions for evaluating arguments and finding solutions. As a necessary element of the software for modeling deliberative argumentation, we propose employing ontologies and modify a reliable AIF ontology to DelibAIF; and suggest an architecture of the software which accounts for the formulated criteria. The criteria will be used to classify the relevant software.
Моделирование результатов легкоатлетов на основе электронного мониторинга пульсовых показателей
Authors: Епанчинцева А.И. , Бакаев М.А. 
Published: December 2024

Возможность предсказывать способности и будущие результаты спортсменов важна для эффективного распределения усилий тренеров, времени использования спортивного оборудования, и других ограниченных ресурсов, доступных в рамках проектов по развитию спорта. Применение для решения этой задачи популярных сейчас методов машинного обучения ограничено требованием больших объемов данных и наличия статистики предыдущих тренировок и выступлений спортсменов. В нашей статье мы описываем пилотное исследование, проведённое с 14 действующими бегунами на средние дистанции, и предлагаем регрессионную модель для предсказания результатов, которая объясняет 89% их дисперсии. Модель основана на пульсовых показателях в различных видах тренировок – т.е. данных, которые могут быть относительно легко собраны современными электронными сенсорами или мобильными устройствами. Для времени бега на дистанции в 1 км значимыми оказались факторы пульса на восстановительном кроссе, на рабочем кроссе и максимальный пульс спортсмена. Мы полагаем, что наши результаты могут быть полезны как легкоатлетам и тренерам, так и лицам, принимающим решения в сфере спортивного менеджмента – в частности, для составления оптимальных графиков тренировок и отборов в сборные команды страны.
Today's international sport is a competition of fast managerial decisions, high technology and strong investments. Correspondingly, rational selection of capable sportsmen is crucial for optimal allocation of the limited training resources. In our paper, we perform a pilot experimental study with 14 middle-distance runners and propose a model for predicting performance of athletes that is not based on training process-related factors or on previous performance logs. Instead, we rely on heart rate-related indexes that can be relatively easily monitored using today’s e-sensors and mobile devices. In total, we consider 11 factors, but the best model that explains 89% of the variance in performance on the characteristical 1 kmdistance includes 5 of them (in addition to the demographic factors). Particularly, high pulses at recovery cross and during speed training negatively affect performance, whereas high maximum pulse has significant positive effect. Interestingly, no factors related to the training process, such as the running volume per week, were significant in the model. We believe that our results, even though preliminary, can be of interest to athletes, trainers and sports managers who seek to optimize the training schedules and form balanced national teams.
Итерационный алгоритм поиска кратчайшего пути в невзвешенном неориентированном графе
Authors: Сысоев В.В. 
Published: December 2024

Существует проблема поиска наикратчайших путей между двумя вершинами в невзвешенном, неориентированном графе, которая усугубляется тем, что имеющиеся алгоритмы поиска всех путей имеют сложность не меньше O(n^3). Предлагаемый же новый метод поиска кратчайшего пути в невзвешенном неориентированном графе позволяет получить все кратчайшие пути с приемлемой сложностью O(n^2) в худшем случае, а в среднем, O(n). Существующий алгоритм поиск всех путей, алгоритм Флойда-Уоршелла имеет сложность O(n^3), алгоритм Дейкстры, хоть и имеет сложность O(n^2), однако, для нахождения всех кратчайших путей между двумя вершинами, нужно заново пересчитывать пути в графе. Данная статья описывает новый итерационный алгоритм, обосновывает его асимптотическую сложности и сравнивает время и результаты работ с алгоритмом Дейкстры, доказывая тем самым, что обоснование асимптотическая сложность обоснована верно, и алгоритм работает намного быстрее.
There is a problem of finding the shortest paths between two vertices in an unweighted, undirected graph, which is aggravated by the fact that the available algorithms for finding all paths have a complexity of at least . The proposed new method for finding the shortest path in an unweighted undirected graph allows obtaining all shortest paths with acceptable complexity , and on average, . The existing algorithm for finding all paths, the Floyd-Warshall algorithm has complexity , Deikastra's algorithm, although it has complexity , but to find all the paths, you need to recalculate the paths to find all the paths between two vertices in the graph. This article describes a new iterative algorithm, justifies its asymptotic complexity, and compares the time and results of work with Deikasta's algorithm, thereby proving that the justification for asymptotic complexity is justified correctly, and the algorithm works much faster.
Мультипрофильная статическая бинарная оптимизация приложения на основе трасс исполнения
Authors: Лисицын С.А. 
Published: December 2024

Профилирование – сбор характеристик об исполнении программ, которые можно использовать во время оптимизаций. Одним из примеров использования является статический бинарный оптимизатор BOLT. Основной прирост производительности в нём достигается за счёт перекомпоновки кода на основе полученного во время исполнения приложения профиля. Однако, реализована данная оптимизация без учета переключения между сценариями приложения, когда происходит смена собираемых характеристик программы во время её исполнения. Это приводит к тому, что при исполнении приложения на сценарии, отличном от профилируемого, прирост производительности будет меньше, либо будет наблюдаться регрессия. Объединение всех возможных профилей программы в один не решает все возможные проблемы. В данной работе описывается алгоритм мультипрофильного анализа кода, учитывающий смену сценариев работы программы. Данный алгоритм основан на обработке трасс исполнения приложения, собираемых с помощью динамической бинарной инструментации. На основе этого анализа можно проводить оптимизацию по размещению кода в зависимости от его принадлежности определенному сценарию, что будет приводить к повышению локальности кода. Также на основе мультипрофильного анализа можно проводить оптимизацию, производя дублирование кода, попадающего одновременно в несколько сценариев.
Profiling is the collection of characteristics about the execution of programs that can be used during optimizations. One example of usage is the BOLT static binary optimizer. The main performance gain in it is achieved by recomposing the code based on the profile obtained during application execution. However, this optimization is implemented without considering switching between application scenarios when there is a change in the collected characteristics of the program during its execution. This leads to the fact that when the application is executed on a scenario other than the profiled one, the performance gain will be less, or regression will be observed. Combining all possible program profiles into one does not solve all possible problems. This paper describes an algorithm for multi-profile code analysis, considering the change of scenarios of the program. This algorithm is based on processing application execution traces collected using dynamic binary instrumentation. Based on this analysis, it is possible to optimize the placement of code depending on its belonging to a certain scenario, which will lead to an increase in the locality of the code. Also, based on multi-profile analysis, it is possible to optimize the duplication of code that falls into several scenarios simultaneously.
Оценка баланса учебных планов при подготовке специалистов в области информационных технологий с применением метода UGVA
Authors: Углев В.А. 
Published: December 2024

В данной статье поднимается вопрос о необходимости иметь методологический подход к сравнению, оценке и актуализации учебных планов при подготовке специалистов в области информационных технологий. В качестве объекта выбрана специальность «Информатика и вычислительная техника», преподаваемая в университетах Российской Федерации. Сведены данные и проанализированы 73 учебных плана. В качестве подхода по концентрации данных и визуализации выбран метод Unified Graphic Visualization of Activity (UGVA). Предложена модель балансировки нагрузки в структуре учебного плана рассматриваемой специальности. На графических образах учебных планах выявлены особенности подготовки студентов и лучшие практики. Для программ подготовки оценен баланс и рассмотрены проблемные аспекты. В частности, было показано, что почти все программы подготовки имеют недостаточный объем учебной нагрузки по направлению общей и фундаментальной информатике, а также недостаточно плотно сотрудничают с региональными отраслевыми партнерами. Опираясь на сравнение выбранного учебного плана с другими, представленными в виде образов в нотации UGVA, предложен ряд рекомендаций, относящийся к изменению структуры вклада дисциплин, развивающих ключевые профессиональные умения.
In these article deals with a methodological approach to comparing, evaluating and updating curricula in software engineering and computing. We describe the results of an analysis of seventy-three curricula for the Russian academic major «Informatics and Computing». For data concentration and visualization, we used the Unified Graphic Visualization of Activity (UGVA) method. We propose a model of balancing the learning load in the curricula. The images created using the described method allowed us to summarize curricula evaluation data, identify the differences in teaching students and best practices. In particular, it was found that most of the curricula have an insufficient number of hours devoted to courses for general and fundamental information theory and the cooperation with regional employers is low. Based on a comparison of the selected curriculum with others presented in the form of images in UGVA notation, we developed recommendations on changing the curriculum structure regarding courses developing key professional skills.
Российская научная школа философии информации: современное состояние и перспективы развития
Authors: Колин К.К. 
Published: December 2024

Проведен анализ истории, современного состояния и перспектив развития российской научной школы философии информации. Рассмотрена структура предметной области российских исследований в этой области и показано, что в настоящее время Россия здесь является признанным мировым лидером. Показана концептуальная значимость результатов российской школы в области философии информации для формирования современного научного мировоззрения интеллектуальной элиты, развития фундаментальных и прикладных исследований во многих областях науки, а также для систем образования. Отмечен большой личный вклад в развитие этого направления его основоположника А.Д. Урсула. Определены перспективные направления развития междисциплинарных исследований на основе достижений российской науки в области философии информации.
The analysis of the history, current state and prospects of development of the Russian scientific school of philosophy of information is carried out. The structure of the subject area of Russian research in this area is considered, and it is shown that at present Russia is a recognized world leader here. The conceptual significance of the results of the Russian school in the field of philosophy of information for the formation of the modern scientific worldview of the intellectual elite, the development of fundamental and applied research in many fields of science, as well as for education systems is shown. The great personal contribution of its founder A.D. Ursula to the development of this direction was noted. Promising directions for the development of interdisciplinary research based on the achievements of Russian science in the field of philosophy of information are identified.
Выбор системы координат при обработке информационных сигналов с использованием фильтра Калмана
Authors: Понятский В.М. 
Published: December 2024

Рассматриваются вопросы сглаживания информационных сигналов в технических системах с подвижным основанием. В таких системах используются различные системы координат и при управлении исполнительными элементами осуществляется преобразование сигналов из одной системы координат в другую. Выбор системы координат, в которой осуществляется обработка информационных сигналов, должен осуществляться с учетом характера изменения обрабатываемых сигналов. В статье рассматривается обработка информационных сигналов с учетом системы измерения координат с помощью фильтрации Калмана. Учет системы измерения координат при фильтрации Калмана позволяет обеспечить требуемую точность обработки сигналов.
The article describes information signal smoothing problems in the technical systems with movable platform. In such technical systems different coordinate system are used and there is a signal conditioning from one coordinate system into one another when actuating element controlling. A choice of coordinate system, which is used for information signal processing, must take account of behavior of processed signals. Kalman filter allows providing signal processing required accuracy, if there is taken account of a system of dimensioning.
Оценка временной эффективности форматов хранения больших данных в динамике роста объема данных
Authors: Белов В.А. , Никульчев Е.В. 
Published: December 2024

При разработке озера данных на таких платформах, как Apache Hadoop, важным вопросом становится выбор формата хранения данных. Этот выбор должен опираться на ряд различных критериев, одним из которых являются временные затраты при запуске различных запросов к этим данным. Однако любая система обработки данных предполагает постоянный рост объема этих данных. В связи с этим возникает необходимость изучения эффективности форматов в динамике роста объема данных, хранящихся в системе. В данной статье предлагается методика оценки эффективности форматов хранения данных в озерах данных, построенных на платформе Apache Hadoop, в динамике роста объема данных. Предложен эксперимент, представляющий из себя ряд запусков запросов различной сложности к данным, хранящихся в форматах JSON, Apache Avro, ORC, Apache Parquet. Для запуска запросов использовался фреймворк Apache Spark.
When developing a data lake on platforms such as Apache Hadoop, the choice of data storage format becomes an important issue. This choice should be based on a number of different criteria, one of which is the time it takes to run different queries on this data. However, any data processing system assumes a constant growth in the volume of this data. In this regard, it becomes necessary to study the effectiveness of formats in the dynamics of growth in the amount of data stored in the system. This article proposes a methodology for assessing the effectiveness of data storage formats in data lakes built on the Apache Hadoop platform in the dynamics of data growth. An experiment is proposed, which is a series of queries of varying complexity to data stored in JSON, Apache Avro, ORC, Apache Parquet formats. The Apache Spark framework was used to run queries.
Устойчивость системы Валлиса
Authors: Нефедов В.В. , Тихомиров В.В. , Максимова Я.Д. 
Published: December 2024

В работе предложен вариационный метод получения необходимых (и достаточных) условий устойчивости возмущенных решений системы уравнений Валлиса. Этот метод позволяет установить необходимые условия устойчивости по Ляпунову. Он является эффективным даже в случаях, когда применение классического метода Ляпунова вызывает трудности, связанные с построением функции Ляпунова или с неточностями линеаризации по Тейлору, что характерно для динамических систем большой размерности. В ряде случаев этот метод можно применить для нахождения областей фазовых переменных, в которых необходимые условия совпадают с достаточными условиями устойчивости (асимптотической устойчивости) по Ляпунову. В этих случаях сама метрическая функция, как это показано в настоящей работе, может играть роль функции Ляпунова для получения достаточных условий устойчивости.
In this paper, a variational method is proposed for obtaining the necessary (and sufficient) stability conditions for perturbed solutions of the system of Vallis equations. This method allows us to establish the necessary conditions for Lyapunov stability. It is effective even in cases when the application of the classical Lyapunov method causes difficulties associated with the construction of the Lyapunov function or with inaccuracies of Taylor linearization, which is typical for dynamical systems of large dimension. In some cases, this method can be used to find regions of phase variables in which the necessary stability conditions coincide with sufficient stability conditions (asymptotic stability) according to Lyapunov. In these cases, the metric function itself, as shown in this paper, can play the role of the Lyapunov function to obtain sufficient stability conditions.
Horizontably Scalable LSM-tree Based Index for Full-Text Search Boolean Queries
Authors: Neganov A.M. 
Published: December 2024

Let there be a set of objects, where each object is characterized by Boolean features. Let logical query or Boolean query denote a query to find objects characterized by a Boolean function by features, for example, “documents with all words ...and any words ...and without words ...”. The terms “object” and “document” are used interchangeably hereinafter. The features may have different semantics, i. e. some features may correspond to the words of the document, some to labels or categories, and some to per-bit time quantum of a document’s date. Although indices executing Boolean queries are well researched in the literature, the common technique of maintaining posting lists is not always acceptable. If the data volume can reach to the order of petabytes, a compact index structure becomes vital. The aim of the research is to suggest a method to build an efficient bitmap index in secondary memory that allows us to update or append data being indexed with high write throughput. We propose an efficient LSM-based index for bitmaps and feature design for practical applications. We also discuss aspects of building of joined indices in order to achieve good scalability. The paper describes the architecture and algorithms of a suggested index and includes results of our experiments that show sustainable performance of our solution.
Пусть существует набор объектов, где каждый объект характеризуется логическими признаками. Пусть логический запрос или Булевский запрос обозначает запрос на поиск объектов, характеризуемых логической функцией, по признакам, например, “документы со всеми словами...и любыми словами ...и без слов...”. Термины ”объект“ и "документ” в дальнейшем используются как взаимозаменяемые. Компоненты могут иметь различную семантику, т.е. е. некоторые компоненты могут соответствовать словам документа, некоторые ‒ меткам или категориям, а некоторые — побитовым квантам времени даты документа. Хотя индексы, использующие логические запросы, хорошо изучены в литературе, общий метод ведения списков рассылки не всегда приемлем. Если объем данных может достигать порядка петабайт, компактная структура индекса становится жизненно важной. Цель исследования ‒ предложить метод построения эффективного растрового индекса во вторичной памяти, позволяющий обновлять или дополнять индексируемые данные с высокой скоростью записи. Мы предлагаем эффективный индекс на основе LSM для растровых изображений и дизайн элементов для практических приложений. Мы также обсуждаем аспекты построения объединенных индексов для достижения хорошей масштабируемости. В статье описываются архитектура и алгоритмы предлагаемого индекса, а также результаты наших экспериментов, которые показывают устойчивую производительность нашего решения.
Обнаружение вредоносной активности в зашифрованном трафике, представленном в виде временных рядов
Authors: Полянская М.С. 
Published: December 2024

В данный момент большая часть трафика в Интернете зашифрована; вредоносные программы также всё чаще используют шифрование. Чтобы анализировать зашифрованный трафик на предмет вредоносной активности, используются его метаданные. За «единицу» трафика принимается поток ‒ соединение между двумя хостами. Тема данной работы ‒ анализ зашифрованного трафика, представленного в виде временных рядов, с помощью машинного обучения. Этот подход рассматривается в сравнении с более традиционным подходом к классификации потоков. Задача рассмотрена в контексте обучения с учителем и без учителя. Также поставлена задача принятия решения о наличии заражения на хосте по совокупности данных, и описана модель детектора заражения. Эксперименты проводились на примере сетевой активности вируса-шифровальщика. Для анализа временных рядов применялись специализированные инструменты: рекуррентные и конволюционные нейросети, алгоритм динамической трансформации временной шкалы.
At the moment, traffic on the Internet is mostly encrypted; malware is also increasingly using encryption. To scan encrypted traffic for malicious activity, its metadata is used. For that purpose, traffic is divided into flows – sessions between two hosts. This paper is devoted to machine learning for analysis of encrypted traffic presented in the form of time series. This approach is considered in comparison with a more traditional approach to flow classification. The task is considered in the context of both supervised and unsupervised machine learning. Regarding decision-making on whether the host is infected as a whole, a model of a malware detector is proposed. The experiments were conducted on the case study of the network activity of ransomware. Specialized tools were used to analyze time series: recurrent and convolutional neural networks, dynamic time warping.