Информатика

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

Авторы: Тяпаев Л. Б.

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

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

Авторы: Соловьев В. М.

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

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

Авторы: Молчанов В. А.

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

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

Авторы: Мирзаянов М. Р.

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

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

Авторы: Абросимов М. Б.

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