Изучаются конечные почти простые {SM}_m-группы. Основной результат статьи: если G - конечная почти простая группа, принадлежащая классу {SM}_2- групп, то G конгруэнтен {PGL}_2(q).

Рассматривается подход к построению в терминах сетей Петри модели функции как элемента модели программы. Данный подход позволяет представить модель потока управления всей программы в целом как композицию составных моделей потоков управления каждой функции. На основе понятия объекта сети Петри описываются конструкции вызова функции и тела функции, а также описывается операция направленной композиции, отражающая передачу управления из вызывающей функции в вызываемую.

Рассматривается задача организации алгоритма выполнения объектных запросов [1] для новой объектной технологии СУБД DIM [2], при которой трудоемкость выполнения запроса будет возможно меньшей. Решения этой задачи могут быть положены в основу разработки транслятора запросов.

Доказываются и обсуждаются некоторые соотношения для геометрических характеристик n-мерного симплекса. Отмечается связь с линейной интерполяцией на кубе [0,1]ⁿ.

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

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

Изучаются мультиагентные алгоритмы для так называемой задачи о роботах на Марсе. Эту задачу можно рассматривать как задачу из теории графов (дискретная математика), как комбинаторную геометрическую задачу (теоретическое программирование) или как частный случай задачи планирования перемещений (искусственный интеллект). Наши алгоритмы основаны на эвристическом поиске, предложенном Э. Дейкстрой. В статье представлен ряд новых мультиагентных алгоритмов, решающих задачи о роботах на Марсе, доказана их корректность, приведены результаты проверки на модели некоторых из этих алгоритмов, предложены направления дальнейших исследований. Новизна представленной работы состоит в том, что в отличие от теоретико-графового и комбинаторно-геометрического подходов, ориентированных на централизованное решение задачи, мы развиваем мультиагентный подход, но, в свою очередь, наша работа отличается от работ по планированию перемещений математической строгостью доказательств корректности предложенных алгоритмов. Я, робот.
А. Азимов

Описывается формат заголовка ARTCP. Рассматриваются практические аспекты формирования заголовка и вычисления значения его полей. Обсуждаются вопросы точного вычисления времени прибытия сегментов ARTCP. Также в статье описываются интерфейсы ядра Linux для вычисления времени и концепция "источников времени" и ее реализация.