Информатика

Автоматы на алгебраических структурах

Авторы: Скобелев В. В.

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

Совместное применение графа де Брёйна, графа перекрытий и микросборки для de novo сборки генома

Авторы: Сергушичев А. А., Александров А. В., Казаков С. В., Царев Ф. Н., Шалыто А. А.

 В работе предлагается метод сборки контигов геномных последовательностей из парных чтений. Особенностью этого метода является разбиение процесса сборки контигов на три этапа: сборка квазиконтигов из чтений, сборка контигов из квазиконтигов и микросборка. На первом из этапов используется граф де Брёйна, на втором — граф перекрытий. Описываются результаты экспериментального исследования разработанного метода на чтениях геномов бактерии E. Coli (размергенома — 4.5 миллиона нуклеотидов) и рыбы Maylandia zebra (размер генома — миллиард нуклеотидов).

Упорядоченное множество связных частей многоугольного графа

Авторы: Салий В. Н.

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

Модели многокритериальной оптимизации по качественным критериям

Авторы: Розен В. В., Смирнова Д. С.

 Рассматриваются математические модели принятия решений по многим качественным критериям. Основная задача состоит в построении отношения предпочтения на множестве допустимых альтернатив и исследовании его математических свойств. Предложено два метода сужения паретовского оптимума: задание отношения частичного порядка на множестве критериев и выделение важнейших групп критериев. 

Представление универсальных планарных автоматов автономными входными сигналами

Авторы: Молчанов В. А.

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

Сети массового обслуживания с групповыми переходами требований, блокировками и кластерами

Авторы: Митрофанов Ю. И., Долгов В. И., Рогачко Е. С., Станкевич Е. П.

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

Идентификация структуры автомата фрагментами поведения

Авторы: Богомолов С. А.

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

К теории устойчивости автономной системы угловой стабилизации реактивного снаряда залпового огня

Авторы: Андрейченко К. П.

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

Характеризация орграфов с малым числом дополнительных дуг минимального вершинного 1-расширения

Авторы: Абросимов М. Б., Моденова О. В.

: Граф G∗ называется вершинным 1-расширением графа G, если граф G можно вложить в каждый граф, получающийся из графа G∗ удалением любой его вершины вместе с инцидентными ребрами. Вершинное 1-расширение G∗графа G называется минимальным, если граф G∗ имеет на одну вершину больше, чем граф G, а среди всех вершинных 1-расширений графа G с тем же числом вершин граф G∗ имеет минимальное число ребер. Рассматривается задача описания ориентированных графов, минимальное вершинное 1-расширение которых имеет заданное число дополнительных дуг.

Анализ замкнутых ненадежных сетей массового обслуживания с групповыми переходами требований

Авторы: Тананко И. Е., Фокина Н. П.

 Рассматривается замкнутая ненадежная сеть массового обслуживания с групповыми переходами. Основным результатом статьи является стационарное распределение вероятностей состояний сетей обслуживания данного типа. 

Страницы