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

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

Описывается метод построения контекстно зависимых сплайновых челночных процессоров, используемых в SYNTAX-технологии для реализации синтаксически управляемых трансляций. Метод базируется на RBNF-грамматиках, представляемых в виде модифицированных диаграмм Н. Вирта, граф-схем. Процессоры обладают линейной оценкой сложности по времени относительно длины входного предложения. С. 3-15.

The method of creation contextually dependent spline shuttle processors used in SYNTAX-technology for implementation of syntactically controlled translations is described. The method is based on RBNF-grammars, represented in a form of modified N. Wirth’s charts, graph-schemes. The processors possess the linear estimation of complexity on time concerning length of an input sentence.

Язык программирования рефал-5е расширяет существующий диалект языка программирования рефал, названный рефал-5, и позволяет решать современные важные задачи программирования эффективнее, чем другие диалекты языка рефал при использовании современной вычислительной техники. Среди особенностей языка программирования рефал-5е можно выделить такие, как: наличие встроенного интерпретатора, возможность подключения внешних динамически загружаемых библиотек кода, добавление возможности возврата функциями таких значений, как «Успех» и «Неуспех», возможность реализации функций высшего порядка и анонимных функций. Также транслятор языка программирования рефал-5е использует возможности современных многопроцессорных компьютеров, что позволяет увеличить скорость выполнения программ в несколько раз. С. 16-24.

Refal-5e programming language extends the existing refal programming language dialect called refal-5 and allows to solve important modern programming tasks more efficiently than other refal dialects. The most interesting features of the refal-5e programming language are: a built-in interpreter; the ability to use external dynamic link libraries of code; the ability of functions to return values such as «success» and «failure»; the possibility of implementing high-order functions and anonymous functions. Also refal-5e programming language translator uses possibilities of modern multiprocessor computers that can speed up program execution several times.

Рассматриваются два приближённых алгоритмы локализации мобильного робота, снабженного картой в виде простого многоугольника. Гипотезам локализации соответствуют экземпляры карты с отметкой предполагаемого положения робота. Первый алгоритм основан на использовании триангуляции простого многоугольника в качестве предобработки для реализации основных операций, таких как пересечение многоугольников, вычисление многоугольников видимости, нахождение кратчайших путей. Во втором алгоритме в дополнение к триангуляции используется понятие окна в пересечении экземпляров карты. «Заглядывая» в окно, робот отсекает ложные гипотезы. Проведены экспериментальные исследования этих алгоритмов и сравнение с другими алгоритмами. C. 25-41.

Two approximate algorithms of the robot localization problem with the map in the form of a simple polygon is considered. Hypotheses localization correspond to copies maps from assumed mark of robot’s position. The first algorithm is based on a triangulation of a simple polygon as a preprocessing for the implementation of the basic operations, such as the intersection of polygons, computing visibility polygons, finding shortest paths. The second algorithm is used other than the triangulation additional concept of the window at the intersection of copies of the map. Looking» in the window, the robot cuts false hypotheses. Experimental studies of these algorithms and compared with other algorithms.

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

A simulation model is proposed on the basis of which can be demonstrated such characteristic features of systems capable of self-organization, as the existence of multiple attractors, including chaotic, bifurcations, and hysteresis phenomena in adiabatic change of parameters. The model constructed as a traditional model of billiards, supplemented such characteristic properties of the systems, capable of self-organization, as the energy dissipation and the exchange of energy with the external system.

Современные реалии требуют уделять особое внимание подготовке высококлассных программистов. В числе наиболее эффективных способов такой подготовки находятся олимпиады по программированию и специальные курсы дистанционного обучения. К автоматизированным системам, обслуживающим подобные мероприятия, предъявляются достаточно жесткие требования к производительности, стабильности и безопасности работы. В работе приведен обзор архитектуры наиболее известных тестирующих систем, проанализированы их достоинства и недостатки и предложена архитектура системы, разработанная с учетом этих недостатков. На основе предложенной архитектуры разработана система, опыт внедрения которой также приводится в статье. C. 50-58.

Nowadays it’s very important to educate many qualified software developers. The most effective ways to do it include programming contests and remote courses. Requirements for software that helps conducting such events are very strict about effectiveness, reliability and security. This work describes common approaches to architecture of such a system and presents an architecture which keeps in mind weak spots in common solutions for the problem. Also work contains report about developing and deploying experience of system with such an architecture.