Известия Саратовского университета. Новая серия.
ISSN 1816-9791 (Print)
ISSN 2541-9005 (Online)


Информатика

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

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

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

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

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

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

О числе дополнительных ребер минимального вершинного 1-расширения сверхстройного дерева

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

Параллельный вариант алгоритма условной оптимизации комплексным методом Бокса

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

Аффинные преобразования геометрических образов конечных автоматов

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

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

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

Распознавание входов линейного автомата по нечетким выходам

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

Оптимизация построения расчетной сетки для решения задачи локального криовоздействия с использованием многомерного геометрического хеширования на основе пакета NumPy

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

Повышение информационной надежности цифровых систем с QAM/COFDM-модуляцией

Обеспечение высокого уровня информационной надежности –- одна из важнейших задач синтеза цифровых систем передачи информации (ЦСПИ) различного функционального назначения.

Страницы