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

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

Описаны реализации классического алгоритма моделирования процессов агрегации, ограниченной диффузией, как на плоскости, так и на триангуляционной сетке. Разработаны и реализованы оптимизации этих алгоритмов, основанные на априорной оценке вероятности присоединения частицы к граничным точкам агрегата. Дана оценка сложности описываемых алгоритмов. Приведены результаты численных экспериментов. С. 3-8.

The implementations of diffusion-limited aggregation algorithms both on plane and a surface approximated by irregular triangulation net are described. The optimization of the method based on the a priori estimation of the sticking probability of a particle to the aggregation (joining coefficient) has been proposed and realized. The algorithm complexity estimation and results of numerical experiments are described.

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

The paper is devoted to the modifying of Maslov inverse method for a special form of predicate formulas used in the solution of an artificial intelligence problem permitting its setting in the frameworks of predicate calculus. An algorithm based on the inverse method application for such a type formula is justified. Upper and lower bounds of the number of steps of the proposed algorithm are obtained. An example of the extraction and recognition of a given object included into a complex one by means of the presented algorithm is regarded.

В статье обсуждаются вопросы применения электронных задачников при изучении разделов курса программирования, связанных с обработкой файлов. Описываются группы задачника Programming Taskbook, посвященные файловой обработке и особенности их реализации. Приводятся примеры заданий из различных групп и рассматриваются дополнительные возможности использования файлов при разработке учебных заданий. С. 21-33.

We discuss some ways to improve efficiency of file data processing studies based on the application of the dedicated educational software. Then we describe tasks on file data processing which are included in the Programming Taskbook – the electronic book of educational training tasks. We also provide examples of such tasks and discuss some advanced features of file usage in implementation of training tasks.

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

The paper describes an automaton model of the reference algorithm for constructing the right solution for algorithmic tasks for virtual laboratories. The developed model is based on the model of the automated control object. A method of formal determining the complexity of algorithmic task and example of determining of the complexity function are also described. Example. Complexity function determines how complexity of task variant depends on its properties, and thus makes possible the automatic construction of task variants having predefined complexity. The described results are applied in development of virtual laboratories, which are used in the graph theory MOOC.

В статье вводится понятие сложности железнодорожного состава. Проводится оценка пути, проходимого локомотивом при расформировании поезда на сортировочной станции, в зависимости от сложности состава и параметров сортировочного узла, сравниваются два способа сортировки. При исследовании использовался метод имитационного моделирования. С. 44-55.

The concept of train’s complexity is introduced in the paper. The distance covered by a locomotive during separation of a train at a classification yard is calculated. Two sorting algorithms are introduced. Dependence of this distance on sorting algorithm, train’s complexity and parameters of classification yard is analyzed using simulation modeling.

В статье описывается алгоритм для перестановки вагонов в железнодорожном составе для получения требуемого порядка при использовании так называемой сортировочной горки. Этот алгоритм имеет общие черты с сортировочной машиной из старого перфокарточного вычислительного комплекта. С. 56-59.

A simple algorithm is proposed to rememove railroad cars to obtain a required sequence in a train, using a so called sorting hump. The algorithm has a common feature with that used in the old soting machine for perfocards.