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

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

С. 67-68.

Описывается алгоритм минимизации приведённых детерминированных конечных автоматов, основанный на использовании классов эквивалентности по признаку неразличимости множеств цепочек, принимаемых в соответствующих состояниях. Проводится сравнение с алгоритмом Дж. Хопкрофта, в котором классы эквивалентных состояний строятся, исходя из отношения различимости состояний по допустимым входным цепочкам. C. 5-14.

An algorithm for minimizing the number of states of the well-formed deterministic finite automaton is described. It is based on the use of equivalence classes on the relation of the indistinguishability of string sets accepted by the automaton. A comparison is made with the well-known algorithm of J.E. Hopcroft, which constructs the classes of equivalent states on the property of the distinguishability of input strings accepted in the corresponding states.

В статье рассматриваются основные подходы к решению задачи автоматизированной поддержки среды обитания человека, которую в современной литературе часто называют «умным домом». Предлагается подход, основанный на использовании информации о силе сигнала радио-маячков и показаний датчика сердцебиения. В статье описывается модельная среда обитания, обладающая указанными характеристиками: квартира с размещенными Bluetooth-маячками, обитатель которой снабжен датчиком сердцебиения и устройством, измеряющим силу сигнала от маячков. Была реализована программа, которая в процессе эксплуатации модельной среды собирает данные о силе сигнала маячков, показания датчика сердцебиения и предоставляет возможность показывать текущее состояние приборов, являющихся объектами автоматизации. На полученных данных с помощью известных методов машинного обучения удалось выделить некоторые зависимости между собираемыми входными данными и состояниями устройств. Таким образом, для описанной задачи реализована базовая модель системы автоматизированной поддержки среды обитания «умный дом» с оценкой точности предсказания предпочтительного состояния приборов. С. 15-29.

Basic approaches to the automated control of smart environment problem are considered. A new method of solution based on the information about the signal strength of wireless broadcasting devices (considered as beacons) and the heart rate sensor readings is introduced. The model environment is an apartment with Bluetooth beacons; the inhabitant has a heart rate sensor and a RSSI measuring device. An application collecting beacons RSSI and heart rate measurements during the inhabitant activity in the model environment has been implemented. The application provides the user interface to display current state of devices which are objects of automated control. By using machine learning methods the relation between the collected data and device states is obtained. Thus, an automated smart environment control model has been implemented. The estimation of the accuracy of prediction of the devices preferable state has been obtained.

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

A program to determine the asymptotic efficiency of convolution codes, simulating the passage of a text message on guided and unguided (radio) transmission medium is considered. The program was designed for the purpose of teaching students the principles of formation and functioning of error correction codes.

Рассматривается модель, основанная на классическом движении частицы в области, ограниченной стенками, с которыми частица может обмениваться энергией при столкновениях, теряя или приобретая энергию в зависимости от температуры стенки. Как показывает моделирование, при наличии градиента температуры в такой модели возможны процессы типа процессов самоорганизации, так что траектория движения частицы в фазовом пространстве с течением времени стремится к некоторым простейшим циклическим аттракторам. Математическая простота модели позволяет использовать её в процессе обучения, поскольку требует от обучаемых минимальных навыков программирования. С. 38-44.

The model based on the classical movement of a particle in the area limited by walls, that can exchange energy with the particle is considered. The energy of the particle can increase or decrease depending of the temperature of the wall. As shows modeling, in the presence of temperature gradient in such model this system can contain processes which are analogical to processes of self-organization. Namely the trajectory of particle in phase space tends to one of elementary cyclic attractors. Mathematical simplicity of model allows to use her in the course of training because it demands from the trained minimum skills of programming.

В статье рассматривается базовая структура и варианты программной реализации электронных конструкторов компьютерных моделей для естественнонаучного образования. Обсуждаются принципы физического объектно-ориентированного моделирования (PhOOM) - подхода для создания электронных образовательных приложений для изучения естественных наук. Приведены примеры реализации этого подхода для курсов физики и химии. Подход является элементом MOOC-технологии, специфика которого позволяет легко адаптировать образовательную среду к нужной задаче. Дальнейшая разработка подхода - это развитие систем автоматизированной генерации задач с элементами исследований, основанных на моделировании в реальном времени, для продвинутых курсов физики плазмы. Этот подход позволяет объединить в одном интерактивном и легко управляемом пользователем электронном продукте генерацию электронной модели явления и создание тестовой задачи с целью разработки многоуровневого контента для индивидуализированного естественнонаучного образования. С. 44-60.

The article considers the base structure and mechanisms of developing science education constructors, particularly Physical Object Oriented Modeling (PhOOM) - the approach that makes it possible to create innumerable educational applications in natural sciences. Some examples of realization of this approach for physics and chemistry courses are mentioned. This approach is a variant of MOOC but has some specificity allowing deeply customize educational environment for a desired task. A further development of the approach is a system constructing advanced problems, based on a real time simulation, for advanced plasma physics courses. Generally speaking the approach based on PhOOM makes it possible to combine model demonstration, test problem creation and easy adjustment by inexperienced user in one easy manageable product or on-line service for the purpose of engineering an natural science education.