?
Логико-термальная эквивалентность программ с динамической памятью
С. 173–176.
Захаров В. А., Новикова Т. А.
В статье предложена новая модель последовательных императивных программ, использующих средства работы с динамической памятью (указателями, списками и пр.)
Трофимова Н. А., Akay O., , in: Science and Global Challenges of the 21st Century - Innovations and Technologies in Interdisciplinary ApplicationsVol. 622. Issue Lecture Notes in Networks and Systems .: Perm: Springer, 2023.
Добавлено: 23 февраля 2026 г.
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 г.
Мальбин Д. А., Вестник арбитражной практики 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 г.
NY: Association for Computing Machinery (ACM), 2022.
Добавлено: 26 сентября 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 г.
Елисеенко В. Ф., Логутова Н. Л., М.: Издательский дом НИУ ВШЭ, 2022.
В книге представлена системы визуальной навигации в новом большом комплексе зданий Национального исследовательского университета "Высшая школа экономики" на Покровском бульваре. Издание будет полезно специалистам по дизайну пространств вузов и образовательных учреждений в целом, а также всем, кто занимается построением визуальных систем навигации в общественных пространствах любого типа или заинтересован в создании/модернизации таких систем. ...
Добавлено: 7 апреля 2022 г.
Фомин Д. Б., Прикладная дискретная математика. Приложение 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 г.
Springer, 2020.
Добавлено: 9 сентября 2020 г.
V. Kruglov, O. Pochinka, G. Talanova, Proceedings of the International Geometry Center 2020 Vol. 13 No. 1 P. 49–60
Добавлено: 28 июня 2020 г.
Centre for Language, Logic and Speech at the Tbilisi State University, 2017.
Добавлено: 8 октября 2019 г.
Фомин Д. Б., Трифонов Д. И., Прикладная дискретная математика. Приложение 2019 № 12 С. 134–137
Рассмотрены вопросы реализации на ПЛИС и СБИС одного класса подстановок и проведено сравнение с реализациями произвольных байтовых отображений. Изучен способ реализации произвольной подстановки. Показано, что любая подстановка на множестве V_8 может быть реализована с использованием 40 LUT (812 GE). Для одного класса подстановок на множестве V_8, обладающего высокими криптографическими свойствами, показана возможность реализации с использованием 19 LUT (147 ...
Добавлено: 6 октября 2019 г.
Фомин Д. Б., Математические вопросы криптографии 2019 Vol. 10 No. 2 P. 169–180
В данной работе представлены новые классы 8-ми битовых подстановок, построенных с использованием конструкции типа «бабочка». Данные классы определяют новый способ построения 2n-битовых подстановок с использованием n-битовых. В работе будут представлены классы подстановок обладающие хорошими криптографическими свойствами и могут быть эффективно реализованы как программно так и аппаратно. ...
Добавлено: 4 мая 2019 г.