Информатика

Диагностические эксперименты с нечеткими автоматами

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Страницы