• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • О минимизации схем программ относительно логико-термальной эквивалентности
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
August 18, 2026
HSE Scholar Presents Research on Postcards in Brazil and South Korea
Timur Khusyainov, Deputy Dean of theFaculty of Humanities atHSE University–Nizhny Novgorod, took part in two international conferences—the XVI World Congress of Rural Sociology in Porto Alegre, Brazil, and the 36th Annual Conference of the Alliance of Digital Humanities Organisations (DH2026) in Daejeon, South Korea. On his way to the conferences, the researcher also visited several other places, where he presented the experience of the Pochtovoe educational project.
August 18, 2026
Physicists Discover What Happens Inside a Stable Vortex
Large vortices with characteristic spiral arms are often observed in the atmosphere and the ocean. Physicists from HSE University have explained how these structures form and why they retain their shape. The researchers found that velocities at points located along the same vortex arc remain correlated even over long distances. At the same time, this correlation weakens rapidly with increasing distance from the vortex centre. These differences help explain the formation of spiral arms and may improve models of atmospheric and oceanic currents. The findings have been published in Physical Review Fluids.
August 17, 2026
‘I Dream of Simple Things
Anastasia Gergenreter specialises in applied statistics and econometrics. In this interview for the Young Scientists of HSE University project, she talked about why she studies addictive substance use, two very different Fishers, and the cherry blossom season at the Main Botanical Garden in Moscow.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

О минимизации схем программ относительно логико-термальной эквивалентности

С. 84–87.
Zakharov V., Жайлауова Ш. Р.
Language: Russian
Keywords: эквивалентностьминимизацияавтоматminimization problemsubstitutionequivalence checkingподстановкасхема программfinite state automatonprogram scheme

In book

Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.)
М.: МГУ, МАКС Пресс, 2017.
Similar publications
Субституты нефтяного моторного топлива в легковом дорожном транспорте: риски для мирового спроса на нефть
Sinitsyn M., Весь мир, 2025.
The global transportation sector is undergoing a major transformation associated with the transition to a low-carbon economy and the expanded use of alternative energy sources. In recent decades, the substitution of petroleum-based motor fuels with their substitutes – primarily biofuels and electric power (electric vehicles) – in light-duty road transport has accelerated. Public policy at ...
Added: June 5, 2026
Человекоцентричный подход к управлению гибкими производствами
Аристова Н. И., Чадеев В. М., Якимова О. А., Автоматизация в промышленности 2024 № 6 С. 25–30
В условиях цифровизации минимизируется влияние негативного человеческого фактора в производственной системе, человек получает возможность заниматься творческой деятельностью, а не рутинной, и трудиться в более комфортных условиях, то есть параллельно с техноцентричностью на производствах формируется человекоцентричность. В ИПУ РАН разработана методология моделирования процесса технологической подготовки гибкого производства всевозможных изделий (включая автоматы) в различных производственных условиях с ...
Added: February 3, 2025
Interactions Between Traditional and Reversed IT Adoption: How Incumbent Devices Affect Cross-Situational Specialization of New Entries
Agyapong Siaw C., Cadeaux J., Meissner D. et al., 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 ...
Added: September 27, 2024
Signal power and energy-per-bit optimization problems in systems mMTC
Бурков А. А., Информационно-управляющие системы 2021 Vol. 5 P. 51–58
Introduction: Currently, the issues of Internet of Things technology are being actively studied. The operation of a large number of various self-powered sensors is within the framework of a massive machine-type communication scenario, using random access methods. Topical issues in this type of communication are how to reduce the transmission signal power and to increase ...
Added: September 26, 2023
Возмездность как условие защиты добросовестного приобретателя
Malbin D., Вестник арбитражной практики 2023 № 2 С. 20–27
The current legislation establishes the institution of protection of a good faith purchaser where the compensatory nature of the property acquisition by such purchaser is one of the preconditions for protecting. Currently, in judicial practice, an approach has been adopted, according to which property is considered to be acquired for a fee if the alienator ...
Added: July 18, 2023
О критериях проверки гипотезы об эквивалентности хвостов распределений
Kantonistova E., Родионов И. В., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2022 Т. 507 № 1 С. 36–39
We propose a method for testing the hypothesis about the equivalence of the distribution tail of observed data and a certain distribution tail, which is the analogue of the goodness-of-fit hypothesis for statistics of extremes. The method is based on a new data transformation moving k largest order statistics of a sample from the standard uniform distribution U[0,1] ...
Added: July 9, 2023
Об эвристическом алгоритме построения подстановок с заданными криптографическими характеристиками с использованием обобщённой конструкции
М. А. Коврижных, Д. Б. Фомин, Прикладная дискретная математика 2022 № 57 С. 5–21
In this paper, we study a generalized construction of (2m, 2m)-functions using monomial and arbitrary m-bit permutations as constituent elements. We investigate the possibility of constructing bijective vectorial Boolean functions (permutations) with specified cryptographic properties that ensure the resistance of encryption algorithms to linear and differential methods of cryptographic analysis. We propose a heuristic algorithm ...
Added: October 8, 2022
On differential uniformity of permutations derived using a generalized construction
D. B. Fomin, M. A. Kovrizhnykh, Математические вопросы криптографии 2022 Vol. 13 No. 2 P. 37–52
The work is dedicated to the theoretical substantiation of a directed search for 8-bit permutations with given cryptographic properties: differential uniformity and nonlinearity. The statements on the partition of the set of vectorial Boolean functions derived using generalized construction into equivalence classes are proved. The statements that allow one to reject functions from equivalence classes ...
Added: August 24, 2022
Взаимосвязь экспертных категорий и автоматических метрик, используемых для оценки качества перевода
Sosnin A., Balakina Y. V., Кащихин А. Н., Вестник Санкт-Петербургского университета. Язык и литература 2022 Т. 19 № 1 С. 125–148
The article evaluates the quality of translation; we consider the applied and pragmatic aspects of such evaluation in the conditions of the current rapid increase in the number of texts to be translated. The article summarizes a plethora of assessment principles, each having its merits and drawbacks, and examines the correlation between the categories of adequacy and equivalence as ...
Added: May 31, 2022
2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM)
Evtushenko N. V., Kolomeez A., Shirokova E. et al., IEEE, 2021.
In this paper, we consider checking the robustness of web services using the model of finite state automata and analyzing the solvability of an automaton equation over the concatenation operator. The paper contains the procedure for constructing the largest solution for a solvable automata equation, since a solution to the equation describes a malicious input. ...
Added: October 25, 2021
О способе построения дифференциально 2δ-равномерных подстановок на F_{2^{2m}}
Fomin D., Прикладная дискретная математика. Приложение 2021 № 14 С. 51–55
The paper studies new ways of con- structing differentially 2δ-uniform bijections over F_{2^{2m}} , m≥3, that are based on TU-construction. Some well known results on the constructing differentially 4-uniform permutations over F_{2^{2m}} are generalized in this work. The core idea is to use TU-construction and differentially δ-uniform bijections to construct 2^t · δ-uniform permutations. A generalized method for constructing 2m-bit differentially 4-uniform permutations ...
Added: September 22, 2021
Об эвристическом подходе к построению биективных векторных булевых функций с заданными криптографическими характеристиками
Коврижных М. А., Fomin D., Прикладная дискретная математика. Приложение 2021 № 14 С. 181–184
Bijective vector Boolean functions (permuta- tions) are used as nonlinear primitives of many symmetric ciphers. In this paper, we study a generalized construction of (2m, 2m)-functions using monomial and arbitrary m-bit per- mutations as constituent elements. A heuristic algorithm for obtaining bijective Boolean functions with given nonlinearity and differential uniformity, based on this construction, is proposed. For ...
Added: September 22, 2021
Об одном представлении нелинейного преобразования алгоритма «Кузнечик» с помощью логических функций
Авраамова О. Д., Fomin D., Серов В. А. et al., Математические вопросы криптографии 2021 Vol. 12 No. 2 P. 21–38
In this paper we consider a bit-sliced implementation of the non-linear transformation shared by GOST R 34.12-2015 “Kuznyechik” block cipher and GOST R 34.11-2012 “Streebog” hash function. We combine analytical and computer methods to get a 226 Boolean operations representation. ...
Added: July 26, 2021
Об алгебраической степени и дифференциальной равномерности подстановок пространства V2m, построенных с использованием (2m,m)-функций
Fomin D., Математические вопросы криптографии 2020 Т. 11 № 4 С. 133–149
We study parameters of some permutations constructed by the «Butterfly» scheme. The influence of these parameters on the algebraic degree of permutation and its differential uniformity is investigated. ...
Added: November 25, 2020
Построение подстановок пространства V2m с использованием (2m, m)-функций
Fomin D., Математические вопросы криптографии 2020 Т. 11 № 3 С. 121–138
We generalize the method of construction of permutations based on the Butterfly structure for the case of arbitrary arithmetic space with even dimension over the field of two elements. An approach to the construction of permutations by means of nonbalanced (2m,m)-functions with high nonlinearity is suggested. ...
Added: November 25, 2020
Алгоритмы синтеза схем-заплаток для решения ресурсо-ориентированной функциональной коррекции схем из функциональных элементов
Высоцкий Л. И., Жуков В. В., Шуплецов М. С., В кн.: Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС-2018)Вып. 1.: М.: ИППМ РАН, 2018. С. 30–37.
При обнаружении ошибок или изменении спецификации проектируемой сверхбольшой интегральной схемы (СБИС) на поздних этапах маршрута проектирования откат на более ранние этапы проектирования и их повторное выполнение очень часто становится непрактичным в силу существенных временных затрат. Для целей сокращения времени проектирования в современные маршруты проектирования интегрируют специальные этапы функциональной коррекции схемы (англ. Engineering Change Order, ECO). В основе указанного подхода лежит анализ уже спроектированной схемы и построение небольшой подсхемы-заплатки, внедрение которой в уже синтезированную ...
Added: November 10, 2020
On functional moduli of surface flows
V. Kruglov, O. Pochinka, G. Talanova, Proceedings of the International Geometry Center 2020 Vol. 13 No. 1 P. 49–60
Currently, a complete topological classification has been obtained with respect to the topological equivalence of Morse-Smale flows, [9,7], as well as their generalizations of Ω-stable flows on closed surfaces, [4]. Some results on topological conjugacy classification for such systems are also known. In particular, the coincidence of the classes of topological equivalence and conjugacy of ...
Added: June 28, 2020
О проблеме эквивалентности недетерминированных автоматов-преобразователей над однобуквенным выходным алфавитом
Zakharov V., Жайлауова Ш. Р., В кн.: Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019).: М.: Изд-во механико-математического факультета МГУ, 2019. С. 272–274.
В данной статье мы продолжаем поиск и исследование новых классов недетерминированных автоматов-преобразователей с разрешимой проблемой эквивалентности. Цель исследования~--- провести как можно более точную и подробную демаркацию границы между разрешимыми и неразрешимыми случаями проблемы эквивалентности для рассматриваемой модели вычислений. Мы рассматриваем один класс недетерминированных автоматов, работающих над выходным алфавитом из одной буквы. Характерная особенность рассматриваемых автоматов-преобразователей ...
Added: October 17, 2019
Об аппаратной реализации одного класса байтовых подстановок
Fomin D., Трифонов Д. И., Прикладная дискретная математика. Приложение 2019 № 12 С. 134–137
The paper studies the issues of implementation of one class of S-Boxes on FPGA and ASIC and compares them with the implementation of arbitrary mappings V8 → V8. The way of implementation of arbitrary S-Box is studied. It’s shown that any S-Box over V8 can be implemented using 40 LUTs (812 GE). For one class of S-Boxes over V8 with high cryptographic ...
Added: October 6, 2019
Реализация автоматной парадигмы вычислений на объектно-атрибутном базисе
Salibekyan S. M., Прикладная информатика 2017 Т. 12 № 2 С. 5–16
The article describes implementation (hardware and software) of computing system in automatic paradigm based on object-attribute (OA) computer system belonging to the class of dataflow machines. OA-computer is the system of functional unit (FU) collaborating each other. FU is hardware of software unit. The system named OA-automation emulate behavior of automation. It is discussion of ...
Added: September 14, 2019
New Classes of 8-bit Permutations Based on a Butterfly Structure
Fomin D., Математические вопросы криптографии 2019 Vol. 10 No. 2 P. 169–180
This work introduces new classes of 8-bit permutation based on a butterfly structure. These classes set up a new way for generating 2n-bit permutation from n-bit ones. We introduce some classes that contain permutations with good cryptographic properties and could be efficiently implemented for hardware and software applications. ...
Added: May 4, 2019
О подходах к построению низкоресурсных нелинейных преобразований
Fomin D., Обозрение прикладной и промышленной математики 2018 Т. 25 № 4 С. 379–381
Одним из негласных правил создания низкоресурсного блочного шифра стало использование подстановок маленькой размерности. Это обусловлено тем, что такие подстановки хорошо исследованы, требуют небольшого количества ресурсов при аппаратной реализации, и известны эффективные механизмы маскирования, позволяющие защититься от атак по побочным каналам утечки. В то же время, криптографические свойства таких подстановок уступают криптографическим характеристикам подстановок большей размерности.Одним из компромиссов является построение подстановок больших размерностей ...
Added: May 4, 2019
On graphs whose maximal cliques and stable sets intersect
Gurvich V., Andrade D. V., Boros E., , in: Optimization Problems in Graph TheoryBook 139.: Springer, 2018. P. 3–63.
We say that a graph G has the CIS-property and call it a CIS-graph if every maximal clique and every maximal stable set of G intersects. By definition, G is a CIS-graph if and only if the complementary graph \(\overline {G}\) is a CIS-graph. Let us substitute a vertex v of a graph G′ by a graph G″ and denote the obtained graph by G. It is also easy to ...
Added: October 10, 2018
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit