Preview

Моделирование и анализ информационных систем

Расширенный поиск
Том 18, № 2 (2011)

Оригинальные статьи 

5-17 168
Аннотация
Изучаются конечные почти простые {SM}_m-группы. Основной результат статьи: если G - конечная почти простая группа, принадлежащая классу {SM}_2- групп, то G конгруэнтен {PGL}_2(q).
18-38 182
Аннотация
Рассматривается подход к построению в терминах сетей Петри модели функции как элемента модели программы. Данный подход позволяет представить модель потока управления всей программы в целом как композицию составных моделей потоков управления каждой функции. На основе понятия объекта сети Петри описываются конструкции вызова функции и тела функции, а также описывается операция направленной композиции, отражающая передачу управления из вызывающей функции в вызываемую.
39-51 164
Аннотация
Рассматривается задача организации алгоритма выполнения объектных запросов [1] для новой объектной технологии СУБД DIM [2], при которой трудоемкость выполнения запроса будет возможно меньшей. Решения этой задачи могут быть положены в основу разработки транслятора запросов.
52-64 179
Аннотация
Доказываются и обсуждаются некоторые соотношения для геометрических характеристик n-мерного симплекса. Отмечается связь с линейной интерполяцией на кубе [0,1]n.
65-76 212
Аннотация
Описаны принципы построения многослойных нейронных сетей на основе импульсной нейронной сети, составленной из биологически правдоподобных нейронов. Показано, что многослойный перцептрон может быть смоделирован нейронной сетью, состоящей из импульсных нейронов и использующей импульсное кодирование информации.
77-112 186
Аннотация
Рассматривается задача, возникающая при создании автоматизированных систем регистрации железнодорожных составов, а именно: разбиение состава на отдельные вагоны (цистерны). Приводится описание алгоритма, предназначенного для решения данной задачи. Входными данными для него служит фильм, в котором можно видеть движение железнодорожного состава. Для тестирования алгоритма проводится эксперимент с использованием 16 различных фильмов.
113-128 194
Аннотация
Изучаются мультиагентные алгоритмы для так называемой задачи о роботах на Марсе. Эту задачу можно рассматривать как задачу из теории графов (дискретная математика), как комбинаторную геометрическую задачу (теоретическое программирование) или как частный случай задачи планирования перемещений (искусственный интеллект). Наши алгоритмы основаны на эвристическом поиске, предложенном Э. Дейкстрой. В статье представлен ряд новых мультиагентных алгоритмов, решающих задачи о роботах на Марсе, доказана их корректность, приведены результаты проверки на модели некоторых из этих алгоритмов, предложены направления дальнейших исследований. Новизна представленной работы состоит в том, что в отличие от теоретико-графового и комбинаторно-геометрического подходов, ориентированных на централизованное решение задачи, мы развиваем мультиагентный подход, но, в свою очередь, наша работа отличается от работ по планированию перемещений математической строгостью доказательств корректности предложенных алгоритмов. Я, робот.
А. Азимов
129-138 168
Аннотация
Описывается формат заголовка ARTCP. Рассматриваются практические аспекты формирования заголовка и вычисления значения его полей. Обсуждаются вопросы точного вычисления времени прибытия сегментов ARTCP. Также в статье описываются интерфейсы ядра Linux для вычисления времени и концепция "источников времени" и ее реализация.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)