English
2018 год, том 22, выпуск 4 (PDF)
В работе изложена система требований и принципов, определяющих методологические аспекты создания отечественных аппаратнопрограммных платформ для автоматизированных систем в защищенном исполнении как основы критической информационной инфраструктуры Российской Федерации, описан опыт создания защищенной аппаратнопрограммной платформы «Синтез-АПП», в полном объеме удовлетворяющей самым строгим требованиям по информационной безопасности, надежности, масштабируемости, обеспечивающей независимость критической информационной инфраструктуры от зарубежных технологий и программ.
Ключевые слова: автоматизированная система в защищенном исполнении, аппаратно-программная платформа, информационная безопасность, критическая информационная инфраструктура, «СинтезАПП»
Рассматриваются методы внешних штрафных функций, внутренних штрафных функций и квазибарьерных функций для решения задач математического программирования. Предложены новые квазибарьерные функции. Доказаны теоремы сходимости указанных методов к решению задач математического программирования. Рассмотрены свойства указанных функций при их преобразованиях: дифференцирование, интегрирование, построение обратных к ним функций.
Ключевые слова: внешние штрафные функции, внутренние штрафные функции, барьерные штрафные функции, обратные функции, квазибарьерные функции, задача математического программирования, дифференциальные барьеры, степенные дифференциальные барьеры, энтропийные дифференциальные барьеры, сходимость методов дифференциальных барьеров к решению задачи математического программирования.
Приведены методы восстановления стертого фрагмента музыкальной композиции, основанные на алгоритме Витерби, а именно метод, основанный только на алгоритме Витерби, метод, использующий кроме алгоритма Витерби, также смещенную высоту и смещенную длительность, метод, основанный на алгоритме Витерби и принципах музыкальной гармонии. Выяснен метод с наилучшим результатом (алгоритм Витерби, совмещенный с методом музыкальной гармонии), введен способ оценки похожести фрагментов, приведены примеры мелодий, такты которых были лучше всего восстановлены. Все методы вписаны в программу на языке Java, которая решает заданную задачу, кроме того используется программа GuitarPro, помогающая перевести всю необходимую информацию о мелодии в текстовый формат.
Ключевые слова: алгоритм Витерби, смещенная высота, смещенная длительность, гармонизация аккордами.
В работе рассматривается задача персонализации нечётких пользовательских понятий с помощью действия модификаторов на данные нечёткие множества. Исследован и модифицирован существующий алгоритм персонализации, для новой его версии получена оценка числа выполняемых итераций.
Ключевые слова: нечёткие множества, персонализация.
Протоколы аутентификации – это распределенные алгоритмы, предназначенные для обеспечения аутентификации агентов и передачи конфиденциальной информации (криптографических ключей, и т.п.) в небезопасной среде. Они используются, например, в электронных платежах, электронных процедурах голосования, системах доступа к базам данных, и т.д. Учитывая большой финансовый и социальный ущерб в случае неправильной работы таких протоколов, необходимо использовать математические методы для обоснования их корректности и безопасности. В настоящей работе вводится новая математическая модель таких протоколов аутентификации, позволяющая описывать как сами протоколы, так и их свойства. Показывается, как на базе данной модели можно решать задачи верификации протоколов аутентификации.
Ключевые слова: протоколы аутентификации, распределенные алгоритмы, верификация.
Предложен и обоснован вычислительно эффективный метод синтеза семейства дискретных многочленов комплексного аргумента с единичной весовой функцией, удовлетворяющих условию ортогональности на заданном произвольном конечном множестве несовпадающих узлов. Приведён детальный алгоритм расчёта коэффициентов и табуляции значений многочленов на языке GNU Octave/Mathworks Matlab. Дана оценка сложности, показано, что она минимально возможная.
Ключевые слова: цифровая обработка сигналов, устойчивая интерполяция, ортогональные многочлены дискретной комплексной переменной, произвольные узлы, расчёт коэффициентов, оптимальный алгоритм, вычислительная сложность.
В статье З.А.Ниязовой "Расшифровка арифметических сумм монотонных конъюнкций” получена точная оценка сложности расшифровки функции, имеющей не более двух нижних единиц. На самом деле, эту оценку можно понизить на 1 запрос, что и демонстрируется в данной работе.
Ключевые слова: точная расшифровка, суммы монотонных конъюнкций, запросы на значение.
Доказывается, что всякая абсолютно арифметически реализуемая предикатная формула является классически истинной, однако не всякая классически истинная предикатная формула является абсолютно арифметически реализуемой.
Ключевые слова: конструктивная семантика, реализуемость, арифметическая реализуемость, абсолютная реализуемость, формальная арифметика.
Найдены множества всех предполных классов в классах линейных автоматов над конечными полями, являющиеся приведенными критериальными системами в этих классах.
Ключевые слова: конечный автомат, линейный автомат, операции композиции, операции суперпозиции, обратная связь, проблема полноты, предполный класс, критериальная система, приведенная критериальная система, сумматор, задержка.
В докладе изложена работа по созданию алгоритма обучения системы с дискретным управлением действовать и достигать целей. Обучение происходит на основе проб и ошибок. Весь опыт системы сохраняется в Базе Данных. Оптимизация алгоритма производится по двум критериям: точность достижения поставленных целей и максимальное сокращение времени обучения. Сокращение времени обучения реализуется, главным образом, уменьшением количества пробных действий с помощью методов прогнозирования и интерполяции по опытным данным.
Ключевые слова: позиционирование, алгоритм обучения, робот, интерполяция, аппроксимация.
В статье изучаются операции выпадения/вставки, продвижением которых занимался В. И. Левенштейн. Вводятся операторы замыкания относительно этих операций. Для оператора вставки доказывается существование, конечность и единственность базиса в замкнутых классах, а для оператора выпадения — несуществование для бесконечного класса и существование, конечность и единственность — для конечного. Исследуется автоматная сложность замкнутых классов. Решаются проблемы полноты, предполноты и выразимости.
Ключевые слова: операции выпадения и вставки; замкнутый класс; регулярный язык; базис; автоматная сложность; проблемы полноты/предполноты/выразимости.