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

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

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

The article describes the development of the speech synthesis methods from the beginnings to the present. The main approaches that have played an important role in the development of the speech synthesis, as well as modern advanced methods are considered. The extensive bibliography on this issue is also given.

Нечеткая логика по своей основной характеристике моделирования человеческого мышления является одним из методов искусственного интеллекта. Данный метод может быть использован для моделирования мониторинга и управления процессами. Нечеткая логика способствовала развитию нескольких направлений. В промышленном обслуживании нечеткая логика использована для того, чтобы разрешить диагностические проблемы, автоматически классифицировать сигналы вибрации, соответствие различных режимов деятельности машин. В данной статье проведен сравнительный анализ методов автоматизированной системы управления технологическими процессами (АСУ ТП) в современных промышленных областях, преимущественный анализ применения методов нечеткой логики в современных системах управления технологическими процессами, а также представлен пример использования нечёткой модели при оценке качества передачи данных в IIoT (Industrial Internet of Things) сетях. С. 29-42.

Fuzzy logic by its main characteristic of simulation of human reasoning, it is classified among the techniques of artificial intelligence. This technique can be used to model the monitoring and control of processes. Fuzzy logic has contributed to the development of several areas. In industrial maintenance, fuzzy logic is used to solve diagnostic problems by automatically classifying vibration signals corresponding to different modes of operation of machines. In this article, a comparative analysis is carried out of the methods of automated control system of technological processes (ACS TP) in modern industrial fields, the preferential analysis of applying fuzzy logic methods in modern process control systems, as well as an example of using a fuzzy model in assessing the quality of data transmission in IIoT net-works.

Микросервисная парадигма -популярный подход при разработке различных систем, который характеризуется разбиением монолитной системы на большое количество небольших по размеру приложений. Работающие вместе и реализующие необходимую логику, компоненты выполнены с применением наиболее подходящих для них технологий. Подход также позволяет осуществлять простое масштабирование наиболее нагруженных частей, однако, среда передачи данных между компонентами не позволяет в достаточной степени гарантировать их совместимость при разработке и поддержке. Существует очень ограниченный набор средств для поддержания согласованной работы всей системы при изменении входных или выходных параметров какого-либо микросервиса из её состава. Проблема особенно актуальна в случае асинхронного взаимодействия частей системы, так как существующие решения и стандарты покрывают в основном синхронное взаимодействие, основывающееся на протоколах семейства RPC или REST, или используются для высокоуровневого описания автоматизируемых бизнес-процессов. Одним из способов обеспечения совместимости компонентов системы является предварительная проверка типов аргументов перед тем, как сервисы начнут работу. В данной работе представлена разработка и тестирование метода для предварительной проверки типов в событийной модели взаимодействия микросервисов. Разработанный подход использует RabbitMQ в качестве хранилища типов очередей сообщений и специализированную библиотеку для проверки микросервисами возможности использовать выбранную очередь. Таким образом, совокупность брокера и библиотеки позволяют избежать расхождения типов аргументов и результатов микросервисов в событийной микросервисной архитектуре (на англ.). С. 43-53.

Microservice architecture is a popular approach for building various systems. It consists of various dedicated small-sized components from a solid application. Components work together and provide the required business-logic, but each one can be implemented with the most suitable technique. Moreover, overloaded parts can be scaled easily. However, a data transfer layer does not guarantee compatibility of services during their development and maintenance. After changing input or output data type of any microservice of the system, there is a limited set of options to keep up the compatibility. The problem is especially urgent for asynchronous communication because existing systems and standards work mostly with synchronous RPC or REST interoperation or cover high-level description of business-logic. One way to guarantee compatibility is a preliminary check of data types before the services start to serve requests. The current paper describes the development and testing of the method applied to the event-driven system of microservices. The developed approach extends message broker RabbitMQ to store queue types. Also, the approach uses the library to check the microservices ability to use selected queues. Both the library and the extension solves the problem of type inconsistency in a microservice event-driven architecture.

В данном исследовании обозначен и проанализирован способ решения логических задач декларативным языком Prolog на основе метода поиска в пространстве состояний. Суть метода -- задекларировать генератор состояний, формирующий пространство поиска, и процедуру отбора для просеивания построенных состояний по определенному принципу. В исследовании предложена классификация способов построения генераторов данным методом. Описаны формальные модели следующих решений: обобщенная задача о переправе, задача на переливание и задача построения кодового слова. Для описания объектов и их состояний предложено использовать битовые цепочки, а для генерации очередного состояния -- побитовые операции. Описанные подходы построения искомых вариантов позволяют найти все возможные решения заданной размерности. Обозначены перспективы генерации правил базы знаний. Полученные в ходе исследования примеры декларативных моделей используются в преподавании дисциплины «функциональное илогическое программирование» в Алтайском госуниверситете. С. 54-67.

In this study, a method for solving Logical Tasks in the declarative language Prolog is identified and analyzed using the State Space Search Method. The essence of this method is to declare a State Generator, which forms the Search Space, and a Selection Procedure for sifting the constructed states according to a certain principle. pagebreak In this study a classification of techniques is proposed for constructing generators by this method. The formal models of the following solutions are described: The Generalized Crossing Task, The Transfusion Task and The Code Word Construction Task. To describe objects and their states, it was proposed to use Bit Chains, and to generate the next state -- Bitwise Operations. The described approaches for constructing the desired variants make it possible to find all possible solutions of a given dimension. The prospects for generating knowledge base rules are indicated. Examples of declarative models, obtained in the course of this study, are used in the course “Functional and Logic Programming” in the Altai State University.

Различные аспекты использования технологии MOOC в современном очном и заочном обучении рассматриваются на основе накопленного опыта создания, публикации и поддержки пяти онлайн-курсов по физике для учащихся разных возрастных и целевых групп. Анализируются актуальные варианты развития системы онлайн-обучения по курсам физики. Предложены конкретные способы решения проблем, вызванных различиями в интернет-образовании и фундаментальном образовании. На основе проведенного анализа обсуждаются новые подходы к MOOC-обучению как способу решения проблемы организации массового индивидуального образования. В качестве возможных путей комплексных решений сформулированных актуальных проблем предлагаются следующие шаги:
1) создание фундаментальных образовательных ресурсов по базовым знаниям, защищенных от неквалифицированных интерпретаций,
2) новые взвешенные подходы к разработке методов автоматизации разработки электронного образовательного контента,
3) внедрение электронного учебного тестирования с имитацией диалога с обучающимся на основе автоматизированного анализа его ответов и адаптации электронной системы к уровню отдельных пользователей.
Предлагаются конкретные версии программных решений, осуществляющих эти действия, а также примеры их практического использования в учебном процессе. C. 68-78.

Various aspects of the use of MOOC TECHNOLOGY in modern full-time and part-time education are considered on the basis of the accumulated experience of creating, publishing and supporting five online courses in physics for students of different age and target groups. The actual variants of the development of a system of online training in physics are analyzed. Specific ways of solving problems caused by differences in Internet education and fundamental education are proposed. Based on the performed analysis, new approaches to MOOC-learning are discussed as a basis for solving the problem of mass individual education. The following steps are proposed as a possible ways for of complex solutions of the formulated actual problems:
1) creation of fundamental educational resources with basic knowledge, protected from unqualified interpretations,
2) new weighted approaches to the development of methods for automating the development of electronic educational content,
3) introduction of electronic educational testing with simulated dialog with the student on the basis of automated analysis of students responses and adaptation of the electronic system to the level of individual users.
Specific versions of software solutions that carry out these actions are proposed, as well as examples of their practical use in the educational process.

В данной работе проанализированы цифровые технологии в современном образовательном процессе, предложены обучающие и контрольные сервисы, сформированные с помощью Learning Management System (LMS),linebreak позволяющие организовать активное, творческое и социальное обучение современных специалистов, в соответствии с программой «Цифровая экономика Российской Федерации». В работе анализируются современные технологии обучения, существующие сервисы цифровых платформ. Возможности цифровых платформ продемонстрированы pagebreak на основе LMS Blackboard. Предложены обучающие и контрольные мероприятия, которые позволяют формировать компетенции специалистов цифровой экономики. Авторами разработаны модели «Деловой игры», реализованные на основе LMS Blackboard и с помощью программного комплекса SMARTlabwork. Представлены результаты анализа параметров качества выполнения различных обучающих и контрольных мероприятий, их параметров, полученные с помощью методов интеллектуального анализа - Data Mining. Рекомендованы существенные признаки контрольных мероприятий и показателей компетентности (на англ.). C. 79-87.

This paper analyzes digital technologies in the modern educational process, offers training and control services, formed with the help of the Learning Management System (LMS), which allows one to organize an active, creative and social training of modern specialists, in accordance with the program of “Digital economy of the Russian Federation”. The paper analyzes modern learning technologies and existing services of digital platforms. The capabilities of digital platforms are demonstrated on the basis of LMS Blackboard. Training and control measures are offered which will allow forming and evaluating the specialists’ competencies. The authors have developed a model “Business game” that is implemented based on the LMS Blackboard and with the help of software complex “SMARTlabwork”. The results of the analysis of parameters of quality of performance of various training and control actions received by means of methods of the intellectual analysis (Data Mining) are presented. Essential signs of control measures and competence indicators are recommended.

В статье содержатся сведения по организации подготовки специалистов в области информационных технологий в Петрозаводском государственном университете и используемым для этого инструментам по одному из основополагающих этапов разработки программного обеспечения --- тестированию. Описаны три этапа подготовки: знакомство с технологий тестирования (1 курс, бакалавриат), тестирование как этап разработки командного проекта (3 курс, бакаливриат) и организация процесса тестирования (2 курс, магистратура). Для каждого этапа рассмотрен набор инструментов, применяемых в учебном процессе. Обучение на этапах выстроено от простого использования инструментов до управления процессом тестирования в команде разработчиков. С. 88-100.

The article contains information on the organization of training of specialists in the field of information technology at Petrozavodsk State University and the tools used to do this in one of the fundamental stages of software development, i.e. testing. Three stages are described: familiarity with testing technology (1 course, undergraduate), testing as a development stage of a team project (3 courses, undergraduate) and organization of the testing process (2 courses graduate). For each stage a set of tools is considered, which are used in the educational process. Training in stages is built from the simple use of tools to controling the testing process in the development team.