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


Информатика

Квантовые компьютеры и квантовые алгоритмы. Часть 2. Квантовые алгоритмы

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

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

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

Хеш-функции для сокращения диагностической информации

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

Модель представления продукционных баз знаний на ЭВМ

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

Задачи интерактивной обработки поисковых запросов в теоретико-множественной постановке

В работе представлено теоретико-множественное описание основных интерактивных механизмов обработки запросов в рамках проекта «Интеллектуальная поисковая машина»: фокусировка и расширение полноты. Новизна подхода заключается в том, что впервые рассматривается систематизация интерактивных методов разрешения многозначности в человеко-машинном комплексе «пользователь–поисковая система». Инженерная реализация методов выполнена в нотации языка SQL.

Решение некоторых задач для конечных автоматов на основе анализа их поведения

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

Построение диагностических экспертных систем на основе нейронных сетей

В работе рассмотрены вопросы построения диагностических экспертных систем (ДЭС) на основе нейронных сетей (НС) с латеральным торможением. Предложены методы обучения таких сетей.  Проанализированы вопросы получения диагностической информации в гетерогенной вычислительной сети и использования априорной информации о значимости диагностических признаков. Результаты работы могут быть использованы при построении нейросетевых диагностических систем (кластеризаторов).

О распознавании языков произвольных слов конечными полугруппами

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

О минимальных сильно связных конгруэнциях ориентированных цепей

Пусть G = (V, α) – ориентированный граф. Эквивалентность θ ⊆ V × V называется его сильно связной конгруэнцией, если факторграф G/θ – сильно связный. Описываются минимальные по включению сильно связные конгруэнции ориентированной цепи и подсчитывается их количество.

Некоторые вопросы о минимальных расширениях графов

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

Страницы