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

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

Математические методы исследования, основанные на статистике, применяются в социологии достаточно давно. С развитием теории и методов динамических систем, а также компьютерных технологий методы компьютерного моделирования становятся одним из главных инструментов исследования. Большое количество моделей, создаваемых для изучения сложных процессов, происходящих в обществе, представляют собой динамические системы или неавтономные дифференциальные или разностные уравнения с большим числом параметров. В этой ситуации важно выбрать подходящий инструмент для изучения поведения таких систем. В данной работе мы рассматриваем среду визуального моделирования RMD (RandModelDesign), созданную для работы со сложными системами, имеющую простой и удобный интерфейс и язык моделирования высокого уровня. На примерах исследованных ранее моделей социальной диффузии и социогенеза мы показываем применение пакета и обсуждаем его преимущества. С. 5-16

In sociology mathematical methods based on statistic approach have long been in use. With advances in the theory and methods of dynamical sustems , and computer technologies the computer modeling methods become one of main exploration tools. A great body of models describing complex processes in society are dynamical systems or non-autonomous differential and difference equations with a large number of parameters. In this connection the choice of an appropriate tool for study of such systems is of considerable importance. In this work we consider tye environment for visual modeling RMD (RandModelDesign) designed for studying complex systems and having simple and convenient interface and high- level modeling language. The advantages of the package are demonstrated with models of social diffusion and sociogenesis.

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

A method of generation of tests of minimum length for the purpose of testing of syntax directed finite processors recognizing regular languages is described. A criterion of the test cases selection is introduced that represents the requested level of coverage for the acres of the graph that corresponds to the regular expression for which the processor has been constructed. Since the graph acres are labeled with semantic labels, the criterion defines the degree of interaction between these semantics, so such a test must be built that the criterion conditions are met. The method is based on the algorithm of the solution of the Chinese Postman Problem on a directed graph, that is built for the input regular expression that defines the language recognized by the finite processor.

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

This paper presents an algorithm for solving one of the fundamental optimization problems --- maximum flow problem. The algorithm is based on the ideas of arc balancing procedure and projected gradient method. Although the algorithm does not improve asymptotic complexity over existing methods it still possess some usefull properties: natural implementation in distributed systems and convergence to an optimal solution even if network parameters are changing slightly over time. Two versions of the algorithm are considered: randomized and concurrent. Both versions mainain adaptability but randomized version is preferable due to better convergence rate and simpler implementation in distributed systems.