Математические структуры и моделирование. - Омск : Ом. гос. ун-т, 2013. Том. 27, № 1. 122 с.
ISSN  (print): 2222-8772 
ISSN (online): 2222-8799

Для научных работников, аспирантов и студентов старших курсов.

Полная версия журнала

Фундаментальная математика и физика


Гринь А.Г. О неравенстве Магды Пелиград.

Предлагается новое доказательство вариантов известного неравенства М. Пелиград, в том числе, использующих условия слабой зависимости, отличные от \(\varphi\)-перемешивания.

Романов А.Н. Различающие и глобально гиперболические пространства.

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

Федоренко А.А. Поверхностное критическое поведение систем с непрерывной симметрией в присутствии случайных полей.

Изучается скейлинговое поведение вблизи поверхности \(d\)-мерной системы с непрерывной \(O(N)\) симметрией в присутствии случайных полей. Выше нижней критической размерности \(d_{\mathrm{lc}}=4\) система демонстрирует фазовый переход из парамагнитного состояния в ферромагнитное, если \(N>N_c=2.835\). Ниже нижней критической размерности система находится в квазиупорядоченном состоянии, если \(N<N_c\), т.е. в состоянии с нулевым параметром порядка, но медленным степенным законом убывания корреляции флуктуаций. Функциональная ренорм-группа позволяет изучить скейлинговое поведение вблизи обыкновенного поверхностного фазового перехода для \(d<d_{lc}\) и поведение корреляции флуктуаций вблизи поверхности в квазиупорядоченной фазе для \(d<d_{lc}\).

Кошелева O., Крейнович В. Скалярно-тензорная теория гравитации Бранса-Дикке может объяснить временную асимметрию физических процессов.

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

Кошелева O., Крейнович В. Для описания неопределённости эллипсоиды лучше многогранников и, вероятно, лучше прямоугольных параллелепипедов: замечание.

Для скаляра множество всех возможных значений является обычно интервалом. Интервал легко представить в памяти компьютера: например, мы можем хранить его двумя конечными точками. Для векторных величин множество возможных значений может иметь произвольную форму. Точное описание этой формы требует бесконечно много параметров, поэтому в компьютере мы должны использовать семейства множеств конечно-параметрических аппроксимаций. Одним из широко используемых методов для выбора такого семейства является выбор симметричного выпуклого множества и использование его образов при всех линейных преобразованиях. Если взять единичный шар, то мы в конечном итоге будем работать с эллипсоидом, если мы выбираем единичный куб, мы в конечном итоге будем работать с прямоугольными параллелепипедами; мы можем работать и с многогранниками. В этой статье мы покажем, что эллипсоиды приводят к улучшению приближения реальных множеств по сравнению с многогранниками, мы также покажем, что, при разумном допущении, эллипсоиды лучше, чем аппроксимирующие параллелограммы.


Прикладная математика и моделирование


Гуц А.К., Лавров Д.Н. Описание DDoS-атаки с помощью катастрофы "сборка".

Показано, что DDoS-атаки на компьютерные системы можно описать с помощью катастрофы "сборка".

Коваленко Ю.В. Модель с непрерывным представлением времени для задачи составления расписаний с группировкой машин по технологиям.

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


Компьютерные науки


Гусс С.В. Концепция проекта расширяемого обучающего программного средства.

В работе даётся описание концепции проекта расширяемого сетевого обучающего программного средства. Предлагаются параметры для управления обучающей системой. Представлены общие элементы.

Стопкин С.В., Пугин К.В., Бречка Д.М. Установка программного обеспечения на вычислительный модуль с архитектурой процессора Alpha.

Данная работа посвящена выбору и установке программного обеспечения на вычислительный модуль с архитектурой процессора Alpha. Вычислительные модули с такими процессорами входят в состав кластера МВС-1000/128, находящегося в распоряжении факультета компьютерных наук ФГБОУ ВПО "ОмГУ им. Ф.М. Достоевского". В результате работы на вычислительный модуль была установлена операционная система Debian Linux, а также средство поддержки исполнения параллельных программ --- OpenMPI.

Тюменцев Е.А. Автоматизированное тестирование сложности алгоритмов с помощью Mock-объектов.

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


Информационная безопасность


Коровянский А.А. Обзор решений для реализации прототипа замка мобильной биометрической системы доступа M-Block.

В статье рассматриваются существующие средства для реализации прототипа замка мобильной биометрической системы доступа M-Block. В результате сравнительного анализа определяется наиболее подходящее решение.

Прохоров Р.С. Бихевиористическая идентификация процессов.

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