Актуальный выпуск от 06.2017 - том 21 выпуск 2(PDF)
Исследуется изоморфизм алгебр на 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
В статье исследуется представление упорядоченности возможностей элементарных событий, с точностью до изоморфизма задающее меру возможности, матрицами и функциями попарных сравнений значений возможностей, его свойства и операции над такими представлениями, в частности маргинализация совместного распределения, расчет условного распределения по совместному, экспертное восстановление распределения и принятие оптимальных решений.
Ключевые слова: мера возможности, упорядоченность, представление распределения
В статье приводится результат о нахождении минимального количества L(n) арифметических прогрессий, необходимых для того, чтобы получить в объединении все натуральные числа, не сравнимые по модулю n с 0 и −2. Здесь n - произвольное натуральное число. При этом прогрессии могут пересекаться. Приводится точное значение для функции L(n), а также конструктивное разбиение этого подмножества натурального ряда на L(n) арифметических прогрессий.
Ключевые слова: натуральный ряд, арифметическая прогрессия, декомпозиция
Ранее автор доказал, что автоматные функции с магазинной памятью сохраняют множество периодических последовательностей и привел экспоненциальную оценку удлинения периода при этом. Для автоматов с унарным магазином эту оценку удалось понизить до квадратичной.
Ключевые слова: автомат с магазинной памятью с однобуквенным магазином, детерминированная функция, периодические последовательности.
В работе исследуется функция Шеннона мощности плоских схем, которые реализуют функции от \[n\] переменных с ограниченным числом единиц. В качестве меры мощности рассматривается максимальный потенциал. Потенциал схемы на входном наборе равен количеству выходов элементов, выдающих единицу на этом входном наборе. В частности, в работе показано, что если количество единиц функции ограничено числом \[N\], причём \[\log_2 N\asymp n\], то порядок функции Шеннона равен \[N(n-\log_2 N)\]. Также было исследовано поведение функции Шеннона в зависимости от ограничений на расположение входов схемы.
Ключевые слова: схемы из функциональных элементов, плоские схемы, клеточные схемы, потенциал, мощность, функция Шеннона, верхние оценки, нижние оценки, булевы функции.
В данной работе решена задача построения сверточной нейронной сети, способной распознавать рукописные символы на сильно зашумленных изображениях с точностью, сопоставимой с человеческой. При этом обучение классификатора происходит по размеченной базе сильно зашумленных изображений, в которой 5\[\%\] обучающих примеров размечено неправильно.
Ключевые слова: сверточные нейронные сети, распознавание изображений, машинное обучение, обучение с учителем.
В данной статье представлен протокол шифрования, в котором биометрические данные пользователя используются для генерации открытого ключа посредством нечеткого экстрактора. Это схема устойчива к адаптивной атаке с выбранным открытым текстом и обладает шифртекстом постоянного размера. Определена модель безопасности и показано, что безопасность протокола основана на билинейной задаче принятия решения Диффи-Хеллмана. Сравнительный анализ показывает большую устойчивость и безопасность предложенной схемы перед аналогами.
Ключевые слова: криптография, биометрия, личностное шифрование, схема разделения секрета Шамира, нечеткие экстракторы
Изучается сложность реализации автоматов посредством кодирований его состояний. Рассматриваются всевозможные равномерные кодирования, т.е. кодирования состояний наборами одинаковой длины. На длину кода не накладывается ограничение сверху. Получена верхняя оценка сложности реализации автомата. Получена верхняя оценка длины кода, при котором достигается линейная реализуемость автомата.
Ключевые слова: теория автоматов, переходные системы, кодирование, сложность
В работе описаны нетривиальные примеры моделирования сложных задач динамики и геометрии.
Ключевые слова: