Информатика

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

Авторы: Резчиков А. Ф., Кушников В. А., Иващенко В. А., Богомолов А. С., Филимонюк Л. Ю., Шоломов К. И.

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

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

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

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

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

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

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