Информатика

Предупреждение

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

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

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

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

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

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

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

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

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

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

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

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

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

Об оценке длины слова, различающего две вершины помеченного неорграфа

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

Т-неприводимое расширение для объединения цепей и циклов

Расширением n-вершинного графа G называется граф H с n+1 вершинами такой, что граф G вкладывается в каждый максимальный подграф графа H. Тривиальное расширение графа G – соединение графа G с одноэлементным графом (т.е. к графу G добавляется вершина, которая соединяется ребром с каждой вершиной графа G). Т-неприводимым расширением графа G называется расширение графа G, получаемое из тривиального расширения данного графа удалением максимально возможного набора добавленных при построении тривиального расширения ребер.

Упорядоченные автоматы и толерантные образы КДА

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

Использование технологий параллельных вычислений при моделировании металлических фотонных кристаллов

В работе рассматриваются возможности использования технологий параллельных вычислений Message Passing Interface и Open Computing Language при моделировании металлических фотонных кристаллов методом функций Грина и интегральных уравнений. Анализируется эффективность этих технологий в рамках данной задачи, приводятся выводы о целесообразности их применения. 

Страницы