?
О минимизации схем программ относительно логико-термальной эквивалентности
С. 84–87.
Захаров В. А., Жайлауова Ш. Р.
Эффективная разрешимость проблемы л-т эквивалентности дает возможность приступить к решению задачи минимизации - построения схемы программ наименьшего размера, л-т эквивалентной заданной схеме. Чтобы отыскать ее решение, заметим, что модель вычислений стандартных схем программ сходна модели вычислений автоматов-преобразователей, работающих над полугруппами. Ранее был предложен метод минимизации автоматов-преобра\-зо\-вателей, работающих над упорядоченными левосократимыми полугруппами. В данной заметке мы покажем, что этим методом можно воспользоваться для минимизации стандартных схем программ относительно л-т эквивалентности в случае, когда эти схемы определены над ортогональными консервативными подстановками.
В книге
М.: МГУ, МАКС Пресс, 2017.
В условиях цифровизации минимизируется влияние негативного человеческого фактора в производственной системе, человек получает возможность заниматься творческой деятельностью, а не рутинной, и трудиться в более комфортных условиях, то есть параллельно с техноцентричностью на производствах формируется человекоцентричность. В ИПУ РАН разработана методология моделирования процесса технологической подготовки гибкого производства всевозможных изделий (включая автоматы) в различных производственных условиях с ...
Добавлено: 3 февраля 2025 г.
Agyapong Siaw C., Cadeaux J., Майснер Д. и др., IEEE Transactions on Engineering Management 2024 Vol. 71 P. 10009–10025
This article proposes a cross-situational specialization framework for what, at its introduction, was a newer generation personal computer (PC) device (a tablet computer). With use as the basis for continuance adoption as the theoretical lens, this article explores how the tablet coexists as a substitute- and a complement-in-use with incumbent PC(s). To test a model ...
Добавлено: 27 сентября 2024 г.
Бурков А. А., Информационно-управляющие системы 2021 Vol. 5 P. 51–58
Введение: В настоящее время активно изучаются вопросы работы технологии Интернета Вещей (IoT) в существующих стандартах связи и разрабатывающемся стандарте 6G. В соответствии с различными требованиями к системе (скорость передачи, задержка и т. д.) выделяют следующие типы IoT: массовый IoT, критический IoT, широкополосный IoT и промышленный IoT. Работа большого числа различных датчиков с автономным питанием входит в ...
Добавлено: 26 сентября 2023 г.
Мальбин Д. А., Вестник арбитражной практики 2023 № 2 С. 20–27
Действующее законодательство закрепляет институт защиты добросовестного приобретателя, одним из условий защиты которого является возмездность приобретения им имущества. В настоящее время в судебной практике воспринят подход, в соответствии с которым имущество считается приобретенным возмездно, если отчуждатель получил в полном объеме плату за имущество. Автор ставит под сомнение такой подход, указывая, что при разрешении вопроса о том, ...
Добавлено: 18 июля 2023 г.
Кантонистова Е. О., Родионов И. В., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2022 Т. 507 № 1 С. 36–39
Предложен метод проверки гипотезы об эквивалентности хвоста распределения данных с выбранным хвостом распределения – аналога гипотезы согласия для статистики экстремумов. Метод основан на новом преобразовании данных, переводящем k максимальных порядковых статистик выборки из стандартного равномерного закона U[0,1] в случайные величины, похожие в своем асимптотическом поведении на выборку из U[0,1] размера k. Доказано, что критерии, построенные ...
Добавлено: 9 июля 2023 г.
М. А. Коврижных, Д. Б. Фомин, Прикладная дискретная математика 2022 № 57 С. 5–21
Исследована возможность построения с помощью обобщённой конструкции подстановок с заданными криптографическими характеристиками, обеспечивающими стойкость алгоритмов шифрования к линейному и разностному методам криптоанализа. Предложен эвристический алгоритм поиска параметров обобщённой конструкции, полученных посредством умножения на транспозиции. Используются идеи генетического алгоритма, спектрально-линейного и спектрально- разностного методов. Изучены вопросы оптимизации вычисления криптографических характеристик на каждой итерации алгоритма. Экспериментальные исследования ...
Добавлено: 8 октября 2022 г.
D. B. Fomin, M. A. Kovrizhnykh, Математические вопросы криптографии 2022 Vol. 13 No. 2 P. 37–52
Работа посвящена теоретическому обоснованию направленного поиска 8-битовых подстановок с заданными криптографическими характеристиками: дифференциальной δ-равномерностью и нелинейностью. Сформулированы и доказаны утверждения о разбиении на классы эквивалентности множества векторных булевых функций, построенных с помощью обобщенной конструкции. Обоснованы утверждения, позволяющие отбраковывать функции из классов эквивалентности либо по высокому показателю дифференциальной δ-равномерности, либо вследствие того, что они не являются подстановками. Результаты ...
Добавлено: 24 августа 2022 г.
Соснин А. В., Балакина Ю. В., Кащихин А. Н., Вестник Санкт-Петербургского университета. Язык и литература 2022 Т. 19 № 1 С. 125–148
Статья посвящена оценке качества перевода: рассматриваются прикладные и прагматические аспекты оценки качества перевода в условиях стремительного увеличения
числа текстов, которые требуется перевести для обеспечения межкультурной коммуникации; суммируется большое количество подходов, каждый из которых при оценке
качества перевода имеет свои преимущества и недостатки; анализируется соотношение категорий адекватности и эквивалентности перевода как основных параметров
оценки. Заключается, что эквивалентность ориентирована на ...
Добавлено: 31 мая 2022 г.
Добавлено: 25 октября 2021 г.
Фомин Д. Б., Прикладная дискретная математика. Приложение 2021 № 14 С. 51–55
Рассмотрены способы построения дифференциально 2δ-равномерных подстано- вок на F_{2^{2m}} для случая m≥3. Предложенный подход излагается с использованием так называемого TU-представления функций и обобщает известный способ построения дифференциально 4-равномерных подстановок поля F_{2^{2m}} с применением подстановки обращения ненулевых элементов поля. ...
Добавлено: 22 сентября 2021 г.
Коврижных М. А., Фомин Д. Б., Прикладная дискретная математика. Приложение 2021 № 14 С. 181–184
Предложен эвристический алгоритм построения биективных булевых функций с заданными криптографическими свойствами — нелинейностью и дифференциальной δ-равномерностью — на основе обобщённой конструкции. Производится поиск вспомогательных подстановок меньшей размерности в обобщённой конструкции с использованием идей спектрально-линейного и спектрально-разностного методов. Исследована возможность оптимизации вычисления криптографических характеристик на каждой итерации алгоритма. Экспериментально получены 8-битовые 6-равномерные подстановки с нелинейностью 108. ...
Добавлено: 22 сентября 2021 г.
Авраамова О. Д., Фомин Д. Б., Серов В. А. и др., Математические вопросы криптографии 2021 Vol. 12 No. 2 P. 21–38
Рассматриваются способы реализации нелинейного преобразования блочного алгоритма шифрования с длиной блока 128 бит «Кузнечик» (ГОСТ Р 34.12-2015) и хеш-функции «Стрибог» (ГОСТ Р 34.11-2012). Показана возможность реализации подстановки за 226 логических операций. ...
Добавлено: 26 июля 2021 г.
Фомин Д. Б., Математические вопросы криптографии 2020 Т. 11 № 4 С. 133–149
Исследуются параметры некоторых подстановок, основанных на конструкции типа «Бабочка», и их влияние на значение алгебраической степени подстановки и показателя дифференциальной равномерности. ...
Добавлено: 25 ноября 2020 г.
Фомин Д. Б., Математические вопросы криптографии 2020 Т. 11 № 3 С. 121–138
Cпособ построения подстановок, основанный на конструкции типа «бабочка», обобщается на случай произвольного арифметического векторного пространства четной размерности над полем из двух элементов. Предложены подходы к построению подстановок с использованием неравновероятных (2m, m)-функций с высокой нелинейностью. ...
Добавлено: 25 ноября 2020 г.
Высоцкий Л. И., Жуков В. В., Шуплецов М. С., В кн.: Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС-2018)Вып. 1.: М.: ИППМ РАН, 2018. С. 30–37.
При обнаружении ошибок или изменении
спецификации
проектируемой
сверхбольшой
интегральной схемы (СБИС) на поздних этапах
маршрута проектирования откат на более ранние этапы
проектирования и их повторное выполнение очень часто
становится непрактичным в силу существенных
временных затрат. Для целей сокращения времени
проектирования
в
современные
маршруты
проектирования интегрируют специальные этапы
функциональной коррекции схемы (англ. Engineering
Change Order, ECO). В основе указанного подхода лежит
анализ уже спроектированной схемы и построение
небольшой подсхемы-заплатки, внедрение которой в уже
синтезированную ...
Добавлено: 10 ноября 2020 г.
V. Kruglov, O. Pochinka, G. Talanova, Proceedings of the International Geometry Center 2020 Vol. 13 No. 1 P. 49–60
Добавлено: 28 июня 2020 г.
Захаров В. А., Жайлауова Ш. Р., В кн.: Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019).: М.: Изд-во механико-математического факультета МГУ, 2019. С. 272–274.
В данной статье мы продолжаем поиск и исследование новых классов недетерминированных автоматов-преобразователей с разрешимой проблемой эквивалентности. Цель исследования~--- провести как можно более точную и подробную демаркацию границы между разрешимыми и неразрешимыми случаями проблемы эквивалентности для рассматриваемой модели вычислений. Мы рассматриваем один класс недетерминированных автоматов, работающих над выходным алфавитом из одной буквы. Характерная особенность рассматриваемых автоматов-преобразователей ...
Добавлено: 17 октября 2019 г.
Фомин Д. Б., Трифонов Д. И., Прикладная дискретная математика. Приложение 2019 № 12 С. 134–137
Рассмотрены вопросы реализации на ПЛИС и СБИС одного класса подстановок и проведено сравнение с реализациями произвольных байтовых отображений. Изучен способ реализации произвольной подстановки. Показано, что любая подстановка на множестве V_8 может быть реализована с использованием 40 LUT (812 GE). Для одного класса подстановок на множестве V_8, обладающего высокими криптографическими свойствами, показана возможность реализации с использованием 19 LUT (147 ...
Добавлено: 6 октября 2019 г.
Салибекян С. М., Прикладная информатика 2017 Т. 12 № 2 С. 5–16
В статье описываюется реализации — программная или аппаратная — автоматной вычислительной системы (ВС) на базе объектно-атрибутной вычислительной системы, относящейся к классу машин с управлением потоком данных (dataflow). Рассматриваются реализации автоматов различных классов (детерминированный, недетерминированный, абстрактный, структурный), а также реализации автоматной декомпозиции (вложенный и вызываемый автоматы) и системы параллельно работающих автоматов. ...
Добавлено: 14 сентября 2019 г.
Фомин Д. Б., Математические вопросы криптографии 2019 Vol. 10 No. 2 P. 169–180
В данной работе представлены новые классы 8-ми битовых подстановок, построенных с использованием конструкции типа «бабочка». Данные классы определяют новый способ построения 2n-битовых подстановок с использованием n-битовых. В работе будут представлены классы подстановок обладающие хорошими криптографическими свойствами и могут быть эффективно реализованы как программно так и аппаратно. ...
Добавлено: 4 мая 2019 г.
Фомин Д. Б., Обозрение прикладной и промышленной математики 2018 Т. 25 № 4 С. 379–381
Одним из негласных правил создания низкоресурсного блочного шифра стало использование подстановок маленькой размерности. Это обусловлено тем, что такие подстановки хорошо исследованы, требуют небольшого количества ресурсов при аппаратной реализации, и известны эффективные механизмы маскирования, позволяющие защититься от атак по побочным каналам утечки. В то же время, криптографические свойства таких подстановок уступают криптографическим характеристикам подстановок большей размерности.Одним из компромиссов является построение подстановок больших размерностей ...
Добавлено: 4 мая 2019 г.
Гурвич В. А., Andrade D. V., Boros E., , in: Optimization Problems in Graph TheoryBook 139.: Springer, 2018. P. 3–63.
Добавлено: 10 октября 2018 г.
Омельченко А. В., Малоземов В. Н., Усков В. Н., Прикладная математика и механика 1998 Т. 62 № 6 С. 1015–1021
Добавлено: 11 сентября 2018 г.