Информатика

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

Авторы: Митрофанов Ю. И., Долгов В. И., Рогачко Е. С., Станкевич Е. П.

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

Алгоритм проверки транзитивности отображений, ассоциированных с конечными автоматами из групп ASp

Авторы: Карандашов М. В.

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

Индексы состояний в динамической системе двоичных векторов, ассоциированных с ориентациями пальм

Авторы: Жаркова А. В.

Рассматривается динамическая система двоичных векторов, ассоциированных с ориентациями пальм. Дерево называется пальмой, если оно является объединением цепей, имеющих общую концевую вершину, причём все эти цепи, за исключением, быть может, одной, имеют длину 1. Данная система в зависимости от размерности состояний разбивается на конечные подсистемы.

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

Авторы: Андрейченко Д. К., Андрейченко К. П., Мельничук Д. В., Портенко М. С.

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

О направленном перемещении коллектива автоматов без компаса на одномерной целочисленной решетке

Авторы: Курганский А. Н., Сапунов С. В.

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

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

Авторы: Мангушева И. П.

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

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

Авторы: Гольдштейн В. Б., Миронов С. В.

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

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

Авторы: Иванов А. С.

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

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

Авторы: Поляков В. Н.

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

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

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

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

Страницы