Информатика

УСЛОВИЯ АНАЛИТИЧНОСТИ ХАРАКТЕРИСТИЧЕСКОГО И ВОЗМУЩАЮЩИХ КВАЗИМНОГОЧЛЕНОВ КОМБИНИРОВАННЫХ ДИНАМИЧЕСКИХ СИСТЕМ

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

ОБ ОДНОМ ПОДХОДЕ К НEЧЕТКОМУ ЛОГИЧЕСКОМУ МОДЕЛИРОВАНИЮ ЦИФРОВЫХ УСТРОЙСТВ

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

КВАНТОВЫЕ КОМПЬЮТЕРЫ И КВАНТОВЫЕ АЛГОРИТМЫ Часть 2. КВАНТОВЫЕ АЛГОРИТМЫ

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

АЛГЕБРАИЧЕСКИЕ СВОЙСТВА АБСТРАКТНЫХ НЕЙРОННЫХ СЕТЕЙ

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

КВАНТОВЫЕ КОМПЬЮТЕРЫ И КВАНТОВЫЕ АЛГОРИТМЫ. Часть 1. КВАНТОВЫЕ КОМПЬЮТЕРЫ

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

РАЗРАБОТКА КОМПОНЕНТОВ ПРОГРАММНОГО КОМПЛЕКСА ДЛЯ ПОТОКОВОЙ ФИЛЬТРАЦИИ АУДИОКОНТЕНТА НА ОСНОВЕ ИСПОЛЬЗОВАНИЯ СКРЫТЫХ МАРКОВСКИХ МОДЕЛЕЙ

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

Т-НЕПРИВОДИМЫЕ РАСШИРЕНИЯ ДЛЯ СВЕРХСТРОЙНЫХ ДЕРЕВЬЕВ

Рассматривается один из способов построения оптимального расширения графа — Т-неприводимое расширение (ТНР). До сих пор остается нерешенной следующая задача: построить одно из ТНР для произвольного сверхстройного дерева. Данная задача была решена С. Г. Курносовой для подкласса сверхстройных деревьев –- пальм. Для несложных сверхстройных деревьев данная задача была решена М. Б. Абросимовым. Приводится контрпример для схемы из статьи Харари и Хурума «One node fault tolerance for caterpillars and starlike trees», которая описывает построение одного ТНР для произвольного сверхстройного дерева.

ВОССТАНОВЛЕНИЕ ГРАФА С ПОМЕЧЕННЫМИ ВЕРШИНАМИ ПЕРЕМЕЩАЮЩИМСЯ ПО НЕМУ МОБИЛЬНЫМ АГЕНТОМ

Рассматривается задача построения автономным мобильным агентом топологической модели своей операционной среды. Модель среды представляет собой связный неориентированный граф с помеченными вершинами. В работе предложен полиномиальный алгоритм восстановления и разметки графа среды для коллектива из агента-исполнителя и агента-вычислителя.

РАСПАРАЛЛЕЛИВАНИЕ ПАРАМЕТРИЧЕСКОГО СИНТЕЗА ПО СХЕМЕ «ПОРТФЕЛЬ ЗАДАЧ» НА ОСНОВЕ ТЕХНОЛОГИИ MPI

Предложен прототип схемы распараллеливания «портфель задач» стандартными средствами технологии MPI применительно к задачам параметрического синтеза управляемых комбинированных динамических систем. Выполнен параметрический синтез системы стабилизации подвижного объекта управления. Показана эффективность предложенного алгоритма динамической балансировки вычислительной нагрузки.

ГЛАВНЫЕ ИДЕАЛЫ В ПОЛУРЕШЕТКЕ КОНГРУЭНЦИЙ ЦЕПИ

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

Страницы