Содержание журнала, редсовет, редколлегия, информация об обложке.

Table of contents, editorial board, editors, information on cover.

Алгоритм Дейкстры является одним из наиболее популярных и фундаментальных алгоритмов решения проблемы поиска кратчайшего пути в ориентированном графе. Хорошо известно, что алгоритм Дейкстры применим к орграфам с неотрицательно взвешенными дугами. Но, как показывают простые наблюдения, существует множество орграфов и даже классов орграфов с отрицательно взвешенными дугами, к которым алгоритм Дейкстры также применим. Таким образом, условие неотрицательности весов дуг является достаточным, но не является необходимым. Необходимое условие применимости алгоритма Дейкстры не было известно. В этой статье мы представляем и доказываем необходимое и достаточное условие применимости алгоритма Дейкстры. Условие основано на введённом нами понятии рекорда пути. С. 5-13.

Dijkstra’s algorithm is one of the most popular and fundamental algorithms solving the shortest path problem in directed graphs (digraphs). It is well known that Dijkstra’s algorithm is applicable to digraphs with non-negative weighted arcs. But as simple observations show there are many digraphs and even classes of digraphs with negatively weighted arcs for which the Dijkstra’s algorithm is also applicable. Thus the non-negative weight of the arcs condition is not a necessary condition but only a sufficient one. pagebreak The necessary condition for applicability of Dijkstra’s algorithm was unknown. In this paper, we present and prove a necessary and sufficient condition for the applicability of Dijkstra’s algorithm. The condition is based on the notion of a path's record that we introduce.

Работа посвящена компьютерному моделированию процесса построения свободных проективных плоскостей, или более точно, алгоритмическому нахождению их последовательных матриц инцидентности. Рассматриваются также некоторые целочисленные характеристики этих матриц. Матричный метод, а также подход, использующий билинейные формы, применяются для изучения темпов роста числа новых элементов (точек, линий) в процессе поэтапного построения проективной плоскости, начиная с конфигурации М. Холла Pi^4. Число новых элементов растет асимптотически как двойная экспонента (линейно по log (log) шкале). Оценка сверху также дает двойной экспоненциальный рост. С. 14-28.

This paper treats computer modeling of the process of constructing free projective planes — more precisely, to algorithmically finding their successive incidence matrices; and also to considering some numerical characteristics of these matrices. Matrix and bilinear forms approaches are used to study the growth rate of the number of new elements (points, lines) during step-by-step process of constructing projective plane starting with the Hall Pi^4 configuration. It appears that the number of new elements grows asymptotically as a double exponent (linear on log(log) scale.) Rough estimate from above also gives double exponential growth rate.

В работе использовались два метода для вычисления идентификационных характеристик голоса диктора. Один из них основан на прямом преобразовании Фурье, второй — на оконном преобразовании с последующей интеграцией значений каждой гармоники всех окон. Определена информативность данных характеристик. Дана оценка того, каким образом параметры голоса и их информативность изменяются в зависимости от степени алкогольного опьянения человека и в сонном состоянии. Проведен вычислительный эксперимент по оценке надежности распознавания дикторов в пространстве выбранных признаков с помощью функционалов, основанных на формуле гипотез Байеса, мере Пирсона, мере хи-модуль, критериях Джини, Крамера-фон Мизеса, а также персептронов, обучаемых по ГОСТ Р 52633.5-2011, и сетей квадратичных форм. Дана оценка устойчивости указанных методов и функционалов к изменению психофизиологического состояния диктора в плане робастности получаемых результатов распознавания. С. 29-47.

In this work, two methods were used to calculate the identification characteristics of the speaker's voice. One of them is based on the direct Fourier transform, the second — on the window transformation with the subsequent integration of the values of each harmonic of all the windows. The information content of these characteristics is determined. An estimation is given of how the parameters of the voice and their informativeness change depending on the degree of alcoholic intoxication of a person and in a sleepy state. A computational experiment was carried out to evaluate the reliability of recognition of speakers in the space of selected features using functionals based on the Bayesian hypothesis formula, Pearson measure, chi-module measure, Gini criterion, Cramervon Mises, and perceptrons trained in GOST R 52633.5-2011, and networks of quadratic forms. An estimation is given of the stability of these methods and functionals to the psychophysiological state of the speaker in terms of the robustness of the obtained recognition results.

NoSQL системы управления базами данных находятся в поле зрения специалистов области уже довольно давно. Однако на текущий момент очень мало работ связано с данной темой, а в особенности — со сравнением таких систем с традиционными реляционными СУБД. Что касается существующих исследований, то одни статьи являются обзорными, другие используют небольшое количество записей в таблицах в качестве нагрузки или рассматривают только одно окружение для проведения экспериментов, что может давать преимущество одному из объектов сравнения. Данная работа посвящена PostgreSQL и MongoDB. Первая система, несмотря на то, что является свободным программным обеспечением, стремительно набирает популярность в том числе и в корпоративном сегменте, а вторая отличается от большого числа NoSQL решений хорошей проработанностью и поддержкой. С целью обеспечения полноты сравнения, эксперименты проводились в различных окружениях и с различной нагрузкой. С. 48-63.

NoSQL database management systems have been under examination by industry specialists for quite some time. However, at the moment there are very few works connected with this topic, and in particular - with the comparison of such systems with traditional relational DBMSs. As for the existing studies, some articles are plain overviews, some use a small number of records in tables as a workload or they only consider one environment for conducting experiments, which can give advantage to one of the comparison objects. This paper is concerned with PostgreSQL and MongoDB. The first system, despite being free and open-source software, is rapidly gaining popularity even in the corporate world, whereas the second one differs from a large number of NoSQL solutions in its meticulousness and support. In order to ensure the completeness of the comparison, the experiments were carried out in different environments and with different loads.

Представлен обзор Международной конференции «Приложения компьютерной алгебры» (ACA–2017, Иерусалим, 17–21 июля 2017 г.), на которой был рассмотрен широкий спектр вопросов применения компьютерной алгебры в различных прикладных областях. К таким областям, в частности, можно отнести образование, топологию, дифференциальную и разностную алгебру, динамическую геометрию, постквантовую криптографию, прикладную физику, небесную механику, динамические системы, алгоритмическую комбинаторику, теорию кривых, полиномиальные системы, обработку изображений, теорию графов и др. С. 64-68.

The review observes the 23rd Conference on «Applications of Computer Algebra» (ACA'2017, Jerusalem, July 17–21, 2017) where applications of computer algebra in different areas were discussed. The topics of the conference included but were not restricted to the applications of computer algebra in education, topology, differential and difference algebra, dynamic geometry, post-quantum cryptography, applied physics, celestial mechanics, dynamical systems, algorithmic combinatorics, theory of curves, polynomial systems, image processing, graph theory, etc.