Информатика

МОРФИЗМЫ ПО СТАБИЛЬНЫМ ТОЛЕРАНТНОСТЯМ КОНЕЧНЫХ АВТОМАТОВ

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Геометрическая форма автоматных отображений, рекуррентное и Z -рекуррентное определение последовательностей

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

Страницы