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

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

Цель нашей статьи - пояснить компьютерную анимацию строго критического движения твердого тела, которую не следует путать с каким-либо другим движением в её «окрестности», каким бы близким оно ни было. Мы продемонстрируем, что (локальная) «теорема о единственности» терпит крах в случае критического движения, область определения (времени) которого должна быть компактифицирована присоединением точки (комплексной) бесконечности. Два (противоположных друг другу) «переворачивания» соответствуют одному и тому же (начальному) вращению (строго) относительно оси, с промежуточным моментом инерции, или по ходу часовой стрелки или против неё. Эти две симметричные смены направления промежуточной оси (инерции), первоначально согласующиеся с направлением (фиксированного) углового момента, а затем противонаправлены ему, разделяют одну и ту же ось (симметрии), которую мы называем «осью Галуа». Ось Галуа, жёстко фиксированная в теле (но не совпадающая с какой-либо главной его осью инерции), вращается равномерно в плоскости, ортогональной угловому моменту, как показывает наша анимация. Анимация также отслеживает соответствующие две (рекуррентно самопересекающиеся) герполодии, которые оказываются зеркально-симметричными. «Зеркало» проявляется в плоскости, ортогональной оси Галуа «посреди кувырка». Сама ось Галуа отражается относительно малой (или большой) оси инерции, если направление углового момента меняется на противоположное. Формула «взмаха» промежуточной оси инерции, в плоскости, ортогональной оси Галуа (в системе координат тела), оказывается «квадратным корнем» критического решения Абрарова для математического маятника, (мнимый) период которого (точно) вычисляется. С. 5-13 (на англ.)

The aim of our paper is to explain a computer animation of the strictly critical rigid body motion, which ought not be confused with any other motion in its “proximity”, however close. We demonstrate that the (local) “uniqueness theorem” remarkably fails in the case of critical motion which (time) domain must be compactified via adjoining the point at (complex) infinity. Two (opposite to each other) “flips” correspond to one and the same (initial) rotation, exclusively either clockwise or counterclockwise, (strictly) about the intermediate axis of inertia. These two symmetrical reversals of the direction of the intermediate axis (of inertia), initially matching then opposing the direction of the (fixed) angular momentum, share one and the same (symmetry) axis, which we call “Galois axis”. The Galois axis, which is fixed within the body (but coincides with no principal axis of inertia), rotates uniformly in a plane orthogonal to the angular momentum, as our animation demonstrates. The animation also traces the corresponding two (recurrently self-intersecting) herpolhodes, which turn out to be mirror-symmetrical. The “mirror” is exhibited to lie in a plane, orthogonal to Galois axis at the midst of the “flip”. The Galois axis itself is reflected across the minor (or the major) axis of inertia if the direction of the angular momentum is reversed. The formula for the “swing” of the intermediate axis in the plane orthogonal to Galois axis (in body’s frame), turns out to be “a square root” of Abrarov’s critical solution for a simple pendulum, which (imaginary) period is (exactly) calculated.

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

In economic science, researchers have been long studying the possibility of using mathematical apparatus to perform a complete and accurate analysis and build a reliable forecast of the studied economic processes. There is a large number of different ways to create mathematical models that allow the construction the dynamics of changes in socio-economic data. In this article, author applies two types of discrete probability chains, which are generalization of well known Markov processes, to the modeling of dynamics of two types of data. The initial data are checked by using several statistical criteria. The analysis of the consistency of results with empirical dynamics has been made. The results shows that the satisfaction of statistical criteria is important for successful application of discrete probabilistic chains.

В статье описано расширение проекта РуСи, позволяющее использовать параллельные нити стандарта POSIX Threads. Это дало возможность существенно повысить эффективность использования многочисленных датчиков в популярных ныне системах Интернет вещей и в роботах, разрабатываемых на математико-механическом факультете СПбГУ. С. 25-30.

The article describes the extension of RuC project, which allows the use of parallel threads of the POSIX Threads standard. This made it possible to significantly improve the efficiency of the use of numerous sensors in the now popular systems of the Internet of things and in robots developed at the faculty of mathematics and mechanics of St. Petersburg state University.

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

In connection with the development of new technologies and the expansion of the use of computers and networks, in particular with the advent of the Internet of things, there is an increasing need to use a combination of computing devices to solve one problem. pagebreak In this case, most often these devices are geographically distributed and differ from each other by technical characteristics. This article explores the possibility of adapting the methods of parallel computations originally intended for systems with separate memory to distributed systems. The features of distributed systems, ways of representing such systems and algorithms on these systems are considered. The article proposes an approach to the representation of algorithms taking into account the features of a distributed system in the form of a projection of an information graph of the algorithm onto a interconnection graph. This approach allows us to investigate the algorithm in static mode without going through all the network and algorithm states.

В статье рассматривается вопрос определения актуальности разработки методики применения в учебном процессе систем управления обучением с элементами геймификации и игровых технологий, обеспечивающих познавательную мотивацию студентов. С целью определения наиболее популярных средств геймификации и игровых технологий авторами статьи рассмотрены структура и функционал системы управления обучением Academy LMS, Accord LMS, Axonify, Expertus, широко использующие средства геймификации и игровых технологий для повышения уровня мотивации обучаемых. Специалистами из SCVNGR (разработчик социальных игр для мобильных платформ) в 2010 году был опубликован список игровых механик, применяя которые в совокупности, по мнению авторов, возможно разрабатывать игры, которые впоследствии могут стать популярными. На основе игровых механик от специалистов SCVNGR авторами данной статьи проанализирована каждая игровая механика, и сделан вывод о возможности применения данных механик в системах управления обучением. На основе результатов поиска и обзора систем обучения, применяющих рассматриваемые технологии, и обзора игровых механик, применяемых в компьютерных играх, предложен ряд функциональных особенностей применения средств геймификации и игровых технологий в системах управления обучением, актуальность которых была подтверждена при помощи анкетирования студентов высших и средних профессиональных учебных заведений, как непосредственных потребителей образовательных услуг. С. 39-54.

The article discusses the issue of determining the relevance of the development of a methodology for the application of learning management systems with elements of gamification and gaming technologies that provide cognitive motivation for students. In order to determine the most popular means of gamification and gaming technologies, the authors consider the structure and functional of the training management system Academy LMS, Accord LMS, Axonify, Expertus, which widely use gamification and gaming technologies to increase the level of motivation of trainees. In 2010, specialists from SCVNGR (developer of social games for mobile platforms) published a list of game mechanics, applying which, in the opinion of the authors, it is possible to develop games that can later become popular. Based on the game mechanics from the specialists of SCVNGR, the authors of this article analyzed each game mechanics, and concluded that it is possible to apply these mechanics in the management systems of training. Based on the results of the search and review of the training systems using the technologies under consideration and the review of game mechanics used in computer games, a number of functional features were proposed on the use of gamification and gaming technologies in the management systems of training, the relevance of which was confirmed by the questionnaire survey of students of higher and secondary professional educational institutions, as direct consumers of educational services.

Конкурсы и конференции следует рассматривать не только как способ сравнения уровней подготовки участников по предмету конкурса или олимпиады. Их можно рассматривать как иной способ организации умственной деятельности участников. Различные типы задач инициируют различные виды интеллектуальной деятельности у учеников, олимпиадные и конкурсные задачи отличаются от “школьных” нестандартностью, сочетанием доступности формулировки и неочевидностью решения, возможностью различных подходов к решению задачи. В то же время, разнообразие конкурсов и олимпиад ставит задачу их изучения и классификации с точки зрения поддержки различных стилей мышления. В данной работе будет сделан анализ конкурсов и олимпиад по информатике, направленный на выявление аспектов интеллектуальной деятельности ученика, оценка которых традиционными <<школьными>> средствами проверки недостаточно информативна, в то время как организация и отслеживание внеурочной деятельности позволяет лучше оценить развитие интеллектуальных механизмов ученика без применения тестовых технологий. Олимпиада по Дискретной Математике и Теоретической Информатике находится на стыке двух наук. В статье рассматриваются проблемы, с которыми сталкиваются организаторы соревнований по математике и информатике и демонстрируются некоторые способы их решения на примере указанной олимпиады. Работа выполнена при поддержке Российского фонда фундаментальных исследований (проект № 18-013-01130). С. 55-67 (на англ.).

Contests and Olympiads should be considered not only as a way of comparing the students' levels of training. They can be regarded as a different way of organizing the mental activity of participants. Different types of tasks initiate various types of intellectual activity among students. The Olympiad tasks differ from ``school'' ones by non-standardness, a combination of the understandability of the formulation and the non-obviousness of the solution, the possibility of various approaches to solving the problem. At the same time, the variety of contests and Olympiads raises the task of investigating and classifying them, focusing on supporting different styles of thinking. In this paper, we carry out an analysis of contests and Olympiads in informatics, aiming at identifying aspects of the student's intellectual activity, which are not sufficiently evaluated at school. The Olympiad in Discrete Mathematics and Theorethical Informatics is at the intersection of the two sciences. The article deals with the problems encountered by the organizers of competitions in mathematics and computer science and demonstrates some ways to solve them using the example of the Olympiad.