Актуальный выпуск от 06.2017 - том 21 выпуск 2(PDF)

Баранович А.Е. Алгебры на индикаторах k-булеанов множеств

Исследуется изоморфизм алгебр на k-булеанах множеств в аксиоматике \[\textit{ZFU}\] и соответствующего им \[\textit{k}\]-гиперпространства индикаторов над \[\textit{GF}\][2]. Оценивается сложность решения задач поиска в \[\textit{k}\]-булеанах множеств. Полученные результаты проецируются на модель \[\textit{k}\]-гиперпространства семиотико-хроматических гипертопографов в аксиоматической системе \[[G]^{1}\]. Последняя положена в основу вычислительной архитектуры ёмкостного паракомпьютера управления знаниями интеллектуальной системы

Ключевые слова: алгебр морфизмы, алгоритмов сложность ёмкостная, алгоритмов сложность операционная, гипертопографы семиотико-хроматические, графов теории обобщения, графов теории однообъектная парадигма, знаниями управление, множеств индикаторы, множеств (- носителей) \[\textit{k}\]-топологизация, множеств \[\textit{k}\]-булеан, множеств \[\textit{k}\]-булеанов индикаторы, паракомпьютер ёмкостной, поиск на множествах, системы интеллектуальные, топологии дискретные с конечным носителем, \[\textit{k}\]-гиперпространство булево

Дергач П. С. О решетке вложения прогрессивных множеств сложности два

В статье приводится результат об описании структуры непосредственного вложения для семейства \[\mathbb P_2\]прогрессивных множеств сложности не выше \[2.\] Приводится полная неизбыточная классификация ребер структуры. При этом возникают 12 типов классификации, для описания которых водятся понятия согласованности, асинхронности, слабой и сильной синхронности пар арифметических прогрессий в натуральных рядах. Такая постановка задачи является новой и ранее никем не исследовалась.

Ключевые слова: прогрессивное множество, арифметическая прогрессия, структура непосредственного вложения.

Ищенко Р. А. Графы групповых автоматов

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

Ключевые слова: автомат, граф, групповой автомат.

Калачев Г. В. Оценки мощности плоских схем, реализующих монотонные функции.

В работе доказаны универсальные нижние оценки функции Шеннона мощности плоских схем, а также найден порядок роста функции Шеннона мощности схем, реализующих монотонные функции. В качестве меры мощности рассматривается максимальный потенциал, он равен максимальному количеству выходов элементов, выдающих единицу на заданном входном наборе схемы, где максимум берётся по всем входным наборам. В работе показано, что порядок роста функции Шеннона максимального потенциала для монотонных функций равен \[2^{n/2}/\sqrt[4]{n}\], а порядок среднего потенциала равен \[2^{n/2}/\sqrt[4]{n^3}\].

Ключевые слова: Cхемы из функциональных элементов, плоские схемы, клеточные схемы, потенциал, мощность, функция Шеннона, верхние оценки, нижние оценки, монотонные булевы функции.

Кан А. Н. Вопросы полноты в классе кусочно-линейных непрерывных функций.

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

Ключевые слова: Класс кусочно-линейных функций, класс кусочно-линейных непрерывных функций, класс согласованных функций, класс финитно-параллельных непрерывных функций, функция Хэвисайда, операции суперпозиции, вектор сигнатуры.

Мазуренко И. Л., Петюшко А. А. Метод оптимального нелинейного растяжения симметричных матриц в задачах распознавания

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

Ключевые слова: одномерный сигнал, матрица самосравнения, нелинейное растяжение.

Носов М.В. Об аналитическом представлении функции сложности минимальной схемы в базисе из штриха Шеффера.

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

Ключевые слова: сложность минимальной схемы, штрих Шеффера.

Микин В.А., Постнов С.С., Смирнов Е.В. Анализ цифровых изображений на основе формализма теории многих взаимодействующих частиц

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

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

В.А. Микин Алгоритм кластеризации последовательности изображений с формированием кластеров на основе опорных триплетов

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

Ключевые слова: кластеризация изображений, определение смены сюжета, анализ видео, опорные кадры, кластеризация в реальном времени.

Фигурнов М. В., Струминский К. А., Ветров Д. П. Устойчивый к шуму метод обучения вариационного автокодировщика

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

Ключевые слова: обучение без учителя, генеративное моделирование, вариационный автокодировщик, важностно взвешенный автокодировщик, робастность, устойчивость к шуму

Чернов А.В. Об одной модификации быстрого градиентного метода решения задачи энтропийно-линейного программирования

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

Ключевые слова: быстрый градиентый метод, задача энтропийно-линейного программирования, условная минимизация, безусловная минимизация, прямо-двойственные методы.

03.2017 - том 20 выпуск 1

Балакин Д.А. Порядковое представление распределения меры возможности

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

Ключевые слова: мера возможности, упорядоченность, представление распределения

Дергач П. С. О покрытиях и разбиениях натуральных чисел, имеющих два последовательных пропуска длины 1

В статье приводится результат о нахождении минимального количества L(n) арифметических прогрессий, необходимых для того, чтобы получить в объединении все натуральные числа, не сравнимые по модулю n с 0 и −2. Здесь n - произвольное натуральное число. При этом прогрессии могут пересекаться. Приводится точное значение для функции L(n), а также конструктивное разбиение этого подмножества натурального ряда на L(n) арифметических прогрессий.

Ключевые слова: натуральный ряд, арифметическая прогрессия, декомпозиция

Иванов И. Е. Оценка длины периода выходной последовательности для автономного автомата с магазинной памятью с однобуквенным магазином

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

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

Калачев Г.В. Оценки мощности плоских схем, реализующих функции с ограниченным числом единиц.

В работе исследуется функция Шеннона мощности плоских схем, которые реализуют функции от \[n\] переменных с ограниченным числом единиц. В качестве меры мощности рассматривается максимальный потенциал. Потенциал схемы на входном наборе равен количеству выходов элементов, выдающих единицу на этом входном наборе. В частности, в работе показано, что если количество единиц функции ограничено числом \[N\], причём \[\log_2 N\asymp n\], то порядок функции Шеннона равен \[N(n-\log_2 N)\]. Также было исследовано поведение функции Шеннона в зависимости от ограничений на расположение входов схемы.

Ключевые слова: схемы из функциональных элементов, плоские схемы, клеточные схемы, потенциал, мощность, функция Шеннона, верхние оценки, нижние оценки, булевы функции.

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

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

Ключевые слова: сверточные нейронные сети, распознавание изображений, машинное обучение, обучение с учителем.

Поляков А.В. Биометрическое личностное шифрование

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

Ключевые слова: криптография, биометрия, личностное шифрование, схема разделения секрета Шамира, нечеткие экстракторы

Родин С. Б. О свойствах кодирования состояний автоматов

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

Ключевые слова: теория автоматов, переходные системы, кодирование, сложность

В. Ведюшкина (Фокичева), А. Иванов, А. Тужилин, А. Фоменко Компьютерные модели в геометрии и динамике

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

Ключевые слова: