Информатика

Геометрические образы конечных детерминированных автоматов

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

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

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

T-неприводимые расширения объединений полных графов

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

Критерии универсальности конечного детерминированного автомата для класса КДА без потери информации

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

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

В 1976 г. John P. Hayes предложил основанную на графах модель для исследования отказоустойчивости дискретных систем. Технической системе сопоставляется граф. Элементам системы соответствуют вершины графа, а связям между элементами — рёбра или дуги графа. Под отказом элемента системы понимается удаление из графа системы соответствующей вершины вместе со всеми её рёбрами. Формализацией отказоустойчивой реализации системы является расширение графа. Граф G* называется вершинным k-расширением графа G, если после удаления любых k вершин из графа G* граф G вкладывается в получившийся граф.

Об оптимизации процедуры реконфигурирования в многопроцессорных системах

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

Математические модели для оценки функций систем высшего образования средствами DEA

Целью данного исследования является применение оптимизационных моделей и методов анализа среды функционирования (Data Envelopment Analysis, DEA) для оценки эффективности региональных систем высшего образования.

Классификация и распознавание структур генетических последовательностей

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

Метод защищенного распределения данных среди ненадежных и недоверенных узлов

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

Тестирование нечетких линейных автоматов

В статье рассматривается задача синтеза тестов для нечетких линейных автоматов (НЛА). Сейчас известно  несколько разновидностей НЛА, используемых в качестве моделей реальных нечетких систем. В статье вводится и исследуется одна конкретная разновидность НЛА. Она предполагает проявление нечеткости поведения автомата за счет использования в характеристических матрицах элементов специального вида. Каждый такой элемент представляет собой некоторое множество  элементов поля, над которым задан НЛА.

Страницы